| /art/test/664-aget-verifier/ |
| 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/runtime/interpreter/mterp/x86_64/ |
| op_aget.S | 5 * for: aget, aget-boolean, aget-byte, aget-char, aget-short, aget-wide
|
| op_aget_object.S | 4 * for: aget-object
|
| /art/test/518-null-array-get/ |
| info.txt | 2 instructions in dead code after aget on null, but pass
5 Previously verification stopped after aget on null and
|
| /art/runtime/interpreter/mterp/x86/ |
| op_aget.S | 5 * for: aget, aget-boolean, aget-byte, aget-char, aget-short
|
| op_aget_object.S | 4 * for: aget-object
|
| op_aget_wide.S | 4 /* aget-wide vAA, vBB, vCC */
|
| /cts/tools/vm-tests-tf/src/dot/junit/opcodes/aget/ |
| Test_aget.java | 17 package dot.junit.opcodes.aget;
21 import dot.junit.opcodes.aget.d.T_aget_1;
22 import dot.junit.opcodes.aget.d.T_aget_8;
49 loadAndRun("dot.junit.opcodes.aget.d.T_aget_1", ArrayIndexOutOfBoundsException.class,
57 loadAndRun("dot.junit.opcodes.aget.d.T_aget_1", NullPointerException.class, null, 2);
64 loadAndRun("dot.junit.opcodes.aget.d.T_aget_1", ArrayIndexOutOfBoundsException.class,
73 load("dot.junit.opcodes.aget.d.T_aget_2", VerifyError.class);
81 load("dot.junit.opcodes.aget.d.T_aget_3", VerifyError.class);
89 load("dot.junit.opcodes.aget.d.T_aget_4", VerifyError.class);
97 load("dot.junit.opcodes.aget.d.T_aget_5", VerifyError.class)
[all...] |
| /dalvik/dx/tests/111-use-null-as-array/ |
| expected.txt | 5 0002: aget-byte v0, v0, v1
11 0002: aget-byte v0, v0, v1
17 0002: aget-char v0, v0, v1
23 0002: aget-wide v0, v0, v1
29 0002: aget v0, v0, v1
35 0002: aget v0, v0, v1
41 0002: aget-wide v0, v0, v1
47 0003: aget-object v0, v0, v1
53 0003: aget-short v0, v0, v1
121 0002: aget-object v0, v0, v
[all...] |
| /art/runtime/interpreter/mterp/arm/ |
| op_aget.S | 8 * for: aget, aget-boolean, aget-byte, aget-char, aget-short
|
| op_aget_object.S | 4 * for: aget-object
|
| /art/runtime/interpreter/mterp/arm64/ |
| op_aget.S | 8 * for: aget, aget-boolean, aget-byte, aget-char, aget-short
|
| op_aget_object.S | 4 * for: aget-object
|
| /art/runtime/interpreter/mterp/mips/ |
| op_aget.S | 8 * for: aget, aget-boolean, aget-byte, aget-char, aget-short
|
| op_aget_object.S | 4 * for: aget-object
|
| /art/runtime/interpreter/mterp/mips64/ |
| op_aget.S | 5 * for: aget, aget-boolean, aget-byte, aget-char, aget-short
|
| op_aget_object.S | 4 * for: aget-object
|
| /art/test/800-smali/smali/ |
| b_22080519.smali | 9 # Have a branch to reach both the aget-object and something else.
13 aget-object v3, v2, v1
|
| /external/smali/smali-integration-tests/src/test/smali/junit-tests/InstructionTests/Format31t/ |
| Format31t.smali | 21 aget v2, v0, v1
26 aget v2, v0, v1
31 aget v2, v0, v1
36 aget v2, v0, v1
41 aget v2, v0, v1
46 aget v2, v0, v1
|
| /dalvik/dx/tests/064-dex-array-access/ |
| expected.txt | 11 0009: aget-boolean v2, v2, v3
24 0009: aget-byte v2, v2, v3
37 0009: aget-short v2, v2, v3
50 0009: aget-char v2, v2, v3
63 0009: aget v2, v2, v3
76 000a: aget-wide v2, v2, v3
89 000a: aget v2, v2, v3
102 000a: aget-wide v2, v2, v3
115 0009: aget-object v2, v2, v3
123 0003: aget-object v1, v1, v
[all...] |
| /art/test/518-null-array-get/smali/ |
| NullArrayFailInt2Object.smali | 15 # Check that the result of aget on null cannot be used as a reference.
25 aget v0, v0, v1
|
| NullArrayFailObject2Int.smali | 15 # Check that the result of aget-object on null cannot be used as an integral.
25 aget-object v0, v0, v1
|
| /art/test/586-checker-null-array-get/smali/ |
| 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, v
[all...] |
| /art/test/552-checker-primitive-typeprop/smali/ |
| ArrayGet.smali | 27 ## CHECK-DAG: <<Aget:f\d+>> ArrayGet
28 ## CHECK-DAG: {{f\d+}} Phi [<<Aget>>,<<Arg1>>] reg:0
35 aget v0, p0, v0 # read value
63 aget v0, p0, v0 # read value
93 aget v0, p0, v0 # read value
115 ## CHECK-DAG: <<Aget:f\d+>> ArrayGet
116 ## CHECK-DAG: ArraySet [{{l\d+}},{{i\d+}},<<Aget>>]
117 ## CHECK-DAG: {{f\d+}} Phi [<<Aget>>,<<Arg1>>] reg:0
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 us
[all...] |
| /art/test/575-checker-string-init-alias/smali/ |
| TestCase.smali | 32 aget v3, p0, v1
42 aget v3, p0, v2
59 aget v4, p0, v2
69 aget v4, p0, v3
|
