| // 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. |
| |
| // @dart = 2.7 |
| |
| import "package:expect/expect.dart"; |
| |
| class A { |
| const A(); |
| indexOf(item) => 42; |
| |
| // This call get:indexOf has a known receiver type, so is is potentially |
| // eligible for a dummy receiver optimization. |
| getIndexOf() => this.indexOf; |
| } |
| |
| var getIndexOfA = (a) => a.getIndexOf(); |
| |
| var getter1 = (a) => a.indexOf; |
| |
| var getter2 = (a) { |
| // Known interceptor. |
| if (a is String) return a.indexOf; |
| |
| // Call needs to be indirect to avoid inlining. |
| if (a is A) return getIndexOfA(a); |
| |
| return a.indexOf; |
| }; |
| |
| var inscrutable; |
| |
| main() { |
| inscrutable = (x) => x; |
| |
| var array = ['foo', 'bar', [], [], new A(), new A(), const [], const A()]; |
| |
| array = inscrutable(array); |
| getter1 = inscrutable(getter1); |
| getter2 = inscrutable(getter2); |
| getIndexOfA = inscrutable(getIndexOfA); |
| |
| var set = new Set.from(array.map(getter1)); |
| |
| // Closures should be distinct since they are closures bound to distinct |
| // objects. |
| Expect.equals(array.length, set.length); |
| |
| // And repeats should be equal to existing closures and add no new elements. |
| set.addAll(array.map(getter1)); |
| Expect.equals(array.length, set.length); |
| |
| // And closures created in different optimization contexts should be equal. |
| set.addAll(array.map(getter2)); |
| Expect.equals(array.length, set.length); |
| |
| for (int i = 0; i < array.length; i++) { |
| Expect.equals(array[i], array[i]); |
| |
| Expect.isTrue(set.contains(getter1(array[i]))); |
| |
| Expect.equals(getter1(array[i]), getter1(array[i])); |
| Expect.equals(getter1(array[i]), getter2(array[i])); |
| Expect.equals(getter2(array[i]), getter1(array[i])); |
| Expect.equals(getter2(array[i]), getter2(array[i])); |
| |
| Expect.equals(getter1(array[i]).hashCode, getter1(array[i]).hashCode); |
| Expect.equals(getter1(array[i]).hashCode, getter2(array[i]).hashCode); |
| Expect.equals(getter2(array[i]).hashCode, getter1(array[i]).hashCode); |
| Expect.equals(getter2(array[i]).hashCode, getter2(array[i]).hashCode); |
| |
| for (int j = 0; j < array.length; j++) { |
| if (i == j) continue; |
| |
| Expect.notEquals(getter1(array[i]), getter1(array[j])); |
| Expect.notEquals(getter1(array[i]), getter2(array[j])); |
| Expect.notEquals(getter2(array[i]), getter1(array[j])); |
| Expect.notEquals(getter2(array[i]), getter2(array[j])); |
| } |
| } |
| } |