blob: 49990cd0b13527af6d900c382111f29badf1fe27 [file] [log] [blame]
// Copyright (c) 2013, 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 that branch fusion correctly sets branch environment for comparisons
// that require unboxing and does not fuse branches that can deoptimize.
// VMOptions=--optimization-counter-threshold=10 --no-use-osr --no-background-compilation
import "package:expect/expect.dart";
var sideEffect = true;
barDouble(a, b) {
sideEffect = false;
final result = (a == b);
sideEffect = !sideEffect;
return result;
}
fooDouble(a, b) => barDouble(a, b) ? 1 : 0;
barMint(a, b) {
sideEffect = false;
final result = (a == b);
sideEffect = !sideEffect;
return result;
}
fooMint(a, b) => barMint(a, b) ? 1 : 0;
class A {
operator ==(other) => identical(this, other);
}
class B extends A {}
class C extends A {}
barPoly(a, b) {
sideEffect = false;
final result = a == b;
sideEffect = !sideEffect;
return result;
}
fooPoly(a, b) => barPoly(a, b) ? 1 : 0;
main() {
final a = 1.0;
final b = 0x4000000000000000; // 1 << 62
final x = new A(), y = new B(), z = new C();
for (var i = 0; i < 20; i++) {
Expect.equals(1, fooDouble(a, a));
Expect.isTrue(sideEffect);
Expect.equals(0, fooMint(b, 0));
Expect.isTrue(sideEffect);
Expect.equals(1, fooPoly(x, x));
Expect.equals(0, fooPoly(y, x));
}
Expect.equals(1, fooDouble(z, z));
Expect.isTrue(sideEffect);
Expect.equals(1, fooMint(z, z));
Expect.isTrue(sideEffect);
Expect.equals(1, fooPoly(z, z));
Expect.isTrue(sideEffect);
}