Home
last modified time | relevance | path

Searched full:verify (Results 1 – 25 of 221) sorted by relevance

123456789

/arkcompiler/ets_runtime/ecmascript/mem/
Dverification.cpp66 // Only used for verify InactiveSemiSpace
72 …LogErrorForObj(heap, "Verify InactiveSemiSpaceMarkedObject: Object is not in InactiveSemiSpace.", … in VerifyInactiveSemiSpaceMarkedObject()
76 … LogErrorForObj(heap, "Verify InactiveSemiSpaceMarkedObject: not forwarding address.", object); in VerifyInactiveSemiSpaceMarkedObject()
82 … LogErrorForObjSlot(heap, "Verify InactiveSemiSpaceMarkedObject: forwarding address, " in VerifyInactiveSemiSpaceMarkedObject()
89 // Verify the object body
120 LogErrorForObjSlot(heap_, "Heap verify detected an invalid value.", in VerifyObjectSlotLegal()
124 LogErrorForObjSlot(heap_, "Heap verify detected a dead weak object.", in VerifyObjectSlotLegal()
139 LogErrorForObjSlot(heap_, "Heap verify detected an invalid value.", in VerifyHeapObjectSlotLegal()
143 LogErrorForObjSlot(heap_, "Heap verify detected a dead object.", in VerifyHeapObjectSlotLegal()
180 LOG_GC(FATAL) << "unknown verify kind:" << static_cast<size_t>(verifyKind_); in VerifyHeapObjectSlotLegal()
[all …]
/arkcompiler/runtime_core/compiler/optimizer/templates/
DIR-instructions.md.erb28 verify = (inst.respond_to? 'verification') ? inst.verification : []
31 verify << "users.contain(#{ null_check_users.map { |x| x.opcode }.join(', ')})"
33 verify << "users.contain(#{ zero_check_users.map { |x| x.opcode }.join(', ')})"
35 verify << "users.contain(#{ bounds_check_users.map { |x| x.opcode }.join(', ')})"
37 verify << "users.contain(#{ negative_check_users.map { |x| x.opcode }.join(', ')})"
39 verify_str = !verify.empty? ? "<ul><li> #{verify.join('</li><li>') } </li></ul>" : ''
/arkcompiler/runtime_core/static_core/compiler/optimizer/templates/
DIR-instructions.md.erb28 verify = (inst.respond_to? 'verification') ? inst.verification : []
31 verify << "users.contain(#{ null_check_users.map { |x| x.opcode }.join(', ')})"
33 verify << "users.contain(#{ zero_check_users.map { |x| x.opcode }.join(', ')})"
35 verify << "users.contain(#{ bounds_check_users.map { |x| x.opcode }.join(', ')})"
37 verify << "users.contain(#{ negative_check_users.map { |x| x.opcode }.join(', ')})"
39 verify_str = !verify.empty? ? "<ul><li> #{verify.join('</li><li>') } </li></ul>" : ''
/arkcompiler/runtime_core/bytecode_optimizer/tests/
Dconstant_propagation_test.cpp172 * @tc.desc: Verify the pass to fold greater.
187 * @tc.desc: Verify the pass to fold greater but has no effect.
202 * @tc.desc: Verify the pass to fold greatereq.
217 * @tc.desc: Verify the pass to fold greatereq but has no effect.
232 * @tc.desc: Verify the pass to fold less.
247 * @tc.desc: Verify the pass to fold less but has no effect.
262 * @tc.desc: Verify the pass to fold lesseq.
277 * @tc.desc: Verify the pass to fold lesseq but has no effect.
292 * @tc.desc: Verify the pass to fold eq.
307 * @tc.desc: Verify the pass to fold eq but has no effect.
[all …]
Dcodegen_test.cpp61 * @tc.desc: Verify the DoLda function.
76 * @tc.desc: Verify the DoSta function.
91 * @tc.desc: Verify the EmitJump function.
128 * @tc.desc: Verify the EmitJump function.
165 * @tc.desc: Verify the VisitConstant function.
228 * @tc.desc: Verify the EncodeSta function.
264 * @tc.desc: Verify the VisitLoadString function.
322 * @tc.desc: Verify the VisitDefault function.
356 * @tc.desc: Verify the GetLiteralArrayByOffset function.
375 * @tc.desc: Verify the GetTypeIdByOffset function.
[all …]
/arkcompiler/runtime_core/verifier/
Dverify.cpp16 #include "verify.h"
20 bool Verify(const std::string &input_file) in Verify() function
23 return vf.Verify(); in Verify()
/arkcompiler/runtime_core/compiler/tests/
Dcompiler_inst_test.cpp66 * @tc.desc: Verify the GetInverseConditionCode function.
82 * @tc.desc: Verify the AllocateImmediates function.
116 * @tc.desc: Verify the SwapOperandsConditionCode function.
134 * @tc.desc: Verify the Clone function.
174 * @tc.desc: Verify the CastToParameter function.
202 * @tc.desc: Verify the InSameBlockOrDominate function.
232 * @tc.desc: Verify the GetImmediatesCount function.
268 * @tc.desc: Verify the SetVnObject function.
282 * @tc.desc: Verify the SetVnObject function.
296 * @tc.desc: Verify the SetVnObject function.
[all …]
Dcompiler_graph_test.cpp59 * @tc.desc: Verify the MarkBlocksRec function.
84 * @tc.desc: Verify the DisconnectBlockRec function.
115 * @tc.desc: Verify the GetParametersSlotsCount function.
137 * @tc.desc: Verify the GetBranchCounter function.
172 * @tc.desc: Verify the RemoveUnreachableBlocks function.
197 * @tc.desc: Verify the FindOrAddConstant function.
232 * @tc.desc: Verify the DumpThrowableInsts function.
261 * @tc.desc: Verify the GetMethodFullName function.
284 * @tc.desc: Verify the InitDefaultLocations function.
307 * @tc.desc: Verify the MakeStackParameter function.
[all …]
Dcompiler_basicblock_test.cpp46 * @tc.desc: Verify the BlocksPathDfsSearch function.
73 * @tc.desc: Verify the InsertBlockBefore function.
102 * @tc.desc: Verify the Clone function.
128 * @tc.desc: Verify the CreateImmediateDominator function.
150 * @tc.desc: Verify the IsDominate function.
175 * @tc.desc: Verify the EraseInst function.
205 * @tc.desc: Verify the RemoveInst function.
236 * @tc.desc: Verify the IsInverted function.
261 * @tc.desc: Verify the ReplaceInst function.
290 * @tc.desc: Verify the InsertRangeBefore function.
[all …]
Dcompiler_optimizations_test.cpp50 * @tc.desc: Verify the Add function.
69 * @tc.desc: Verify the VnObject function.
125 * @tc.desc: Verify the Compare function.
156 * @tc.desc: Verify the FindEqualVnOrCreateNew function.
192 * @tc.desc: Verify the MoveConstants function.
214 * @tc.desc: Verify the Lowering function.
237 * @tc.desc: Verify the Cleanup function.
Dloop_analyzer_new_test.cpp40 * @tc.desc: Verify the RunImpl function.
63 * @tc.desc: Verify the IsInside function.
97 * @tc.desc: Verify the GetLoopOutsideSuccessor function.
131 * @tc.desc: Verify the IsLoopSingleBackEdgeExitPoint function.
165 * @tc.desc: Verify the IsLoopSingleBackEdgeExitPoint function.
201 * @tc.desc: Verify the MoveHeaderToSucc function.
Dreg_alloc_interference_graph_new_test.cpp86 * @tc.desc: Verify the AddEdge function of GraphMatrix.
109 * @tc.desc: Verify the AddAffinityEdge function of GraphMatrix.
132 * @tc.desc: Verify the GetNumber function of ColorNode.
147 * @tc.desc: Verify the SetColor function of ColorNode.
163 * @tc.desc: Verify the SetFixedColor function of ColorNode.
183 * @tc.desc: Verify the SetBias function of ColorNode.
201 * @tc.desc: Verify the Assign function of ColorNode.
216 * @tc.desc: Verify the AddCallsite function of ColorNode.
233 * @tc.desc: Verify the AllocNode function of InterferenceGraph.
256 * @tc.desc: Verify the AddBias function of InterferenceGraph.
[all …]
/arkcompiler/runtime_core/assembler/tests/
Dassembler_lexer_test.cpp32 * @tc.desc: Verify the TokenTypeWhat function.
50 * @tc.desc: Verify the TokenTypeWhat function.
66 * @tc.desc: Verify the TokenTypeWhat function.
86 * @tc.desc: Verify the TokenTypeWhat function.
102 * @tc.desc: Verify the TokenTypeWhat function.
120 * @tc.desc: Verify the TokenTypeWhat function.
137 * @tc.desc: Verify the TokenTypeWhat function.
152 * @tc.desc: Verify the TokenTypeWhat function.
167 * @tc.desc: Verify the TokenTypeWhat function.
190 * @tc.desc: Verify the TokenTypeWhat function.
[all …]
Dassembler_mangling_test.cpp31 * @tc.desc: Verify the MangleFunctionName function.
52 * @tc.desc: Verify the DeMangleName function.
65 * @tc.desc: Verify the GetFunctionSignatureFromName function.
84 * @tc.desc: Verify the GetFunctionNameFromSignature function.
/arkcompiler/runtime_core/static_core/plugins/ets/
Druntime_options.yaml144 - name: pre-gc-heap-verify-enabled
149 description: whether verify heap before GC
151 - name: into-gc-heap-verify-enabled
156 description: whether verify heap during GC
158 - name: post-gc-heap-verify-enabled
163 description: whether verify heap after GC
/arkcompiler/ets_frontend/ets2panda/test/unit/public/
Dast_verifier_short_test.cpp60 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
76 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
92 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
107 const auto &messages = verifier.Verify(&emptyNode, checks); in TEST_F()
130 const auto &messages = verifier.Verify(&ident, checks); in TEST_F()
154 const auto &messages = verifier.Verify(&ident, checks); in TEST_F()
175 const auto &messages = verifier.Verify(arithmeticExpression.AsBinaryExpression(), checks); in TEST_F()
202 const auto &messages = verifier.Verify(arithmeticExpression.AsBinaryExpression(), checks); in TEST_F()
224 const auto &messages = verifier.Verify(arithmeticExpression.AsBinaryExpression(), checks); in TEST_F()
244 const auto &messages = verifier.Verify(arithmeticExpression.AsBinaryExpression(), checks); in TEST_F()
[all …]
Dast_verifier_identifier_has_variable_test.cpp49 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
82 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
107 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
133 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
159 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
215 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
/arkcompiler/runtime_core/static_core/verification/models/
DREADME.md28 2. `verify` - to verify (search for counterexamples), where supertypes intersection calculation dur…
/arkcompiler/runtime_core/static_core/tests/checked/verify_aot_tests/
Dverify_aot_test.pa24 #! CHECKER Verify AOT file with cha
30 #! CHECKER Verify AOT file without cha
79 #! CHECKER Verify AOT file with cha and relative path
80 …iles=../../verify_aot_tests_file1.checked/test.abc --paoc-use-cha=true --aot-verify-abs-path=false"
81 #! RUN options: "--panda-files=../../verify_aot_tests_file1.checked/test.abc --aot-verify-…
88 #! RUN options: "--panda-files=../../verify_aot_tests_file1.checked/test.abc --aot-verify-…
/arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_ir/src/
Dmir_nodes.cpp586 if (!GetNopndAt(i)->Verify()) { in VerifyOpnds()
1761 return bOpnd0.Verify() && bOpnd1.Verify(); in BinaryGenericVerify()
1965 bool UnaryNode::Verify() const in Verify() function in maple::UnaryNode
1988 bool opndExprVerf = uOpnd->Verify(); in Verify()
1992 bool TypeCvtNode::Verify() const in Verify() function in maple::TypeCvtNode
2004 bool opndExprVerf = Opnd(0)->Verify(); in Verify()
2011 // Throw Verify Error in AddRuntimeVerifyError()
2028 return Opnd(0)->Verify(); in VerifyPrimTypesAndOpnd()
2075 bool RetypeNode::Verify(VerifyResult &verifyResult) const in Verify() function in maple::RetypeNode
2077 // If RetypeNode::Verify return false, Dump this node to show the wrong IR in Verify()
[all …]
/arkcompiler/runtime_core/static_core/verification/verifier/
Doptions.yaml35 description: Fully qualified class names to verify
43 …Fully qualified method names to verify (if neither this nor classes are set, all classes will be v…
142 - name: verify-runtime-libraries
145 description: Whether to verify system files
/arkcompiler/runtime_core/static_core/plugins/ets/tests/lookup_by_name/
DCMakeLists.txt112 TARGET ets_lookup_by_name_${ARG_FILE}-verify
120 add_dependencies(ets_tests_lookup_by_name_verify ets_lookup_by_name_${ARG_FILE}-verify)
126 DEPENDS ets_lookup_by_name_${ARG_FILE}-verify)
146 # at bytecode level, thus we do not have accurate union type info to verify each variables
/arkcompiler/ets_runtime/test/aottest/aot_compatibility_test/base_verification/
Dbase_verification.ts34 print(hc0 === hc1); // verify no transition occurs in constructor
35 print(ArkTools.isTSHClass(c)); // verify the hclass of c is come from compile phase
/arkcompiler/ets_runtime/ecmascript/pgo_profiler/ap_file/
Dpgo_file_info.cpp45 if (!inHeader->Verify(buffer, bufferSize)) { in BuildFromElastic()
78 … LOG_ECMA(ERROR) << "Verify ap file's file size failed. size: " << std::hex << bufferSize << " vs " in VerifyFileSize()
94 …LOG_ECMA(ERROR) << "Verify ap file's consistency failed. checksum: " << std::hex << checksum << " … in VerifyConsistency()
130 if (!Verify()) { in ParseFromText()
147 if (!Verify()) { in ProcessToText()
/arkcompiler/runtime_core/verifier/tests/
Dverify_constant_pool_tests.cpp40 * @tc.desc: Verify abc file.
54 * @tc.desc: Verify the method id of the abc file.
95 * @tc.desc: Verify the literal id of the abc file.
138 * @tc.desc: Verify the string id of the abc file.
179 * @tc.desc: Verify the format of the abc file.
218 * @tc.desc: Verify the jump instruction of the abc file.
257 * @tc.desc: Verify the literal tag of the abc file.
296 * @tc.desc: Verify the literal id in the literal array of the abc file.
330 * @tc.desc: Verify the method id in the literal array of the abc file.

123456789