Home
last modified time | relevance | path

Searched refs:fact_manager (Results 1 - 25 of 69) sorted by relevance

123

/third_party/skia/third_party/externals/spirv-tools/test/fuzz/fact_manager/
H A Ddata_synonym_and_id_equation_facts_test.cpp15 #include "source/fuzz/fact_manager/fact_manager.h"
72 FactManager fact_manager(context.get()); in TEST()
74 fact_manager.AddFactDataSynonym(MakeDataDescriptor(10, {}), in TEST()
77 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {}), in TEST()
79 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {0}), in TEST()
81 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {1}), in TEST()
83 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {2}), in TEST()
85 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {3}), in TEST()
136 FactManager fact_manager(contex in TEST()
[all...]
H A Dirrelevant_value_facts_test.cpp15 #include "source/fuzz/fact_manager/fact_manager.h"
51 FactManager fact_manager(context.get()); in TEST()
53 ASSERT_FALSE(fact_manager.IdIsIrrelevant(12)); in TEST()
54 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
56 fact_manager.AddFactIdIsIrrelevant(12); in TEST()
58 ASSERT_TRUE(fact_manager.IdIsIrrelevant(12)); in TEST()
59 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
89 FactManager fact_manager(context.get()); in TEST()
91 ASSERT_EQ(fact_manager in TEST()
[all...]
H A Dconstant_uniform_facts_test.cpp17 #include "source/fuzz/fact_manager/fact_manager.h"
39 FactManager* fact_manager, const std::vector<uint32_t>& words, in AddFactHelper()
49 return fact_manager->MaybeAddFact(fact); in AddFactHelper()
261 FactManager fact_manager(context.get()); in TEST()
272 fact_manager.GetConstantsAvailableFromUniformsForType(type_uint32_id) in TEST()
280 ASSERT_TRUE(AddFactHelper(&fact_manager, {1}, in TEST()
285 &fact_manager, {1}, MakeUniformBufferElementDescriptor(0, 1, {1, 2, 3}))); in TEST()
289 AddFactHelper(&fact_manager, {1}, in TEST()
293 ASSERT_TRUE(AddFactHelper(&fact_manager, {buffer_int32_mi in TEST()
38 AddFactHelper( FactManager* fact_manager, const std::vector<uint32_t>& words, const protobufs::UniformBufferElementDescriptor& descriptor) AddFactHelper() argument
[all...]
H A Ddead_block_facts_test.cpp15 #include "source/fuzz/fact_manager/fact_manager.h"
59 FactManager fact_manager(context.get()); in TEST()
61 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
62 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
63 ASSERT_FALSE(fact_manager.BlockIsDead(12)); in TEST()
65 fact_manager.AddFactBlockIsDead(12); in TEST()
67 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
68 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
69 ASSERT_TRUE(fact_manager in TEST()
[all...]
/third_party/skia/third_party/externals/swiftshader/third_party/SPIRV-Tools/test/fuzz/fact_manager/
H A Ddata_synonym_and_id_equation_facts_test.cpp15 #include "source/fuzz/fact_manager/fact_manager.h"
72 FactManager fact_manager(context.get()); in TEST()
74 fact_manager.AddFactDataSynonym(MakeDataDescriptor(10, {}), in TEST()
77 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {}), in TEST()
79 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {0}), in TEST()
81 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {1}), in TEST()
83 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {2}), in TEST()
85 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {3}), in TEST()
136 FactManager fact_manager(contex in TEST()
[all...]
H A Dirrelevant_value_facts_test.cpp15 #include "source/fuzz/fact_manager/fact_manager.h"
51 FactManager fact_manager(context.get()); in TEST()
53 ASSERT_FALSE(fact_manager.IdIsIrrelevant(12)); in TEST()
54 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
56 fact_manager.AddFactIdIsIrrelevant(12); in TEST()
58 ASSERT_TRUE(fact_manager.IdIsIrrelevant(12)); in TEST()
59 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
89 FactManager fact_manager(context.get()); in TEST()
91 ASSERT_EQ(fact_manager in TEST()
[all...]
H A Dconstant_uniform_facts_test.cpp17 #include "source/fuzz/fact_manager/fact_manager.h"
39 FactManager* fact_manager, const std::vector<uint32_t>& words, in AddFactHelper()
49 return fact_manager->MaybeAddFact(fact); in AddFactHelper()
261 FactManager fact_manager(context.get()); in TEST()
272 fact_manager.GetConstantsAvailableFromUniformsForType(type_uint32_id) in TEST()
280 ASSERT_TRUE(AddFactHelper(&fact_manager, {1}, in TEST()
285 &fact_manager, {1}, MakeUniformBufferElementDescriptor(0, 1, {1, 2, 3}))); in TEST()
289 AddFactHelper(&fact_manager, {1}, in TEST()
293 ASSERT_TRUE(AddFactHelper(&fact_manager, {buffer_int32_mi in TEST()
38 AddFactHelper( FactManager* fact_manager, const std::vector<uint32_t>& words, const protobufs::UniformBufferElementDescriptor& descriptor) AddFactHelper() argument
[all...]
H A Ddead_block_facts_test.cpp15 #include "source/fuzz/fact_manager/fact_manager.h"
59 FactManager fact_manager(context.get()); in TEST()
61 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
62 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
63 ASSERT_FALSE(fact_manager.BlockIsDead(12)); in TEST()
65 fact_manager.AddFactBlockIsDead(12); in TEST()
67 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
68 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
69 ASSERT_TRUE(fact_manager in TEST()
[all...]
/third_party/spirv-tools/test/fuzz/fact_manager/
H A Ddata_synonym_and_id_equation_facts_test.cpp15 #include "source/fuzz/fact_manager/fact_manager.h"
72 FactManager fact_manager(context.get()); in TEST()
74 fact_manager.AddFactDataSynonym(MakeDataDescriptor(10, {}), in TEST()
77 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {}), in TEST()
79 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {0}), in TEST()
81 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {1}), in TEST()
83 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {2}), in TEST()
85 ASSERT_TRUE(fact_manager.IsSynonymous(MakeDataDescriptor(10, {3}), in TEST()
136 FactManager fact_manager(contex in TEST()
[all...]
H A Dirrelevant_value_facts_test.cpp15 #include "source/fuzz/fact_manager/fact_manager.h"
51 FactManager fact_manager(context.get()); in TEST()
53 ASSERT_FALSE(fact_manager.IdIsIrrelevant(12)); in TEST()
54 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
56 fact_manager.AddFactIdIsIrrelevant(12); in TEST()
58 ASSERT_TRUE(fact_manager.IdIsIrrelevant(12)); in TEST()
59 ASSERT_FALSE(fact_manager.IdIsIrrelevant(13)); in TEST()
89 FactManager fact_manager(context.get()); in TEST()
91 ASSERT_EQ(fact_manager in TEST()
[all...]
H A Dconstant_uniform_facts_test.cpp17 #include "source/fuzz/fact_manager/fact_manager.h"
39 FactManager* fact_manager, const std::vector<uint32_t>& words, in AddFactHelper()
49 return fact_manager->MaybeAddFact(fact); in AddFactHelper()
261 FactManager fact_manager(context.get()); in TEST()
272 fact_manager.GetConstantsAvailableFromUniformsForType(type_uint32_id) in TEST()
280 ASSERT_TRUE(AddFactHelper(&fact_manager, {1}, in TEST()
285 &fact_manager, {1}, MakeUniformBufferElementDescriptor(0, 1, {1, 2, 3}))); in TEST()
289 AddFactHelper(&fact_manager, {1}, in TEST()
293 ASSERT_TRUE(AddFactHelper(&fact_manager, {buffer_int32_mi in TEST()
38 AddFactHelper( FactManager* fact_manager, const std::vector<uint32_t>& words, const protobufs::UniformBufferElementDescriptor& descriptor) AddFactHelper() argument
[all...]
H A Ddead_block_facts_test.cpp15 #include "source/fuzz/fact_manager/fact_manager.h"
59 FactManager fact_manager(context.get()); in TEST()
61 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
62 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
63 ASSERT_FALSE(fact_manager.BlockIsDead(12)); in TEST()
65 fact_manager.AddFactBlockIsDead(12); in TEST()
67 ASSERT_FALSE(fact_manager.BlockIsDead(9)); in TEST()
68 ASSERT_FALSE(fact_manager.BlockIsDead(11)); in TEST()
69 ASSERT_TRUE(fact_manager in TEST()
[all...]
/third_party/skia/third_party/externals/spirv-tools/test/fuzz/
H A Dfuzzer_pass_add_opphi_synonyms_test.cpp36 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
38 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(15, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(16, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(21, 9)); in SetUpIdSynonyms()
42 fact_manager->MaybeAddFact(MakeSynonymFact(22, 9)); in SetUpIdSynonyms()
45 fact_manager->MaybeAddFact(MakeSynonymFact(10, 23)); in SetUpIdSynonyms()
48 fact_manager->MaybeAddFact(MakeSynonymFact(14, 27)); in SetUpIdSynonyms()
51 fact_manager->MaybeAddFact(MakeSynonymFact(26, 24)); in SetUpIdSynonyms()
52 fact_manager in SetUpIdSynonyms()
[all...]
H A Dtransformation_add_opphi_synonym_test.cpp35 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
36 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
37 fact_manager->MaybeAddFact(MakeSynonymFact(13, 9)); in SetUpIdSynonyms()
38 fact_manager->MaybeAddFact(MakeSynonymFact(14, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(19, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(20, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(10, 21)); in SetUpIdSynonyms()
H A Dtransformation_replace_irrelevant_id_test.cpp66 void SetUpIrrelevantIdFacts(FactManager* fact_manager) { in SetUpIrrelevantIdFacts() argument
67 fact_manager->AddFactIdIsIrrelevant(17); in SetUpIrrelevantIdFacts()
68 fact_manager->AddFactIdIsIrrelevant(23); in SetUpIrrelevantIdFacts()
69 fact_manager->AddFactIdIsIrrelevant(24); in SetUpIrrelevantIdFacts()
70 fact_manager->AddFactIdIsIrrelevant(25); in SetUpIrrelevantIdFacts()
/third_party/skia/third_party/externals/swiftshader/third_party/SPIRV-Tools/test/fuzz/
H A Dfuzzer_pass_add_opphi_synonyms_test.cpp36 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
38 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(15, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(16, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(21, 9)); in SetUpIdSynonyms()
42 fact_manager->MaybeAddFact(MakeSynonymFact(22, 9)); in SetUpIdSynonyms()
45 fact_manager->MaybeAddFact(MakeSynonymFact(10, 23)); in SetUpIdSynonyms()
48 fact_manager->MaybeAddFact(MakeSynonymFact(14, 27)); in SetUpIdSynonyms()
51 fact_manager->MaybeAddFact(MakeSynonymFact(26, 24)); in SetUpIdSynonyms()
52 fact_manager in SetUpIdSynonyms()
[all...]
H A Dtransformation_add_opphi_synonym_test.cpp35 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
36 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
37 fact_manager->MaybeAddFact(MakeSynonymFact(13, 9)); in SetUpIdSynonyms()
38 fact_manager->MaybeAddFact(MakeSynonymFact(14, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(19, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(20, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(10, 21)); in SetUpIdSynonyms()
/third_party/spirv-tools/test/fuzz/
H A Dfuzzer_pass_add_opphi_synonyms_test.cpp36 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
38 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(15, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(16, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(21, 9)); in SetUpIdSynonyms()
42 fact_manager->MaybeAddFact(MakeSynonymFact(22, 9)); in SetUpIdSynonyms()
45 fact_manager->MaybeAddFact(MakeSynonymFact(10, 23)); in SetUpIdSynonyms()
48 fact_manager->MaybeAddFact(MakeSynonymFact(14, 27)); in SetUpIdSynonyms()
51 fact_manager->MaybeAddFact(MakeSynonymFact(26, 24)); in SetUpIdSynonyms()
52 fact_manager in SetUpIdSynonyms()
[all...]
H A Dtransformation_add_opphi_synonym_test.cpp35 void SetUpIdSynonyms(FactManager* fact_manager) { in SetUpIdSynonyms() argument
36 fact_manager->MaybeAddFact(MakeSynonymFact(11, 9)); in SetUpIdSynonyms()
37 fact_manager->MaybeAddFact(MakeSynonymFact(13, 9)); in SetUpIdSynonyms()
38 fact_manager->MaybeAddFact(MakeSynonymFact(14, 9)); in SetUpIdSynonyms()
39 fact_manager->MaybeAddFact(MakeSynonymFact(19, 9)); in SetUpIdSynonyms()
40 fact_manager->MaybeAddFact(MakeSynonymFact(20, 9)); in SetUpIdSynonyms()
41 fact_manager->MaybeAddFact(MakeSynonymFact(10, 21)); in SetUpIdSynonyms()
/third_party/skia/third_party/externals/spirv-tools/source/fuzz/
H A Dtransformation_context.cpp51 std::unique_ptr<FactManager> fact_manager, in TransformationContext()
53 : fact_manager_(std::move(fact_manager)), in TransformationContext()
58 std::unique_ptr<FactManager> fact_manager, in TransformationContext()
61 : fact_manager_(std::move(fact_manager)), in TransformationContext()
50 TransformationContext( std::unique_ptr<FactManager> fact_manager, spv_validator_options validator_options) TransformationContext() argument
57 TransformationContext( std::unique_ptr<FactManager> fact_manager, spv_validator_options validator_options, std::unique_ptr<OverflowIdSource> overflow_id_source) TransformationContext() argument
/third_party/skia/third_party/externals/swiftshader/third_party/SPIRV-Tools/source/fuzz/
H A Dtransformation_context.cpp51 std::unique_ptr<FactManager> fact_manager, in TransformationContext()
53 : fact_manager_(std::move(fact_manager)), in TransformationContext()
58 std::unique_ptr<FactManager> fact_manager, in TransformationContext()
61 : fact_manager_(std::move(fact_manager)), in TransformationContext()
50 TransformationContext( std::unique_ptr<FactManager> fact_manager, spv_validator_options validator_options) TransformationContext() argument
57 TransformationContext( std::unique_ptr<FactManager> fact_manager, spv_validator_options validator_options, std::unique_ptr<OverflowIdSource> overflow_id_source) TransformationContext() argument
/third_party/spirv-tools/source/fuzz/
H A Dtransformation_context.cpp51 std::unique_ptr<FactManager> fact_manager, in TransformationContext()
53 : fact_manager_(std::move(fact_manager)), in TransformationContext()
58 std::unique_ptr<FactManager> fact_manager, in TransformationContext()
61 : fact_manager_(std::move(fact_manager)), in TransformationContext()
50 TransformationContext( std::unique_ptr<FactManager> fact_manager, spv_validator_options validator_options) TransformationContext() argument
57 TransformationContext( std::unique_ptr<FactManager> fact_manager, spv_validator_options validator_options, std::unique_ptr<OverflowIdSource> overflow_id_source) TransformationContext() argument
/third_party/skia/third_party/externals/spirv-tools/source/fuzz/fact_manager/
H A Dfact_manager.h23 #include "source/fuzz/fact_manager/constant_uniform_facts.h"
24 #include "source/fuzz/fact_manager/data_synonym_and_id_equation_facts.h"
25 #include "source/fuzz/fact_manager/dead_block_facts.h"
26 #include "source/fuzz/fact_manager/irrelevant_value_facts.h"
27 #include "source/fuzz/fact_manager/livesafe_function_facts.h"
214 fact_manager::ConstantUniformFacts constant_uniform_facts_;
215 fact_manager::DataSynonymAndIdEquationFacts
217 fact_manager::DeadBlockFacts dead_block_facts_;
218 fact_manager::LivesafeFunctionFacts livesafe_function_facts_;
219 fact_manager
[all...]
/third_party/skia/third_party/externals/swiftshader/third_party/SPIRV-Tools/source/fuzz/fact_manager/
H A Dfact_manager.h23 #include "source/fuzz/fact_manager/constant_uniform_facts.h"
24 #include "source/fuzz/fact_manager/data_synonym_and_id_equation_facts.h"
25 #include "source/fuzz/fact_manager/dead_block_facts.h"
26 #include "source/fuzz/fact_manager/irrelevant_value_facts.h"
27 #include "source/fuzz/fact_manager/livesafe_function_facts.h"
214 fact_manager::ConstantUniformFacts constant_uniform_facts_;
215 fact_manager::DataSynonymAndIdEquationFacts
217 fact_manager::DeadBlockFacts dead_block_facts_;
218 fact_manager::LivesafeFunctionFacts livesafe_function_facts_;
219 fact_manager
[all...]
/third_party/spirv-tools/source/fuzz/fact_manager/
H A Dfact_manager.h23 #include "source/fuzz/fact_manager/constant_uniform_facts.h"
24 #include "source/fuzz/fact_manager/data_synonym_and_id_equation_facts.h"
25 #include "source/fuzz/fact_manager/dead_block_facts.h"
26 #include "source/fuzz/fact_manager/irrelevant_value_facts.h"
27 #include "source/fuzz/fact_manager/livesafe_function_facts.h"
214 fact_manager::ConstantUniformFacts constant_uniform_facts_;
215 fact_manager::DataSynonymAndIdEquationFacts
217 fact_manager::DeadBlockFacts dead_block_facts_;
218 fact_manager::LivesafeFunctionFacts livesafe_function_facts_;
219 fact_manager
[all...]

Completed in 31 milliseconds

123