Home
last modified time | relevance | path

Searched refs:GetFactManager (Results 1 – 25 of 216) sorted by relevance

123456789

/external/swiftshader/third_party/SPIRV-Tools/test/fuzz/
Dtransformation_compute_data_synonym_fact_closure_test.cpp134 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
136 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
138 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
140 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
143 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
145 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
147 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
149 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
151 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
154 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
[all …]
Dtransformation_vector_shuffle_test.cpp94 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
96 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
99 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
101 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
103 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
106 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
108 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
110 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
112 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
115 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
[all …]
Dtransformation_composite_construct_test.cpp153 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
155 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
157 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
174 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
176 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
195 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
197 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
199 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
216 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
218 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
[all …]
Dtransformation_composite_insert_test.cpp368 transformation_context.GetFactManager()->AddFactIdIsIrrelevant(30); in TEST()
381 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
383 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
385 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
387 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
391 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
473 transformation_context.GetFactManager()->AddFactIdIsIrrelevant(11); in TEST()
486 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
488 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
490 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
[all …]
Dtransformation_function_call_test.cpp142 transformation_context.GetFactManager()->AddFactBlockIsDead(59); in TEST()
143 transformation_context.GetFactManager()->AddFactBlockIsDead(11); in TEST()
144 transformation_context.GetFactManager()->AddFactBlockIsDead(18); in TEST()
145 transformation_context.GetFactManager()->AddFactBlockIsDead(25); in TEST()
146 transformation_context.GetFactManager()->AddFactBlockIsDead(96); in TEST()
147 transformation_context.GetFactManager()->AddFactBlockIsDead(205); in TEST()
148 transformation_context.GetFactManager()->AddFactFunctionIsLivesafe(21); in TEST()
149 transformation_context.GetFactManager()->AddFactFunctionIsLivesafe(200); in TEST()
150 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
152 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
[all …]
Dtransformation_propagate_instruction_down_test.cpp185 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
187 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
687 transformation_context.GetFactManager()->AddFactBlockIsDead(22); in TEST()
688 transformation_context.GetFactManager()->AddFactIdIsIrrelevant(24); in TEST()
689 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
703 ASSERT_FALSE(transformation_context.GetFactManager()->IdIsIrrelevant(201)); in TEST()
704 ASSERT_FALSE(transformation_context.GetFactManager()->IdIsIrrelevant(202)); in TEST()
705 ASSERT_FALSE(transformation_context.GetFactManager()->IdIsIrrelevant(200)); in TEST()
708 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(201)); in TEST()
710 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(202)); in TEST()
[all …]
Ddata_synonym_transformation_test.cpp132 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
134 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
136 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
138 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
140 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
142 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
144 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
426 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
428 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
430 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
[all …]
Dtransformation_add_opphi_synonym_test.cpp93 SetUpIdSynonyms(transformation_context.GetFactManager()); in TEST()
94 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
214 SetUpIdSynonyms(transformation_context.GetFactManager()); in TEST()
217 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(28, 9)); in TEST()
218 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(30, 9)); in TEST()
225 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
234 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
243 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
251 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
363 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(3, 15)); in TEST()
[all …]
Dtransformation_add_global_variable_test.cpp153 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(100)); in TEST()
155 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(102)); in TEST()
157 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(104)); in TEST()
159 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(101)); in TEST()
161 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(103)); in TEST()
163 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(105)); in TEST()
277 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(100)); in TEST()
279 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(102)); in TEST()
281 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(101)); in TEST()
377 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(8)); in TEST()
[all …]
Dtransformation_replace_branch_from_dead_block_with_exit_test.cpp75 transformation_context.GetFactManager()->AddFactBlockIsDead(8); in TEST()
76 transformation_context.GetFactManager()->AddFactBlockIsDead(10); in TEST()
77 transformation_context.GetFactManager()->AddFactBlockIsDead(11); in TEST()
78 transformation_context.GetFactManager()->AddFactBlockIsDead(16); in TEST()
79 transformation_context.GetFactManager()->AddFactBlockIsDead(20); in TEST()
279 transformation_context.GetFactManager()->AddFactBlockIsDead(block); in TEST()
500 transformation_context.GetFactManager()->AddFactBlockIsDead(8); in TEST()
501 transformation_context.GetFactManager()->AddFactBlockIsDead(10); in TEST()
502 transformation_context.GetFactManager()->AddFactBlockIsDead(11); in TEST()
503 transformation_context.GetFactManager()->AddFactBlockIsDead(16); in TEST()
[all …]
Dtransformation_add_loop_to_create_int_constant_synonym_test.cpp396 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
409 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
422 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
575 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
587 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
599 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
611 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
623 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
774 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
786 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
[all …]
Dtransformation_add_local_variable_test.cpp153 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(100)); in TEST()
155 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(101)); in TEST()
157 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(102)); in TEST()
159 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(103)); in TEST()
161 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(104)); in TEST()
163 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(105)); in TEST()
Dtransformation_store_test.cpp102 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
104 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
106 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
108 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
110 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
112 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
114 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
117 transformation_context.GetFactManager()->AddFactBlockIsDead(36); in TEST()
414 transformation_context.GetFactManager()->AddFactBlockIsDead(5); in TEST()
/external/deqp-deps/SPIRV-Tools/test/fuzz/
Dtransformation_compute_data_synonym_fact_closure_test.cpp134 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
136 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
138 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
140 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
143 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
145 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
147 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
149 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
151 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
154 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
[all …]
Dtransformation_vector_shuffle_test.cpp94 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
96 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
99 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
101 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
103 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
106 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
108 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
110 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
112 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
115 transformation_context.GetFactManager()->AddFactDataSynonym( in TEST()
[all …]
Dtransformation_composite_construct_test.cpp153 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
155 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
157 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
174 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
176 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
195 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
197 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
199 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
216 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
218 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
[all …]
Dtransformation_composite_insert_test.cpp368 transformation_context.GetFactManager()->AddFactIdIsIrrelevant(30); in TEST()
381 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
383 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
385 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
387 ASSERT_FALSE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
391 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
473 transformation_context.GetFactManager()->AddFactIdIsIrrelevant(11); in TEST()
486 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
488 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
490 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
[all …]
Dtransformation_function_call_test.cpp142 transformation_context.GetFactManager()->AddFactBlockIsDead(59); in TEST()
143 transformation_context.GetFactManager()->AddFactBlockIsDead(11); in TEST()
144 transformation_context.GetFactManager()->AddFactBlockIsDead(18); in TEST()
145 transformation_context.GetFactManager()->AddFactBlockIsDead(25); in TEST()
146 transformation_context.GetFactManager()->AddFactBlockIsDead(96); in TEST()
147 transformation_context.GetFactManager()->AddFactBlockIsDead(205); in TEST()
148 transformation_context.GetFactManager()->AddFactFunctionIsLivesafe(21); in TEST()
149 transformation_context.GetFactManager()->AddFactFunctionIsLivesafe(200); in TEST()
150 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
152 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
[all …]
Dtransformation_propagate_instruction_down_test.cpp185 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
187 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
687 transformation_context.GetFactManager()->AddFactBlockIsDead(22); in TEST()
688 transformation_context.GetFactManager()->AddFactIdIsIrrelevant(24); in TEST()
689 transformation_context.GetFactManager()->AddFactValueOfPointeeIsIrrelevant( in TEST()
703 ASSERT_FALSE(transformation_context.GetFactManager()->IdIsIrrelevant(201)); in TEST()
704 ASSERT_FALSE(transformation_context.GetFactManager()->IdIsIrrelevant(202)); in TEST()
705 ASSERT_FALSE(transformation_context.GetFactManager()->IdIsIrrelevant(200)); in TEST()
708 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(201)); in TEST()
710 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(202)); in TEST()
[all …]
Ddata_synonym_transformation_test.cpp132 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
134 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
136 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
138 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
140 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
142 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
144 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
426 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
428 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
430 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
[all …]
Dtransformation_add_opphi_synonym_test.cpp93 SetUpIdSynonyms(transformation_context.GetFactManager()); in TEST()
94 transformation_context.GetFactManager()->MaybeAddFact( in TEST()
214 SetUpIdSynonyms(transformation_context.GetFactManager()); in TEST()
217 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(28, 9)); in TEST()
218 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(30, 9)); in TEST()
225 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
234 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
243 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
251 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
363 transformation_context.GetFactManager()->MaybeAddFact(MakeSynonymFact(3, 15)); in TEST()
[all …]
Dtransformation_add_global_variable_test.cpp153 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(100)); in TEST()
155 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(102)); in TEST()
157 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(104)); in TEST()
159 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(101)); in TEST()
161 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(103)); in TEST()
163 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(105)); in TEST()
277 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(100)); in TEST()
279 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(102)); in TEST()
281 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(101)); in TEST()
377 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(8)); in TEST()
[all …]
Dtransformation_replace_branch_from_dead_block_with_exit_test.cpp75 transformation_context.GetFactManager()->AddFactBlockIsDead(8); in TEST()
76 transformation_context.GetFactManager()->AddFactBlockIsDead(10); in TEST()
77 transformation_context.GetFactManager()->AddFactBlockIsDead(11); in TEST()
78 transformation_context.GetFactManager()->AddFactBlockIsDead(16); in TEST()
79 transformation_context.GetFactManager()->AddFactBlockIsDead(20); in TEST()
279 transformation_context.GetFactManager()->AddFactBlockIsDead(block); in TEST()
500 transformation_context.GetFactManager()->AddFactBlockIsDead(8); in TEST()
501 transformation_context.GetFactManager()->AddFactBlockIsDead(10); in TEST()
502 transformation_context.GetFactManager()->AddFactBlockIsDead(11); in TEST()
503 transformation_context.GetFactManager()->AddFactBlockIsDead(16); in TEST()
[all …]
Dtransformation_add_loop_to_create_int_constant_synonym_test.cpp396 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
409 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
422 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
575 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
587 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
599 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
611 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
623 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous( in TEST()
774 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
786 ASSERT_TRUE(transformation_context.GetFactManager()->IsSynonymous(
[all …]
Dtransformation_add_local_variable_test.cpp153 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(100)); in TEST()
155 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(101)); in TEST()
157 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(102)); in TEST()
159 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(103)); in TEST()
161 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(104)); in TEST()
163 transformation_context.GetFactManager()->PointeeValueIsIrrelevant(105)); in TEST()

123456789