Home
last modified time | relevance | path

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

12345678910

/arkcompiler/runtime_core/libabckit/tests/ut/ir_core/graph_basic_block/
Dgraph_basic_block_static.cpp47 // Verify bb predecessors in VerifyGraphStart()
50 // Verify bb successors in VerifyGraphStart()
53 // Verify instructions in VerifyGraphStart()
75 // Verify bb predecessors in VerifyGraphEnd()
78 // Verify bb successors in VerifyGraphEnd()
81 // Verify instructions in VerifyGraphEnd()
109 // Verify bb predecessors in VerifyGraphVisitBlocks()
112 // Verify bb successors in VerifyGraphVisitBlocks()
115 // Verify instructions in VerifyGraphVisitBlocks()
123 // Verify bb predecessors in VerifyGraphVisitBlocks()
[all …]
Dgraph_basic_block_dynamic.cpp227 // Verify bb predecessors in VerifyGraphStart()
230 // Verify bb successors in VerifyGraphStart()
233 // Verify instructions in VerifyGraphStart()
272 // Verify bb predecessors in VerifyGraphEnd()
275 // Verify bb successors in VerifyGraphEnd()
278 // Verify instructions in VerifyGraphEnd()
320 // Verify bb predecessors in VerifyGraphVisitBlocks()
323 // Verify bb successors in VerifyGraphVisitBlocks()
326 // Verify instructions in VerifyGraphVisitBlocks()
334 // Verify bb predecessors in VerifyGraphVisitBlocks()
[all …]
/arkcompiler/ets_runtime/ecmascript/mem/
Dverification.cpp64 // Only used for verify InactiveSemiSpace
70 …LogErrorForObj(heap, "Verify InactiveSemiSpaceMarkedObject: Object is not in InactiveSemiSpace.", … in VerifyInactiveSemiSpaceMarkedObject()
74 … LogErrorForObj(heap, "Verify InactiveSemiSpaceMarkedObject: not forwarding address.", object); in VerifyInactiveSemiSpaceMarkedObject()
80 … LogErrorForObjSlot(heap, "Verify InactiveSemiSpaceMarkedObject: forwarding address, " in VerifyInactiveSemiSpaceMarkedObject()
87 // Verify the object body
103 LogErrorForObjSlot(heap_, "Heap verify detected an invalid value.", in VerifyObjectSlotLegal()
107 LogErrorForObjSlot(heap_, "Heap verify detected a dead weak object.", in VerifyObjectSlotLegal()
122 LogErrorForObjSlot(heap_, "Heap verify detected an invalid value.", in VerifyHeapObjectSlotLegal()
126 LogErrorForObjSlot(heap_, "Heap verify detected a dead object.", in VerifyHeapObjectSlotLegal()
157 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.
Dliveness_analyzer_new_test.cpp40 * @tc.desc: Verify the DumpLifeIntervals function.
70 * @tc.desc: Verify the DumpLifeIntervals function.
206 * @tc.desc: Verify the IsCallBlockingRegisters function.
239 * @tc.desc: Verify the AppendRange function.
276 * @tc.desc: Verify the SplitAt function.
308 * @tc.desc: Verify the MergeSibling function.
340 * @tc.desc: Verify the FindSiblingAt function.
368 * @tc.desc: Verify the FindSiblingAt function.
398 * @tc.desc: Verify the GetFirstIntersectionWith function.
427 * @tc.desc: Verify the GetFirstIntersectionWith function.
[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_2.cpp49 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
75 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
131 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
153 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
183 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
213 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
243 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
Dast_verifier_variable_has_enclosing_scope_test.cpp48 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
77 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
103 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
129 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
154 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
Dast_verifier_reference_typeannotation_test.cpp56 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
87 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
118 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
142 const auto &messages = verifier.Verify(ast, checks); in TEST_F()
165 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/runtime_core/verifier/tests/
Dverify_checksum_test.cpp38 * @tc.desc: Verify the abc file checksum value function.
51 * @tc.desc: Verify the modified abc file checksum value function.
87 * @tc.desc: Verify the modified abc file content function.
116 EXPECT_FALSE(ver.Verify());
/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/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

12345678910