Verifier (reference) in projects: arkcompiler

Repository(s)

Full Search		Search through all text tokens(words,strings,identifiers,numbers) in index.
Definition		Only finds symbol definitions(where e.g a variable(function,...) is defined).
Symbol		Only finds symbol(e.g. methods classes,function,variables).
File Path		Path of the source file(use "/").If you want just exact path,enclose it in "".Source files end with: .jar/.bz2/.a/.h/.java...
History		History log comments.
Type		Type of analyzer used to filter file types include with selected(e.g. just C sources).

Help

Searched refs:Verifier (Results 1 - 25 of 28) sorted by relevance

/arkcompiler/runtime_core/verifier/
H A D	verifier.cpp	25 Verifier::Verifier(const std::string &filename) in Verifier() function in panda::verifier::Verifier 31 bool Verifier::Verify() in Verify() 48 bool Verifier::CollectIdInfos() in CollectIdInfos() 61 bool Verifier::VerifyChecksum() in VerifyChecksum() 73 bool Verifier::VerifyConstantPool() in VerifyConstantPool() 95 bool Verifier::VerifyRegisterIndex() in VerifyRegisterIndex() 138 bool Verifier::VerifyConstantPoolIndex() in VerifyConstantPoolIndex() 152 bool Verifier::VerifyConstantPoolContent() in VerifyConstantPoolContent() 170 void Verifier [all...]
H A D	verifier.h	`56 class Verifier { class 58 explicit Verifier(const std::string &filename); 59 ~Verifier() = default; 130 return bit_cast<TaggedType>(value) >= (Verifier::TAG_INT - Verifier::DOUBLE_ENCODE_OFFSET); in IsImpureNaN()`
H A D	verify.cpp	`22 panda::verifier::Verifier vf {input_file}; in Verify()`
/arkcompiler/runtime_core/verifier/tests/
H A D	verify_constant_pool_tests.cpp	55 panda::verifier::Verifier ver {file_name}; in HWTEST_F() 72 panda::verifier::Verifier ver {base_file_name}; in HWTEST_F() 98 panda::verifier::Verifier ver {target_file_name}; in HWTEST_F() 117 panda::verifier::Verifier ver {target_file_name_02}; in HWTEST_F() 135 panda::verifier::Verifier ver {base_file_name}; in HWTEST_F() 161 panda::verifier::Verifier ver {target_file_name}; in HWTEST_F() 180 panda::verifier::Verifier ver {target_file_name_02}; in HWTEST_F() 197 panda::verifier::Verifier ver {base_file_name}; in HWTEST_F() 223 panda::verifier::Verifier ver {target_file_name}; in HWTEST_F() 242 panda::verifier::Verifier ve in HWTEST_F() [all...]
H A D	verify_checksum_test.cpp	`45 panda::verifier::Verifier ver {file_name}; in HWTEST_F() 59 panda::verifier::Verifier ver {base_file_name}; in HWTEST_F() 80 panda::verifier::Verifier ver {target_file_name}; in HWTEST_F() 95 panda::verifier::Verifier ver {base_file_name}; in HWTEST_F() 114 panda::verifier::Verifier ver {target_file_name}; in HWTEST_F()`
H A D	verify_register_index_test.cpp	`49 panda::verifier::Verifier ver {file_name}; in HWTEST_F() 65 panda::verifier::Verifier ver {base_file_name}; in HWTEST_F() 92 panda::verifier::Verifier ver {tar_file_name}; in HWTEST_F() 108 panda::verifier::Verifier ver {base_file_name}; in HWTEST_F() 136 panda::verifier::Verifier ver {tar_file_name}; in HWTEST_F()`
H A D	pull_hap_files.bat	`19 @rem Verifier-Pull-Haps startup script for Windows`
/arkcompiler/ets_runtime/ecmascript/compiler/tests/
H A D	typed_array_lowering_test.cpp	35 using ecmascript::kungfu::Verifier; 59 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 64 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 89 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 94 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 126 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 131 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 158 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 163 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 190 EXPECT_TRUE(Verifier in HWTEST_F_L0() [all...]
H A D	global_value_numbering_test.cpp	`43 using ecmascript::kungfu::Verifier; 139 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 144 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 175 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 180 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 209 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 214 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0()`
H A D	loop_optimization_test.cpp	`49 using ecmascript::kungfu::Verifier; 117 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 123 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 166 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0() 217 EXPECT_TRUE(Verifier::Run(&circuit)); in HWTEST_F_L0()`
H A D	constant_folding_test.cpp	`47 using ecmascript::kungfu::Verifier;`
H A D	combined_pass_visitor_test.cpp	`39 using ecmascript::kungfu::Verifier;`
H A D	dead_code_elimination_test.cpp	`35 using ecmascript::kungfu::Verifier;`
/arkcompiler/ets_runtime/ecmascript/compiler/
H A D	verifier.cpp	31 bool Verifier::RunDataIntegrityCheck(const Circuit *circuit) in RunDataIntegrityCheck() 45 LOG_COMPILER(ERROR) << "[Verifier][Error] Circuit data is corrupted (bad next gate)"; in RunDataIntegrityCheck() 59 LOG_COMPILER(ERROR) << "[Verifier][Error] Circuit data is corrupted (out of bound access)"; in RunDataIntegrityCheck() 68 LOG_COMPILER(ERROR) << "[Verifier][Error] Circuit data is corrupted (corrupted in list)"; in RunDataIntegrityCheck() 73 LOG_COMPILER(ERROR) << "[Verifier][Error] Circuit data is corrupted (invalid in address)"; in RunDataIntegrityCheck() 83 LOG_COMPILER(ERROR) << "[Verifier][Error] Circuit data is corrupted (corrupted out list)"; in RunDataIntegrityCheck() 88 LOG_COMPILER(ERROR) << "[Verifier][Error] Circuit data is corrupted (invalid out address)"; in RunDataIntegrityCheck() 96 LOG_COMPILER(ERROR) << "[Verifier][Error] Circuit data is corrupted (corrupted out list)"; in RunDataIntegrityCheck() 101 LOG_COMPILER(ERROR) << "[Verifier][Error] Circuit data is corrupted (invalid out address)"; in RunDataIntegrityCheck() 112 bool Verifier [all...]
H A D	verifier.h	`28 class Verifier { class`
H A D	pass.h	`545 bool hasFlowCycle = Verifier::RunFlowCyclesFind(data->GetCircuit()); in Run() 560 bool isQualified = Verifier::Run(data->GetCircuit(), data->GetMethodName(), enableLog); in Run()`
H A D	circuit.h	`348 friend class Verifier;`
/arkcompiler/runtime_core/static_core/libllvmbackend/transforms/passes/inline_ir/
H A D	mark_always_inline.cpp	`24 #include <llvm/IR/Verifier.h>`
H A D	remove_unused_functions.cpp	`24 #include <llvm/IR/Verifier.h>`
/arkcompiler/runtime_core/static_core/verification/util/tests/
H A D	lazy_test.cpp	`25 TEST(Verifier, Lazy) in TEST()`
/arkcompiler/runtime_core/static_core/libllvmbackend/transforms/passes/
H A D	prune_deopt.cpp	`22 #include <llvm/IR/Verifier.h>`
H A D	intrinsics_lowering.cpp	`28 #include <llvm/IR/Verifier.h>`
H A D	panda_runtime_lowering.cpp	`28 #include <llvm/IR/Verifier.h>`
H A D	ark_gvn.cpp	`27 #include <llvm/IR/Verifier.h>`
/arkcompiler/runtime_core/static_core/libllvmbackend/transforms/
H A D	llvm_optimizer.cpp	`55 #include <llvm/IR/Verifier.h>`

Completed in 12 milliseconds