test/cctest/interpreter/test-bytecode-generator.cc

// Copyright 2015 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#include <fstream>

#include "src/v8.h"

#include "src/compiler.h"
#include "src/interpreter/bytecode-array-iterator.h"
#include "src/interpreter/bytecode-generator.h"
#include "src/interpreter/interpreter.h"
#include "test/cctest/cctest.h"
#include "test/cctest/interpreter/bytecode-expectations-printer.h"
#include "test/cctest/test-feedback-vector.h"

namespace v8 {
namespace internal {
namespace interpreter {

#define XSTR(A) #A
#define STR(A) XSTR(A)

#define UNIQUE_VAR() "var a" STR(__COUNTER__) " = 0;\n"

#define REPEAT_2(...) __VA_ARGS__ __VA_ARGS__
#define REPEAT_4(...) REPEAT_2(__VA_ARGS__) REPEAT_2(__VA_ARGS__)
#define REPEAT_8(...) REPEAT_4(__VA_ARGS__) REPEAT_4(__VA_ARGS__)
#define REPEAT_16(...) REPEAT_8(__VA_ARGS__) REPEAT_8(__VA_ARGS__)
#define REPEAT_32(...) REPEAT_16(__VA_ARGS__) REPEAT_16(__VA_ARGS__)
#define REPEAT_64(...) REPEAT_32(__VA_ARGS__) REPEAT_32(__VA_ARGS__)
#define REPEAT_128(...) REPEAT_64(__VA_ARGS__) REPEAT_64(__VA_ARGS__)
#define REPEAT_256(...) REPEAT_128(__VA_ARGS__) REPEAT_128(__VA_ARGS__)

#define REPEAT_127(...)  \
  REPEAT_64(__VA_ARGS__) \
  REPEAT_32(__VA_ARGS__) \
  REPEAT_16(__VA_ARGS__) \
  REPEAT_8(__VA_ARGS__)  \
  REPEAT_4(__VA_ARGS__)  \
  REPEAT_2(__VA_ARGS__)  \
  __VA_ARGS__

#define REPEAT_249(...)   \
  REPEAT_127(__VA_ARGS__) \
  REPEAT_64(__VA_ARGS__)  \
  REPEAT_32(__VA_ARGS__)  \
  REPEAT_16(__VA_ARGS__)  \
  REPEAT_8(__VA_ARGS__)   \
  REPEAT_2(__VA_ARGS__)

#define REPEAT_2_UNIQUE_VARS() UNIQUE_VAR() UNIQUE_VAR()
#define REPEAT_4_UNIQUE_VARS() REPEAT_2_UNIQUE_VARS() REPEAT_2_UNIQUE_VARS()
#define REPEAT_8_UNIQUE_VARS() REPEAT_4_UNIQUE_VARS() REPEAT_4_UNIQUE_VARS()
#define REPEAT_16_UNIQUE_VARS() REPEAT_8_UNIQUE_VARS() REPEAT_8_UNIQUE_VARS()
#define REPEAT_32_UNIQUE_VARS() REPEAT_16_UNIQUE_VARS() REPEAT_16_UNIQUE_VARS()
#define REPEAT_64_UNIQUE_VARS() REPEAT_32_UNIQUE_VARS() REPEAT_32_UNIQUE_VARS()
#define REPEAT_128_UNIQUE_VARS() REPEAT_64_UNIQUE_VARS() REPEAT_64_UNIQUE_VARS()

#define REPEAT_249_UNIQUE_VARS() \
  REPEAT_128_UNIQUE_VARS()       \
  REPEAT_64_UNIQUE_VARS()        \
  REPEAT_32_UNIQUE_VARS()        \
  REPEAT_16_UNIQUE_VARS()        \
  REPEAT_8_UNIQUE_VARS()         \
  UNIQUE_VAR()

static const char* kGoldenFileDirectory =
    "test/cctest/interpreter/bytecode_expectations/";

class InitializedIgnitionHandleScope : public InitializedHandleScope {
 public:
  InitializedIgnitionHandleScope() {
    i::FLAG_ignition = true;
    i::FLAG_always_opt = false;
    i::FLAG_allow_natives_syntax = true;
    CcTest::i_isolate()->interpreter()->Initialize();
  }
};

void SkipGoldenFileHeader(std::istream& stream) {  // NOLINT
  std::string line;
  int separators_seen = 0;
  while (std::getline(stream, line)) {
    if (line == "---") separators_seen += 1;
    if (separators_seen == 2) return;
  }
}

std::string LoadGolden(const std::string& golden_filename) {
  std::ifstream expected_file((kGoldenFileDirectory + golden_filename).c_str());
  CHECK(expected_file.is_open());
  SkipGoldenFileHeader(expected_file);
  std::ostringstream expected_stream;
  // Restore the first separator, which was consumed by SkipGoldenFileHeader
  expected_stream << "---\n" << expected_file.rdbuf();
  return expected_stream.str();
}

template <size_t N>
std::string BuildActual(const BytecodeExpectationsPrinter& printer,
                        const char* (&snippet_list)[N],
                        const char* prologue = nullptr,
                        const char* epilogue = nullptr) {
  std::ostringstream actual_stream;
  for (const char* snippet : snippet_list) {
    std::string source_code;
    if (prologue) source_code += prologue;
    source_code += snippet;
    if (epilogue) source_code += epilogue;
    printer.PrintExpectation(actual_stream, source_code);
  }
  return actual_stream.str();
}

using ConstantPoolType = BytecodeExpectationsPrinter::ConstantPoolType;

TEST(PrimitiveReturnStatements) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "",

      "return;",

      "return null;",

      "return true;",

      "return false;",

      "return 0;",

      "return +1;",

      "return -1;",

      "return +127;",

      "return -128;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("PrimitiveReturnStatements.golden"));
}

TEST(PrimitiveExpressions) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "var x = 0; return x;",

      "var x = 0; return x + 3;",

      "var x = 0; return x - 3;",

      "var x = 4; return x * 3;",

      "var x = 4; return x / 3;",

      "var x = 4; return x % 3;",

