blob: 73b6ecf5a8991e8c6adaf2f154d631ad7643b861 [file] [log] [blame]
// Copyright (c) 2015, 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.
library tdiv_test;
import 'dart:async';
import 'package:async_helper/async_helper.dart';
import 'compiler_helper.dart';
const String TEST1 = r"""
foo(param) {
var a = param ? 0xFFFFFFFF : 1;
return a ~/ 2;
// Above can be compiled to division followed by truncate.
// present: ' / 2 | 0'
// absent: 'tdiv'
}
""";
const String TEST2 = r"""
foo(param) {
var a = param ? 0xFFFFFFFF : 1;
return a ~/ 3;
// Above can be compiled to division followed by truncate.
// present: ' / 3 | 0'
// absent: 'tdiv'
}
""";
const String TEST3 = r"""
foo(param) {
var a = param ? 0xFFFFFFFF : -1;
return a ~/ 2;
// Potentially negative inputs go via fast helper.
// present: '_tdivFast'
// absent: '/'
}
""";
const String TEST4 = r"""
foo(param1, param2) {
var a = param1 ? 0xFFFFFFFF : 0;
return a ~/ param2;
// Unknown divisor goes via full implementation.
// present: '$tdiv'
// absent: '/'
}
""";
const String TEST5 = r"""
foo(param1, param2) {
var a = param1 ? 0xFFFFFFFF : 0;
var b = param2 ? 3 : 4;
return a ~/ param2;
// We could optimize this with range analysis, but type inference summarizes
// '3 or 4' to uint31, which is not >= 2.
// present: '$tdiv'
// absent: '/'
}
""";
main() {
Future check(String test) {
return compile(test, entry: 'foo', check: checkerForAbsentPresent(test));
}
asyncTest(() => Future.wait([
check(TEST1),
check(TEST2),
check(TEST3),
check(TEST4),
check(TEST5),
]));
}