/aosp12/art/test/664-aget-verifier/ |
H A 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"],
|
H A 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
|
/aosp12/art/test/586-checker-null-array-get/smali/ |
H A D | SmaliTests.smali | 51 aget-object v2, v0, v3 54 aget-object v2, v0, v4 57 aget-object v2, v0, v5 68 aget-wide v2, v1, v3 71 aget-wide v2, v1, v4 74 aget-wide v2, v1, v5 77 aget-wide v2, v1, v6 140 aget-wide v2, v1, v3 143 aget-wide v2, v1, v4 146 aget-wide v2, v1, v5 [all …]
|
/aosp12/art/compiler/optimizing/ |
H A D | ssa_builder.cc | 282 DataType::Type type = aget->GetType(); in FindFloatOrDoubleEquivalentOfArrayGet() 284 HInstruction* next = aget->GetNext(); in FindFloatOrDoubleEquivalentOfArrayGet() 287 if (next_aget->IsEquivalentOf(aget)) { in FindFloatOrDoubleEquivalentOfArrayGet() 295 DataType::Type type = aget->GetType(); in CreateFloatOrDoubleEquivalentOfArrayGet() 300 aget->GetArray(), in CreateFloatOrDoubleEquivalentOfArrayGet() 301 aget->GetIndex(), in CreateFloatOrDoubleEquivalentOfArrayGet() 303 aget->GetDexPc()); in CreateFloatOrDoubleEquivalentOfArrayGet() 304 aget->GetBlock()->InsertInstructionAfter(equivalent, aget); in CreateFloatOrDoubleEquivalentOfArrayGet() 688 DCHECK(DataType::IsIntegralType(aget->GetType())); in GetFloatOrDoubleEquivalentOfArrayGet() 690 if (!DataType::IsIntOrLongType(aget->GetType())) { in GetFloatOrDoubleEquivalentOfArrayGet() [all …]
|
H A 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);
|
/aosp12/art/test/510-checker-try-catch/smali/ |
H A D | Runtime.smali | 35 aget v1, v0, v1 37 aget v2, v0, v2 39 aget v3, v0, v3 119 aget v1, v0, v1 121 aget v2, v0, v2 123 aget v3, v0, v3 227 aget v1, v0, v1 229 aget v2, v0, v2 231 aget v3, v0, v3 318 aget v1, v0, v1 [all …]
|
/aosp12/art/test/575-checker-string-init-alias/smali/ |
H A D | TestCase.smali | 32 aget v3, p0, v1 42 aget v3, p0, v2 59 aget v4, p0, v2 69 aget v4, p0, v3
|
/aosp12/art/test/518-null-array-get/ |
H A D | info.txt | 2 instructions in dead code after aget on null, but pass 5 Previously verification stopped after aget on null and
|
/aosp12/art/test/800-smali/smali/ |
H A D | b_22080519.smali | 9 # Have a branch to reach both the aget-object and something else. 13 aget-object v3, v2, v1
|
H A D | b_27799205_6.smali | 20 aget-object v0, v2, v1
|
/aosp12/art/test/552-checker-primitive-typeprop/smali/ |
H A 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
|
/aosp12/art/test/622-simplifyifs-exception-edges/smali/ |
H A D | Test.smali | 27 aget v0, p0, v0 54 aget v1, p0, v1 56 aget v2, p0, p1
|
/aosp12/art/test/518-null-array-get/smali/ |
H A 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
|
H A D | NullArrayFailInt2Object.smali | 15 # Check that the result of aget on null cannot be used as a reference. 25 aget v0, v0, v1
|
H A D | NullArraySuccessInt.smali | 15 # Check that the result of aget on null can be used as an int. 30 aget v0, v0, v1
|
H A D | NullArraySuccessInt2Float.smali | 15 # Check that the result of aget on null can be used as a float. 30 aget v0, v0, v1
|
H A 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
|
H A 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
|
/aosp12/art/test/dexdump/ |
H A 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 …]
|
H A D | all-dex-files.txt | 131 000454: 4400 0102 |0000: aget v0, v1, v2 132 000458: 4500 0102 |0002: aget-wide 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 1678 001f76: 4402 0500 |0017: aget v2, v5, v0 2300 0026f8: 4401 0104 |0180: aget v1, v1, v4 2302 002700: 4402 0204 |0184: aget v2, v2, v4 2304 002708: 4403 0304 |0188: aget v3, v3, v4 2306 002710: 4404 0804 |018c: aget v4, v8, v4 [all …]
|
H A 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
|
/aosp12/art/test/459-dead-phi/smali/ |
H A D | EquivalentPhi.smali | 22 # aget is initally expected to be an int, but will 24 aget v1, p0, v0
|
/aosp12/art/test/467-regalloc-pair/smali/ |
H A D | TestCase.smali | 40 aget-byte v0, v10, v0 52 aget-byte v0, v10, v0
|
/aosp12/art/test/668-aiobe/smali/ |
H A D | TestCase.smali | 28 aget-wide p0, p0, p1
|
/aosp12/art/test/587-inline-class-error/smali/ |
H A D | TestCase.smali | 30 aget-object v1, v1, v0
|