      "var x = 1; return x | 2;",

      "var x = 1; return x ^ 2;",

      "var x = 1; return x & 2;",

      "var x = 10; return x << 3;",

      "var x = 10; return x >> 3;",

      "var x = 10; return x >>> 3;",

      "var x = 0; return (x, 3);",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("PrimitiveExpressions.golden"));
}

TEST(LogicalExpressions) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "var x = 0; return x || 3;",

      "var x = 0; return (x == 1) || 3;",

      "var x = 0; return x && 3;",

      "var x = 0; return (x == 0) && 3;",

      "var x = 0; return x || (1, 2, 3);",

      "var a = 2, b = 3, c = 4; return a || (a, b, a, b, c = 5, 3);",

      "var x = 1; var a = 2, b = 3; return x || ("  //
      REPEAT_32("\n  a = 1, b = 2, ")               //
      "3);",

      "var x = 0; var a = 2, b = 3; return x && ("  //
      REPEAT_32("\n  a = 1, b = 2, ")               //
      "3);",

      "var x = 1; var a = 2, b = 3; return (x > 3) || ("  //
      REPEAT_32("\n  a = 1, b = 2, ")                     //
      "3);",

      "var x = 0; var a = 2, b = 3; return (x < 5) && ("  //
      REPEAT_32("\n  a = 1, b = 2, ")                     //
      "3);",

      "return 0 && 3;",

      "return 1 || 3;",

      "var x = 1; return x && 3 || 0, 1;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("LogicalExpressions.golden"));
}

TEST(Parameters) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function f() { return this; }",

      "function f(arg1) { return arg1; }",

      "function f(arg1) { return this; }",

      "function f(arg1, arg2, arg3, arg4, arg5, arg6, arg7) { return arg4; }",

      "function f(arg1, arg2, arg3, arg4, arg5, arg6, arg7) { return this; }",

      "function f(arg1) { arg1 = 1; }",

      "function f(arg1, arg2, arg3, arg4) { arg2 = 1; }",
  };

  CHECK_EQ(BuildActual(printer, snippets, "", "\nf();"),
           LoadGolden("Parameters.golden"));
}

TEST(IntegerConstants) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "return 12345678;",

      "var a = 1234; return 5678;",

      "var a = 1234; return 1234;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("IntegerConstants.golden"));
}

TEST(HeapNumberConstants) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "return 1.2;",

      "var a = 1.2; return 2.6;",

      "var a = 3.14; return 3.14;",

      "var a;"                    //
      REPEAT_256("\na = 1.414;")  //
      " a = 3.14;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("HeapNumberConstants.golden"));
}

TEST(StringConstants) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  const char* snippets[] = {
      "return \"This is a string\";",

      "var a = \"First string\"; return \"Second string\";",

      "var a = \"Same string\"; return \"Same string\";",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("StringConstants.golden"));
}

TEST(PropertyLoads) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
    "function f(a) { return a.name; }\n"
    "f({name : \"test\"});",

    "function f(a) { return a[\"key\"]; }\n"
    "f({key : \"test\"});",

    "function f(a) { return a[100]; }\n"
    "f({100 : \"test\"});",

    "function f(a, b) { return a[b]; }\n"
    "f({arg : \"test\"}, \"arg\");",

    "function f(a) { var b = a.name; return a[-124]; }\n"
    "f({\"-124\" : \"test\", name : 123 })",

    "function f(a) {\n"
    "  var b;\n"
    "  b = a.name;\n"
    REPEAT_127("  b = a.name;\n")
    "  return a.name;\n"
    "}\n"
    "f({name : \"test\"})\n",

    "function f(a, b) {\n"
    "  var c;\n"
    "  c = a[b];\n"
    REPEAT_127("  c = a[b];\n")
    "  return a[b];\n"
    "}\n"
    "f({name : \"test\"}, \"name\")\n",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("PropertyLoads.golden"));
}

TEST(PropertyStores) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
    "function f(a) { a.name = \"val\"; }\n"
    "f({name : \"test\"})",

    "function f(a) { a[\"key\"] = \"val\"; }\n"
    "f({key : \"test\"})",

    "function f(a) { a[100] = \"val\"; }\n"
    "f({100 : \"test\"})",

    "function f(a, b) { a[b] = \"val\"; }\n"
    "f({arg : \"test\"}, \"arg\")",

    "function f(a) { a.name = a[-124]; }\n"
    "f({\"-124\" : \"test\", name : 123 })",

    "function f(a) { \"use strict\"; a.name = \"val\"; }\n"
    "f({name : \"test\"})",

    "function f(a, b) { \"use strict\"; a[b] = \"val\"; }\n"
    "f({arg : \"test\"}, \"arg\")",

    "function f(a) {\n"
    "  a.name = 1;\n"
    REPEAT_127("  a.name = 1;\n")
    "  a.name = 2;\n"
    "}\n"
    "f({name : \"test\"})\n",

    "function f(a) {\n"
    " 'use strict';\n"
    "  a.name = 1;\n"
    REPEAT_127("  a.name = 1;\n")
    "  a.name = 2;\n"
    "}\n"
    "f({name : \"test\"})\n",

    "function f(a, b) {\n"
    "  a[b] = 1;\n"
    REPEAT_127("  a[b] = 1;\n")
    "  a[b] = 2;\n"
    "}\n"
    "f({name : \"test\"})\n",

    "function f(a, b) {\n"
    "  'use strict';\n"
    "  a[b] = 1;\n"
    REPEAT_127("  a[b] = 1;\n")
    "  a[b] = 2;\n"
    "}\n"
    "f({name : \"test\"})\n",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("PropertyStores.golden"));
}

#define FUNC_ARG "new (function Obj() { this.func = function() { return; }})()"

TEST(PropertyCall) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function f(a) { return a.func(); }\n"
      "f(" FUNC_ARG ")",

      "function f(a, b, c) { return a.func(b, c); }\n"
      "f(" FUNC_ARG ", 1, 2)",

      "function f(a, b) { return a.func(b + b, b); }\n"
      "f(" FUNC_ARG ", 1)",

      "function f(a) {\n"
      " a.func;\n"              //
      REPEAT_127(" a.func;\n")  //
      " return a.func(); }\n"
      "f(" FUNC_ARG ")",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("PropertyCall.golden"));
}

