| /arkcompiler/runtime_core/static_core/compiler/tests/amd64/ |
| D | encoder64_test_2.cpp | 34 …oder()->EncodeCompare(param1, param1, param2, std::is_signed_v<T> ? Condition::LT : Condition::LO); in TestCompare64()
651 template <typename T, Condition CC>
687 case Condition::LT: in TestSelect()
688 case Condition::LO: in TestSelect()
691 case Condition::EQ: in TestSelect()
694 case Condition::NE: in TestSelect()
697 case Condition::GT: in TestSelect()
698 case Condition::HI: in TestSelect()
716 EXPECT_TRUE((TestSelect<uint32_t, Condition::LO>(this))); in TEST_F()
717 EXPECT_TRUE((TestSelect<uint32_t, Condition::EQ>(this))); in TEST_F()
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/optimizations/ |
| D | branch_elimination.cpp | 30 * Condition can be resolved in the following ways:
31 * - Condition is constant;
32 …* - Condition is dominated by the equal one condition with the same inputs and the only one succes…
33 * reaches dominated condition
123 conditionInst->GetPc(), "const-condition", in BranchEliminationConst()
321 /// Resolve condition result if there is a dominant equal condition
322 std::optional<bool> BranchElimination::GetConditionResult(Inst *condition) in GetConditionResult() argument
324 ConditionOps ops {condition->GetInput(0).GetInst(), condition->GetInput(1).GetInst()}; in GetConditionResult()
331 // Find dom_cond's if_imm, that dominates target condition in GetConditionResult()
332 auto ifImm = FindIfImmDominatesCondition(domCond, condition); in GetConditionResult()
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/tests/aarch32/ |
| D | encoder32_test_2.cpp | 36 …oder()->EncodeCompare(param1, param1, param2, std::is_signed_v<T> ? Condition::GE : Condition::HS); in TestCompare()
91 …oder()->EncodeCompare(param1, param1, param2, std::is_signed_v<T> ? Condition::LT : Condition::LO); in TestCompare64()
639 template <typename T, Condition CC>
681 case Condition::LT: in TestSelect()
682 case Condition::LO: in TestSelect()
685 case Condition::EQ: in TestSelect()
688 case Condition::NE: in TestSelect()
691 case Condition::GT: in TestSelect()
692 case Condition::HI: in TestSelect()
710 EXPECT_TRUE((TestSelect<uint32_t, Condition::LO>(this))); in TEST_F()
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/tests/aarch64/ |
| D | encoder64_test_2.cpp | 35 …tEncoder()->EncodeCmp(param1, param1, param2, std::is_signed_v<T> ? Condition::LT : Condition::LO); in TestCmp64()
87 …oder()->EncodeCompare(param1, param1, param2, std::is_signed_v<T> ? Condition::GE : Condition::HS); in TestCompare()
138 …oder()->EncodeCompare(param1, param1, param2, std::is_signed_v<T> ? Condition::LT : Condition::LO); in TestCompare64()
817 template <typename T, Condition CC>
853 case Condition::LT: in TestSelect()
854 case Condition::LO: in TestSelect()
857 case Condition::EQ: in TestSelect()
860 case Condition::NE: in TestSelect()
863 case Condition::GT: in TestSelect()
864 case Condition::HI: in TestSelect()
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/docs/ |
| D | branch_elimination_doc.md | 4 `Branch Elimination` searches condition statements which result is known at compile-time and remove…
19 Condition can be resolved in the following ways:
20 - Condition is constant:
29 - Condition is dominated by the equal one condition with the same inputs and the only one successor…
53 To resolve the condition result by the dominant one we use table, keeps the result of the condition…
120 We reaches basic block `4` when the condition `PARAMETER(0) == PARAMETER(1)` is false, so that the …
|
| D | if_merging_doc.md | 4 `IfMerging` searches condition statements results of which are known from previous conditions and r…
19 Condition can be resolved in the following ways:
21 1. Condition is comparison of Phi instruction with constant inputs and some constant. In this case
22 for each input block of Phi instruction the branch of condition can be resolved, and If instruction…
51 2. Condition is dominated by an equivalent or inverted condition, and branches of the dominating
52 condition don't intersect. In this case branches of the second condition can be connected to
53 corresponding branches of the first condition, and the second If instruction can be removed.
|
| D | licm_conditions_doc.md | 4 …chains) and are not target of `LICM` pass. `LICM conditions` moves such condition chains outside o…
15 Condition chain is graph which looks like
29 Basic blocks A & B is a condition chain.
34 …ner to outer, skipping irreducible and OSR loops. In each loop it finds condition chains, which ca…
36 * Phis in condition chain successors must allow hoisting of condition chain basic blocks.
38 Then selected condition chains are removed from loop and inserted after loop pre-header.
41 Loop 1 contains condition chain BB4, BB6.
|
| /arkcompiler/ets_runtime/test/aottest/builtins_array/ |
| D | builtins_array.ts | 81 const condition = (element) => element < 10; constant
82 array.some(condition);
89 const condition = (element) => element < 10; constant
90 array.every(condition);
110 const condition = (element) => element < 10; constant
111 array.findLastIndex(condition);
119 const condition = (element) => element < 10; constant
120 array.findLast(condition);
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/03.types/07.value_types/01.integer_types_and_operations/ternary/ |
| D | ternary_short.params.yaml | 16 - { condition: 0, ifTrue: 1, ifFalse: 2, result: 2 }
17 - { condition: 1, ifTrue: 1, ifFalse: 2, result: 1 }
18 - { condition: -1, ifTrue: 1, ifFalse: 2, result: 1 }
|
| D | ternary_long.params.yaml | 16 - { condition: 0, ifTrue: 1, ifFalse: 2, result: 2 }
17 - { condition: 1, ifTrue: 1, ifFalse: 2, result: 1 }
18 - { condition: -1, ifTrue: 1, ifFalse: 2, result: 1 }
|
| D | ternary_byte.params.yaml | 16 - { condition: 0, ifTrue: 1, ifFalse: 2, result: 2 }
17 - { condition: 1, ifTrue: 1, ifFalse: 2, result: 1 }
18 - { condition: -1, ifTrue: 1, ifFalse: 2, result: 1 }
|
| D | ternary_int.params.yaml | 16 - { condition: 0, ifTrue: 1, ifFalse: 2, result: 2 }
17 - { condition: 1, ifTrue: 1, ifFalse: 2, result: 1 }
18 - { condition: -1, ifTrue: 1, ifFalse: 2, result: 1 }
|
| D | ternary_char.params.yaml | 16 - { condition: 0, ifTrue: 1, ifFalse: 2, result: 2 }
17 - { condition: 1, ifTrue: 1, ifFalse: 2, result: 1 }
|
| /arkcompiler/ets_frontend/ets2panda/compiler/base/ |
| D | condition.cpp | 16 #include "condition.h"
26 bool Condition::CompileBinaryExpr(PandaGen *pg, const ir::BinaryExpression *binExpr, Label *falseLa… in CompileBinaryExpr()
39 // if-else branches. Condition also expressed via cmp instruction and in CompileBinaryExpr()
48 pg->Condition(binExpr, binExpr->OperatorType(), lhs, falseLabel); in CompileBinaryExpr()
81 void Condition::Compile(PandaGen *pg, const ir::Expression *expr, Label *falseLabel) in Compile()
102 Condition::Result Condition::CheckConstantExpr(ETSGen *etsg, const ir::Expression *expr) in CheckConstantExpr()
129 void Condition::CompileLogicalOrExpr(ETSGen *etsg, const ir::BinaryExpression *binExpr, Label *fals… in CompileLogicalOrExpr()
159 void Condition::CompileLogicalAndExpr(ETSGen *etsg, const ir::BinaryExpression *binExpr, Label *fal… in CompileLogicalAndExpr()
190 bool Condition::CompileBinaryExprForBigInt(ETSGen *etsg, const ir::BinaryExpression *expr, Label *f… in CompileBinaryExprForBigInt()
238 void Condition::CompileInstanceofExpr(ETSGen *etsg, const ir::BinaryExpression *binExpr, Label *fal… in CompileInstanceofExpr()
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/code_generator/target/aarch32/ |
| D | encode.cpp | 36 static vixl::aarch32::Condition Convert(const Condition cc) in Convert()
39 case Condition::EQ: in Convert()
41 case Condition::NE: in Convert()
43 case Condition::LT: in Convert()
45 case Condition::GT: in Convert()
47 case Condition::LE: in Convert()
49 case Condition::GE: in Convert()
51 case Condition::LO: in Convert()
53 case Condition::LS: in Convert()
55 case Condition::HI: in Convert()
[all …]
|
| /arkcompiler/ets_runtime/ecmascript/compiler/trampoline/aarch64/ |
| D | optimized_fast_call.cpp | 139 __ B(Condition::NE, &arg4); in OptimizedFastCallAndPushArgv()
151 __ B(Condition::NE, &arg5); in OptimizedFastCallAndPushArgv()
163 __ B(Condition::NE, &arg6); in OptimizedFastCallAndPushArgv()
176 __ B(Condition::NE, &arg7); in OptimizedFastCallAndPushArgv()
188 __ B(Condition::NE, &arg8); in OptimizedFastCallAndPushArgv()
199 __ B(Condition::NE, &argc); in OptimizedFastCallAndPushArgv()
211 __ B(Condition::GT, &pushUndefined); in OptimizedFastCallAndPushArgv()
231 __ B(Condition::LS, &call); in OptimizedFastCallAndPushArgv()
281 __ B(Condition::EQ, &call); in JSFastCallWithArgV()
288 __ B(Condition::EQ, &call); in JSFastCallWithArgV()
[all …]
|
| /arkcompiler/ets_runtime/ecmascript/compiler/codegen/maple/maple_util/include/ |
| D | thread_env.h | 63 explicit ParallelGuard(std::mutex &mtxInput, bool cond = true) : mtx(mtxInput), condition(cond) in mtx()
65 if (condition) { in mtx()
75 if (condition) { in ~ParallelGuard()
82 const bool condition; variable
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets_func_tests/escompat/ |
| D | ArrayBufferViewTest.sts | 31 static assertTrue(condition: boolean, message: string): void {
32 if (!condition) throw new EsAssertionError(message)
35 static assertFalse(condition: boolean, message: string): void {
36 if (condition) throw new EsAssertionError(message)
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/ |
| D | array_literals.sts | 111 const condition = true;
112 a = condition ? [1, 2] : [3, 4]; // OK
113 b = condition ? [5, 6] : [7, 8]; // NOW OK
114 c = condition ? [9, 10] : [11, 12]; // OK
115 d = condition ? [13, 14] : [15, 16]; // NOW OK
116 e = condition ? [17, 18] : [19, 20]; // OK
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/checked/ |
| D | llvm_infer_flags.sts | 29 function condition(i: int, i0: int): boolean {
36 if (condition(i, i0)) {
56 if (condition(i, i0)) {
77 if (condition(i, i0)) {
|
| /arkcompiler/runtime_core/compiler/tests/amd64/ |
| D | encoder64_test.cpp | 767 test->GetEncoder()->EncodeAddOverflow(label, ret_val, param1, param2, Condition::VS); in TestAddOverflow()
772 test->GetEncoder()->EncodeAddOverflow(end, ret_val, param1, param2, Condition::VC); in TestAddOverflow()
833 test->GetEncoder()->EncodeSubOverflow(label, ret_val, param1, param2, Condition::VS); in TestSubOverflow()
838 test->GetEncoder()->EncodeSubOverflow(end, ret_val, param1, param2, Condition::VC); in TestSubOverflow()
888 template <typename T, Condition cc>
924 if constexpr (cc == Condition::EQ) { in TestJumpCC()
930 if constexpr (cc == Condition::NE) { in TestJumpCC()
946 if constexpr (cc == Condition::EQ) { in TestJumpCC()
952 if constexpr (cc == Condition::NE) { in TestJumpCC()
967 EXPECT_TRUE((TestJumpCC<int32_t, Condition::EQ>(this))); in TEST_F()
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/code_generator/target/amd64/ |
| D | encode.cpp | 38 static auto ArchCcInt(Condition cc) in ArchCcInt()
41 case Condition::EQ: in ArchCcInt()
42 return asmjit::x86::Condition::Code::kEqual; in ArchCcInt()
43 case Condition::NE: in ArchCcInt()
44 return asmjit::x86::Condition::Code::kNotEqual; in ArchCcInt()
45 case Condition::LT: in ArchCcInt()
46 return asmjit::x86::Condition::Code::kSignedLT; in ArchCcInt()
47 case Condition::GT: in ArchCcInt()
48 return asmjit::x86::Condition::Code::kSignedGT; in ArchCcInt()
49 case Condition::LE: in ArchCcInt()
[all …]
|
| /arkcompiler/ets_frontend/es2panda/compiler/base/ |
| D | condition.cpp | 16 #include "condition.h"
24 void Condition::Compile(PandaGen *pg, const ir::Expression *expr, Label *falseLabel) in Compile()
40 // if-else branches. Condition also expressed via cmp instruction and in Compile()
49 pg->Condition(binExpr, binExpr->OperatorType(), lhs, falseLabel); in Compile()
|
| /arkcompiler/runtime_core/tests/checked/ |
| D | README.md | 37 * **TRUE** (condition) ensure the condition is correct
38 * **SKIP_IF** (condition) if condition is `true`, skip all commands from that to end of this checker
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/stdlib/packages/ |
| D | escompat.rst | 2881 … value\" is true. In other words, the \"typedArray\[offset\] != value\" condition is checked only …
2927 … value\" is true. In other words, the \"typedArray\[offset\] != value\" condition is checked only …
3598 | creates a new BigInt64Array from current BigInt64Array based on a condition fn
3600 | **Returns\:** a new BigInt64Array with elements from current BigInt64Array that satisfy condition…
3604 …- fn\: (val\: :ref:`BigInt<LeLsLcLoLmLpLaLt.UBLiLgUILnLt>`) =\> :kw:`boolean` the condition to ap…
3616 | Creates a new BigInt64Array from current BigInt64Array based on a condition fn.
3618 | **Returns\:** a new BigInt64Array with elements from current BigInt64Array that satisfy condition…
3622 …y<LeLsLcLoLmLpLaLt.UBLiLgUILnLtU6U4UALrLrLaLy>`) =\> :kw:`boolean` the condition to apply for eac…
3634 | creates a new BigInt64Array from current BigInt64Array based on a condition fn
3636 | **Returns\:** a new BigInt64Array with elements from current BigInt64Array that satisfy condition…
[all …]
|