| /arkcompiler/runtime_core/static_core/tests/checked/ |
| D | isinstance_elimination.pa | 17 #! CHECKER IsInstance cannot be replaced by true for nullable object.
21 #! INST_COUNT "IsInstance", 2
37 isinstance A
42 isinstance A
52 #! CHECKER IsInstance inputs from both branches have type A, replace with true.
56 #! INST "IsInstance"
58 #! INST_NOT "IsInstance"
70 isinstance A
90 #! CHECKER Not applied, IsInstance result is different for two branches.
94 #! INST "IsInstance"
[all …]
|
| D | isinstance_elimination_test.pa | 14 #! CHECKER IsInstance Elimination applied
18 #! INST_NOT "IsInstance"
27 isinstance A1
32 isinstance A1
36 isinstance A1
|
| D | isinstance_nullcheck.pa | 20 #! CHECKER Null check inside IsInstance can be omitted if its input is NullCheck
22 #! EVENT /CodegenSimplification,ISINSTANCE,SKIP_NULLCHECK/
27 isinstance R
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/checked/ |
| D | isinstance_elim_load_static.ets | 16 //! CHECKER Check IsInstance elimination for LoadStatic result
20 //! INST "IsInstance"
23 //! INST_NOT "IsInstance"
25 //! CHECKER Check IsInstance elimination for LoadStatic result (AOT)
30 //! INST "IsInstance"
33 //! INST_NOT "IsInstance"
57 //! INST "IsInstance"
60 //! INST "IsInstance"
71 //! INST "IsInstance"
74 //! INST "IsInstance"
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/debugger/src/arkdb/compiler_verification/ |
| D | ast.py | 63 if not isinstance(statements_list, list):
76 if isinstance(ast_node, dict):
77 … if (name := ast_node.get("name")) and isinstance(name, str) and name.startswith(prefix):
80 if isinstance(ast_node, list):
88 if isinstance(ast_node, dict):
89 if (stmts := ast_node.get("statements")) and isinstance(stmts, list):
94 elif isinstance(ast_node, list):
96 … _remove_cctor_call(x) for x in ast_node if not (isinstance(x, dict) and _imports_trigger_cctor(x))
104 if not isinstance(statements_list, list):
112 if key == "name" and isinstance(value, str):
[all …]
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner/runner/plugins/srcdumper/ |
| D | util_srcdumper.py | 60 if isinstance(ast, list):
64 elif isinstance(ast, dict):
75 if isinstance(ast, list):
77 if isinstance(ast[i], dict) and ast[i].get("type") == "EmptyStatement":
82 elif isinstance(ast, dict):
99 if isinstance(ast, list):
101 if isinstance(ast[i], dict) and ast[i].get("type") == node_type:
107 elif isinstance(ast, dict):
109 if not isinstance(value, dict) or value.get("type") != node_type:
122 if isinstance(ast, list):
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/docs/ |
| D | object_type_check_elimination_doc.md | 3 **Object Type Check Elimination** - optimization which try to reduce number of IsInstance/CheckCast…
13 Visit `IsInstance` and `CheckCast` instructions in RPO order and try to elimiate them.
15 ### IsInstance subsection
17 `IsInstance` is replaced by 1 if an object in input can be cast to the resolved type, else replaced…
38 isinstance A // will replaced by 1
41 isinstance A // will replaced by 0
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/optimizations/ |
| D | object_type_check_elimination.cpp | 67 * This function try to replace IsInstance with a constant.
68 * If input of IsInstance is Nullptr then it replaced by zero constant.
72 ASSERT(inst->GetOpcode() == Opcode::IsInstance); in TryEliminateIsInstance()
85 auto isInstance = inst->CastToIsInstance(); in TryEliminateIsInstance() local
86 if (!graph->IsBytecodeOptimizer() && IsMember(ref, isInstance->GetTypeId(), isInstance)) { in TryEliminateIsInstance()
93 auto tgtKlass = graph->GetRuntime()->GetClass(isInstance->GetMethod(), isInstance->GetTypeId()); in TryEliminateIsInstance()
95 // But we can't change the IsInstance to Deoptimize, because we can resolve after compilation in TryEliminateIsInstance()
103 // If ref can be null, IsInstance cannot be changed to true in TryEliminateIsInstance()
113 // If class of ref can be subclass of ref_klass, IsInstance cannot be changed to false in TryEliminateIsInstance()
174 case Opcode::IsInstance: in IsMember()
[all …]
|
| D | object_type_check_elimination.h | 61 * This function try to replace IsInstance with a constant.
62 * If input of IsInstance is Nullptr then it replaced by zero constant.
83 static bool IsSuccessfulIsInstance(IsInstanceInst *isInstance, uint32_t typeId, Inst *refUser);
|
| /arkcompiler/runtime_core/static_core/tests/cts-assembly/ |
| D | obj-25.pa | 16 #Assert that operation isinstance works fine
30 isinstance Asm
34 isinstance Asm
37 isinstance panda.Object
|
| D | obj-35.pa | 14 # check that isinstance doesn't trigger cctor
34 isinstance R1
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner/runner/options/ |
| D | decorator_value.py | 72 if isinstance(cli_name, str):
75 elif isinstance(cli_name, list):
91 if isinstance(names, str):
113 if isinstance(name, str):
120 if name_value is not None and isinstance(name_value, list):
130 if isinstance(cli_value, bool):
138 if isinstance(cli_value, int):
146 if isinstance(cli_value, str) and cli_value.lower() == "all":
154 if isinstance(cli_value, int):
170 if isinstance(cli_value, str):
[all …]
|
| D | yaml_document.py | 67 if current and isinstance(current, dict) and part in current.keys():
71 if current is None or isinstance(current, (bool, int, list, str)):
93 …if current_value and isinstance(current_value, dict) and parent_value and isinstance(parent_value,…
97 …if current_value and isinstance(current_value, list) and parent_value and isinstance(parent_value,…
|
| /arkcompiler/runtime_core/tests/cts-assembly/ |
| D | obj-25.pa | 14 #Assert that operation isinstance works fine
28 isinstance Asm
32 isinstance Asm
|
| D | obj-35.pa | 14 # check that isinstance doesn't trigger cctor
34 isinstance R1
|
| /arkcompiler/runtime_core/static_core/tests/cts-generator/cts-template/ |
| D | isinstance.yaml | 25 - file-name: "isinstance"
34 - sig: isinstance type_id
48 isinstance %s
67 isinstance %s
111 isinstance panda.Object
114 isinstance panda.Class
117 isinstance panda.String
120 isinstance panda.ClassCastException
123 isinstance R
145 isinstance %s
[all …]
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | isinstance.yaml | 47 - file-name: "isinstance"
56 - sig: isinstance type_id
72 isinstance %s
93 isinstance %s
117 isinstance %s
162 isinstance panda.Object
165 isinstance panda.Class
168 isinstance panda.String
171 isinstance panda.ClassCastException
174 isinstance R
[all …]
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner-2/runner/ |
| D | chapters.py | 47 if not yaml_header or not isinstance(yaml_header, dict):
50 if not yaml_chapters or not isinstance(yaml_chapters, list):
53 if not isinstance(yaml_chapter, dict):
64 if isinstance(yaml_item, str):
66 elif isinstance(yaml_item, dict):
68 if sub_name == 'exclude' and isinstance(sub_items, list):
76 if not isinstance(yaml_items, list):
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner-2/runner/test/ |
| D | test_utils.py | 38 if type_actual_value != type_expected_value and isinstance(actual_value, str):
45 if actual_value and expected_value and isinstance(actual_value, dict):
47 elif isinstance(actual_value, list):
58 if isinstance(value2, int):
60 if isinstance(value2, bool):
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner/runner/ |
| D | chapters.py | 59 if not yaml_header or not isinstance(yaml_header, dict):
62 if not yaml_chapters or not isinstance(yaml_chapters, list):
65 if not isinstance(yaml_chapter, dict):
79 if isinstance(yaml_item, str):
81 elif isinstance(yaml_item, dict):
83 if sub_name == 'exclude' and isinstance(sub_items, list):
93 if not isinstance(yaml_items, list):
|
| /arkcompiler/runtime_core/static_core/tests/tests-u-runner-2/runner/options/ |
| D | options.py | 57 if isinstance(option, str):
75 if isinstance(value, IOptions):
85 if isinstance(prop_value, list):
111 if isinstance(value, IOptions):
113 if isinstance(value, dict):
116 elif isinstance(value, list) and len(value) > 0 and parts[0] == "steps":
|
| D | options_workflow.py | 128 if (isinstance(value_in_workflow, str) and has_macro(value_in_workflow) and
131 if isinstance(value_in_workflow, list):
145 if isinstance(param_value, str) and param_value.find(self.__PARAMETERS) >= 0:
148 elif isinstance(param_value, list):
156 … for sub_item in (corrected_item if isinstance(corrected_item, list) else [corrected_item]):
189 if isinstance(step_value, str):
195 if isinstance(arg, list):
220 if isinstance(expanded_value, list):
|
| /arkcompiler/runtime_core/taihe/compiler/taihe/semantics/ |
| D | analysis.py | 197 if not isinstance(decl, TypeDecl):
220 if not isinstance(decl, TypeDecl):
240 if not isinstance(decl, TypeDecl):
362 return not isinstance(val, bool) and isinstance(val, int)
402 valid = lambda val: isinstance(val, bool)
406 valid = lambda val: isinstance(val, float)
410 valid = lambda val: isinstance(val, float)
414 valid = lambda val: isinstance(val, str)
463 if not isinstance(parent_ty, UserType):
466 if not isinstance(parent_iface := parent_ty.ty_decl, IfaceDecl):
[all …]
|
| /arkcompiler/runtime_core/libabckit/tests/ut/isa/isa_static/is_instance/ |
| D | is_instance.cpp | 49 AbckitInst *isInstance = g_statG->iCreateIsInstance(graph, initObj, type); in TransformIsInstanceIr() local
50 ASSERT_NE(isInstance, nullptr); in TransformIsInstanceIr()
53 g_implG->iInsertAfter(isInstance, initObj); in TransformIsInstanceIr()
56 helpers::ReplaceInst(ret, g_statG->iCreateReturn(graph, isInstance)); in TransformIsInstanceIr()
|
| /arkcompiler/runtime_core/tests/irtoc-interpreter-tests/ |
| D | newobj.pa | 47 isinstance Asm
52 isinstance Asm
|