blob: 8fa0edd29bd2f6b659a4c2f96115301ed332db5c [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.
import "package:expect/expect.dart";
confuse(x) {
if (new DateTime.now().millisecondsSinceEpoch == 0) {
return confuse(x + 1);
} else if (new DateTime.now().millisecondsSinceEpoch == 0) {
return confuse(x - 1);
}
return x;
}
test1() {
int x = 0;
// Give x a range of -1 to 0.
if (confuse(0) == 1) x = -1;
int y = 0;
// Give y a range of 0 to 1.
if (confuse(0) == 1) y = 1;
var zero = 0;
var status = "bad";
if (x < zero) {
Expect.fail("unreachable");
} else {
// Dart2js must not conclude that zero has a range of [-1, 0].
if (y <= zero) {
status = "good";
}
}
Expect.equals("good", status);
}
test2() {
int x = 0;
// Give x a range of -1 to 0.
if (confuse(0) == 1) x = -1;
int y = 0;
// Give y a range of -1 to 1.
if (confuse(0) == 1) y = 1;
if (confuse(1) == 2) y = -1;
var status = "good";
if (x < y) {
Expect.fail("unreachable");
} else {
// Dart2js must not conclude that y has a range of [-1, -1].
if (y == -1) {
status = "bad";
}
}
Expect.equals("good", status);
}
test3a() {
int x = 0;
// Give x a range of -1 to 1.
if (confuse(0) == 1) x = -1;
if (confuse(1) == 2) x = 1;
int y = 0;
// Give y a range of -1 to 1.
if (confuse(0) == 1) y = 1;
if (confuse(1) == 2) y = -1;
var status = "good";
if (x < y) {
Expect.fail("unreachable");
} else {
// Test that the range-analysis does not lose a value.
if (x <= -1) status = "bad";
if (x >= 1) status = "bad";
if (x < 0) status = "bad";
if (x > 0) status = "bad";
if (-1 >= x) status = "bad";
if (1 <= x) status = "bad";
if (0 > x) status = "bad";
if (0 < x) status = "bad";
if (y <= -1) status = "bad";
if (y >= 1) status = "bad";
if (y < 0) status = "bad";
if (y > 0) status = "bad";
if (-1 >= y) status = "bad";
if (1 <= y) status = "bad";
if (0 > y) status = "bad";
if (0 < y) status = "bad";
}
Expect.equals("good", status);
}
test3b() {
int x = 0;
// Give x a range of -2 to 0.
if (confuse(0) == 1) x = -2;
int y = 0;
// Give y a range of -1 to 1.
if (confuse(0) == 1) y = 1;
if (confuse(1) == 2) y = -1;
var status = "good";
if (x < y) {
Expect.fail("unreachable");
} else {
// Test that the range-analysis does not lose a value.
if (x <= -1) status = "bad";
if (x >= 1) status = "bad";
if (x < 0) status = "bad";
if (x > 0) status = "bad";
if (-1 >= x) status = "bad";
if (1 <= x) status = "bad";
if (0 > x) status = "bad";
if (0 < x) status = "bad";
if (y <= -1) status = "bad";
if (y >= 1) status = "bad";
if (y < 0) status = "bad";
if (y > 0) status = "bad";
if (-1 >= y) status = "bad";
if (1 <= y) status = "bad";
if (0 > y) status = "bad";
if (0 < y) status = "bad";
}
Expect.equals("good", status);
}
test4a() {
int x = -1;
// Give x a range of -1 to 1.
if (confuse(0) == 1) x = 1;
int y = 0;
// Give y a range of -1 to 1.
if (confuse(0) == 1) y = 1;
if (confuse(1) == 2) y = -1;
var status = "good";
if (x < y) {
// Test that the range-analysis does not lose a value.
if (x <= -2) status = "bad";
if (x >= 0) status = "bad";
if (x < -1) status = "bad";
if (x > -1) status = "bad";
if (-2 >= x) status = "bad";
if (0 <= x) status = "bad";
if (-1 > x) status = "bad";
if (-1 < x) status = "bad";
if (y <= -1) status = "bad";
if (y >= 1) status = "bad";
if (y < 0) status = "bad";
if (y > 0) status = "bad";
if (-1 >= y) status = "bad";
if (1 <= y) status = "bad";
if (0 > y) status = "bad";
if (0 < y) status = "bad";
} else {
Expect.fail("unreachable");
}
Expect.equals("good", status);
}
test4b() {
int x = -1;
// Give x a range of -2 to 0.
if (confuse(0) == 1) x = -2;
if (confuse(1) == 2) x = 0;
int y = 0;
// Give y a range of -1 to 1.
if (confuse(0) == 1) y = 1;
if (confuse(1) == 2) y = -1;
var status = "good";
if (x < y) {
// Test that the range-analysis does not lose a value.
if (x <= -2) status = "bad";
if (x >= 0) status = "bad";
if (x < -1) status = "bad";
if (x > -1) status = "bad";
if (-2 >= x) status = "bad";
if (0 <= x) status = "bad";
if (-1 > x) status = "bad";
if (-1 < x) status = "bad";
if (y <= -1) status = "bad";
if (y >= 1) status = "bad";
if (y < 0) status = "bad";
if (y > 0) status = "bad";
if (-1 >= y) status = "bad";
if (1 <= y) status = "bad";
if (0 > y) status = "bad";
if (0 < y) status = "bad";
} else {
Expect.fail("unreachable");
}
Expect.equals("good", status);
}
main() {
test1();
test2();
test3a();
test3b();
test4a();
test4b();
}