| /art/test/549-checker-types-merge/ |
| D | Android.bp | 3 // Build rules for ART run-test `549-checker-types-merge`.
16 name: "art-run-test-549-checker-types-merge",
21 ":art-run-test-549-checker-types-merge-expected-stdout",
22 ":art-run-test-549-checker-types-merge-expected-stderr",
31 name: "art-run-test-549-checker-types-merge-expected-stdout",
32 out: ["art-run-test-549-checker-types-merge-expected-stdout.txt"],
39 name: "art-run-test-549-checker-types-merge-expected-stderr",
40 out: ["art-run-test-549-checker-types-merge-expected-stderr.txt"],
|
| D | info.txt | 1 Checker test for testing the type merge during reference type propagation.
|
| /art/test/552-checker-primitive-typeprop/smali/ |
| D | TypePropagation.smali | 26 # p2 = merge(int,float) = conflict
31 # p2 = merge(conflict,float) = conflict
45 # p1 = merge(int,int) = int
57 # p2 = void (loop phi) => p2 = merge(int,int) = int
61 # p2 = merge(void,int) = int
74 # p1 = merge(int,long) = conflict
86 # p1 = merge(float,reference) = conflict
99 # p1 = merge(float,0x0) = float
111 # p1 = merge(int,float) = conflict
123 # p2 = merge(int,float) = float? => conflict
|
| /art/test/800-smali/smali/ |
| D | b_27799205_2.smali | 13 # Make v0, v1 and v2 null. We'll use v0 as a merge of the inputs, v1 as null, and v2 as 0.
18 # Conditional jump so we have a merge point.
30 # At this point, v0 will be the unresolved merge.
|
| D | b_27799205_1.smali | 13 # Make v0, v1 and v2 null. We'll use v0 as a merge of the inputs, v1 as null, and v2 as 0.
18 # Conditional jump so we have a merge point.
30 # At this point, v0 will be the unresolved merge.
|
| D | b_27799205_3.smali | 12 # Use some non-object non-array input (non-Object because the merge should be Object).
15 # Make v0, v1 and v2 null. We'll use v0 as a merge of the inputs, v1 as null, and v2 as 0.
20 # Conditional jump so we have a merge point.
|
| D | b_121245951_3.smali | 14 # Possibly throwing to merge v1 into catch handler as int.
19 # This should cause a runtime failure, and not merge into the
|
| D | b_27799205_4.smali | 15 # Make v0, v1 and v2 null. We'll use v0 as a merge of the inputs, v1 as null, and v2 as 0.
20 # Conditional jump so we have a merge point.
|
| D | b_27799205_5.smali | 15 # Make v0, v1 and v2 null. We'll use v0 as a merge of the inputs, v1 as null, and v2 as 0.
20 # Conditional jump so we have a merge point.
|
| D | b_22411633_4.smali | 7 # Do not merge into the backward branch target.
|
| D | b_121191566.smali | 24 # Triple-check: the merge should be consistent.
|
| D | b_22331663_pass.smali | 14 # At this point, v4 is the merge of Undefined and ReferenceType. The verifier should not
|
| D | b_22411633_5.smali | 7 # Do not merge into the backward branch target.
|
| D | b_22331663_fail.smali | 14 # At this point, v4 is the merge of Undefined and ReferenceType. The verifier should
|
| D | b_22411633_3.smali | 26 # merge is only from forward branches. If the conflict isn't used (as here), this should
|
| D | b_22331663.smali | 30 # Catch handler. Here we had to merge the uninitialized with the initialized reference,
|
| /art/test/535-regression-const-val/smali/ |
| D | TestCase.smali | 26 goto :merge
29 :merge
|
| /art/libartbase/base/ |
| D | intrusive_forward_list.h | 320 void merge(IntrusiveForwardList& other) { in merge() function
321 merge(other, std::less<value_type>()); in merge()
323 void merge(IntrusiveForwardList&& other) { in merge() function
324 merge(other); // Use l-value overload. in merge()
327 void merge(IntrusiveForwardList& other, Compare cmp) { in merge() function
347 void merge(IntrusiveForwardList&& other, Compare cmp) { in merge() function
348 merge(other, cmp); // Use l-value overload. in merge()
363 merge(second_half, cmp); in sort()
|
| /art/test/484-checker-register-hints/ |
| D | info.txt | 3 forces the spilling should restore the registers at the merge
|
| /art/test/586-checker-null-array-get/ |
| D | info.txt | 2 that used to merge two array gets that have the same inputs but
|
| /art/test/VerifierDeps/ |
| D | Main.smali | 65 goto :merge
70 goto :merge
72 :merge
90 goto :merge
97 goto :merge
102 goto :merge
104 :merge
|
| /art/runtime/verifier/ |
| D | verifier_deps.cc | 76 my_deps->assignable_types_[i].merge(other_deps.assignable_types_[i]); in MergeWith()
273 const UnresolvedMergedType& merge = *down_cast<const UnresolvedMergedType*>(&source); in AddAssignability() local
274 AddAssignability(dex_file, class_def, destination, merge.GetResolvedPart()); in AddAssignability()
275 for (uint32_t idx : merge.GetUnresolvedTypes().Indexes()) { in AddAssignability()
276 AddAssignability(dex_file, class_def, destination, merge.GetRegTypeCache()->GetFromId(idx)); in AddAssignability()
|
| /art/test/804-class-extends-itself/smali/ |
| D | Main.smali | 16 # dexmerger (to merge the Dex file produced from Smali code and the
|
| /art/compiler/optimizing/ |
| D | inliner.cc | 1016 HBasicBlock* merge = otherwise->SplitAfterForInlining(invoke_instruction); in CreateDiamondPatternForPolymorphicInline() local
1023 merge->AddPhi(phi); in CreateDiamondPatternForPolymorphicInline()
1037 graph_->AddBlock(merge); in CreateDiamondPatternForPolymorphicInline()
1042 end_then->AddSuccessor(merge); in CreateDiamondPatternForPolymorphicInline()
1043 otherwise->AddSuccessor(merge); in CreateDiamondPatternForPolymorphicInline()
1050 merge->SetDominator(cursor_block); in CreateDiamondPatternForPolymorphicInline()
1051 cursor_block->AddDominatedBlock(merge); in CreateDiamondPatternForPolymorphicInline()
1060 graph_->reverse_post_order_[++index] = merge; in CreateDiamondPatternForPolymorphicInline()
1071 merge, original_invoke_block, /* replace_if_back_edge= */ true); in CreateDiamondPatternForPolymorphicInline()
|
| /art/test/586-checker-null-array-get/smali/ |
| D | SmaliTests.smali | 42 # the load store elimination think it could merge two ArrayGet with different
111 # the load store elimination think it could merge two ArrayGet with different
|