| // 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 correctness of side effects tracking used by load to load forwarding. |
| |
| // @dart = 2.9 |
| |
| // VMOptions=--optimization-counter-threshold=10 --no-use-osr --no-background-compilation |
| |
| // Tests correct handling of redefinitions in aliasing computation. |
| |
| import "package:expect/expect.dart"; |
| |
| var H = true; |
| |
| class A { |
| B bb; |
| |
| @pragma('vm:prefer-inline') |
| poly(p) { |
| if (H) { |
| bb = p; |
| } |
| B t = bb; |
| t.bval = 123; |
| return t.bval; |
| } |
| } |
| |
| class B { |
| int bval = -1; |
| |
| @pragma('vm:prefer-inline') |
| poly(p) { |
| return bval; |
| } |
| } |
| |
| @pragma('vm:prefer-inline') |
| foo(obj, p) => obj.poly(p); |
| |
| @pragma('vm:never-inline') |
| test() { |
| A a = new A(); |
| B b = new B(); |
| foo(a, b); |
| foo(a, b); |
| return b.bval; |
| } |
| |
| main() { |
| // Prime foo with polymorphic type feedback. |
| foo(new B(), new A()); |
| foo(new A(), new B()); |
| |
| for (var i = 0; i < 100; i++) test(); |
| Expect.equals(123, test()); |
| } |