// 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 constant folding on numbers.

import "package:expect/expect.dart";
import 'compiler_helper.dart';

const String INT_PLUS_ZERO = """
int foo(x) => x;
void main() {
  var x = foo(0);
  return (x & 1) + 0;
}
""";

const String ZERO_PLUS_INT = """
int foo(x) => x;
void main() {
  var x = foo(0);
  return 0 + (x & 1);
}
""";

const String NUM_PLUS_ZERO = """
int foo(x) => x;
void main() {
  var x = foo(0);
  return x + 0;
}
""";

const String ZERO_PLUS_NUM = """
int foo(x) => x;
void main() {
  var x = foo(0);
  return 0 + x;
}
""";


const String INT_TIMES_ONE = """
int foo(x) => x;
void main() {
  var x = foo(0);
  return (x & 1) * 1;
}
""";

const String ONE_TIMES_INT = """
int foo(x) => x;
void main() {
  var x = foo(0);
  return 1 * (x & 1);
}
""";

const String NUM_TIMES_ONE = """
int foo(x) => x;
void main() {
  var x = foo(0);
  return x * 1;
}
""";

const String ONE_TIMES_NUM = """
int foo(x) => x;
void main() {
  var x = foo(0);
  return 1 * x;
}
""";

main() {
  var plusZero = new RegExp(r"\+ 0");
  var zeroPlus = new RegExp(r"0 \+");
  compileAndDoNotMatch(INT_PLUS_ZERO, 'main', plusZero);
  compileAndDoNotMatch(ZERO_PLUS_INT, 'main', zeroPlus);
  compileAndMatch(NUM_PLUS_ZERO, 'main', plusZero);
  compileAndMatch(ZERO_PLUS_NUM, 'main', zeroPlus);

  var timesOne = new RegExp(r"\* 1");
  var oneTimes = new RegExp(r"1 \*");
  compileAndDoNotMatch(INT_TIMES_ONE, 'main', timesOne);
  compileAndDoNotMatch(ONE_TIMES_INT, 'main', oneTimes);
  compileAndDoNotMatch(NUM_TIMES_ONE, 'main', timesOne);
  compileAndDoNotMatch(ONE_TIMES_NUM, 'main', oneTimes);
}