TEST(LoadGlobal) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
    "var a = 1;\n"
    "function f() { return a; }\n"
    "f()",

    "function t() { }\n"
    "function f() { return t; }\n"
    "f()",

    "a = 1;\n"
    "function f() { return a; }\n"
    "f()",

    "a = 1;\n"
    "function f(b) {\n"
    "  b.name;\n"
    REPEAT_127("  b.name;\n")
    "  return a;\n"
    "}\n"
    "f({name: 1});",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("LoadGlobal.golden"));
}

TEST(StoreGlobal) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
    "var a = 1;\n"
    "function f() { a = 2; }\n"
    "f();",

    "var a = \"test\"; function f(b) { a = b; }\n"
    "f(\"global\");",

    "'use strict'; var a = 1;\n"
    "function f() { a = 2; }\n"
    "f();",

    "a = 1;\n"
    "function f() { a = 2; }\n"
    "f();",

    "a = 1;\n"
    "function f(b) {\n"
    "  b.name;\n"
    REPEAT_127("  b.name;\n")
    "  a = 2;\n"
    "}\n"
    "f({name: 1});",

    "a = 1;\n"
    "function f(b) {\n"
    "  'use strict';\n"
    "  b.name;\n"
    REPEAT_127("  b.name;\n")
    "  a = 2;\n"
    "}\n"
    "f({name: 1});",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("StoreGlobal.golden"));
}

TEST(CallGlobal) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function t() { }\n"
      "function f() { return t(); }\n"
      "f();",

      "function t(a, b, c) { }\n"
      "function f() { return t(1, 2, 3); }\n"
      "f();",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("CallGlobal.golden"));
}

TEST(CallRuntime) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function f() { %TheHole() }\n"
      "f();",

      "function f(a) { return %IsArray(a) }\n"
      "f(undefined);",

      "function f() { return %Add(1, 2) }\n"
      "f();",

      "function f() { return %spread_iterable([1]) }\n"
      "f();",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("CallRuntime.golden"));
}

TEST(IfConditions) {
  if (FLAG_harmony_instanceof) {
    // TODO(mvstanton): when ES6 instanceof ships, regenerate the bytecode
    // expectations and remove this flag check.
    return;
  }
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
    "function f() {\n"
    "  if (0) {\n"
    "    return 1;\n"
    "  } else {\n"
    "    return -1;\n"
    "  }\n"
    "};\n"
    "f();",

    "function f() {\n"
    "  if ('lucky') {\n"
    "    return 1;\n"
    "  } else {\n"
    "    return -1;\n"
    "  }\n"
    "};\n"
    "f();",

    "function f() {\n"
    "  if (false) {\n"
    "    return 1;\n"
    "  } else {\n"
    "    return -1;\n"
    "  }\n"
    "};\n"
    "f();",

    "function f() {\n"
    "  if (false) {\n"
    "    return 1;\n"
    "  }\n"
    "};\n"
    "f();",

    "function f() {\n"
    "  var a = 1;\n"
    "  if (a) {\n"
    "    a += 1;\n"
    "  } else {\n"
    "    return 2;\n"
    "  }\n"
    "};\n"
    "f();",

    "function f(a) {\n"
    "  if (a <= 0) {\n"
    "    return 200;\n"
    "  } else {\n"
    "    return -200;\n"
    "  }\n"
    "};\n"
    "f(99);",

    "function f(a, b) { if (a in b) { return 200; } }"
    "f('prop', { prop: 'yes'});",

    "function f(z) { var a = 0; var b = 0; if (a === 0.01) {\n"
    REPEAT_64("  b = a; a = b;\n")
    " return 200; } else { return -200; } } f(0.001);",

    "function f() {\n"
    "  var a = 0; var b = 0;\n"
    "  if (a) {\n"
    REPEAT_64("  b = a; a = b;\n")
    "  return 200; } else { return -200; }\n"
    "};\n"
    "f();",

    "function f(a, b) {\n"
    "  if (a == b) { return 1; }\n"
    "  if (a === b) { return 1; }\n"
    "  if (a < b) { return 1; }\n"
    "  if (a > b) { return 1; }\n"
    "  if (a <= b) { return 1; }\n"
    "  if (a >= b) { return 1; }\n"
    "  if (a in b) { return 1; }\n"
    "  if (a instanceof b) { return 1; }\n"
    "  return 0;\n"
    "}\n"
    "f(1, 1);",

    "function f() {\n"
    "  var a = 0;\n"
    "  if (a) {\n"
    "    return 20;\n"
    "  } else {\n"
    "    return -20;\n"
    "  }\n"
    "};\n"
    "f();",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("IfConditions.golden"));
}

TEST(DeclareGlobals) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  printer.set_wrap(false);
  printer.set_test_function_name("f");
  printer.set_execute(false);
  printer.set_top_level(true);

  const char* snippets[] = {
      "var a = 1;",

      "function f() {}",

      "var a = 1;\n"
      "a=2;",

      "function f() {}\n"
      "f();",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("DeclareGlobals.golden"));
}

TEST(BreakableBlocks) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);

  const char* snippets[] = {
      "var x = 0;\n"
      "label: {\n"
      "  x = x + 1;\n"
      "  break label;\n"
      "  x = x + 1;\n"
      "}\n"
      "return x;",

      "var sum = 0;\n"
      "outer: {\n"
      "  for (var x = 0; x < 10; ++x) {\n"
      "    for (var y = 0; y < 3; ++y) {\n"
      "      ++sum;\n"
      "      if (x + y == 12) { break outer; }\n"
      "    }\n"
      "  }\n"
      "}\n"
      "return sum;",

      "outer: {\n"
      "  let y = 10;\n"
      "  function f() { return y; }\n"
      "  break outer;\n"
      "}\n",

      "let x = 1;\n"
      "outer: {\n"
      "  inner: {\n"
      "   let y = 2;\n"
      "    function f() { return x + y; }\n"
      "    if (y) break outer;\n"
      "    y = 3;\n"
      "  }\n"
      "}\n"
      "x = 4;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("BreakableBlocks.golden"));
}

