Home
last modified time | relevance | path

Searched +full:case +full:- +full:check +full:- +full:type (Results 1 – 25 of 177) sorted by relevance

12345678

/arkcompiler/runtime_core/tests/cts-generator/cts-template/
Dtest-schema.json2 "type": "object", string
4 "file-name",
10 "file-name": {
11 "type": "string" string
14 "type": "boolean" string
17 "type": "boolean" string
20 "type": "object", string
28 "type": "string" string
31 "type": "string" string
34 "type": "array", string
[all …]
Dmonitor.yaml1 # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
6 # http://www.apache.org/licenses/LICENSE-2.0
14 ---
16 - name: PandaAssembly
68 - file-name: 'monitor'
79 … that case monitor is acquired by thread and monitor count is set to 1. The thread becomes the
88 - file-name: 'null_monitor'
89 description: Check panda.NullPointerException when accumulator contains null
92 - sig: monitorenter
97 - sig: monitorexit
[all …]
Djmp.yaml1 # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
6 # http://www.apache.org/licenses/LICENSE-2.0
16 - file-name: "jmp"
23 - branch_target
25 - x_none
27 - file-name: "op_none"
30 - sig: jmp imm:i32
33 … description: Check execution is transferred, jump forward, backward, jump on current instruction.
34 code-template: |
37 check-type: exit-positive
[all …]
Dmov.obj.yaml1 # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
6 # http://www.apache.org/licenses/LICENSE-2.0
17 - file-name: "mov.obj"
19 title: Move register-to-register
22 - x_none
24 - file-name: "op_p"
27 - sig: mov.obj v1:out:ref, v2:in:ref
30 code-template: |
44 header-template: []
45 …description: Check mov.obj with different type of arguments (empty object, with fields, with stati…
[all …]
Dmov.64.yaml1 # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
6 # http://www.apache.org/licenses/LICENSE-2.0
16 - file-name: "mov.64"
18 title: Move register-to-register
21 - x_none
23 - file-name: "op_vs_4_vs_4"
26 - sig: mov.64 v1:out:b64, v2:in:b64
29 code-template: |
35 description: Check mov.64 instruction with different register numbers (4 bit).
37 - values: [v0, v0, v0, v0]
[all …]
Dsta.obj.yaml1 # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
6 # http://www.apache.org/licenses/LICENSE-2.0
16 - file-name: "sta.obj"
21 - x_none
23 - file-name: "op"
24 …description: Check sta.obj with different type of arguments (empty object, with fields, statics, s…
27 - sig: sta.obj v:out:ref
30 header-template: []
31 code-template: |
45 check-type: none
[all …]
Dlda.obj.yaml1 # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
6 # http://www.apache.org/licenses/LICENSE-2.0
17 - file-name: lda.obj
22 - x_none
24 - file-name: op_p
27 - sig: lda.obj v:in:ref
30 check-type: none
31 code-template: |
35 # Check lda.obj for different type of arguments (empty object, with fields, statics, etc).
44 header-template: []
[all …]
Dreturn.64.yaml1 # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
6 # http://www.apache.org/licenses/LICENSE-2.0
15 - name: PandaAssembly
18 - name: obj-ctor
26 - file-name: "return.64"
33 - x_none
35 - file-name: 'call_s_p'
38 - sig: return.64
41 description: Check 'return.64' returns control flow to caller, static call, Pandasm context.
43 header-template: []
[all …]
Dreturn.yaml1 # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
6 # http://www.apache.org/licenses/LICENSE-2.0
15 - name: PandaAssembly
18 - name: obj-ctor
26 - file-name: 'return'
33 - x_none
35 - file-name: 'call_s_p'
38 - sig: return
41 description: Check 'return' returns control flow to caller, static call, Pandasm context.
43 header-template: []
[all …]
/arkcompiler/ets_frontend/es2panda/ir/ts/
DtsAsExpression.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
36 …dumper->Add({{"type", "TSAsExpression"}, {"expression", expression_}, {"typeAnnotation", typeAnnot… in Dump()
41 expression_->Compile(pg); in Compile()
46 switch (arg->Type()) { in IsValidConstAssertionArgument()
47 case ir::AstNodeType::NUMBER_LITERAL: in IsValidConstAssertionArgument()
48 case ir::AstNodeType::STRING_LITERAL: in IsValidConstAssertionArgument()
49 case ir::AstNodeType::BIGINT_LITERAL: in IsValidConstAssertionArgument()
50 case ir::AstNodeType::BOOLEAN_LITERAL: in IsValidConstAssertionArgument()
51 case ir::AstNodeType::ARRAY_EXPRESSION: in IsValidConstAssertionArgument()
52 case ir::AstNodeType::OBJECT_EXPRESSION: in IsValidConstAssertionArgument()
[all …]
/arkcompiler/runtime_core/tests/cts-generator/generator/
Dgenerator.rb1 # Copyright (c) 2021-2022 Huawei Device Co., Ltd.
6 # http://www.apache.org/licenses/LICENSE-2.0
37 TEST_NAME = 'file-name'
48 TEST_PANDA_OPTIONS = 'panda-options'
49 TEST_RUN_OPTIONS = 'runner-options'
52 COMMAND_FILE_NAME = 'file-name'
53 TEST_CODE_TEMPLATE = 'code-template'
54 TEST_HEADER_TEMPLATE = 'header-template'
55 TEST_CHECK_TYPE = 'check-type'
59 TEST_TEMPLATE_CASES = 'template-cases'
[all …]
/arkcompiler/ets_frontend/es2panda/ir/expressions/
DassignmentExpression.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
35 switch (left_->Type()) { in ConvertibleToAssignmentPattern()
36 case AstNodeType::ARRAY_EXPRESSION: { in ConvertibleToAssignmentPattern()
37 convResult = left_->AsArrayExpression()->ConvertibleToArrayPattern(); in ConvertibleToAssignmentPattern()
40 case AstNodeType::SPREAD_ELEMENT: { in ConvertibleToAssignmentPattern()
41 convResult = mustBePattern && left_->AsSpreadElement()->ConvertibleToRest(false); in ConvertibleToAssignmentPattern()
44 case AstNodeType::OBJECT_EXPRESSION: { in ConvertibleToAssignmentPattern()
45 convResult = left_->AsObjectExpression()->ConvertibleToObjectPattern(); in ConvertibleToAssignmentPattern()
48 case AstNodeType::ASSIGNMENT_EXPRESSION: { in ConvertibleToAssignmentPattern()
49 … convResult = left_->AsAssignmentExpression()->ConvertibleToAssignmentPattern(mustBePattern); in ConvertibleToAssignmentPattern()
[all …]
DarrayExpression.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
36 switch (it->Type()) { in ConvertibleToArrayPattern()
37 case AstNodeType::ARRAY_EXPRESSION: { in ConvertibleToArrayPattern()
38 convResult = it->AsArrayExpression()->ConvertibleToArrayPattern(); in ConvertibleToArrayPattern()
41 case AstNodeType::SPREAD_ELEMENT: { in ConvertibleToArrayPattern()
43 convResult = it->AsSpreadElement()->ConvertibleToRest(isDeclaration_); in ConvertibleToArrayPattern()
50 case AstNodeType::OBJECT_EXPRESSION: { in ConvertibleToArrayPattern()
51 convResult = it->AsObjectExpression()->ConvertibleToObjectPattern(); in ConvertibleToArrayPattern()
54 case AstNodeType::ASSIGNMENT_EXPRESSION: { in ConvertibleToArrayPattern()
55 convResult = it->AsAssignmentExpression()->ConvertibleToAssignmentPattern(); in ConvertibleToArrayPattern()
[all …]
DobjectExpression.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
47 switch (expr->Type()) { in IsAnonClassOrFuncExpr()
48 case ir::AstNodeType::FUNCTION_EXPRESSION: { in IsAnonClassOrFuncExpr()
49 identifier = expr->AsFunctionExpression()->Function()->Id(); in IsAnonClassOrFuncExpr()
52 case ir::AstNodeType::ARROW_FUNCTION_EXPRESSION: { in IsAnonClassOrFuncExpr()
53 identifier = expr->AsArrowFunctionExpression()->Function()->Id(); in IsAnonClassOrFuncExpr()
56 case ir::AstNodeType::CLASS_EXPRESSION: { in IsAnonClassOrFuncExpr()
57 identifier = expr->AsClassExpression()->Definition()->Ident(); in IsAnonClassOrFuncExpr()
64 return identifier == nullptr || identifier->Name().Empty(); in IsAnonClassOrFuncExpr()
70 if (expr->IsIdentifier()) { in IsLegalNameFormat()
[all …]
DbinaryExpression.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
35 dumper->Add({{"type", IsLogical() ? "LogicalExpression" : "BinaryExpression"}, in Dump()
44 compiler::VReg lhs = pg->AllocReg(); in CompileLogical()
49 auto *skipRight = pg->AllocLabel(); in CompileLogical()
50 auto *endLabel = pg->AllocLabel(); in CompileLogical()
52 // left -> acc -> lhs -> toboolean -> acc -> bool_lhs in CompileLogical()
53 left_->Compile(pg); in CompileLogical()
54 pg->StoreAccumulator(this, lhs); in CompileLogical()
57 pg->BranchIfFalse(this, skipRight); in CompileLogical()
59 pg->BranchIfTrue(this, skipRight); in CompileLogical()
[all …]
DunaryExpression.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
36 …dumper->Add({{"type", "UnaryExpression"}, {"operator", operator_}, {"prefix", true}, {"argument", … in Dump()
42 case lexer::TokenType::KEYW_DELETE: { in Compile()
43 if (argument_->IsIdentifier()) { in Compile()
44 … binder::ScopeFindResult result = pg->Scope()->Find(argument_->AsIdentifier()->Name()); in Compile()
45 … if (!result.variable || (result.scope->IsGlobalScope() && result.variable->IsGlobalVariable())) { in Compile()
47 compiler::VReg variable = pg->AllocReg(); in Compile()
48 compiler::VReg global = pg->AllocReg(); in Compile()
50 pg->LoadConst(this, compiler::Constant::JS_GLOBAL); in Compile()
51 pg->StoreAccumulator(this, global); in Compile()
[all …]
DmemberExpression.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
35 dumper->Add({{"type", "MemberExpression"}, in Dump()
44 object_->Compile(pg); in CompileObject()
45 pg->StoreAccumulator(this, dest); in CompileObject()
46 pg->GetOptionalChain()->CheckNullish(optional_, dest); in CompileObject()
51 return pg->ToPropertyKey(property_, computed_); in CompileKey()
57 compiler::VReg objReg = pg->AllocReg(); in Compile()
66 if (object_->IsSuperExpression()) { in Compile()
67 pg->LoadSuperProperty(this, objReg, prop); in Compile()
69 pg->LoadObjProperty(this, objReg, prop); in Compile()
[all …]
/arkcompiler/runtime_core/bytecode_optimizer/tests/
Dcommon.h2 * Copyright (c) 2021-2022 Huawei Device Co., Ltd.
7 * http://www.apache.org/licenses/LICENSE-2.0
23 #include "assembler/assembly-emitter.h"
24 #include "assembler/assembly-parser.h"
25 #include "assembler/assembly-program.h"
28 #include "class_data_accessor-inl.h"
44 #include "method_data_accessor-inl.h"
149 …GetAllocator()->New<compiler::Graph>(GetAllocator(), GetLocalAllocator(), Arch::NONE, isDynamic, t…
165 for (const auto &inst : func->ins) { in FuncHasInst()
216 for (uint32_t id : ptr_file->GetClasses()) { in ParseToGraph()
[all …]
/arkcompiler/ets_frontend/es2panda/ir/base/
DspreadElement.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
28 switch (argument_->Type()) { in ValidateExpression()
29 case AstNodeType::OBJECT_EXPRESSION: { in ValidateExpression()
30 info = argument_->AsObjectExpression()->ValidateExpression(); in ValidateExpression()
33 case AstNodeType::ARRAY_EXPRESSION: { in ValidateExpression()
34 info = argument_->AsArrayExpression()->ValidateExpression(); in ValidateExpression()
49 switch (argument_->Type()) { in ConvertibleToRest()
50 case AstNodeType::ARRAY_EXPRESSION: { in ConvertibleToRest()
51 … convResult = allowPattern && argument_->AsArrayExpression()->ConvertibleToArrayPattern(); in ConvertibleToRest()
54 case AstNodeType::OBJECT_EXPRESSION: { in ConvertibleToRest()
[all …]
/arkcompiler/ets_frontend/es2panda/ir/statements/
DvariableDeclaration.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
38 case VariableDeclarationKind::CONST: { in Dump()
42 case VariableDeclarationKind::LET: { in Dump()
46 case VariableDeclarationKind::VAR: { in Dump()
55 dumper->Add({{"type", "VariableDeclaration"}, in Dump()
64 it->Compile(pg); in Compile()
68 checker::Type *VariableDeclaration::Check(checker::Checker *checker) const in Check() function in panda::es2panda::ir::VariableDeclaration
71 it->Check(checker); in Check()
80 *iter = std::get<ir::AstNode *>(cb(*iter))->AsVariableDeclarator(); in UpdateSelf()
/arkcompiler/ets_frontend/es2panda/typescript/core/
Dfunction.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
50 Type *Checker::HandleFunctionReturn(const ir::ScriptFunction *func) in HandleFunctionReturn()
52 if (func->ReturnTypeAnnotation()) { in HandleFunctionReturn()
53 func->ReturnTypeAnnotation()->Check(this); in HandleFunctionReturn()
54 Type *returnType = func->ReturnTypeAnnotation()->AsTypeNode()->GetType(this); in HandleFunctionReturn()
56 if (func->IsArrow() && func->Body()->IsExpression()) { in HandleFunctionReturn()
57 ElaborateElementwise(returnType, func->Body()->AsExpression(), func->Body()->Start()); in HandleFunctionReturn()
60 if (returnType->IsNeverType()) { in HandleFunctionReturn()
62 func->ReturnTypeAnnotation()->Start()); in HandleFunctionReturn()
67 func, func->ReturnTypeAnnotation()->Start(), in HandleFunctionReturn()
[all …]
/arkcompiler/ets_runtime/ecmascript/deoptimizer/
Ddeoptimizer.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
22 #include "ecmascript/stubs/runtime_stubs-inl.h"
27 explicit FrameWriter(Deoptimizier *deoptimizier) : thread_(deoptimizier->GetThread()) in FrameWriter()
29 JSTaggedType *prevSp = const_cast<JSTaggedType *>(thread_->GetCurrentSPFrame()); in FrameWriter()
35 *(--top_) = value; in PushValue()
40 *(--top_) = value; in PushRawValue()
45 return !thread_->DoStackOverflowCheck(top_ - size); in Reserve()
113 JSTaggedType *lastLeave = const_cast<JSTaggedType *>(thread_->GetLastLeaveFrame()); in CollectDeoptBundleVec()
116 FrameType type = it.GetFrameType(); in CollectDeoptBundleVec() local
117 switch (type) { in CollectDeoptBundleVec()
[all …]
/arkcompiler/runtime_core/compiler/tests/
Dinst_generator_test.cpp2 * Copyright (c) 2021-2022 Huawei Device Co., Ltd.
7 * http://www.apache.org/licenses/LICENSE-2.0
49 ASSERT(graph_creator_.GetAllocator()->GetAllocatedSize() == 0); in Generate()
51 graph->GetAnalysis<LoopAnalyzer>().Run(); in Generate()
52 GraphChecker(graph).Check(); in Generate()
54 graph->SetStackSlotsCount(4U); in Generate()
55 bool status = graph->RunPass<Codegen>(); in Generate()
56 full_inst_stat[(*i)->GetType()] = status; in Generate()
60 graph->~Graph(); in Generate()
61 graph_creator_.GetAllocator()->Resize(0); in Generate()
[all …]
/arkcompiler/ets_runtime/ecmascript/jspandafile/
Djs_pandafile.cpp7 * http://www.apache.org/licenses/LICENSE-2.0
20 #include "libpandafile/class_data_accessor-inl.h"
33 checksum_ = pf->GetHeader()->checksum; in JSPandaFile()
34 isNewVersion_ = pf_->GetHeader()->version > OLD_VERSION; in JSPandaFile()
39 Span<const uint32_t> classIndexes = pf_->GetClasses(); in CheckIsBundlePack()
42 if (pf_->IsExternal(classId)) { in CheckIsBundlePack()
46 cda.EnumerateFields([&](panda_file::FieldDataAccessor &fieldAccessor) -> void { in CheckIsBundlePack()
48 panda_file::File::StringData sd = pf_->GetStringData(fieldNameId); in CheckIsBundlePack()
68 CString bundleName = vm->GetBundleName(); in CheckIsRecordWithBundleName()
85 auto recordInfo = iter->second; in ~JSPandaFile()
[all …]
/arkcompiler/runtime_core/compiler/optimizer/templates/
Dir-dyn-base-types.h.erb2 * Copyright (c) 2021-2022 Huawei Device Co., Ltd.
7 * http://www.apache.org/licenses/LICENSE-2.0
37 inline AnyBaseType NumericDataTypeToAnyType([[maybe_unused]] panda::compiler::DataType::Type type,
39 …ASSERT(type == panda::compiler::DataType::Type::UINT8 || type == panda::compiler::DataType::Type::…
40type == panda::compiler::DataType::Type::UINT16 || type == panda::compiler::DataType::Type::INT16 …
41type == panda::compiler::DataType::Type::UINT32 || type == panda::compiler::DataType::Type::INT32 …
42type == panda::compiler::DataType::Type::UINT64 || type == panda::compiler::DataType::Type::INT64 …
43type == panda::compiler::DataType::Type::FLOAT32 || type == panda::compiler::DataType::Type::FLOAT…
44 switch (type) {
45 case panda::compiler::DataType::Type::INT8:
[all …]

12345678