/art/test/664-aget-verifier/ |
D | Android.bp | 3 // Build rules for ART run-test `664-aget-verifier`. 16 name: "art-run-test-664-aget-verifier", 21 ":art-run-test-664-aget-verifier-expected-stdout", 22 ":art-run-test-664-aget-verifier-expected-stderr", 28 name: "art-run-test-664-aget-verifier-expected-stdout", 29 out: ["art-run-test-664-aget-verifier-expected-stdout.txt"], 36 name: "art-run-test-664-aget-verifier-expected-stderr", 37 out: ["art-run-test-664-aget-verifier-expected-stderr.txt"],
|
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 | 71 void MaybeAddAmbiguousArrayGet(HArrayGet* aget) { in MaybeAddAmbiguousArrayGet() argument 72 DataType::Type type = aget->GetType(); in MaybeAddAmbiguousArrayGet() 75 ambiguous_agets_.push_back(aget); in MaybeAddAmbiguousArrayGet() 120 HArrayGet* GetFloatOrDoubleEquivalentOfArrayGet(HArrayGet* aget);
|
/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/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/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 | NullArraySuccessRef.smali | 15 # Check that the result of aget-object on null can be used as a reference. 30 aget-object 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 | NullArraySuccessShort.smali | 15 # Check that the result of aget-short on null can be used as a short. 30 aget-short 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/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/dexdump/ |
D | checkers.txt | 1037 001f76: 4402 0500 |0017: aget v2, v5, v0 1659 0026f8: 4401 0104 |0180: aget v1, v1, v4 1661 002700: 4402 0204 |0184: aget v2, v2, v4 1663 002708: 4403 0304 |0188: aget v3, v3, v4 1665 002710: 4404 0804 |018c: aget v4, v8, v4 1784 0028ae: 4408 0502 |025b: aget v8, v5, v2 1788 0028bc: 4401 0502 |0262: aget v1, v5, v2 1791 0028c8: 4400 0502 |0268: aget v0, v5, v2 1793 0028d0: 4407 0502 |026c: aget v7, v5, v2 2068 002bd4: 4403 0309 |004e: aget v3, v3, v9 [all …]
|
D | all.txt | 131 000454: 4400 0102 |0000: aget v0, v1, v2 132 000458: 4500 0102 |0002: aget-wide v0, v1, v2 133 00045c: 4600 0102 |0004: aget-object v0, v1, v2 134 000460: 4700 0102 |0006: aget-boolean v0, v1, v2 135 000464: 4800 0102 |0008: aget-byte v0, v1, v2 136 000468: 4900 0102 |000a: aget-char v0, v1, v2 137 00046c: 4a00 0102 |000c: aget-short v0, v1, v2
|
/art/test/668-aiobe/smali/ |
D | TestCase.smali | 28 aget-wide p0, p0, p1
|
/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
|