TEST(BasicLoops) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "var x = 0;\n"
      "while (false) { x = 99; break; continue; }\n"
      "return x;",

      "var x = 0;\n"
      "while (false) {\n"
      "  x = x + 1;\n"
      "};\n"
      "return x;",

      "var x = 0;\n"
      "var y = 1;\n"
      "while (x < 10) {\n"
      "  y = y * 12;\n"
      "  x = x + 1;\n"
      "  if (x == 3) continue;\n"
      "  if (x == 4) break;\n"
      "}\n"
      "return y;",

      "var i = 0;\n"
      "while (true) {\n"
      "  if (i < 0) continue;\n"
      "  if (i == 3) break;\n"
      "  if (i == 4) break;\n"
      "  if (i == 10) continue;\n"
      "  if (i == 5) break;\n"
      "  i = i + 1;\n"
      "}\n"
      "return i;",

      "var i = 0;\n"
      "while (true) {\n"
      "  while (i < 3) {\n"
      "    if (i == 2) break;\n"
      "    i = i + 1;\n"
      "  }\n"
      "  i = i + 1;\n"
      "  break;\n"
      "}\n"
      "return i;",

      "var x = 10;\n"
      "var y = 1;\n"
      "while (x) {\n"
      "  y = y * 12;\n"
      "  x = x - 1;\n"
      "}\n"
      "return y;",

      "var x = 0; var y = 1;\n"
      "do {\n"
      "  y = y * 10;\n"
      "  if (x == 5) break;\n"
      "  if (x == 6) continue;\n"
      "  x = x + 1;\n"
      "} while (x < 10);\n"
      "return y;",

      "var x = 10;\n"
      "var y = 1;\n"
      "do {\n"
      "  y = y * 12;\n"
      "  x = x - 1;\n"
      "} while (x);\n"
      "return y;",

      "var x = 0; var y = 1;\n"
      "do {\n"
      "  y = y * 10;\n"
      "  if (x == 5) break;\n"
      "  x = x + 1;\n"
      "  if (x == 6) continue;\n"
      "} while (false);\n"
      "return y;",

      "var x = 0; var y = 1;\n"
      "do {\n"
      "  y = y * 10;\n"
      "  if (x == 5) break;\n"
      "  x = x + 1;\n"
      "  if (x == 6) continue;\n"
      "} while (true);\n"
      "return y;",

      "var x = 0;\n"
      "for (;;) {\n"
      "  if (x == 1) break;\n"
      "  if (x == 2) continue;\n"
      "  x = x + 1;\n"
      "}",

      "for (var x = 0;;) {\n"
      "  if (x == 1) break;\n"
      "  if (x == 2) continue;\n"
      "  x = x + 1;\n"
      "}",

      "var x = 0;\n"
      "for (;; x = x + 1) {\n"
      "  if (x == 1) break;\n"
      "  if (x == 2) continue;\n"
      "}",

      "for (var x = 0;; x = x + 1) {\n"
      "  if (x == 1) break;\n"
      "  if (x == 2) continue;\n"
      "}",

      "var u = 0;\n"
      "for (var i = 0; i < 100; i = i + 1) {\n"
      "  u = u + 1;\n"
      "  continue;\n"
      "}",

      "var y = 1;\n"
      "for (var x = 10; x; --x) {\n"
      "  y = y * 12;\n"
      "}\n"
      "return y;",

      "var x = 0;\n"
      "for (var i = 0; false; i++) {\n"
      "  x = x + 1;\n"
      "};\n"
      "return x;",

      "var x = 0;\n"
      "for (var i = 0; true; ++i) {\n"
      "  x = x + 1;\n"
      "  if (x == 20) break;\n"
      "};\n"
      "return x;",

      "var a = 0;\n"
      "while (a) {\n"
      "  { \n"
      "   let z = 1;\n"
      "   function f() { z = 2; }\n"
      "   if (z) continue;\n"
      "   z++;\n"
      "  }\n"
      "}",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("BasicLoops.golden"));
}

TEST(JumpsRequiringConstantWideOperands) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
    REPEAT_256("var x = 0.1;\n")
    REPEAT_32("var x = 0.2;\n")
    REPEAT_16("var x = 0.3;\n")
    REPEAT_8("var x = 0.4;\n")
    "for (var i = 0; i < 3; i++) {\n"
    "  if (i == 1) continue;\n"
    "  if (i == 2) break;\n"
    "}\n"
    "return 3;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("JumpsRequiringConstantWideOperands.golden"));
}

TEST(UnaryOperators) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "var x = 0;\n"
      "while (x != 10) {\n"
      "  x = x + 10;\n"
      "}\n"
      "return x;",

      "var x = false;\n"
      "do {\n"
      "  x = !x;\n"
      "} while(x == false);\n"
      "return x;",

      "var x = 101;\n"
      "return void(x * 3);",

      "var x = 1234;\n"
      "var y = void (x * x - 1);\n"
      "return y;",

      "var x = 13;\n"
      "return ~x;",

      "var x = 13;\n"
      "return +x;",

      "var x = 13;\n"
      "return -x;",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("UnaryOperators.golden"));
}

TEST(Typeof) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function f() {\n"
      " var x = 13;\n"
      " return typeof(x);\n"
      "};",

      "var x = 13;\n"
      "function f() {\n"
      " return typeof(x);\n"
      "};",
  };

  CHECK_EQ(BuildActual(printer, snippets, "", "\nf();"),
           LoadGolden("Typeof.golden"));
}

TEST(Delete) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);

  const char* snippets[] = {
      "var a = {x:13, y:14}; return delete a.x;",

      "'use strict'; var a = {x:13, y:14}; return delete a.x;",

      "var a = {1:13, 2:14}; return delete a[2];",

      "var a = 10; return delete a;",

      "'use strict';\n"
      "var a = {1:10};\n"
      "(function f1() {return a;});\n"
      "return delete a[1];",

      "return delete 'test';",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("Delete.golden"));
}

