Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(3)

Side by Side Diff: tests/language/value_range_test.dart

Issue 11035007: Add failing tests for dart2js' range-analysis. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « tests/language/value_range2_test.dart ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 2 // for details. All rights reserved. Use of this source code is governed by a
3 // BSD-style license that can be found in the LICENSE file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 // Make sure we use JavaScript semantics when compiling compile-time constants.
6 // In this case we test that the value-range analysis uses JavaScript semantics
7 // too.
8
9 int inscrutable(int x) => x == 0 ? 0 : x | inscrutable(x & (x - 1)); 5 int inscrutable(int x) => x == 0 ? 0 : x | inscrutable(x & (x - 1));
10 6
11 foo() { 7 foo() {
12 var a = const [1, 2]; 8 var x = 0x102;
13 var i = 0x100000000; 9 if (inscrutable(x) == 0) x = 0x0;
14 if (inscrutable(i) == 0) { 10 if (inscrutable(10) == 10) x = 0x10; // x is in range [0 .. 0x102].
15 i = 0x100000001; 11 x = x & 0xFF; // x should be in range [0 .. 0xFF]. Actual value: 0x10.
16 } 12 var a = const [1, 2, 3];
17 i = 0xFFFFFFFFF & i; // In JS semantics [:i:] will be truncated to 32 bits. 13 return a[x];
18 i = 0x100000001 - i;
19 return a[i];
20 } 14 }
21 15
22 main() { 16 main() {
23 Expect.throws(() => foo(), 17 Expect.throws(() => foo(),
24 (e) => e is IndexOutOfRangeException); 18 (e) => e is IndexOutOfRangeException);
25 } 19 }
20
OLDNEW
« no previous file with comments | « tests/language/value_range2_test.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698