Add SExpression test and share tests between dart2dart and analyzer2dart.

pkg/analyzer2dart/test/sexpr_data.dart

+// Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// Test data for sexpr_test.
+library test.sexpr.data;
+
+import 'test_helper.dart';
+
+const List<Group> TEST_DATA = const [
+  const Group('Empty main', const [
+    const TestSpec('''
+main() {}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant NullConstant))
+  (InvokeContinuation return v0))
+'''),
+
+    const TestSpec('''
+foo() {}
+main() {
+  foo();
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetCont (k0 v0)
+    (LetPrim v1 (Constant NullConstant))
+    (InvokeContinuation return v1))
+  (InvokeStatic foo  k0))
+''')
+  ]),
+
+  const Group('Literals', const [
+    const TestSpec('''
+main() {
+  return 0;
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (InvokeContinuation return v0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 1.5;
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant DoubleConstant(1.5)))
+  (InvokeContinuation return v0))
+'''),
+
+    const TestSpec('''
+main() {
+  return true;
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant BoolConstant(true)))
+  (InvokeContinuation return v0))
+'''),
+
+    const TestSpec('''
+main() {
+  return false;
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant BoolConstant(false)))
+  (InvokeContinuation return v0))
+'''),
+
+    const TestSpec('''
+main() {
+  return "a";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant StringConstant("a")))
+  (InvokeContinuation return v0))
+'''),
+  ]),
+
+  const Group('Parameters', const [
+    const TestSpec('''
+main(args) {}
+''', '''
+(FunctionDefinition main (args return)
+  (LetPrim v0 (Constant NullConstant))
+  (InvokeContinuation return v0))
+'''),
+
+    const TestSpec('''
+main(a, b) {}
+''', '''
+(FunctionDefinition main (a b return)
+  (LetPrim v0 (Constant NullConstant))
+  (InvokeContinuation return v0))
+'''),
+  ]),
+
+  const Group('Pass arguments', const [
+    const TestSpec('''
+foo(a) {}
+main() {
+  foo(null);
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant NullConstant))
+  (LetCont (k0 v1)
+    (LetPrim v2 (Constant NullConstant))
+    (InvokeContinuation return v2))
+  (InvokeStatic foo v0 k0))
+'''),
+
+    const TestSpec('''
+bar(b, c) {}
+foo(a) {}
+main() {
+  foo(null);
+  bar(0, "");
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant NullConstant))
+  (LetCont (k0 v1)
+    (LetPrim v2 (Constant IntConstant(0)))
+    (LetPrim v3 (Constant StringConstant("")))
+    (LetCont (k1 v4)
+      (LetPrim v5 (Constant NullConstant))
+      (InvokeContinuation return v5))
+    (InvokeStatic bar v2 v3 k1))
+  (InvokeStatic foo v0 k0))
+'''),
+
+    const TestSpec('''
+foo(a) {}
+main() {
+  return foo(null);
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant NullConstant))
+  (LetCont (k0 v1)
+    (InvokeContinuation return v1))
+  (InvokeStatic foo v0 k0))
+'''),
+  ]),
+
+  const Group('Local variables', const [
+    const TestSpec('''
+main() {
+  var a;
+  return a;
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant NullConstant))
+  (InvokeContinuation return v0))
+'''),
+
+    const TestSpec('''
+main() {
+  var a = 0;
+  return a;
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (InvokeContinuation return v0))
+'''),
+
+    const TestSpec('''
+main(a) {
+  return a;
+}
+''', '''
+(FunctionDefinition main (a return)
+  (InvokeContinuation return a))
+'''),
+    ]),
+
+  const Group('Dynamic access', const [
+    const TestSpec('''
+main(a) {
+  return a.foo;
+}
+''', '''
+(FunctionDefinition main (a return)
+  (LetCont (k0 v0)
+    (InvokeContinuation return v0))
+  (InvokeMethod a foo  k0))
+'''),
+
+    const TestSpec('''
+main() {
+  var a = "";
+  return a.foo;
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant StringConstant("")))
+  (LetCont (k0 v1)
+    (InvokeContinuation return v1))
+  (InvokeMethod v0 foo  k0))
+'''),
+    ]),
+
+  const Group('Dynamic invocation', const [
+    const TestSpec('''
+main(a) {
+  return a.foo(0);
+}
+''', '''
+(FunctionDefinition main (a return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetCont (k0 v1)
+    (InvokeContinuation return v1))
+  (InvokeMethod a foo v0 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  var a = "";
+  return a.foo(0, 1);
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant StringConstant("")))
+  (LetPrim v1 (Constant IntConstant(0)))
+  (LetPrim v2 (Constant IntConstant(1)))
+  (LetCont (k0 v3)
+    (InvokeContinuation return v3))
+  (InvokeMethod v0 foo v1 v2 k0))
+'''),
+    ]),
+
+  const Group('Binary expressions', const [
+    const TestSpec('''
+main() {
+  return 0 + "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 + v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 - "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 - v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 * "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 * v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 / "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 / v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 ~/ "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 ~/ v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 < "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 < v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 <= "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 <= v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 > "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 > v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 >= "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 >= v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 << "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 << v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 >> "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 >> v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 & "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 & v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 | "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 | v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 ^ "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 ^ v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 == "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (InvokeContinuation return v2))
+  (InvokeMethod v0 == v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 != "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (LetCont (k1 v3)
+      (InvokeContinuation return v3))
+    (LetCont (k2)
+      (LetPrim v4 (Constant BoolConstant(false)))
+      (InvokeContinuation k1 v4))
+    (LetCont (k3)
+      (LetPrim v5 (Constant BoolConstant(true)))
+      (InvokeContinuation k1 v5))
+    (Branch (IsTrue v2) k2 k3))
+  (InvokeMethod v0 == v1 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 && "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetCont (k0 v1)
+    (InvokeContinuation return v1))
+  (LetCont (k1)
+    (LetPrim v2 (Constant StringConstant("")))
+    (LetCont (k2)
+      (LetPrim v3 (Constant BoolConstant(true)))
+      (InvokeContinuation k0 v3))
+    (LetCont (k3)
+      (LetPrim v4 (Constant BoolConstant(false)))
+      (InvokeContinuation k0 v4))
+    (Branch (IsTrue v2) k2 k3))
+  (LetCont (k4)
+    (LetPrim v5 (Constant BoolConstant(false)))
+    (InvokeContinuation k0 v5))
+  (Branch (IsTrue v0) k1 k4))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 || "";
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetCont (k0 v1)
+    (InvokeContinuation return v1))
+  (LetCont (k1)
+    (LetPrim v2 (Constant BoolConstant(true)))
+    (InvokeContinuation k0 v2))
+  (LetCont (k2)
+    (LetPrim v3 (Constant StringConstant("")))
+    (LetCont (k3)
+      (LetPrim v4 (Constant BoolConstant(true)))
+      (InvokeContinuation k0 v4))
+    (LetCont (k4)
+      (LetPrim v5 (Constant BoolConstant(false)))
+      (InvokeContinuation k0 v5))
+    (Branch (IsTrue v3) k3 k4))
+  (Branch (IsTrue v0) k1 k2))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 + "" * 2;
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetPrim v2 (Constant IntConstant(2)))
+  (LetCont (k0 v3)
+    (LetCont (k1 v4)
+      (InvokeContinuation return v4))
+    (InvokeMethod v0 + v3 k1))
+  (InvokeMethod v1 * v2 k0))
+'''),
+
+    const TestSpec('''
+main() {
+  return 0 * "" + 2;
+}
+''', '''
+(FunctionDefinition main ( return)
+  (LetPrim v0 (Constant IntConstant(0)))
+  (LetPrim v1 (Constant StringConstant("")))
+  (LetCont (k0 v2)
+    (LetPrim v3 (Constant IntConstant(2)))
+    (LetCont (k1 v4)
+      (InvokeContinuation return v4))
+    (InvokeMethod v2 + v3 k1))
+  (InvokeMethod v0 * v1 k0))
+'''),
+    ]),
+
+  const Group('If statement', const [
+    const TestSpec('''
+main(a) {
+  if (a) {
+    print(0);
+  }
+}
+''', '''
+(FunctionDefinition main (a return)
+  (LetCont (k0)
+    (LetPrim v0 (Constant NullConstant))
+    (InvokeContinuation return v0))
+  (LetCont (k1)
+    (LetPrim v1 (Constant IntConstant(0)))
+    (LetCont (k2 v2)
+      (InvokeContinuation k0 ))
+    (InvokeStatic print v1 k2))
+  (LetCont (k3)
+    (InvokeContinuation k0 ))
+  (Branch (IsTrue a) k1 k3))
+'''),
+
+    const TestSpec('''
+main(a) {
+  if (a) {
+    print(0);
+  } else {
+    print(1);
+  }
+}
+''', '''
+(FunctionDefinition main (a return)
+  (LetCont (k0)
+    (LetPrim v0 (Constant NullConstant))
+    (InvokeContinuation return v0))
+  (LetCont (k1)
+    (LetPrim v1 (Constant IntConstant(0)))
+    (LetCont (k2 v2)
+      (InvokeContinuation k0 ))
+    (InvokeStatic print v1 k2))
+  (LetCont (k3)
+    (LetPrim v3 (Constant IntConstant(1)))
+    (LetCont (k4 v4)
+      (InvokeContinuation k0 ))
+    (InvokeStatic print v3 k4))
+  (Branch (IsTrue a) k1 k3))
+'''),
+
+    const TestSpec('''
+main(a) {
+  if (a) {
+    print(0);
+  } else {
+    print(1);
+    print(2);
+  }
+}
+''', '''
+(FunctionDefinition main (a return)
+  (LetCont (k0)
+    (LetPrim v0 (Constant NullConstant))
+    (InvokeContinuation return v0))
+  (LetCont (k1)
+    (LetPrim v1 (Constant IntConstant(0)))
+    (LetCont (k2 v2)
+      (InvokeContinuation k0 ))
+    (InvokeStatic print v1 k2))
+  (LetCont (k3)
+    (LetPrim v3 (Constant IntConstant(1)))
+    (LetCont (k4 v4)
+      (LetPrim v5 (Constant IntConstant(2)))
+      (LetCont (k5 v6)
+        (InvokeContinuation k0 ))
+      (InvokeStatic print v5 k5))
+    (InvokeStatic print v3 k4))
+  (Branch (IsTrue a) k1 k3))
+'''),
+    ]),
+
+  const Group('Conditional expression', const [
+    const TestSpec('''
+main(a) {
+  return a ? print(0) : print(1);
+}
+''', '''
+(FunctionDefinition main (a return)
+  (LetCont (k0 v0)
+    (InvokeContinuation return v0))
+  (LetCont (k1)
+    (LetPrim v1 (Constant IntConstant(0)))
+    (LetCont (k2 v2)
+      (InvokeContinuation k0 v2))
+    (InvokeStatic print v1 k2))
+  (LetCont (k3)
+    (LetPrim v3 (Constant IntConstant(1)))
+    (LetCont (k4 v4)
+      (InvokeContinuation k0 v4))
+    (InvokeStatic print v3 k4))
+  (Branch (IsTrue a) k1 k3))
+'''),
+    ]),
+];