TEST(GlobalDelete) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "var a = {x:13, y:14};\n"
      "function f() {\n"
      "  return delete a.x;\n"
      "};\n"
      "f();",

      "a = {1:13, 2:14};\n"
      "function f() {\n"
      "  'use strict';\n"
      "  return delete a[1];\n"
      "};\n"
      "f();",

      "var a = {x:13, y:14};\n"
      "function f() {\n"
      "  return delete a;\n"
      "};\n"
      "f();",

      "b = 30;\n"
      "function f() {\n"
      "  return delete b;\n"
      "};\n"
      "f();",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("GlobalDelete.golden"));
}

TEST(FunctionLiterals) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);

  const char* snippets[] = {
      "return function(){ }",

      "return (function(){ })()",

      "return (function(x){ return x; })(1)",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("FunctionLiterals.golden"));
}

TEST(RegExpLiterals) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);

  const char* snippets[] = {
      "return /ab+d/;",

      "return /(\\w+)\\s(\\w+)/i;",

      "return /ab+d/.exec('abdd');",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("RegExpLiterals.golden"));
}

TEST(RegExpLiteralsWide) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);

  const char* snippets[] = {
      "var a;"                   //
      REPEAT_256("\na = 1.23;")  //
      "\nreturn /ab+d/;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("RegExpLiteralsWide.golden"));
}

TEST(ArrayLiterals) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);

  const char* snippets[] = {
      "return [ 1, 2 ];",

      "var a = 1; return [ a, a + 1 ];",

      "return [ [ 1, 2 ], [ 3 ] ];",

      "var a = 1; return [ [ a, 2 ], [ a + 2 ] ];",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("ArrayLiterals.golden"));
}

TEST(ArrayLiteralsWide) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);

  const char* snippets[] = {
      "var a;"                   //
      REPEAT_256("\na = 1.23;")  //
      "\nreturn [ 1 , 2 ];",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("ArrayLiteralsWide.golden"));
}

TEST(ObjectLiterals) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);

  const char* snippets[] = {
      "return { };",

      "return { name: 'string', val: 9.2 };",

      "var a = 1; return { name: 'string', val: a };",

      "var a = 1; return { val: a, val: a + 1 };",

      "return { func: function() { } };",

      "return { func(a) { return a; } };",

      "return { get a() { return 2; } };",

      "return { get a() { return this.x; }, set a(val) { this.x = val } };",

      "return { set b(val) { this.y = val } };",

      "var a = 1; return { 1: a };",

      "return { __proto__: null };",

      "var a = 'test'; return { [a]: 1 };",

      "var a = 'test'; return { val: a, [a]: 1 };",

      "var a = 'test'; return { [a]: 1, __proto__: {} };",

      "var n = 'name'; return { [n]: 'val', get a() { }, set a(b) {} };",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("ObjectLiterals.golden"));
}

TEST(ObjectLiteralsWide) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "var a;"                   //
      REPEAT_256("\na = 1.23;")  //
      "\nreturn { name: 'string', val: 9.2 };",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("ObjectLiteralsWide.golden"));
}

TEST(TopLevelObjectLiterals) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  printer.set_wrap(false);
  printer.set_test_function_name("f");
  printer.set_execute(false);
  printer.set_top_level(true);

  const char* snippets[] = {
      "var a = { func: function() { } };",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("TopLevelObjectLiterals.golden"));
}

TEST(TryCatch) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);

  const char* snippets[] = {
      "try { return 1; } catch(e) { return 2; }",

      "var a;\n"
      "try { a = 1 } catch(e1) {};\n"
      "try { a = 2 } catch(e2) { a = 3 }",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("TryCatch.golden"));
}

TEST(TryFinally) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  const char* snippets[] = {
      "var a = 1;\n"
      "try { a = 2; } finally { a = 3; }",

      "var a = 1;\n"
      "try { a = 2; } catch(e) { a = 20 } finally { a = 3; }",

      "var a; try {\n"
      "  try { a = 1 } catch(e) { a = 2 }\n"
      "} catch(e) { a = 20 } finally { a = 3; }",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("TryFinally.golden"));
}

TEST(Throw) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  const char* snippets[] = {
      "throw 1;",

      "throw 'Error';",

      "var a = 1; if (a) { throw 'Error'; };",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("Throw.golden"));
}

TEST(CallNew) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function bar() { this.value = 0; }\n"
      "function f() { return new bar(); }\n"
      "f();",

      "function bar(x) { this.value = 18; this.x = x;}\n"
      "function f() { return new bar(3); }\n"
      "f();",

      "function bar(w, x, y, z) {\n"
      "  this.value = 18;\n"
      "  this.x = x;\n"
      "  this.y = y;\n"
      "  this.z = z;\n"
      "}\n"
      "function f() { return new bar(3, 4, 5); }\n"
      "f();",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("CallNew.golden"));
}

TEST(ContextVariables) {
  // The wide check below relies on MIN_CONTEXT_SLOTS + 3 + 249 == 256, if this
  // ever changes, the REPEAT_XXX should be changed to output the correct number
  // of unique variables to trigger the wide slot load / store.
  STATIC_ASSERT(Context::MIN_CONTEXT_SLOTS + 3 + 249 == 256);

  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
    "var a; return function() { a = 1; };",

    "var a = 1; return function() { a = 2; };",

    "var a = 1; var b = 2; return function() { a = 2; b = 3 };",

    "var a; (function() { a = 2; })(); return a;",

    "'use strict';\n"
    "let a = 1;\n"
    "{ let b = 2; return function() { a + b; }; }",

    "'use strict';\n"
    REPEAT_249_UNIQUE_VARS()
    "eval();\n"
    "var b = 100;\n"
    "return b",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("ContextVariables.golden"));
}

