| // Copyright (c) 2017, 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. |
| |
| import 'dart:async'; |
| import 'package:expect/expect.dart'; |
| import '../compiler_helper.dart'; |
| |
| const int REMOVED = 0; |
| const int ABOVE_ZERO = 1; |
| const int BELOW_LENGTH = 2; |
| const int KEPT = 3; |
| const int ONE_CHECK = 4; |
| const int ONE_ZERO_CHECK = 5; |
| const int BELOW_ZERO_CHECK = 6; |
| |
| final List TESTS = [ |
| """ |
| main() { |
| var a = new List(); |
| var sum = 0; |
| for (int i = 0; i < a.length; i++) { |
| sum += a[i]; |
| } |
| return sum; |
| } |
| """, |
| REMOVED, |
| """ |
| main(value) { |
| var a = new List(); |
| var sum = 0; |
| for (int i = 0; i < value; i++) { |
| sum += a[i]; |
| } |
| return sum; |
| } |
| """, |
| ABOVE_ZERO, |
| """ |
| main(check) { |
| // Make sure value is an int. |
| var value = check ? 42 : 54; |
| var a = new List(value); |
| var sum = 0; |
| for (int i = 0; i < value; i++) { |
| sum += a[i]; |
| } |
| return sum; |
| } |
| """, |
| REMOVED, |
| """ |
| main() { |
| var a = new List(); |
| return a[0]; |
| } |
| """, |
| KEPT, |
| """ |
| main() { |
| var a = new List(); |
| return a.removeLast(); |
| } |
| """, |
| KEPT, |
| """ |
| main() { |
| var a = new List(4); |
| return a[0]; |
| } |
| """, |
| REMOVED, |
| """ |
| main() { |
| var a = new List(4); |
| return a.removeLast(); |
| } |
| """, |
| REMOVED, |
| """ |
| main(value) { |
| var a = new List(value); |
| return a[value]; |
| } |
| """, |
| KEPT, |
| """ |
| main(value) { |
| var a = new List(1024); |
| return a[1023 & value]; |
| } |
| """, |
| REMOVED, |
| """ |
| main(value) { |
| var a = new List(1024); |
| return a[1024 & value]; |
| } |
| """, |
| ABOVE_ZERO, |
| """ |
| main(value) { |
| var a = new List(); |
| return a[1]; |
| } |
| """, |
| ABOVE_ZERO, |
| """ |
| main(value, call) { |
| var a = new List(); |
| return a[value] + call() + a[value]; |
| } |
| """, |
| ONE_ZERO_CHECK, |
| """ |
| main(value) { |
| var a = new List(); |
| return a[1] + a[0]; |
| } |
| """, |
| ONE_CHECK, |
| """ |
| main() { |
| var a = new List(); |
| var sum = 0; |
| for (int i = 0; i <= a.length - 1; i++) { |
| sum += a[i]; |
| } |
| return sum; |
| } |
| """, |
| REMOVED, |
| """ |
| main() { |
| var a = new List(); |
| var sum = 0; |
| for (int i = a.length - 1; i >=0; i--) { |
| sum += a[i]; |
| } |
| return sum; |
| } |
| """, |
| REMOVED, |
| """ |
| main(value) { |
| value = value is int ? value as int : 42; |
| int sum = ~value; |
| for (int i = 0; i < 42; i++) sum += (value & 4); |
| var a = new List(); |
| if (value > a.length - 1) return; |
| if (value < 0) return; |
| return a[value]; |
| } |
| """, |
| REMOVED, |
| """ |
| main(value) { |
| value = value is int ? value as int : 42; |
| int sum = ~value; |
| for (int i = 0; i < 42; i++) sum += (value & 4); |
| var a = new List(); |
| if (value <= a.length - 1) { |
| if (value >= 0) { |
| return a[value]; |
| } |
| } |
| } |
| """, |
| REMOVED, |
| """ |
| main(value) { |
| value = value is int ? value as int : 42; |
| int sum = ~value; |
| for (int i = 0; i < 42; i++) sum += (value & 4); |
| var a = new List(); |
| if (value >= a.length) return; |
| if (value <= -1) return; |
| return a[value]; |
| } |
| """, |
| REMOVED, |
| """ |
| main(value) { |
| var a = new List(4); |
| var sum = 0; |
| for (int i = 0; i < a.length; i++) { |
| sum += a[i]; |
| if (sum == 0) i++; |
| } |
| return sum; |
| } |
| """, |
| REMOVED, |
| """ |
| main(value) { |
| var a = new List(5); |
| var sum = 0; |
| for (int i = a.length - 1; i >= 0; i--) { |
| sum += a[i]; |
| if (sum == 0) i--; |
| } |
| return sum; |
| } |
| """, |
| REMOVED, |
| """ |
| main(value) { |
| var a = new List(6); |
| var sum = 0; |
| for (int i = 0; i < a.length; i++) { |
| sum += a[i]; |
| if (sum == 0) i--; |
| } |
| return sum; |
| } |
| """, |
| BELOW_ZERO_CHECK, |
| """ |
| main(value) { |
| var a = new List(7); |
| var sum = 0; |
| for (int i = 0; i < a.length;) { |
| sum += a[i]; |
| sum == 0 ? i-- : i++; |
| } |
| return sum; |
| } |
| """, |
| BELOW_ZERO_CHECK, |
| """ |
| main(value) { |
| var a = new List(7); |
| var sum = 0; |
| for (int i = -2; i < a.length; i = 0) { |
| sum += a[i]; |
| } |
| return sum; |
| } |
| """, |
| BELOW_ZERO_CHECK, |
| ]; |
| |
| Future expect(String code, int kind, {bool useKernel}) { |
| return compile(code, useKernel: useKernel, check: (String generated) { |
| switch (kind) { |
| case REMOVED: |
| Expect.isTrue(!generated.contains('ioore')); |
| break; |
| |
| case ABOVE_ZERO: |
| Expect.isTrue(!generated.contains('< 0')); |
| Expect.isTrue(generated.contains('ioore')); |
| break; |
| |
| case BELOW_ZERO_CHECK: |
| Expect.isTrue(generated.contains('< 0')); |
| Expect.isTrue(!generated.contains('||')); |
| Expect.isTrue(generated.contains('ioore')); |
| break; |
| |
| case BELOW_LENGTH: |
| Expect.isTrue(!generated.contains('||')); |
| Expect.isTrue(generated.contains('ioore')); |
| break; |
| |
| case KEPT: |
| Expect.isTrue(generated.contains('ioore')); |
| break; |
| |
| case ONE_CHECK: |
| RegExp regexp = new RegExp('ioore'); |
| Iterator matches = regexp.allMatches(generated).iterator; |
| checkNumberOfMatches(matches, 1); |
| break; |
| |
| case ONE_ZERO_CHECK: |
| RegExp regexp = new RegExp('< 0|>>> 0 !=='); |
| Iterator matches = regexp.allMatches(generated).iterator; |
| checkNumberOfMatches(matches, 1); |
| break; |
| } |
| }); |
| } |
| |
| runTests({bool useKernel}) async { |
| for (int i = 0; i < TESTS.length; i += 2) { |
| await expect(TESTS[i], TESTS[i + 1], useKernel: useKernel); |
| } |
| } |