Add adjacency validation pass
[platform/upstream/SPIRV-Tools.git] / Android.mk
1 LOCAL_PATH := $(call my-dir)
2 SPVTOOLS_OUT_PATH=$(if $(call host-path-is-absolute,$(TARGET_OUT)),$(TARGET_OUT),$(abspath $(TARGET_OUT)))
3 SPVHEADERS_LOCAL_PATH := $(LOCAL_PATH)/external/spirv-headers
4
5 SPVTOOLS_SRC_FILES := \
6                 source/assembly_grammar.cpp \
7                 source/binary.cpp \
8                 source/diagnostic.cpp \
9                 source/disassemble.cpp \
10                 source/ext_inst.cpp \
11                 source/enum_string_mapping.cpp \
12                 source/extensions.cpp \
13                 source/id_descriptor.cpp \
14                 source/libspirv.cpp \
15                 source/name_mapper.cpp \
16                 source/opcode.cpp \
17                 source/operand.cpp \
18                 source/parsed_operand.cpp \
19                 source/print.cpp \
20                 source/software_version.cpp \
21                 source/spirv_endian.cpp \
22                 source/spirv_target_env.cpp \
23                 source/spirv_validator_options.cpp \
24                 source/table.cpp \
25                 source/text.cpp \
26                 source/text_handler.cpp \
27                 source/util/bit_stream.cpp \
28                 source/util/parse_number.cpp \
29                 source/util/string_utils.cpp \
30                 source/val/basic_block.cpp \
31                 source/val/construct.cpp \
32                 source/val/function.cpp \
33                 source/val/instruction.cpp \
34                 source/val/validation_state.cpp \
35                 source/validate.cpp \
36                 source/validate_adjacency.cpp \
37                 source/validate_arithmetics.cpp \
38                 source/validate_atomics.cpp \
39                 source/validate_bitwise.cpp \
40                 source/validate_capability.cpp \
41                 source/validate_cfg.cpp \
42                 source/validate_composites.cpp \
43                 source/validate_conversion.cpp \
44                 source/validate_datarules.cpp \
45                 source/validate_decorations.cpp \
46                 source/validate_derivatives.cpp \
47                 source/validate_ext_inst.cpp \
48                 source/validate_id.cpp \
49                 source/validate_image.cpp \
50                 source/validate_instruction.cpp \
51                 source/validate_layout.cpp \
52                 source/validate_literals.cpp \
53                 source/validate_logicals.cpp \
54                 source/validate_primitives.cpp \
55                 source/validate_type_unique.cpp
56
57 SPVTOOLS_OPT_SRC_FILES := \
58                 source/opt/aggressive_dead_code_elim_pass.cpp \
59                 source/opt/basic_block.cpp \
60                 source/opt/block_merge_pass.cpp \
61                 source/opt/build_module.cpp \
62                 source/opt/cfg.cpp \
63                 source/opt/cfg_cleanup_pass.cpp \
64                 source/opt/ccp_pass.cpp \
65                 source/opt/compact_ids_pass.cpp \
66                 source/opt/composite.cpp \
67                 source/opt/common_uniform_elim_pass.cpp \
68                 source/opt/constants.cpp \
69                 source/opt/dead_branch_elim_pass.cpp \
70                 source/opt/dead_insert_elim_pass.cpp \
71                 source/opt/dead_variable_elimination.cpp \
72                 source/opt/decoration_manager.cpp \
73                 source/opt/def_use_manager.cpp \
74                 source/opt/dominator_analysis.cpp \
75                 source/opt/dominator_tree.cpp \
76                 source/opt/eliminate_dead_constant_pass.cpp \
77                 source/opt/eliminate_dead_functions_pass.cpp \
78                 source/opt/feature_manager.cpp \
79                 source/opt/flatten_decoration_pass.cpp \
80                 source/opt/fold.cpp \
81                 source/opt/fold_spec_constant_op_and_composite_pass.cpp \
82                 source/opt/freeze_spec_constant_value_pass.cpp \
83                 source/opt/function.cpp \
84                 source/opt/if_conversion.cpp \
85                 source/opt/inline_pass.cpp \
86                 source/opt/inline_exhaustive_pass.cpp \
87                 source/opt/inline_opaque_pass.cpp \
88                 source/opt/insert_extract_elim.cpp \
89                 source/opt/instruction.cpp \
90                 source/opt/instruction_list.cpp \
91                 source/opt/ir_context.cpp \
92                 source/opt/ir_loader.cpp \
93                 source/opt/local_access_chain_convert_pass.cpp \
94                 source/opt/local_redundancy_elimination.cpp \
95                 source/opt/local_single_block_elim_pass.cpp \
96                 source/opt/local_single_store_elim_pass.cpp \
97                 source/opt/local_ssa_elim_pass.cpp \
98                 source/opt/loop_descriptor.cpp \
99                 source/opt/mem_pass.cpp \
100                 source/opt/merge_return_pass.cpp \
101                 source/opt/module.cpp \
102                 source/opt/optimizer.cpp \
103                 source/opt/pass.cpp \
104                 source/opt/pass_manager.cpp \
105                 source/opt/private_to_local_pass.cpp \
106                 source/opt/propagator.cpp \
107                 source/opt/redundancy_elimination.cpp \
108                 source/opt/remove_duplicates_pass.cpp \
109                 source/opt/scalar_replacement_pass.cpp \
110                 source/opt/set_spec_constant_default_value_pass.cpp \
111                 source/opt/strength_reduction_pass.cpp \
112                 source/opt/strip_debug_info_pass.cpp \
113                 source/opt/type_manager.cpp \
114                 source/opt/types.cpp \
115                 source/opt/unify_const_pass.cpp \
116                 source/opt/value_number_table.cpp \
117                 source/opt/workaround1209.cpp
118
119 # Locations of grammar files.
120 SPV_CORE10_GRAMMAR=$(SPVHEADERS_LOCAL_PATH)/include/spirv/1.0/spirv.core.grammar.json
121 SPV_CORE11_GRAMMAR=$(SPVHEADERS_LOCAL_PATH)/include/spirv/1.1/spirv.core.grammar.json
122 SPV_CORE12_GRAMMAR=$(SPVHEADERS_LOCAL_PATH)/include/spirv/1.2/spirv.core.grammar.json
123 SPV_CORELATEST_GRAMMAR=$(SPV_CORE12_GRAMMAR)
124 SPV_GLSL_GRAMMAR=$(SPVHEADERS_LOCAL_PATH)/include/spirv/1.2/extinst.glsl.std.450.grammar.json
125 SPV_OPENCL_GRAMMAR=$(SPVHEADERS_LOCAL_PATH)/include/spirv/1.2/extinst.opencl.std.100.grammar.json
126 # TODO(dneto): I expect the DebugInfo grammar file to eventually migrate to SPIRV-Headers
127 SPV_DEBUGINFO_GRAMMAR=$(LOCAL_PATH)/source/extinst.debuginfo.grammar.json
128
129 define gen_spvtools_grammar_tables
130 $(call generate-file-dir,$(1)/core.insts-1.0.inc)
131 $(1)/core.insts-1.0.inc $(1)/operand.kinds-1.0.inc $(1)/glsl.std.450.insts.inc $(1)/opencl.std.insts.inc: \
132         $(LOCAL_PATH)/utils/generate_grammar_tables.py \
133         $(SPV_CORE10_GRAMMAR) \
134         $(SPV_GLSL_GRAMMAR) \
135         $(SPV_OPENCL_GRAMMAR) \
136         $(SPV_DEBUGINFO_GRAMMAR)
137                 @$(HOST_PYTHON) $(LOCAL_PATH)/utils/generate_grammar_tables.py \
138                                 --spirv-core-grammar=$(SPV_CORE10_GRAMMAR) \
139                                 --extinst-glsl-grammar=$(SPV_GLSL_GRAMMAR) \
140                                 --extinst-opencl-grammar=$(SPV_OPENCL_GRAMMAR) \
141                                 --extinst-debuginfo-grammar=$(SPV_DEBUGINFO_GRAMMAR) \
142                                 --core-insts-output=$(1)/core.insts-1.0.inc \
143                                 --glsl-insts-output=$(1)/glsl.std.450.insts.inc \
144                                 --opencl-insts-output=$(1)/opencl.std.insts.inc \
145                                 --operand-kinds-output=$(1)/operand.kinds-1.0.inc
146                 @echo "[$(TARGET_ARCH_ABI)] Grammar v1.0   : instructions & operands <= grammar JSON files"
147 $(1)/core.insts-1.1.inc $(1)/operand.kinds-1.1.inc: \
148         $(LOCAL_PATH)/utils/generate_grammar_tables.py \
149         $(SPV_CORE11_GRAMMAR) \
150         $(SPV_DEBUGINFO_GRAMMAR)
151                 @$(HOST_PYTHON) $(LOCAL_PATH)/utils/generate_grammar_tables.py \
152                                 --spirv-core-grammar=$(SPV_CORE11_GRAMMAR) \
153                                 --extinst-debuginfo-grammar=$(SPV_DEBUGINFO_GRAMMAR) \
154                                 --core-insts-output=$(1)/core.insts-1.1.inc \
155                                 --operand-kinds-output=$(1)/operand.kinds-1.1.inc
156                 @echo "[$(TARGET_ARCH_ABI)] Grammar v1.1   : instructions & operands <= grammar JSON files"
157 $(1)/core.insts-1.2.inc $(1)/operand.kinds-1.2.inc: \
158         $(LOCAL_PATH)/utils/generate_grammar_tables.py \
159         $(SPV_CORE12_GRAMMAR) \
160         $(SPV_DEBUGINFO_GRAMMAR)
161                 @$(HOST_PYTHON) $(LOCAL_PATH)/utils/generate_grammar_tables.py \
162                                 --spirv-core-grammar=$(SPV_CORE12_GRAMMAR) \
163                                 --extinst-debuginfo-grammar=$(SPV_DEBUGINFO_GRAMMAR) \
164                                 --core-insts-output=$(1)/core.insts-1.2.inc \
165                                 --operand-kinds-output=$(1)/operand.kinds-1.2.inc
166                 @echo "[$(TARGET_ARCH_ABI)] Grammar v1.2   : instructions & operands <= grammar JSON files"
167 $(LOCAL_PATH)/source/opcode.cpp: $(1)/core.insts-1.0.inc $(1)/core.insts-1.1.inc $(1)/core.insts-1.2.inc
168 $(LOCAL_PATH)/source/operand.cpp: $(1)/operand.kinds-1.0.inc $(1)/operand.kinds-1.1.inc $(1)/operand.kinds-1.2.inc
169 $(LOCAL_PATH)/source/ext_inst.cpp: $(1)/glsl.std.450.insts.inc $(1)/opencl.std.insts.inc
170 endef
171 $(eval $(call gen_spvtools_grammar_tables,$(SPVTOOLS_OUT_PATH)))
172
173
174 define gen_spvtools_lang_headers
175 # Generate language-specific headers.  So far we only generate C headers
176 # $1 is the output directory.
177 # $2 is the base name of the header file, e.g. "DebugInfo".
178 # $3 is the grammar file containing token definitions.
179 $(call generate-file-dir,$(1)/$(2).h)
180 $(1)/$(2).h : \
181         $(LOCAL_PATH)/utils/generate_language_headers.py \
182         $(3)
183                 @$(HOST_PYTHON) $(LOCAL_PATH)/utils/generate_language_headers.py \
184                     --extinst-name=$(2) \
185                     --extinst-grammar=$(3) \
186                     --extinst-output-base=$(1)/$(2)
187                 @echo "[$(TARGET_ARCH_ABI)] Generate language specific header for $(2): headers <= grammar"
188 $(LOCAL_PATH)/source/ext_inst.cpp: $(1)/$(2).h
189 endef
190 # We generate language-specific headers for DebugInfo
191 $(eval $(call gen_spvtools_lang_headers,$(SPVTOOLS_OUT_PATH),DebugInfo,$(SPV_DEBUGINFO_GRAMMAR)))
192
193
194 define gen_spvtools_vendor_tables
195 $(call generate-file-dir,$(1)/$(2).insts.inc)
196 $(1)/$(2).insts.inc : \
197         $(LOCAL_PATH)/utils/generate_grammar_tables.py \
198         $(LOCAL_PATH)/source/extinst.$(2).grammar.json
199                 @$(HOST_PYTHON) $(LOCAL_PATH)/utils/generate_grammar_tables.py \
200                     --extinst-vendor-grammar=$(LOCAL_PATH)/source/extinst.$(2).grammar.json \
201                     --vendor-insts-output=$(1)/$(2).insts.inc
202                 @echo "[$(TARGET_ARCH_ABI)] Vendor extended instruction set: $(2) tables <= grammar"
203 $(LOCAL_PATH)/source/ext_inst.cpp: $(1)/$(2).insts.inc
204 endef
205 # Vendor extended instruction sets, with grammars from SPIRV-Tools source tree.
206 SPV_NONSTANDARD_EXTINST_GRAMMARS=$(foreach F,$(wildcard $(LOCAL_PATH)/source/extinst.*.grammar.json),$(patsubst extinst.%.grammar.json,%,$(notdir $F)))
207 $(foreach E,$(SPV_NONSTANDARD_EXTINST_GRAMMARS),$(eval $(call gen_spvtools_vendor_tables,$(SPVTOOLS_OUT_PATH),$E)))
208
209 define gen_spvtools_enum_string_mapping
210 $(call generate-file-dir,$(1)/extension_enum.inc.inc)
211 $(1)/extension_enum.inc $(1)/enum_string_mapping.inc: \
212         $(LOCAL_PATH)/utils/generate_grammar_tables.py \
213         $(SPV_CORELATEST_GRAMMAR)
214                 @$(HOST_PYTHON) $(LOCAL_PATH)/utils/generate_grammar_tables.py \
215                                 --spirv-core-grammar=$(SPV_CORELATEST_GRAMMAR) \
216                                 --extinst-debuginfo-grammar=$(SPV_DEBUGINFO_GRAMMAR) \
217                                 --extension-enum-output=$(1)/extension_enum.inc \
218                                 --enum-string-mapping-output=$(1)/enum_string_mapping.inc
219                 @echo "[$(TARGET_ARCH_ABI)] Generate enum<->string mapping <= grammar JSON files"
220 # Generated header extension_enum.inc is transitively included by table.h, which is
221 # used pervasively.  Capture the pervasive dependency.
222 $(foreach F,$(SPVTOOLS_SRC_FILES) $(SPVTOOLS_OPT_SRC_FILES),$(LOCAL_PATH)/$F ) \
223   : $(1)/extension_enum.inc
224 $(LOCAL_PATH)/source/enum_string_mapping.cpp: $(1)/enum_string_mapping.inc
225 endef
226 $(eval $(call gen_spvtools_enum_string_mapping,$(SPVTOOLS_OUT_PATH)))
227
228 define gen_spvtools_build_version_inc
229 $(call generate-file-dir,$(1)/dummy_filename)
230 $(1)/build-version.inc: \
231         $(LOCAL_PATH)/utils/update_build_version.py \
232         $(LOCAL_PATH)/CHANGES
233                 @$(HOST_PYTHON) $(LOCAL_PATH)/utils/update_build_version.py \
234                                 $(LOCAL_PATH) $(1)/build-version.inc
235                 @echo "[$(TARGET_ARCH_ABI)] Generate       : build-version.inc <= CHANGES"
236 $(LOCAL_PATH)/source/software_version.cpp: $(1)/build-version.inc
237 endef
238 $(eval $(call gen_spvtools_build_version_inc,$(SPVTOOLS_OUT_PATH)))
239
240 define gen_spvtools_generators_inc
241 $(call generate-file-dir,$(1)/dummy_filename)
242 $(1)/generators.inc: \
243         $(LOCAL_PATH)/utils/generate_registry_tables.py \
244         $(SPVHEADERS_LOCAL_PATH)/include/spirv/spir-v.xml
245                 @$(HOST_PYTHON) $(LOCAL_PATH)/utils/generate_registry_tables.py \
246                                 --xml=$(SPVHEADERS_LOCAL_PATH)/include/spirv/spir-v.xml \
247                                 --generator-output=$(1)/generators.inc
248                 @echo "[$(TARGET_ARCH_ABI)] Generate       : generators.inc <= spir-v.xml"
249 $(LOCAL_PATH)/source/opcode.cpp: $(1)/generators.inc
250 endef
251 $(eval $(call gen_spvtools_generators_inc,$(SPVTOOLS_OUT_PATH)))
252
253 include $(CLEAR_VARS)
254 LOCAL_MODULE := SPIRV-Tools
255 LOCAL_C_INCLUDES := \
256                 $(LOCAL_PATH)/include \
257                 $(LOCAL_PATH)/source \
258                 $(LOCAL_PATH)/external/spirv-headers/include \
259                 $(SPVTOOLS_OUT_PATH)
260 LOCAL_EXPORT_C_INCLUDES := \
261                 $(LOCAL_PATH)/include
262 LOCAL_CXXFLAGS:=-std=c++11 -fno-exceptions -fno-rtti -Werror
263 LOCAL_SRC_FILES:= $(SPVTOOLS_SRC_FILES)
264 include $(BUILD_STATIC_LIBRARY)
265
266 include $(CLEAR_VARS)
267 LOCAL_MODULE := SPIRV-Tools-opt
268 LOCAL_C_INCLUDES := \
269                 $(LOCAL_PATH)/include \
270                 $(LOCAL_PATH)/source \
271                 $(LOCAL_PATH)/external/spirv-headers/include \
272                 $(SPVTOOLS_OUT_PATH)
273 LOCAL_CXXFLAGS:=-std=c++11 -fno-exceptions -fno-rtti -Werror
274 LOCAL_STATIC_LIBRARIES:=SPIRV-Tools
275 LOCAL_SRC_FILES:= $(SPVTOOLS_OPT_SRC_FILES)
276 include $(BUILD_STATIC_LIBRARY)