/art/test/1978-regular-obsolete-then-structural-obsolescence/ |
D | expected.txt | 3 Running after op1 using normal definition 6 Running after op2 using normal definition 10 Running after op1 using non-structural redefinition 13 Running after op2 using structural redefinition 17 Running after op2 using structural redefinition 20 Running after op2 using structural redefinition
|
/art/test/552-checker-primitive-typeprop/smali/ |
D | TypePropagation.smali | 18 …-DEBUGGABLE: void TypePropagation.mergeDeadPhi(boolean, boolean, int, float, float) builder (after) 37 ## CHECK-START-DEBUGGABLE: void TypePropagation.mergeSameType(boolean, int, int) builder (after) 42 if-eqz p0, :after 44 :after 50 …K-START-DEBUGGABLE: void TypePropagation.mergeVoidInput(boolean, boolean, int, int) builder (after) 58 if-eqz p0, :after 60 :after 67 …CHECK-START-DEBUGGABLE: void TypePropagation.mergeDifferentSize(boolean, int, long) builder (after) 71 if-eqz p0, :after 73 :after [all …]
|
D | ArrayGet.smali | 22 ## CHECK-START: void ArrayGet.matchingFixedType(float[], float) builder (after) 25 ## CHECK-START-DEBUGGABLE: void ArrayGet.matchingFixedType(float[], float) builder (after) 39 if-eqz v2, :after 41 :after 52 ## CHECK-START: void ArrayGet.conflictingFixedType(float[], int) builder (after) 55 ## CHECK-START-DEBUGGABLE: void ArrayGet.conflictingFixedType(float[], int) builder (after) 66 if-eqz p1, :after 68 :after 79 ## CHECK-START: void ArrayGet.conflictingFixedType2(int[], float) builder (after) 82 ## CHECK-START-DEBUGGABLE: void ArrayGet.conflictingFixedType2(int[], float) builder (after) [all …]
|
/art/test/1926-missed-frame-pop/ |
D | expected.txt | 1 Ran recurTimes(10) without errors after disabling frame pop event! 4 Ran recurTimes(10) without errors after disabling frame pop event! 7 Ran recurTimes(10) without errors after disabling frame pop event!
|
/art/test/442-checker-constant-folding/smali/ |
D | TestCmp.smali | 26 ## CHECK-START: int TestCmp.$opt$CmpLongConstants() constant_folding (after) 32 ## CHECK-START: int TestCmp.$opt$CmpLongConstants() constant_folding (after) 49 ## CHECK-START: int TestCmp.$opt$CmpGtFloatConstants() constant_folding (after) 55 ## CHECK-START: int TestCmp.$opt$CmpGtFloatConstants() constant_folding (after) 72 ## CHECK-START: int TestCmp.$opt$CmpLtFloatConstants() constant_folding (after) 78 ## CHECK-START: int TestCmp.$opt$CmpLtFloatConstants() constant_folding (after) 95 ## CHECK-START: int TestCmp.$opt$CmpGtDoubleConstants() constant_folding (after) 101 ## CHECK-START: int TestCmp.$opt$CmpGtDoubleConstants() constant_folding (after) 118 ## CHECK-START: int TestCmp.$opt$CmpLtDoubleConstants() constant_folding (after) 124 ## CHECK-START: int TestCmp.$opt$CmpLtDoubleConstants() constant_folding (after) [all …]
|
/art/test/565-checker-rotate/smali/ |
D | Main2.smali | 18 ## CHECK-START: int Main2.rotateLeftBoolean(boolean, int) builder (after) 27 ## CHECK-START: int Main2.rotateLeftBoolean(boolean, int) instruction_simplifier (after) 37 ## CHECK-START: int Main2.rotateLeftBoolean(boolean, int) instruction_simplifier (after) 40 ## CHECK-START: int Main2.rotateLeftBoolean(boolean, int) select_generator (after) 50 ## CHECK-START: int Main2.rotateLeftBoolean(boolean, int) select_generator (after) 53 ## CHECK-START: int Main2.rotateLeftBoolean(boolean, int) instruction_simplifier$after_bce (after) 60 ## CHECK-START: int Main2.rotateLeftBoolean(boolean, int) instruction_simplifier$after_bce (after) 93 ## CHECK-START: int Main2.rotateRightBoolean(boolean, int) builder (after) 102 ## CHECK-START: int Main2.rotateRightBoolean(boolean, int) instruction_simplifier (after) 111 ## CHECK-START: int Main2.rotateRightBoolean(boolean, int) instruction_simplifier (after) [all …]
|
/art/test/593-checker-boolean-2-integral-conv/smali/ |
D | SmaliTests.smali | 33 ## CHECK-START: byte SmaliTests.booleanToByte(boolean) builder (after) 43 ## CHECK-START: byte SmaliTests.booleanToByte(boolean) select_generator (after) 51 ## CHECK-START: byte SmaliTests.booleanToByte(boolean) instruction_simplifier$after_bce (after) 68 ## CHECK-START: short SmaliTests.booleanToShort(boolean) builder (after) 78 ## CHECK-START: short SmaliTests.booleanToShort(boolean) select_generator (after) 86 ## CHECK-START: short SmaliTests.booleanToShort(boolean) instruction_simplifier$after_bce (after) 103 ## CHECK-START: char SmaliTests.booleanToChar(boolean) builder (after) 113 ## CHECK-START: char SmaliTests.booleanToChar(boolean) select_generator (after) 121 ## CHECK-START: char SmaliTests.booleanToChar(boolean) instruction_simplifier$after_bce (after) 138 ## CHECK-START: int SmaliTests.booleanToInt(boolean) builder (after) [all …]
|
/art/test/566-checker-signum/smali/ |
D | Main2.smali | 18 ## CHECK-START: int Main2.signBoolean(boolean) builder (after) 25 ## CHECK-START: int Main2.signBoolean(boolean) instruction_simplifier (after) 32 ## CHECK-START: int Main2.signBoolean(boolean) instruction_simplifier (after) 35 ## CHECK-START: int Main2.signBoolean(boolean) select_generator (after) 43 ## CHECK-START: int Main2.signBoolean(boolean) select_generator (after) 46 ## CHECK-START: int Main2.signBoolean(boolean) instruction_simplifier$after_bce (after) 52 ## CHECK-START: int Main2.signBoolean(boolean) instruction_simplifier$after_bce (after)
|
/art/test/800-smali/smali/ |
D | FloatBadArgReg.smali | 8 if-ne v0, v0, :after 13 :after
|
/art/tools/dexfuzz/src/dexfuzz/program/ |
D | MutatableCode.java | 174 private void updateTryBlocksWithReplacementInsn(MInsn before, MInsn after, in updateTryBlocksWithReplacementInsn() argument 180 mTryBlock.startInsn = after; in updateTryBlocksWithReplacementInsn() 181 } else if (twoWay && mTryBlock.startInsn == after) { in updateTryBlocksWithReplacementInsn() 187 mTryBlock.endInsn = after; in updateTryBlocksWithReplacementInsn() 188 } else if (twoWay && mTryBlock.endInsn == after) { in updateTryBlocksWithReplacementInsn() 194 mTryBlock.catchAllHandler = after; in updateTryBlocksWithReplacementInsn() 195 } else if (twoWay && mTryBlock.catchAllHandler == after) { in updateTryBlocksWithReplacementInsn() 211 } else if (twoWay && handler == after) { in updateTryBlocksWithReplacementInsn() 219 mTryBlock.handlers.set(idxToChange, after); in updateTryBlocksWithReplacementInsn()
|
/art/tools/checker/ |
D | README | 2 state of the control-flow graph before and after each optimization pass 31 - CHECK-NEXT: Must match the output line which comes right after the line which 32 matched the previous check. Cannot be used after any but the 52 /// CHECK-START: int MyClass.MyMethod() constant_folding (after) 57 group named on the first line. Together they verify that the CFG after 65 /// CHECK-START: int MyClass.MyMethod() liveness (after) 72 after the 'CHECK-START' keyword. The previous example can be updated to run for 76 /// CHECK-START-ARM64: int MyClass.MyMethod() constant_folding (after) 80 For convenience, several architectures can be specified as set after the 85 /// CHECK-START-{X86_64,ARM,ARM64}: int MyClass.MyMethod() constant_folding (after)
|
/art/test/567-checker-compare/smali/ |
D | Smali.smali | 18 ## CHECK-START: int Smali.compareBooleans(boolean, boolean) builder (after) 26 ## CHECK-START: int Smali.compareBooleans(boolean, boolean) instruction_simplifier (after) 34 ## CHECK-START: int Smali.compareBooleans(boolean, boolean) instruction_simplifier (after) 37 ## CHECK-START: int Smali.compareBooleans(boolean, boolean) select_generator (after) 47 ## CHECK-START: int Smali.compareBooleans(boolean, boolean) select_generator (after) 50 … CHECK-START: int Smali.compareBooleans(boolean, boolean) instruction_simplifier$after_bce (after) 56 … CHECK-START: int Smali.compareBooleans(boolean, boolean) instruction_simplifier$after_bce (after)
|
/art/test/537-checker-debuggable/smali/ |
D | TestCase.smali | 23 ## CHECK-START: int TestCase.deadPhi(int, int, int) builder (after) 26 ## CHECK-START-DEBUGGABLE: int TestCase.deadPhi(int, int, int) builder (after) 33 if-eqz p0, :after 35 :after
|
/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/458-checker-instruct-simplification/smali/ |
D | SmaliTests.smali | 24 ## CHECK-START: int SmaliTests.EqualTrueRhs(boolean) instruction_simplifier (after) 46 ## CHECK-START: int SmaliTests.EqualTrueLhs(boolean) instruction_simplifier (after) 68 ## CHECK-START: int SmaliTests.EqualFalseRhs(boolean) instruction_simplifier (after) 90 ## CHECK-START: int SmaliTests.EqualFalseLhs(boolean) instruction_simplifier (after) 112 ## CHECK-START: int SmaliTests.NotEqualTrueRhs(boolean) instruction_simplifier (after) 134 ## CHECK-START: int SmaliTests.NotEqualTrueLhs(boolean) instruction_simplifier (after) 156 ## CHECK-START: int SmaliTests.NotEqualFalseRhs(boolean) instruction_simplifier (after) 178 ## CHECK-START: int SmaliTests.NotEqualFalseLhs(boolean) instruction_simplifier (after) 202 ## CHECK-START: int SmaliTests.AddSubConst(int) instruction_simplifier (after) 229 ## CHECK-START: int SmaliTests.SubAddConst(int) instruction_simplifier (after) [all …]
|
D | SmaliTests2.smali | 24 ## CHECK-START: int SmaliTests2.$noinline$XorAllOnes(int) instruction_simplifier (after) 29 ## CHECK-START: int SmaliTests2.$noinline$XorAllOnes(int) instruction_simplifier (after) 57 ## CHECK-START: long SmaliTests2.$noinline$NotNot1(long) instruction_simplifier (after) 61 ## CHECK-START: long SmaliTests2.$noinline$NotNot1(long) instruction_simplifier (after) 90 ## CHECK-START: int SmaliTests2.$noinline$NotNot2(int) instruction_simplifier (after) 96 ## CHECK-START: int SmaliTests2.$noinline$NotNot2(int) instruction_simplifier (after) 100 ## CHECK-START: int SmaliTests2.$noinline$NotNot2(int) instruction_simplifier (after) 159 ## CHECK-START: boolean SmaliTests2.$noinline$NotNotBool(boolean) instruction_simplifier (after) 162 ## CHECK-START: boolean SmaliTests2.$noinline$NotNotBool(boolean) instruction_simplifier (after) 178 …K-START: boolean SmaliTests2.$noinline$NotNotBool(boolean) instruction_simplifier$after_gvn (after) [all …]
|
/art/test/996-breakpoint-obsolete/ |
D | expected.txt | 3 Should be after first breakpoint. 9 Should be after first breakpoint.
|
/art/test/1975-hello-structural-transformation/ |
D | expected.txt | 24 Reading with reflection after possible modification. 27 Reading normally in same class after possible modification. 30 Reading with native after possible modification. 33 Reading normally in other class after possible modification. 39 Reading fields after redefinition 62 Reading with reflection after possible modification. 66 Reading normally in same class after possible modification. 70 Reading with native after possible modification. 74 Reading normally in other class after possible modification.
|
/art/test/565-checker-doublenegbitwise/smali/ |
D | SmaliTests.smali | 30 ## CHECK-START: int SmaliTests.$opt$noinline$andToOr(int, int) instruction_simplifier (after) 37 ## CHECK-START: int SmaliTests.$opt$noinline$andToOr(int, int) instruction_simplifier (after) 41 ## CHECK-START: int SmaliTests.$opt$noinline$andToOr(int, int) instruction_simplifier (after) 79 …T: boolean SmaliTests.$opt$noinline$booleanAndToOr(boolean, boolean) instruction_simplifier (after) 86 … SmaliTests.$opt$noinline$booleanAndToOr(boolean, boolean) instruction_simplifier$after_bce (after) 90 … SmaliTests.$opt$noinline$booleanAndToOr(boolean, boolean) instruction_simplifier$after_bce (after) 122 ## CHECK-START: long SmaliTests.$opt$noinline$orToAnd(long, long) instruction_simplifier (after) 129 ## CHECK-START: long SmaliTests.$opt$noinline$orToAnd(long, long) instruction_simplifier (after) 133 ## CHECK-START: long SmaliTests.$opt$noinline$orToAnd(long, long) instruction_simplifier (after) 170 …T: boolean SmaliTests.$opt$noinline$booleanOrToAnd(boolean, boolean) instruction_simplifier (after) [all …]
|
/art/test/152-dead-large-object/ |
D | info.txt | 1 Test that large objects are freed properly after a GC.
|
/art/test/141-class-unload/ |
D | info.txt | 1 Test that classes get freed after they are no longer reachable.
|
/art/test/917-fields-transformation/ |
D | info.txt | 1 Tests field access after class redefinition support in the jvmti plugin.
|
/art/test/998-redefine-use-after-free/ |
D | info.txt | 3 It was possible for the JVMTI class redefinition to encounter a use-after-free 9 Hitting this use-after-free can cause many strange outcomes, from CHECK failures
|
/art/test/1907-suspend-list-self-twice/ |
D | expected.txt | 2 Thread was no longer suspended after one resume.
|
/art/test/1972-jni-id-swap-indices/ |
D | info.txt | 3 Also tests that WellKnownClasses jmethodIDs are indices after swap.
|