/art/test/485-checker-dce-loop-update/smali/ |
D | TestCase.smali | 27 ## CHECK-DAG: <<ArgX:i\d+>> ParameterValue 28 ## CHECK-DAG: <<ArgY:z\d+>> ParameterValue 29 ## CHECK-DAG: <<Cst1:i\d+>> IntConstant 1 30 ## CHECK-DAG: <<Cst5:i\d+>> IntConstant 5 31 ## CHECK-DAG: <<Cst7:i\d+>> IntConstant 7 32 ## CHECK-DAG: <<PhiX:i\d+>> Phi [<<ArgX>>,<<Add5:i\d+>>,<<Add7:i\d+>>] loop:<<HeaderY:B\d+>> 33 ## CHECK-DAG: If [<<ArgY>>] loop:<<HeaderY>> 34 ## CHECK-DAG: If [<<Cst1>>] loop:<<HeaderY>> 35 ## CHECK-DAG: <<Add5>> Add [<<PhiX>>,<<Cst5>>] loop:<<HeaderY>> 36 ## CHECK-DAG: <<Add7>> Add [<<PhiX>>,<<Cst7>>] loop:<<HeaderY>> [all …]
|
/art/test/442-checker-constant-folding/smali/ |
D | TestCmp.smali | 21 ## CHECK-DAG: <<Const13:j\d+>> LongConstant 13 22 ## CHECK-DAG: <<Const7:j\d+>> LongConstant 7 23 ## CHECK-DAG: <<Cmp:i\d+>> Compare [<<Const13>>,<<Const7>>] 24 ## CHECK-DAG: Return [<<Cmp>>] 27 ## CHECK-DAG: LongConstant 13 28 ## CHECK-DAG: LongConstant 7 29 ## CHECK-DAG: <<Const1:i\d+>> IntConstant 1 30 ## CHECK-DAG: Return [<<Const1>>] 44 ## CHECK-DAG: <<Const11:f\d+>> FloatConstant 11 45 ## CHECK-DAG: <<Const22:f\d+>> FloatConstant 22 [all …]
|
/art/test/458-checker-instruction-simplification/smali/ |
D | SmaliTests.smali | 19 ## CHECK-DAG: <<Arg:z\d+>> ParameterValue 20 ## CHECK-DAG: <<Const1:i\d+>> IntConstant 1 21 ## CHECK-DAG: <<Cond:z\d+>> Equal [<<Arg>>,<<Const1>>] 22 ## CHECK-DAG: If [<<Cond>>] 25 ## CHECK-DAG: <<Arg:z\d+>> ParameterValue 26 ## CHECK-DAG: If [<<Arg>>] 41 ## CHECK-DAG: <<Arg:z\d+>> ParameterValue 42 ## CHECK-DAG: <<Const1:i\d+>> IntConstant 1 43 ## CHECK-DAG: <<Cond:z\d+>> Equal [<<Const1>>,<<Arg>>] 44 ## CHECK-DAG: If [<<Cond>>] [all …]
|
/art/test/468-checker-bool-simplifier-regression/smali/ |
D | TestCase.smali | 22 ## CHECK-DAG: <<Const0:i\d+>> IntConstant 0 23 ## CHECK-DAG: <<Const1:i\d+>> IntConstant 1 24 ## CHECK-DAG: <<Value:z\d+>> StaticFieldGet 25 ## CHECK-DAG: If [<<Value>>] 26 ## CHECK-DAG: <<Phi:i\d+>> Phi [<<Const1>>,<<Const0>>] 27 ## CHECK-DAG: Return [<<Phi>>] 30 ## CHECK-DAG: <<Const0:i\d+>> IntConstant 0 31 ## CHECK-DAG: <<Const1:i\d+>> IntConstant 1 32 ## CHECK-DAG: <<Value:z\d+>> StaticFieldGet 33 ## CHECK-DAG: <<Select:i\d+>> Select [<<Const1>>,<<Const0>>,<<Value>>] [all …]
|
/art/test/552-checker-primitive-typeprop/smali/ |
D | ArraySet.smali | 23 ## CHECK-DAG: <<IntArray:l\d+>> ParameterValue klass:int[] 24 ## CHECK-DAG: <<IntA:i\d+>> IntConstant 0 25 ## CHECK-DAG: <<IntB:i\d+>> IntConstant 1073741824 26 ## CHECK-DAG: <<IntPhi:i\d+>> Phi [<<IntA>>,<<IntB>>] reg:0 27 ## CHECK-DAG: <<IntNC:l\d+>> NullCheck [<<IntArray>>] 28 ## CHECK-DAG: ArraySet [<<IntNC>>,{{i\d+}},<<IntPhi>>] 30 ## CHECK-DAG: <<FloatArray:l\d+>> ParameterValue klass:float[] 31 ## CHECK-DAG: <<FloatA:f\d+>> FloatConstant 0 32 ## CHECK-DAG: <<FloatB:f\d+>> FloatConstant 2 33 ## CHECK-DAG: <<FloatPhi:f\d+>> Phi [<<FloatA>>,<<FloatB>>] reg:0 [all …]
|
D | SsaBuilder.smali | 26 ## CHECK-DAG: <<Cst0:f\d+>> FloatConstant 0 27 ## CHECK-DAG: <<Cst2:f\d+>> FloatConstant 2 28 ## CHECK-DAG: <<Phi:f\d+>> Phi [<<Cst0>>,<<Cst2>>] 29 ## CHECK-DAG: BoundsCheck env:[[<<Phi>>,{{i\d+}},{{z\d+}},{{l\d+}}]]
|
D | ArrayGet.smali | 26 ## CHECK-DAG: <<Arg1:f\d+>> ParameterValue 27 ## CHECK-DAG: <<Aget:f\d+>> ArrayGet 28 ## CHECK-DAG: {{f\d+}} Phi [<<Aget>>,<<Arg1>>] reg:0 114 ## CHECK-DAG: <<Arg1:f\d+>> ParameterValue 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
|
/art/test/510-checker-try-catch/smali/ |
D | SsaBuilder.smali | 89 ## CHECK-DAG: <<P0:i\d+>> ParameterValue 90 ## CHECK-DAG: <<P1:i\d+>> ParameterValue 91 ## CHECK-DAG: <<P2:i\d+>> ParameterValue 93 ## CHECK-DAG: <<DZC1:i\d+>> DivZeroCheck [<<P1>>] 94 ## CHECK-DAG: <<Div1:i\d+>> Div [<<P0>>,<<DZC1>>] 95 ## CHECK-DAG: <<DZC2:i\d+>> DivZeroCheck [<<P1>>] 96 ## CHECK-DAG: <<Div2:i\d+>> Div [<<Div1>>,<<DZC2>>] 97 ## CHECK-DAG: <<DZC3:i\d+>> DivZeroCheck [<<P1>>] 98 ## CHECK-DAG: <<Div3:i\d+>> Div [<<Div2>>,<<DZC3>>] 100 ## CHECK-DAG: <<Phi1:i\d+>> Phi [<<P0>>,<<P1>>,<<P2>>] reg:0 is_catch_phi:true [all …]
|
D | RegisterAllocator.smali | 23 ## CHECK-DAG: Phi reg:0 is_catch_phi:true locations:{{\[.*\]}}-><<SlotA1:\d+>>(sp) 24 ## CHECK-DAG: Phi reg:0 is_catch_phi:true locations:{{\[.*\]}}-><<SlotA2:\d+>>(sp) 25 ## CHECK-DAG: Phi reg:1 is_catch_phi:true locations:{{\[.*\]}}-><<SlotB:\d+>>(sp) 61 ## CHECK-DAG: Phi reg:0 is_catch_phi:true locations:{{\[.*\]}}->2x<<SlotB1:\d+>>(sp) 62 ## CHECK-DAG: Phi reg:0 is_catch_phi:true locations:{{\[.*\]}}->2x<<SlotB2:\d+>>(sp) 63 ## CHECK-DAG: Phi reg:2 is_catch_phi:true locations:{{\[.*\]}}-><<SlotA:\d+>>(sp)
|
D | Runtime.smali | 187 ## CHECK-DAG: <<Const3:i\d+>> IntConstant 3 188 ## CHECK-DAG: <<Const8:i\d+>> IntConstant 8 189 ## CHECK-DAG: Phi [<<Const3>>,<<Const8>>] is_catch_phi:true 218 ## CHECK-DAG: <<Val1:i\d+>> ArrayGet 219 ## CHECK-DAG: <<Val2:i\d+>> ArrayGet 220 ## CHECK-DAG: Phi [<<Val1>>,<<Val2>>] is_catch_phi:true 259 ## CHECK-DAG: <<Val1:j\d+>> ArrayGet 260 ## CHECK-DAG: <<Val2:j\d+>> ArrayGet 261 ## CHECK-DAG: Phi [<<Val1>>,<<Val2>>] is_catch_phi:true 309 ## CHECK-DAG: <<Val1:f\d+>> ArrayGet [all …]
|
D | Builder.smali | 26 ## CHECK-DAG: <<Minus1:i\d+>> IntConstant -1 27 ## CHECK-DAG: <<Minus2:i\d+>> IntConstant -2 28 ## CHECK-DAG: <<Minus3:i\d+>> IntConstant -3 241 ## CHECK-DAG: <<Minus1:i\d+>> IntConstant -1 242 ## CHECK-DAG: <<Minus2:i\d+>> IntConstant -2 317 ## CHECK-DAG: <<Minus1:i\d+>> IntConstant -1 318 ## CHECK-DAG: <<Minus2:i\d+>> IntConstant -2 408 ## CHECK-DAG: <<Minus1:i\d+>> IntConstant -1 409 ## CHECK-DAG: <<Minus2:i\d+>> IntConstant -2 508 ## CHECK-DAG: <<Minus1:i\d+>> IntConstant -1 [all …]
|
/art/test/543-checker-dce-trycatch/smali/ |
D | TestCase.smali | 207 ## CHECK-DAG: <<Arg0:i\d+>> ParameterValue 208 ## CHECK-DAG: <<Arg1:i\d+>> ParameterValue 209 ## CHECK-DAG: <<Const0xa:i\d+>> IntConstant 10 210 ## CHECK-DAG: <<Const0xb:i\d+>> IntConstant 11 211 ## CHECK-DAG: <<Const0xc:i\d+>> IntConstant 12 212 ## CHECK-DAG: <<Const0xd:i\d+>> IntConstant 13 213 ## CHECK-DAG: <<Const0xe:i\d+>> IntConstant 14 214 ## CHECK-DAG: <<Const0xf:i\d+>> IntConstant 15 215 ## CHECK-DAG: <<Const0x10:i\d+>> IntConstant 16 216 ## CHECK-DAG: <<Const0x11:i\d+>> IntConstant 17 [all …]
|
/art/test/588-checker-irreducible-lifetime-hole/smali/ |
D | IrreducibleLoop.smali | 20 ## CHECK-DAG: <<Method:(i|j)\d+>> CurrentMethod 21 ## CHECK-DAG: <<Constant:i\d+>> IntConstant 42 22 ## CHECK-DAG: Goto irreducible:true 23 ## CHECK-DAG: InvokeStaticOrDirect [<<Constant>>,<<Method>>] loop:none 24 ## CHECK-DAG: InvokeStaticOrDirect [{{i\d+}},<<Method>>] loop:none 61 ## CHECK-DAG: <<Method:(i|j)\d+>> CurrentMethod 62 ## CHECK-DAG: <<Constant:i\d+>> IntConstant 42 63 ## CHECK-DAG: Goto irreducible:true 64 ## CHECK-DAG: InvokeStaticOrDirect [<<Constant>>,<<Method>>] loop:none 65 ## CHECK-DAG: InvokeStaticOrDirect [{{i\d+}},<<Method>>] loop:none
|
/art/test/450-checker-types/smali/ |
D | SmaliTests.smali | 19 ## CHECK-DAG: <<Cst0:i\d+>> IntConstant 0 20 ## CHECK-DAG: <<IOf:z\d+>> InstanceOf 21 ## CHECK-DAG: Equal [<<IOf>>,<<Cst0>>] 45 ## CHECK-DAG: <<Cst1:i\d+>> IntConstant 1 46 ## CHECK-DAG: <<IOf:z\d+>> InstanceOf 47 ## CHECK-DAG: Equal [<<IOf>>,<<Cst1>>] 71 ## CHECK-DAG: <<Cst0:i\d+>> IntConstant 0 72 ## CHECK-DAG: <<IOf:z\d+>> InstanceOf 73 ## CHECK-DAG: NotEqual [<<IOf>>,<<Cst0>>] 97 ## CHECK-DAG: <<Cst1:i\d+>> IntConstant 1 [all …]
|
/art/test/550-checker-regression-wide-store/smali/ |
D | TestCase.smali | 29 ## CHECK-DAG: <<Cst0:i\d+>> IntConstant 0 30 ## CHECK-DAG: <<Arg:j\d+>> ParameterValue 31 ## CHECK-DAG: <<Cast:i\d+>> TypeConversion [<<Arg>>] 32 ## CHECK-DAG: InvokeStaticOrDirect method_name:java.lang.System.nanoTime env:[[_,<<Cst0>>,<<Arg>>,_… 33 ## CHECK-DAG: InvokeStaticOrDirect method_name:TestCase.$noinline$throw env:[[_,<<Cast>>,<<Arg>>,_… 57 ## CHECK-DAG: <<Arg:j\d+>> ParameterValue 58 ## CHECK-DAG: InvokeStaticOrDirect method_name:java.lang.System.nanoTime env:[[<<Arg>>,_,<<Arg>>,_]] 71 ## CHECK-DAG: <<Arg:j\d+>> ParameterValue 72 ## CHECK-DAG: InvokeStaticOrDirect method_name:java.lang.System.nanoTime env:[[<<Arg>>,_,_,<<Arg>>,…
|
/art/test/594-checker-irreducible-linorder/smali/ |
D | IrreducibleLoop.smali | 22 ## CHECK-DAG: Add loop:none 23 ## CHECK-DAG: Mul loop:<<Loop:B\d+>> 24 ## CHECK-DAG: Not loop:<<Loop>> 27 ## CHECK-DAG: Add liveness:<<LPreEntry:\d+>> 28 ## CHECK-DAG: Mul liveness:<<LHeader:\d+>> 29 ## CHECK-DAG: Not liveness:<<LBackEdge:\d+>> 72 ## CHECK-DAG: Mul loop:<<Loop:B\d+>> 73 ## CHECK-DAG: Not loop:<<Loop>> 76 ## CHECK-DAG: Mul liveness:<<LPreEntry2:\d+>> 77 ## CHECK-DAG: Not liveness:<<LBackEdge1:\d+>>
|
/art/test/599-checker-irreducible-loop/smali/ |
D | IrreducibleLoop.smali | 20 ## CHECK-DAG: LoadClass loop:none 21 ## CHECK-DAG: LoadClass loop:{{B\d+}} outer_loop:none 24 ## CHECK-DAG: LoadClass loop:none 25 ## CHECK-DAG: LoadClass loop:{{B\d+}} outer_loop:none
|
/art/test/563-checker-fakestring/smali/ |
D | TestCase.smali | 22 ## CHECK-DAG: Return [<<String:l\d+>>] 23 ## CHECK-DAG: <<String>> InvokeStaticOrDirect method_name:java.lang.String.<init> 45 ## CHECK-DAG: <<Null:l\d+>> NullConstant 46 ## CHECK-DAG: <<String:l\d+>> NewInstance 47 ## CHECK-DAG: <<Cond:z\d+>> NotEqual [<<String>>,<<Null>>] 48 ## CHECK-DAG: If [<<Cond>>] 135 ## CHECK-DAG: InvokeStaticOrDirect env:[[<<Phi:l\d+>>,{{.*]]}} 136 ## CHECK-DAG: <<Phi>> Phi 160 ## CHECK-DAG: InvokeStaticOrDirect env:[[<<Phi:l\d+>>,{{.*]]}} 161 ## CHECK-DAG: <<Phi>> Phi
|
/art/test/564-checker-irreducible-loop/smali/ |
D | IrreducibleLoop.smali | 20 ## CHECK-DAG: <<Method:(i|j)\d+>> CurrentMethod 21 ## CHECK-DAG: <<Constant:i\d+>> IntConstant 42 22 ## CHECK-DAG: InvokeStaticOrDirect [<<Constant>>,<<Method>>] loop:{{B\d+}} irre… 23 ## CHECK-DAG: InvokeStaticOrDirect [<<Constant>>,<<Method>>] loop:none
|
/art/test/596-checker-dead-phi/smali/ |
D | IrreducibleLoop.smali | 25 ## CHECK-DAG: <<Phi:i\d+>> Phi reg:4 loop:{{B\d+}} irreducible:false 26 ## CHECK-DAG: SuspendCheck env:[[_,_,_,_,<<Phi>>]] loop:{{B\d+}} irreducible:false 30 ## CHECK-DAG: Mul liveness:<<LPreEntry2:\d+>> 31 ## CHECK-DAG: Add liveness:<<LBackEdge1:\d+>>
|
/art/test/559-checker-irreducible-loop/smali/ |
D | IrreducibleLoop.smali | 144 ## CHECK-DAG: <<Arg:i\d+>> ParameterValue liveness:<<ArgLiv:\d+>> ranges:{[<<ArgLiv>>,<<ArgLoo… 145 ## CHECK-DAG: <<LoopPhi:i\d+>> Phi [<<Arg>>,<<PhiInLoop:i\d+>>] liveness:<<ArgLoopPhiUse>> ranges:… 146 ## CHECK-DAG: <<PhiInLoop>> Phi [<<Arg>>,<<LoopPhi>>] liveness:<<PhiInLoopUse>> ranges:{[<<PhiI… 327 ## CHECK-DAG: Goto loop:<<OuterLoop:B\d+>> outer_loop:none irreducible:true 328 ## CHECK-DAG: Goto outer_loop:<<OuterLoop>> irreducible:false 375 ## CHECK-DAG: Goto outer_loop:none irreducible:false 376 ## CHECK-DAG: Goto outer_loop:none irreducible:true 422 ## CHECK-DAG: Goto loop:<<OuterLoop:B\d+>> outer_loop:none irreducible:true 423 ## CHECK-DAG: Goto outer_loop:<<OuterLoop>> irreducible:true 471 ## CHECK-DAG: Goto loop:<<OuterLoop:B\d+>> outer_loop:none irreducible:true [all …]
|
/art/test/565-checker-irreducible-loop/smali/ |
D | IrreducibleLoop.smali | 23 ## CHECK-DAG: ParallelMove {{.*84->.*}} loop:none 24 ## CHECK-DAG: ParallelMove {{.*84->.*}} loop:{{B\d+}} irreducible:true 57 ## CHECK-DAG: ParallelMove {{.*84->.*}} loop:none 58 ## CHECK-DAG: ParallelMove {{.*84->.*}} loop:{{B\d+}} irreducible:true
|
/art/test/570-checker-osr/smali/ |
D | Osr.smali | 23 ## CHECK-DAG: SuspendCheck loop:<<OuterLoop:B\d+>> outer_loop:none 24 ## CHECK-DAG: SuspendCheck loop:{{B\d+}} outer_loop:<<OuterLoop>>
|
/art/tools/checker/match/ |
D | file.py | 39 assertion.variant in [TestAssertion.Variant.DAG, TestAssertion.Variant.Not]): 77 assert assertion.variant == TestAssertion.Variant.DAG 141 elif assertionGroup[0].variant == TestAssertion.Variant.DAG:
|
/art/test/530-checker-regression-reftype-final/smali/ |
D | TestCase.smali | 27 ## CHECK-DAG: CheckCast [<<Phi:l\d+>>,{{l\d+}}] 28 ## CHECK-DAG: <<Phi>> Phi klass:java.lang.Object[] exact:false
|