Index: tests/compiler/dart2js/strength_eq_test.dart |
diff --git a/tests/compiler/dart2js/strength_eq_test.dart b/tests/compiler/dart2js/strength_eq_test.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..bddafaa663e24e8af5367bf8804dc90ab33e6c57 |
--- /dev/null |
+++ b/tests/compiler/dart2js/strength_eq_test.dart |
@@ -0,0 +1,31 @@ |
+// 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 CODE = """ |
+class A { |
+ var link; |
+} |
+int foo(x) { |
+ if (new DateTime.now().millisecondsSinceEpoch == 42) return null; |
+ var a = new A(); |
+ if (new DateTime.now().millisecondsSinceEpoch == 42) return a; |
+ a.link = a; |
+ return a; |
+} |
+void main() { |
+ var x = foo(0); |
+ return x == x.link; |
+} |
+"""; |
+ |
+main() { |
+ // The `==` is strengthened to a HIdentity instruction. The HIdentity follows |
+ // `x.link`, so x cannot be `null`. |
+ var compare = new RegExp(r'x === x\.get\$link\(\)'); |
+ compileAndMatch(CODE, 'main', compare); |
+} |