TEST(ContextParameters) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function f(arg1) { return function() { arg1 = 2; }; }",

      "function f(arg1) { var a = function() { arg1 = 2; }; return arg1; }",

      "function f(a1, a2, a3, a4) { return function() { a1 = a3; }; }",

      "function f() { var self = this; return function() { self = 2; }; }",
  };

  CHECK_EQ(BuildActual(printer, snippets, "", "\nf();"),
           LoadGolden("ContextParameters.golden"));
}

TEST(OuterContextVariables) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function Outer() {\n"
      "  var outerVar = 1;\n"
      "  function Inner(innerArg) {\n"
      "    this.innerFunc = function() { return outerVar * innerArg; }\n"
      "  }\n"
      "  this.getInnerFunc = function() { return new Inner(1).innerFunc; }\n"
      "}\n"
      "var f = new Outer().getInnerFunc();",

      "function Outer() {\n"
      "  var outerVar = 1;\n"
      "  function Inner(innerArg) {\n"
      "    this.innerFunc = function() { outerVar = innerArg; }\n"
      "  }\n"
      "  this.getInnerFunc = function() { return new Inner(1).innerFunc; }\n"
      "}\n"
      "var f = new Outer().getInnerFunc();",
  };

  CHECK_EQ(BuildActual(printer, snippets, "", "\nf();"),
           LoadGolden("OuterContextVariables.golden"));
}

TEST(CountOperators) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "var a = 1; return ++a;",

      "var a = 1; return a++;",

      "var a = 1; return --a;",

      "var a = 1; return a--;",

      "var a = { val: 1 }; return a.val++;",

      "var a = { val: 1 }; return --a.val;",

      "var name = 'var'; var a = { val: 1 }; return a[name]--;",

      "var name = 'var'; var a = { val: 1 }; return ++a[name];",

      "var a = 1; var b = function() { return a }; return ++a;",

      "var a = 1; var b = function() { return a }; return a--;",

      "var idx = 1; var a = [1, 2]; return a[idx++] = 2;",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("CountOperators.golden"));
}

TEST(GlobalCountOperators) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "var global = 1;\n"
      "function f() { return ++global; }\n"
      "f();",

      "var global = 1;\n"
      "function f() { return global--; }\n"
      "f();",

      "unallocated = 1;\n"
      "function f() { 'use strict'; return --unallocated; }\n"
      "f();",

      "unallocated = 1;\n"
      "function f() { return unallocated++; }\n"
      "f();",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("GlobalCountOperators.golden"));
}

TEST(CompoundExpressions) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "var a = 1; a += 2;",

      "var a = 1; a /= 2;",

      "var a = { val: 2 }; a.name *= 2;",

      "var a = { 1: 2 }; a[1] ^= 2;",

      "var a = 1; (function f() { return a; }); a |= 24;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("CompoundExpressions.golden"));
}

TEST(GlobalCompoundExpressions) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "var global = 1;\n"
      "function f() { return global &= 1; }\n"
      "f();",

      "unallocated = 1;\n"
      "function f() { return unallocated += 1; }\n"
      "f();",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("GlobalCompoundExpressions.golden"));
}

TEST(CreateArguments) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function f() { return arguments; }",

      "function f() { return arguments[0]; }",

      "function f() { 'use strict'; return arguments; }",

      "function f(a) { return arguments[0]; }",

      "function f(a, b, c) { return arguments; }",

      "function f(a, b, c) { 'use strict'; return arguments; }",
  };

  CHECK_EQ(BuildActual(printer, snippets, "", "\nf();"),
           LoadGolden("CreateArguments.golden"));
}

TEST(CreateRestParameter) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "function f(...restArgs) { return restArgs; }",

      "function f(a, ...restArgs) { return restArgs; }",

      "function f(a, ...restArgs) { return restArgs[0]; }",

      "function f(a, ...restArgs) { return restArgs[0] + arguments[0]; }",
  };

  CHECK_EQ(BuildActual(printer, snippets, "", "\nf();"),
           LoadGolden("CreateRestParameter.golden"));
}

TEST(ForIn) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "for (var p in null) {}",

      "for (var p in undefined) {}",

      "for (var p in undefined) {}",

      "var x = 'potatoes';\n"
      "for (var p in x) { return p; }",

      "var x = 0;\n"
      "for (var p in [1,2,3]) { x += p; }",

      "var x = { 'a': 1, 'b': 2 };\n"
      "for (x['a'] in [10, 20, 30]) {\n"
      "  if (x['a'] == 10) continue;\n"
      "  if (x['a'] == 20) break;\n"
      "}",

      "var x = [ 10, 11, 12 ] ;\n"
      "for (x[0] in [1,2,3]) { return x[3]; }",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("ForIn.golden"));
}

TEST(ForOf) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "for (var p of [0, 1, 2]) {}",

      "var x = 'potatoes';\n"
      "for (var p of x) { return p; }",

      "for (var x of [10, 20, 30]) {\n"
      "  if (x == 10) continue;\n"
      "  if (x == 20) break;\n"
      "}",

      "var x = { 'a': 1, 'b': 2 };\n"
      "for (x['a'] of [1,2,3]) { return x['a']; }",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("ForOf.golden"));
}

TEST(Conditional) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "return 1 ? 2 : 3;",

      "return 1 ? 2 ? 3 : 4 : 5;",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("Conditional.golden"));
}

TEST(Switch) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
    "var a = 1;\n"
    "switch(a) {\n"
    " case 1: return 2;\n"
    " case 2: return 3;\n"
    "}",

    "var a = 1;\n"
    "switch(a) {\n"
    " case 1: a = 2; break;\n"
    " case 2: a = 3; break;\n"
    "}",

    "var a = 1;\n"
    "switch(a) {\n"
    " case 1: a = 2; // fall-through\n"
    " case 2: a = 3; break;\n"
    "}",

    "var a = 1;\n"
    "switch(a) {\n"
    " case 2: break;\n"
    " case 3: break;\n"
    " default: a = 1; break;\n"
    "}",

    "var a = 1;\n"
    "switch(typeof(a)) {\n"
    " case 2: a = 1; break;\n"
    " case 3: a = 2; break;\n"
    " default: a = 3; break;\n"
    "}",

    "var a = 1;\n"
    "switch(a) {\n"
    " case typeof(a): a = 1; break;\n"
    " default: a = 2; break;\n"
    "}",

    "var a = 1;\n"
    "switch(a) {\n"
    " case 1:\n"
    REPEAT_64("  a = 2;\n")
    "  break;\n"
    " case 2:\n"
    "  a = 3;\n"
    "  break;\n"
    "}",

    "var a = 1;\n"
    "switch(a) {\n"
    " case 1: \n"
    "   switch(a + 1) {\n"
    "      case 2 : a = 1; break;\n"
    "      default : a = 2; break;\n"
    "   }  // fall-through\n"
    " case 2: a = 3;\n"
    "}",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("Switch.golden"));
}

