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

Side by Side Diff: src/typing.cc

Issue 795993002: Introduce unsigned representation types (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 6 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
« no previous file with comments | « src/types.cc ('k') | test/cctest/test-types.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2013 the V8 project authors. All rights reserved. 1 // Copyright 2013 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #include "src/typing.h" 5 #include "src/typing.h"
6 6
7 #include "src/frames.h" 7 #include "src/frames.h"
8 #include "src/frames-inl.h" 8 #include "src/frames-inl.h"
9 #include "src/ostreams.h" 9 #include "src/ostreams.h"
10 #include "src/parser.h" // for CompileTimeValue; TODO(rossberg): should move 10 #include "src/parser.h" // for CompileTimeValue; TODO(rossberg): should move
(...skipping 376 matching lines...) Expand 10 before | Expand all | Expand 10 after
387 } 387 }
388 388
389 389
390 void AstTyper::VisitLiteral(Literal* expr) { 390 void AstTyper::VisitLiteral(Literal* expr) {
391 Type* type = Type::Constant(expr->value(), zone()); 391 Type* type = Type::Constant(expr->value(), zone());
392 NarrowType(expr, Bounds(type)); 392 NarrowType(expr, Bounds(type));
393 } 393 }
394 394
395 395
396 void AstTyper::VisitRegExpLiteral(RegExpLiteral* expr) { 396 void AstTyper::VisitRegExpLiteral(RegExpLiteral* expr) {
397 NarrowType(expr, Bounds(Type::RegExp(zone()))); 397 // TODO(rossberg): Reintroduce RegExp type.
398 NarrowType(expr, Bounds(Type::Object(zone())));
398 } 399 }
399 400
400 401
401 void AstTyper::VisitObjectLiteral(ObjectLiteral* expr) { 402 void AstTyper::VisitObjectLiteral(ObjectLiteral* expr) {
402 ZoneList<ObjectLiteral::Property*>* properties = expr->properties(); 403 ZoneList<ObjectLiteral::Property*>* properties = expr->properties();
403 for (int i = 0; i < properties->length(); ++i) { 404 for (int i = 0; i < properties->length(); ++i) {
404 ObjectLiteral::Property* prop = properties->at(i); 405 ObjectLiteral::Property* prop = properties->at(i);
405 406
406 // Collect type feedback. 407 // Collect type feedback.
407 if ((prop->kind() == ObjectLiteral::Property::MATERIALIZED_LITERAL && 408 if ((prop->kind() == ObjectLiteral::Property::MATERIALIZED_LITERAL &&
(...skipping 397 matching lines...) Expand 10 before | Expand all | Expand 10 after
805 void AstTyper::VisitModuleUrl(ModuleUrl* module) { 806 void AstTyper::VisitModuleUrl(ModuleUrl* module) {
806 } 807 }
807 808
808 809
809 void AstTyper::VisitModuleStatement(ModuleStatement* stmt) { 810 void AstTyper::VisitModuleStatement(ModuleStatement* stmt) {
810 RECURSE(Visit(stmt->body())); 811 RECURSE(Visit(stmt->body()));
811 } 812 }
812 813
813 814
814 } } // namespace v8::internal 815 } } // namespace v8::internal
OLDNEW
« no previous file with comments | « src/types.cc ('k') | test/cctest/test-types.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698