| // Copyright (c) 2016, 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 deoptimization on an optimistically hoisted smi check. |
| // VMOptions=--optimization-counter-threshold=10 --no-background-compilation |
| |
| // @dart = 2.9 |
| |
| // Test that lazy deoptimization works if the program returns to a function |
| // that is scheduled for lazy deoptimization via an exception. |
| |
| import 'package:expect/expect.dart'; |
| |
| class C { |
| dynamic x = 42; |
| } |
| |
| @pragma('vm:never-inline') |
| AA(C c, bool b) { |
| if (b) { |
| c.x = 2.5; |
| throw 123; |
| } |
| } |
| |
| @pragma('vm:never-inline') |
| T1(C c, bool b) { |
| try { |
| AA(c, b); |
| } on dynamic {} |
| return c.x + 1; |
| } |
| |
| @pragma('vm:never-inline') |
| T2(C c, bool b) { |
| try { |
| AA(c, b); |
| } on String { |
| Expect.isTrue(false); |
| } on int catch (e) { |
| Expect.equals(e, 123); |
| Expect.equals(b, true); |
| Expect.equals(c.x, 2.5); |
| } |
| return c.x + 1; |
| } |
| |
| main() { |
| var c = new C(); |
| for (var i = 0; i < 10000; ++i) { |
| T1(c, false); |
| T2(c, false); |
| } |
| Expect.equals(43, T1(c, false)); |
| Expect.equals(43, T2(c, false)); |
| Expect.equals(3.5, T1(c, true)); |
| Expect.equals(3.5, T2(c, true)); |
| } |