TEST(BasicBlockToBoolean) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "var a = 1; if (a || a < 0) { return 1; }",

      "var a = 1; if (a && a < 0) { return 1; }",

      "var a = 1; a = (a || a < 0) ? 2 : 3;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("BasicBlockToBoolean.golden"));
}

TEST(DeadCodeRemoval) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "return; var a = 1; a();",

      "if (false) { return; }; var a = 1;",

      "if (true) { return 1; } else { return 2; };",

      "var a = 1; if (a) { return 1; }; return 2;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("DeadCodeRemoval.golden"));
}

TEST(ThisFunction) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "var f;\n"
      "f = function f() {};",

      "var f;\n"
      "f = function f() { return f; };",
  };

  CHECK_EQ(BuildActual(printer, snippets, "", "\nf();"),
           LoadGolden("ThisFunction.golden"));
}

TEST(NewTarget) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);

  const char* snippets[] = {
      "return new.target;",

      "new.target;",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("NewTarget.golden"));
}

TEST(RemoveRedundantLdar) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "var ld_a = 1;\n"          // This test is to check Ldar does not
      "while(true) {\n"          // get removed if the preceding Star is
      "  ld_a = ld_a + ld_a;\n"  // in a different basicblock.
      "  if (ld_a > 10) break;\n"
      "}\n"
      "return ld_a;",

      "var ld_a = 1;\n"
      "do {\n"
      "  ld_a = ld_a + ld_a;\n"
      "  if (ld_a > 10) continue;\n"
      "} while(false);\n"
      "return ld_a;",

      "var ld_a = 1;\n"
      "  ld_a = ld_a + ld_a;\n"
      "  return ld_a;",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("RemoveRedundantLdar.golden"));
}

TEST(AssignmentsInBinaryExpression) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  const char* snippets[] = {
      "var x = 0, y = 1;\n"
      "return (x = 2, y = 3, x = 4, y = 5);",

      "var x = 55;\n"
      "var y = (x = 100);\n"
      "return y;",

      "var x = 55;\n"
      "x = x + (x = 100) + (x = 101);\n"
      "return x;",

      "var x = 55;\n"
      "x = (x = 56) - x + (x = 57);\n"
      "x++;\n"
      "return x;",

      "var x = 55;\n"
      "var y = x + (x = 1) + (x = 2) + (x = 3);\n"
      "return y;",

      "var x = 55;\n"
      "var x = x + (x = 1) + (x = 2) + (x = 3);\n"
      "return x;",

      "var x = 10, y = 20;\n"
      "return x + (x = 1) + (x + 1) * (y = 2) + (y = 3) + (x = 4) + (y = 5) + "
      "y;\n",

      "var x = 17;\n"
      "return 1 + x + (x++) + (++x);\n",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("AssignmentsInBinaryExpression.golden"));
}

TEST(Eval) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  const char* snippets[] = {
      "return eval('1;');",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("Eval.golden"));
}

TEST(LookupSlot) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);

  const char* snippets[] = {
      "eval('var x = 10;'); return x;",

      "eval('var x = 10;'); return typeof x;",

      "x = 20; return eval('');",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("LookupSlot.golden"));
}

TEST(CallLookupSlot) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "g = function(){}; eval(''); return g();",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("CallLookupSlot.golden"));
}

// TODO(mythria): tests for variable/function declaration in lookup slots.

TEST(LookupSlotInEval) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "return x;",

      "x = 10;",

      "'use strict'; x = 10;",

      "return typeof x;",
  };

  std::string actual = BuildActual(printer, snippets,
                                   "var f;\n"
                                   "var x = 1;\n"
                                   "function f1() {\n"
                                   "  eval(\"function t() { ",

                                   " }; f = t; f();\");\n"
                                   "}\n"
                                   "f1();");

  CHECK_EQ(actual, LoadGolden("LookupSlotInEval.golden"));
}

TEST(LookupSlotWideInEval) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      REPEAT_256("    \"var y = 2.3;\" +\n")  //
      "    \"return x;\" +\n",

      REPEAT_256("    \"var y = 2.3;\" +\n")  //
      "    \"return typeof x;\" +\n",

      REPEAT_256("    \"var y = 2.3;\" +\n")  //
      "    \"x = 10;\" +\n",

      "    \"'use strict';\" +\n"             //
      REPEAT_256("    \"var y = 2.3;\" +\n")  //
      "    \"x = 10;\" +\n",
  };

  std::string actual = BuildActual(printer, snippets,
                                   "var f;\n"
                                   "var x = 1;\n"
                                   "function f1() {\n"
                                   "  eval(\"function t() {\" +\n",

                                   "  \"};\" +\n"
                                   "  \"f = t; f();\"\n);\n"
                                   "}\n"
                                   "f1();");

  CHECK_EQ(actual, LoadGolden("LookupSlotWideInEval.golden"));
}

TEST(DeleteLookupSlotInEval) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  printer.set_wrap(false);
  printer.set_test_function_name("f");

  const char* snippets[] = {
      "delete x;",

      "return delete y;",

      "return delete z;",
  };

  std::string actual = BuildActual(printer, snippets,
                                   "var f;\n"
                                   "var x = 1;\n"
                                   "z = 10;\n"
                                   "function f1() {\n"
                                   "  var y;\n"
                                   "  eval(\"function t() { ",

                                   " }; f = t; f();\");\n"
                                   "}\n"
                                   "f1();");

  CHECK_EQ(actual, LoadGolden("DeleteLookupSlotInEval.golden"));
}

