| /art/test/664-aget-verifier/ |
| D | info.txt | 1 Tests how the verifier handles aget on an array that was initially null.
3 The verifier will flag aget instructions as have_pending_runtime_throw_failure_
4 if the array register is potentially null, even if the aget is guarded by null
|
| /art/test/586-checker-null-array-get/smali/ |
| D | SmaliTests.smali | 51 aget-object v2, v0, v3
54 aget-object v2, v0, v4
57 aget-object v2, v0, v5
60 aget-object v2, v0, v6
68 aget-wide v2, v1, v3
71 aget-wide v2, v1, v4
74 aget-wide v2, v1, v5
77 aget-wide v2, v1, v6
123 aget-object v2, v0, v3
126 aget-object v2, v0, v4
[all …]
|
| /art/compiler/optimizing/ |
| D | ssa_builder.cc | 281 static HArrayGet* FindFloatOrDoubleEquivalentOfArrayGet(HArrayGet* aget) { in FindFloatOrDoubleEquivalentOfArrayGet() argument
282 DataType::Type type = aget->GetType(); in FindFloatOrDoubleEquivalentOfArrayGet()
284 HInstruction* next = aget->GetNext(); in FindFloatOrDoubleEquivalentOfArrayGet()
287 if (next_aget->IsEquivalentOf(aget)) { in FindFloatOrDoubleEquivalentOfArrayGet()
294 static HArrayGet* CreateFloatOrDoubleEquivalentOfArrayGet(HArrayGet* aget) { in CreateFloatOrDoubleEquivalentOfArrayGet() argument
295 DataType::Type type = aget->GetType(); in CreateFloatOrDoubleEquivalentOfArrayGet()
297 DCHECK(FindFloatOrDoubleEquivalentOfArrayGet(aget) == nullptr); in CreateFloatOrDoubleEquivalentOfArrayGet()
299 HArrayGet* equivalent = new (aget->GetBlock()->GetGraph()->GetAllocator()) HArrayGet( in CreateFloatOrDoubleEquivalentOfArrayGet()
300 aget->GetArray(), in CreateFloatOrDoubleEquivalentOfArrayGet()
301 aget->GetIndex(), in CreateFloatOrDoubleEquivalentOfArrayGet()
[all …]
|
| D | ssa_builder.h | 74 void MaybeAddAmbiguousArrayGet(HArrayGet* aget) { in MaybeAddAmbiguousArrayGet() argument
75 DataType::Type type = aget->GetType(); in MaybeAddAmbiguousArrayGet()
78 ambiguous_agets_.push_back(aget); in MaybeAddAmbiguousArrayGet()
123 HArrayGet* GetFloatOrDoubleEquivalentOfArrayGet(HArrayGet* aget);
|
| /art/test/518-null-array-get/ |
| D | info.txt | 2 instructions in dead code after aget on null, but pass
5 Previously verification stopped after aget on null and
|
| /art/test/510-checker-try-catch/smali/ |
| D | Runtime.smali | 35 aget v1, v0, v1
37 aget v2, v0, v2
39 aget v3, v0, v3
71 aget-wide v1, v0, v1
73 aget-wide v3, v0, v3
75 aget-wide v5, v0, v5
119 aget v1, v0, v1
121 aget v2, v0, v2
123 aget v3, v0, v3
155 aget-wide v1, v0, v1
[all …]
|
| /art/test/800-smali/smali/ |
| D | b_22080519.smali | 9 # Have a branch to reach both the aget-object and something else.
13 aget-object v3, v2, v1
|
| D | b_27799205_6.smali | 20 aget-object v0, v2, v1
|
| /art/test/575-checker-string-init-alias/smali/ |
| D | TestCase.smali | 32 aget v3, p0, v1
42 aget v3, p0, v2
59 aget v4, p0, v2
69 aget v4, p0, v3
|
| /art/test/518-null-array-get/smali/ |
| D | NullArrayFailObject2Int.smali | 15 # Check that the result of aget-object on null cannot be used as an integral.
25 aget-object v0, v0, v1
|
| D | NullArrayFailInt2Object.smali | 15 # Check that the result of aget on null cannot be used as a reference.
25 aget v0, v0, v1
|
| D | NullArraySuccessInt2Float.smali | 15 # Check that the result of aget on null can be used as a float.
30 aget v0, v0, v1
|
| D | NullArraySuccessShort.smali | 15 # Check that the result of aget-short on null can be used as a short.
30 aget-short v0, v0, v1
|
| D | NullArraySuccessInt.smali | 15 # Check that the result of aget on null can be used as an int.
30 aget v0, v0, v1
|
| D | NullArraySuccessRef.smali | 15 # Check that the result of aget-object on null can be used as a reference.
30 aget-object v0, v0, v1
|
| /art/test/622-simplifyifs-exception-edges/smali/ |
| D | Test.smali | 27 aget v0, p0, v0
54 aget v1, p0, v1
56 aget v2, p0, p1
|
| /art/test/552-checker-primitive-typeprop/smali/ |
| D | ArrayGet.smali | 35 aget v0, p0, v0 # read value
63 aget v0, p0, v0 # read value
93 aget v0, p0, v0 # read value
124 aget v0, p0, v0 # read value, should be float but has no typed use
154 aget v0, p0, v0 # read value, should be int but has no typed use
183 aget v1, p0, v0
224 aget v1, p0, v0
|
| /art/test/656-checker-simd-opt/smali/ |
| D | Smali.smali | 57 aget v2, p1, v2
58 aget v3, p1, v1
61 aget v3, p1, v3
108 aget v1, p1, v1
109 aget v2, p1, v0
112 aget v2, p1, v2
|
| /art/test/459-dead-phi/smali/ |
| D | EquivalentPhi.smali | 22 # aget is initally expected to be an int, but will
24 aget v1, p0, v0
|
| /art/test/467-regalloc-pair/smali/ |
| D | TestCase.smali | 40 aget-byte v0, v10, v0
52 aget-byte v0, v10, v0
|
| /art/test/668-aiobe/smali/ |
| D | TestCase.smali | 28 aget-wide p0, p0, p1
|
| /art/test/dexdump/ |
| D | checkers.txt | 1025 001f76: 4402 0500 |0017: aget v2, v5, v0
1640 0026f8: 4401 0104 |0180: aget v1, v1, v4
1642 002700: 4402 0204 |0184: aget v2, v2, v4
1644 002708: 4403 0304 |0188: aget v3, v3, v4
1646 002710: 4404 0804 |018c: aget v4, v8, v4
1765 0028ae: 4408 0502 |025b: aget v8, v5, v2
1769 0028bc: 4401 0502 |0262: aget v1, v5, v2
1772 0028c8: 4400 0502 |0268: aget v0, v5, v2
1774 0028d0: 4407 0502 |026c: aget v7, v5, v2
2045 002bd4: 4403 0309 |004e: aget v3, v3, v9
[all …]
|
| D | all.txt | 129 000454: 4400 0102 |0000: aget v0, v1, v2
130 000458: 4500 0102 |0002: aget-wide v0, v1, v2
131 00045c: 4600 0102 |0004: aget-object v0, v1, v2
132 000460: 4700 0102 |0006: aget-boolean v0, v1, v2
133 000464: 4800 0102 |0008: aget-byte v0, v1, v2
134 000468: 4900 0102 |000a: aget-char v0, v1, v2
135 00046c: 4a00 0102 |000c: aget-short v0, v1, v2
|
| /art/test/587-inline-class-error/smali/ |
| D | TestCase.smali | 30 aget-object v1, v1, v0
|
| /art/test/431-type-propagation/smali/ |
| D | TypePropagation.smali | 22 aget v1, v2, v0
|