blob: f213526cd2a5a3a99f65ac0e10f2faf78d2380b7 [file] [log] [blame]
// 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:async_helper/async_helper.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);
}
""";
// TODO(johnniwinther): Find out why this doesn't work without the `as num`
// cast.
const String NUM_PLUS_ZERO = """
int foo(x) => x;
void main() {
var x = foo(0) as num;
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 \+");
var timesOne = new RegExp(r"\* 1");
var oneTimes = new RegExp(r"1 \*");
test({bool useKernel}) async {
await compileAndDoNotMatch(INT_PLUS_ZERO, 'main', plusZero,
useKernel: useKernel);
await compileAndDoNotMatch(ZERO_PLUS_INT, 'main', zeroPlus,
useKernel: useKernel);
await compileAndMatch(NUM_PLUS_ZERO, 'main', plusZero,
useKernel: useKernel);
await compileAndMatch(ZERO_PLUS_NUM, 'main', zeroPlus,
useKernel: useKernel);
await compileAndDoNotMatch(INT_TIMES_ONE, 'main', timesOne,
useKernel: useKernel);
await compileAndDoNotMatch(ONE_TIMES_INT, 'main', oneTimes,
useKernel: useKernel);
await compileAndDoNotMatch(NUM_TIMES_ONE, 'main', timesOne,
useKernel: useKernel);
await compileAndDoNotMatch(ONE_TIMES_NUM, 'main', oneTimes,
useKernel: useKernel);
}
asyncTest(() async {
print('--test from ast---------------------------------------------------');
await test(useKernel: false);
print('--test from kernel------------------------------------------------');
await test(useKernel: true);
});
}