TEST(WideRegisters) {
  // Prepare prologue that creates frame for lots of registers.
  std::ostringstream os;
  for (size_t i = 0; i < 157; ++i) {
    os << "var x" << i << ";\n";
  }
  std::string prologue(os.str());

  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kNumber);
  const char* snippets[] = {
      "x0 = x127;\n"
      "return x0;",

      "x127 = x126;\n"
      "return x127;",

      "if (x2 > 3) { return x129; }\n"
      "return x128;",

      "var x0 = 0;\n"
      "if (x129 == 3) { var x129 = x0; }\n"
      "if (x2 > 3) { return x0; }\n"
      "return x129;",

      "var x0 = 0;\n"
      "var x1 = 0;\n"
      "for (x128 = 0; x128 < 64; x128++) {"
      "  x1 += x128;"
      "}"
      "return x128;",

      "var x0 = 1234;\n"
      "var x1 = 0;\n"
      "for (x128 in x0) {"
      "  x1 += x128;"
      "}"
      "return x1;",

      "x0 = %Add(x64, x63);\n"
      "x1 = %Add(x27, x143);\n"
      "%TheHole();\n"
      "return x1;",
  };

  CHECK_EQ(BuildActual(printer, snippets, prologue.c_str()),
           LoadGolden("WideRegisters.golden"));
}

TEST(ConstVariable) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  const char* snippets[] = {
      "const x = 10;",

      "const x = 10; return x;",

      "const x = ( x = 20);",

      "const x = 10; x = 20;",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("ConstVariable.golden"));
}

TEST(LetVariable) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  const char* snippets[] = {
      "let x = 10;",

      "let x = 10; return x;",

      "let x = (x = 20);",

      "let x = 10; x = 20;",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("LetVariable.golden"));
}

TEST(ConstVariableContextSlot) {
  // TODO(mythria): Add tests for initialization of this via super calls.
  // TODO(mythria): Add tests that walk the context chain.
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "const x = 10; function f1() {return x;}",

      "const x = 10; function f1() {return x;} return x;",

      "const x = (x = 20); function f1() {return x;}",

      "const x = 10; x = 20; function f1() {return x;}",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("ConstVariableContextSlot.golden"));
}

TEST(LetVariableContextSlot) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "let x = 10; function f1() {return x;}",

      "let x = 10; function f1() {return x;} return x;",

      "let x = (x = 20); function f1() {return x;}",

      "let x = 10; x = 20; function f1() {return x;}",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("LetVariableContextSlot.golden"));
}

TEST(DoExpression) {
  bool old_flag = FLAG_harmony_do_expressions;
  FLAG_harmony_do_expressions = true;

  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  const char* snippets[] = {
      "var a = do { }; return a;",

      "var a = do { var x = 100; }; return a;",

      "while(true) { var a = 10; a = do { ++a; break; }; a = 20; }",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("DoExpression.golden"));

  FLAG_harmony_do_expressions = old_flag;
}

TEST(WithStatement) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "with ({x:42}) { return x; }",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("WithStatement.golden"));
}

TEST(DoDebugger) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kString);
  const char* snippets[] = {
      "debugger;",
  };

  CHECK_EQ(BuildActual(printer, snippets), LoadGolden("DoDebugger.golden"));
}

TEST(ClassDeclarations) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  const char* snippets[] = {
      "class Person {\n"
      "  constructor(name) { this.name = name; }\n"
      "  speak() { console.log(this.name + ' is speaking.'); }\n"
      "}",

      "class person {\n"
      "  constructor(name) { this.name = name; }\n"
      "  speak() { console.log(this.name + ' is speaking.'); }\n"
      "}",

      "var n0 = 'a';\n"
      "var n1 = 'b';\n"
      "class N {\n"
      "  [n0]() { return n0; }\n"
      "  static [n1]() { return n1; }\n"
      "}",

      "var count = 0;\n"
      "class C { constructor() { count++; }}\n"
      "return new C();\n",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("ClassDeclarations.golden"));
}

TEST(ClassAndSuperClass) {
  InitializedIgnitionHandleScope scope;
  BytecodeExpectationsPrinter printer(CcTest::isolate(),
                                      ConstantPoolType::kMixed);
  printer.set_wrap(false);
  printer.set_test_function_name("test");
  const char* snippets[] = {
      "var test;\n"
      "(function() {\n"
      "  class A {\n"
      "    method() { return 2; }\n"
      "  }\n"
      "  class B extends A {\n"
      "    method() { return super.method() + 1; }\n"
      "  }\n"
      "  test = new B().method;\n"
      "  test();\n"
      "})();\n",

      "var test;\n"
      "(function() {\n"
      "  class A {\n"
      "    get x() { return 1; }\n"
      "    set x(val) { return; }\n"
      "  }\n"
      "  class B extends A {\n"
      "    method() { super.x = 2; return super.x; }\n"
      "  }\n"
      "  test = new B().method;\n"
      "  test();\n"
      "})();\n",

      "var test;\n"
      "(function() {\n"
      "  class A {\n"
      "    constructor(x) { this.x_ = x; }\n"
      "  }\n"
      "  class B extends A {\n"
      "    constructor() { super(1); this.y_ = 2; }\n"
      "  }\n"
      "  test = new B().constructor;\n"
      "})();\n",

      "var test;\n"
      "(function() {\n"
      "  class A {\n"
      "    constructor() { this.x_ = 1; }\n"
      "  }\n"
      "  class B extends A {\n"
      "    constructor() { super(); this.y_ = 2; }\n"
      "  }\n"
      "  test = new B().constructor;\n"
      "})();\n",
  };

  CHECK_EQ(BuildActual(printer, snippets),
           LoadGolden("ClassAndSuperClass.golden"));
}

}  // namespace interpreter
}  // namespace internal
}  // namespace v8