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

Side by Side Diff: tests/compiler/dart2js/simple_inferrer_try_catch_test.dart

Issue 87783003: Add UInt32 and UInt31 types to better infer bit operations. (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years 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
OLDNEW
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2013, 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 import 'package:expect/expect.dart'; 5 import 'package:expect/expect.dart';
6 import "package:async_helper/async_helper.dart"; 6 import "package:async_helper/async_helper.dart";
7 import '../../../sdk/lib/_internal/compiler/implementation/types/types.dart' 7 import '../../../sdk/lib/_internal/compiler/implementation/types/types.dart'
8 show TypeMask; 8 show TypeMask;
9 9
10 import 'compiler_helper.dart'; 10 import 'compiler_helper.dart';
(...skipping 159 matching lines...) Expand 10 before | Expand all | Expand 10 after
170 asyncTest(() => compiler.runCompiler(uri).then((_) { 170 asyncTest(() => compiler.runCompiler(uri).then((_) {
171 var typesTask = compiler.typesTask; 171 var typesTask = compiler.typesTask;
172 var typesInferrer = typesTask.typesInferrer; 172 var typesInferrer = typesTask.typesInferrer;
173 173
174 checkReturn(String name, type) { 174 checkReturn(String name, type) {
175 var element = findElement(compiler, name); 175 var element = findElement(compiler, name);
176 Expect.equals(type, 176 Expect.equals(type,
177 typesInferrer.getReturnTypeOfElement(element).simplify(compiler)); 177 typesInferrer.getReturnTypeOfElement(element).simplify(compiler));
178 } 178 }
179 179
180 checkReturn('returnInt1', typesTask.intType); 180 checkReturn('returnInt1', typesTask.uint31Type);
181 checkReturn('returnInt2', typesTask.intType); 181 checkReturn('returnInt2', typesTask.uint31Type);
182 checkReturn('returnInt3', typesTask.intType); 182 checkReturn('returnInt3', typesTask.uint31Type);
183 checkReturn('returnInt4', typesTask.intType); 183 checkReturn('returnInt4', typesTask.uint31Type);
184 checkReturn('returnInt5', typesTask.intType); 184 checkReturn('returnInt5', typesTask.uint31Type);
185 checkReturn('returnInt6', 185 checkReturn('returnInt6',
186 new TypeMask.nonNullSubtype(compiler.intClass)); 186 new TypeMask.nonNullSubtype(compiler.intClass));
187 187
188 var subclassOfInterceptor = 188 var subclassOfInterceptor =
189 findTypeMask(compiler, 'Interceptor', 'nonNullSubclass'); 189 findTypeMask(compiler, 'Interceptor', 'nonNullSubclass');
190 190
191 checkReturn('returnDyn1', subclassOfInterceptor); 191 checkReturn('returnDyn1', subclassOfInterceptor);
192 checkReturn('returnDyn2', subclassOfInterceptor); 192 checkReturn('returnDyn2', subclassOfInterceptor);
193 checkReturn('returnDyn3', subclassOfInterceptor); 193 checkReturn('returnDyn3', subclassOfInterceptor);
194 checkReturn('returnDyn4', subclassOfInterceptor); 194 checkReturn('returnDyn4', subclassOfInterceptor);
195 checkReturn('returnDyn5', subclassOfInterceptor); 195 checkReturn('returnDyn5', subclassOfInterceptor);
196 checkReturn('returnDyn6', typesTask.dynamicType); 196 checkReturn('returnDyn6', typesTask.dynamicType);
197 })); 197 }));
198 } 198 }
OLDNEW
« no previous file with comments | « tests/compiler/dart2js/simple_inferrer_test.dart ('k') | tests/compiler/dart2js/simple_inferrer_unregister_call_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698