| Index: tests/compiler/dart2js/backend_dart/opt_constprop_test.dart
|
| diff --git a/tests/compiler/dart2js/backend_dart/opt_constprop_test.dart b/tests/compiler/dart2js/backend_dart/opt_constprop_test.dart
|
| index 32299d5a7570e351b27ac2154d0e5ebf76fe1733..84262cb5b34964e4ccbd5b09a176ecefcc52bc9f 100644
|
| --- a/tests/compiler/dart2js/backend_dart/opt_constprop_test.dart
|
| +++ b/tests/compiler/dart2js/backend_dart/opt_constprop_test.dart
|
| @@ -28,29 +28,29 @@ import 'package:compiler/implementation/dart2jslib.dart' as dart2js;
|
| // }
|
|
|
| String CP1_IN = """
|
| -(FunctionDefinition main (return) (LetPrim v0 (Constant 1))
|
| - (LetPrim v1 (Constant 1))
|
| +(FunctionDefinition main (return) (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetPrim v1 (Constant IntConstant(1)))
|
| (LetCont (k0 v2)
|
| - (LetCont (k1) (LetPrim v3 (Constant 2))
|
| + (LetCont (k1) (LetPrim v3 (Constant IntConstant(2)))
|
| (InvokeContinuation return v3))
|
| - (LetCont (k2) (LetPrim v4 (Constant 3))
|
| + (LetCont (k2) (LetPrim v4 (Constant IntConstant(3)))
|
| (InvokeContinuation return v4))
|
| (Branch (IsTrue v2) k1 k2))
|
| (InvokeMethod v0 == v1 k0))
|
| """;
|
| String CP1_OUT = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| - (LetPrim v1 (Constant 1))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetPrim v1 (Constant IntConstant(1)))
|
| (LetCont (k0 v2)
|
| (LetCont (k1)
|
| - (LetPrim v3 (Constant 2))
|
| + (LetPrim v3 (Constant IntConstant(2)))
|
| (InvokeContinuation return v3))
|
| (LetCont (k2)
|
| - (LetPrim v4 (Constant 3))
|
| + (LetPrim v4 (Constant IntConstant(3)))
|
| (InvokeContinuation return v4))
|
| (InvokeContinuation k1 ))
|
| - (LetPrim v5 (Constant true))
|
| + (LetPrim v5 (Constant BoolConstant(true)))
|
| (InvokeContinuation k0 v5))
|
| """;
|
|
|
| @@ -70,86 +70,86 @@ String CP1_OUT = """
|
| // }
|
|
|
| String CP2_IN = """
|
| -(FunctionDefinition main (return) (LetPrim v0 (Constant 1))
|
| +(FunctionDefinition main (return) (LetPrim v0 (Constant IntConstant(1)))
|
| (LetCont* (k0)
|
| - (LetCont (k1) (LetPrim v1 (Constant 42))
|
| + (LetCont (k1) (LetPrim v1 (Constant IntConstant(42)))
|
| (InvokeContinuation return v1))
|
| - (LetCont (k2) (LetPrim v2 (Constant false))
|
| + (LetCont (k2) (LetPrim v2 (Constant BoolConstant(false)))
|
| (LetCont (k3 v3)
|
| (LetCont (k4) (InvokeContinuation return v0))
|
| - (LetCont (k5) (LetPrim v4 (Constant true))
|
| + (LetCont (k5) (LetPrim v4 (Constant BoolConstant(true)))
|
| (LetCont (k6 v5)
|
| (LetCont (k7) (InvokeContinuation return v0))
|
| (LetCont (k8) (InvokeContinuation* k0))
|
| (Branch (IsTrue v5) k7 k8))
|
| - (LetCont (k9) (LetPrim v6 (Constant 1))
|
| + (LetCont (k9) (LetPrim v6 (Constant IntConstant(1)))
|
| (LetCont (k10 v7)
|
| - (LetCont (k11) (LetPrim v8 (Constant true))
|
| + (LetCont (k11) (LetPrim v8 (Constant BoolConstant(true)))
|
| (InvokeContinuation k6 v8))
|
| - (LetCont (k12) (LetPrim v9 (Constant false))
|
| + (LetCont (k12) (LetPrim v9 (Constant BoolConstant(false)))
|
| (InvokeContinuation k6 v9))
|
| (Branch (IsTrue v7) k11 k12))
|
| (InvokeMethod v0 == v6 k10))
|
| - (LetCont (k13) (LetPrim v10 (Constant false))
|
| + (LetCont (k13) (LetPrim v10 (Constant BoolConstant(false)))
|
| (InvokeContinuation k6 v10))
|
| (Branch (IsTrue v4) k9 k13))
|
| (Branch (IsTrue v3) k4 k5))
|
| - (LetCont (k14) (LetPrim v11 (Constant true))
|
| + (LetCont (k14) (LetPrim v11 (Constant BoolConstant(true)))
|
| (InvokeContinuation k3 v11))
|
| - (LetCont (k15) (LetPrim v12 (Constant false))
|
| - (LetCont (k16) (LetPrim v13 (Constant true))
|
| + (LetCont (k15) (LetPrim v12 (Constant BoolConstant(false)))
|
| + (LetCont (k16) (LetPrim v13 (Constant BoolConstant(true)))
|
| (InvokeContinuation k3 v13))
|
| - (LetCont (k17) (LetPrim v14 (Constant false))
|
| + (LetCont (k17) (LetPrim v14 (Constant BoolConstant(false)))
|
| (InvokeContinuation k3 v14))
|
| (Branch (IsTrue v12) k16 k17))
|
| (Branch (IsTrue v2) k14 k15))
|
| - (LetPrim v15 (Constant true))
|
| + (LetPrim v15 (Constant BoolConstant(true)))
|
| (Branch (IsTrue v15) k2 k1))
|
| (InvokeContinuation k0))
|
| """;
|
| String CP2_OUT = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| (LetCont* (k0)
|
| - (LetCont (k1) (LetPrim v1 (Constant 42))
|
| + (LetCont (k1) (LetPrim v1 (Constant IntConstant(42)))
|
| (InvokeContinuation return v1))
|
| (LetCont (k2)
|
| - (LetPrim v2 (Constant false))
|
| + (LetPrim v2 (Constant BoolConstant(false)))
|
| (LetCont (k3 v3)
|
| (LetCont (k4) (InvokeContinuation return v0))
|
| (LetCont (k5)
|
| - (LetPrim v4 (Constant true))
|
| + (LetPrim v4 (Constant BoolConstant(true)))
|
| (LetCont (k6 v5)
|
| (LetCont (k7) (InvokeContinuation return v0))
|
| (LetCont (k8) (InvokeContinuation* k0 ))
|
| (InvokeContinuation k7 ))
|
| (LetCont (k9)
|
| - (LetPrim v6 (Constant 1))
|
| + (LetPrim v6 (Constant IntConstant(1)))
|
| (LetCont (k10 v7)
|
| (LetCont (k11)
|
| - (LetPrim v8 (Constant true))
|
| + (LetPrim v8 (Constant BoolConstant(true)))
|
| (InvokeContinuation k6 v8))
|
| - (LetCont (k12) (LetPrim v9 (Constant false))
|
| + (LetCont (k12) (LetPrim v9 (Constant BoolConstant(false)))
|
| (InvokeContinuation k6 v9))
|
| (InvokeContinuation k11 ))
|
| - (LetPrim v10 (Constant true))
|
| + (LetPrim v10 (Constant BoolConstant(true)))
|
| (InvokeContinuation k10 v10))
|
| - (LetCont (k13) (LetPrim v11 (Constant false))
|
| + (LetCont (k13) (LetPrim v11 (Constant BoolConstant(false)))
|
| (InvokeContinuation k6 v11))
|
| (InvokeContinuation k9 ))
|
| (InvokeContinuation k5 ))
|
| - (LetCont (k14) (LetPrim v12 (Constant true))
|
| + (LetCont (k14) (LetPrim v12 (Constant BoolConstant(true)))
|
| (InvokeContinuation k3 v12))
|
| (LetCont (k15)
|
| - (LetPrim v13 (Constant false))
|
| - (LetCont (k16) (LetPrim v14 (Constant true))
|
| + (LetPrim v13 (Constant BoolConstant(false)))
|
| + (LetCont (k16) (LetPrim v14 (Constant BoolConstant(true)))
|
| (InvokeContinuation k3 v14))
|
| (LetCont (k17)
|
| - (LetPrim v15 (Constant false))
|
| + (LetPrim v15 (Constant BoolConstant(false)))
|
| (InvokeContinuation k3 v15))
|
| (InvokeContinuation k17 ))
|
| (InvokeContinuation k15 ))
|
| - (LetPrim v16 (Constant true))
|
| + (LetPrim v16 (Constant BoolConstant(true)))
|
| (InvokeContinuation k2 ))
|
| (InvokeContinuation k0 ))
|
| """;
|
| @@ -166,10 +166,10 @@ String CP2_OUT = """
|
| // }
|
|
|
| String CP3_IN = """
|
| -(FunctionDefinition main ( return) (LetPrim v0 (Constant 1))
|
| - (LetCont (k0 v1) (LetPrim v2 (Constant 1))
|
| +(FunctionDefinition main ( return) (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetCont (k0 v1) (LetPrim v2 (Constant IntConstant(1)))
|
| (LetCont (k1 v3)
|
| - (LetCont (k2) (LetPrim v4 (Constant 42))
|
| + (LetCont (k2) (LetPrim v4 (Constant IntConstant(42)))
|
| (InvokeContinuation return v4))
|
| (LetCont (k3) (InvokeContinuation return v1))
|
| (Branch (IsTrue v3) k2 k3))
|
| @@ -182,19 +182,19 @@ String CP3_OUT = CP3_IN;
|
|
|
| String CP4_IN = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| - (LetPrim v1 (Constant 2))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetPrim v1 (Constant IntConstant(2)))
|
| (LetCont (k0 v2)
|
| (InvokeContinuation return v2))
|
| (InvokeMethod v0 + v1 k0))
|
| """;
|
| String CP4_OUT = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| - (LetPrim v1 (Constant 2))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetPrim v1 (Constant IntConstant(2)))
|
| (LetCont (k0 v2)
|
| (InvokeContinuation return v2))
|
| - (LetPrim v3 (Constant 3))
|
| + (LetPrim v3 (Constant IntConstant(3)))
|
| (InvokeContinuation k0 v3))
|
| """;
|
|
|
| @@ -202,8 +202,8 @@ String CP4_OUT = """
|
|
|
| String CP5_IN = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| - (LetPrim v1 (Constant 2))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetPrim v1 (Constant IntConstant(2)))
|
| (LetCont (k0 v2)
|
| (InvokeContinuation return v2))
|
| (InvokeMethod v0 [] v1 k0))
|
| @@ -214,19 +214,19 @@ String CP5_OUT = CP5_IN;
|
|
|
| String CP6_IN = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| - (LetPrim v1 (Constant 0))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetPrim v1 (Constant IntConstant(0)))
|
| (LetCont (k0 v2)
|
| (InvokeContinuation return v2))
|
| (InvokeMethod v0 / v1 k0))
|
| """;
|
| String CP6_OUT = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| - (LetPrim v1 (Constant 0))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetPrim v1 (Constant IntConstant(0)))
|
| (LetCont (k0 v2)
|
| (InvokeContinuation return v2))
|
| - (LetPrim v3 (Constant Infinity))
|
| + (LetPrim v3 (Constant DoubleConstant(Infinity)))
|
| (InvokeContinuation k0 v3))
|
| """;
|
|
|
| @@ -267,11 +267,11 @@ String CP7_OUT = """
|
|
|
| String CP8_IN = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| - (LetPrim v1 (Constant 1))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetPrim v1 (Constant IntConstant(1)))
|
| (LetCont (k0 v2)
|
| (LetCont (k1)
|
| - (LetPrim v3 (Constant 42))
|
| + (LetPrim v3 (Constant IntConstant(42)))
|
| (InvokeContinuation return v3))
|
| (LetCont (k2)
|
| (InvokeContinuation return v0))
|
| @@ -280,14 +280,14 @@ String CP8_IN = """
|
| """;
|
| String CP8_OUT = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| - (LetPrim v1 (Constant 1))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| + (LetPrim v1 (Constant IntConstant(1)))
|
| (LetCont (k0 v2)
|
| - (LetCont (k1) (LetPrim v3 (Constant 42))
|
| + (LetCont (k1) (LetPrim v3 (Constant IntConstant(42)))
|
| (InvokeContinuation return v3))
|
| (LetCont (k2) (InvokeContinuation return v0))
|
| (InvokeContinuation k1 ))
|
| - (LetPrim v4 (Constant true))
|
| + (LetPrim v4 (Constant BoolConstant(true)))
|
| (InvokeContinuation k0 v4))
|
| """;
|
|
|
| @@ -295,63 +295,63 @@ String CP8_OUT = """
|
|
|
| String CP9_IN = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| (LetCont* (k0 v1)
|
| (LetCont (k1)
|
| (InvokeContinuation return v1))
|
| (LetCont (k2)
|
| - (LetPrim v2 (Constant 1))
|
| + (LetPrim v2 (Constant IntConstant(1)))
|
| (LetCont (k3 v3)
|
| (LetCont (k4 v4)
|
| (LetCont (k5)
|
| - (LetPrim v5 (Constant 42))
|
| + (LetPrim v5 (Constant IntConstant(42)))
|
| (InvokeContinuation return v5))
|
| (LetCont (k6)
|
| - (LetPrim v6 (Constant 1))
|
| + (LetPrim v6 (Constant IntConstant(1)))
|
| (LetCont (k7 v7)
|
| (InvokeContinuation* k0 v7))
|
| (InvokeMethod v1 + v6 k7))
|
| (Branch (IsTrue v4) k5 k6))
|
| (LetCont (k8)
|
| - (LetPrim v8 (Constant false))
|
| + (LetPrim v8 (Constant BoolConstant(false)))
|
| (InvokeContinuation k4 v8))
|
| (LetCont (k9)
|
| - (LetPrim v9 (Constant true))
|
| + (LetPrim v9 (Constant BoolConstant(true)))
|
| (InvokeContinuation k4 v9))
|
| (Branch (IsTrue v3) k8 k9))
|
| (InvokeMethod v1 == v2 k3))
|
| - (LetPrim v10 (Constant true))
|
| + (LetPrim v10 (Constant BoolConstant(true)))
|
| (Branch (IsTrue v10) k2 k1))
|
| (InvokeContinuation k0 v0))
|
| """;
|
| String CP9_OUT = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 1))
|
| + (LetPrim v0 (Constant IntConstant(1)))
|
| (LetCont* (k0 v1)
|
| (LetCont (k1)
|
| (InvokeContinuation return v1))
|
| (LetCont (k2)
|
| - (LetPrim v2 (Constant 1))
|
| + (LetPrim v2 (Constant IntConstant(1)))
|
| (LetCont (k3 v3)
|
| (LetCont (k4 v4)
|
| (LetCont (k5)
|
| - (LetPrim v5 (Constant 42))
|
| + (LetPrim v5 (Constant IntConstant(42)))
|
| (InvokeContinuation return v5))
|
| (LetCont (k6)
|
| - (LetPrim v6 (Constant 1))
|
| + (LetPrim v6 (Constant IntConstant(1)))
|
| (LetCont (k7 v7)
|
| (InvokeContinuation* k0 v7))
|
| (InvokeMethod v1 + v6 k7))
|
| (Branch (IsTrue v4) k5 k6))
|
| (LetCont (k8)
|
| - (LetPrim v8 (Constant false))
|
| + (LetPrim v8 (Constant BoolConstant(false)))
|
| (InvokeContinuation k4 v8))
|
| (LetCont (k9)
|
| - (LetPrim v9 (Constant true))
|
| + (LetPrim v9 (Constant BoolConstant(true)))
|
| (InvokeContinuation k4 v9))
|
| (Branch (IsTrue v3) k8 k9))
|
| (InvokeMethod v1 == v2 k3))
|
| - (LetPrim v10 (Constant true))
|
| + (LetPrim v10 (Constant BoolConstant(true)))
|
| (InvokeContinuation k2 ))
|
| (InvokeContinuation k0 v0))
|
| """;
|
| @@ -366,22 +366,22 @@ String CP9_OUT = """
|
|
|
| String CP10_IN = """
|
| (FunctionDefinition main ( return)
|
| - (LetPrim v0 (Constant 0))
|
| + (LetPrim v0 (Constant IntConstant(0)))
|
| (LetCont* (k0 v1)
|
| (LetCont (k1)
|
| - (LetPrim v2 (Constant null))
|
| + (LetPrim v2 (Constant NullConstant))
|
| (InvokeContinuation return v2))
|
| (LetCont (k2)
|
| - (LetPrim v3 (Constant 42))
|
| + (LetPrim v3 (Constant IntConstant(42)))
|
| (LetCont (k3 v4)
|
| (LetCont (k4 v5)
|
| - (LetPrim v6 (Constant 1))
|
| + (LetPrim v6 (Constant IntConstant(1)))
|
| (LetCont (k5 v7)
|
| (InvokeContinuation* k0 v7))
|
| (InvokeMethod v1 + v6 k5))
|
| (InvokeStatic print v4 k4))
|
| (InvokeMethod v3 + v1 k3))
|
| - (LetPrim v8 (Constant 2))
|
| + (LetPrim v8 (Constant IntConstant(2)))
|
| (LetCont (k6 v9)
|
| (Branch (IsTrue v9) k2 k1))
|
| (InvokeMethod v1 < v8 k6))
|
|
|