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

Unified Diff: src/compiler/typer.cc

Issue 2320473003: [turbofan] Typer changes to avoid Type representation dimension (Closed)
Patch Set: quick fix. Created 4 years, 3 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 side-by-side diff with in-line comments
Download patch
« no previous file with comments | « src/compiler/memory-optimizer.cc ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: src/compiler/typer.cc
diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
index 28e6d4cf313275d88ba2bca3515dd018a3190552..ecafda93acff8e6625c438af661e4023821246c6 100644
--- a/src/compiler/typer.cc
+++ b/src/compiler/typer.cc
@@ -516,8 +516,7 @@ Type* Typer::Visitor::ObjectIsReceiver(Type* type, Typer* t) {
Type* Typer::Visitor::ObjectIsSmi(Type* type, Typer* t) {
- if (type->Is(Type::TaggedSigned())) return t->singleton_true_;
- if (type->Is(Type::TaggedPointer())) return t->singleton_false_;
+ if (!type->Maybe(Type::SignedSmall())) return t->singleton_false_;
return Type::Boolean();
}
@@ -1593,8 +1592,8 @@ Type* Typer::Visitor::TypeCheckIf(Node* node) {
}
Type* Typer::Visitor::TypeCheckTaggedPointer(Node* node) {
- Type* arg = Operand(node, 0);
- return Type::Intersect(arg, Type::TaggedPointer(), zone());
+ Type* type = Operand(node, 0);
+ return type;
}
Type* Typer::Visitor::TypeCheckTaggedSigned(Node* node) {
@@ -1623,7 +1622,7 @@ Type* Typer::Visitor::TypeConvertTaggedHoleToUndefined(Node* node) {
return type;
}
-Type* Typer::Visitor::TypeAllocate(Node* node) { return Type::TaggedPointer(); }
+Type* Typer::Visitor::TypeAllocate(Node* node) { return Type::Any(); }
Type* Typer::Visitor::TypeLoadField(Node* node) {
return FieldAccessOf(node->op()).type;
« no previous file with comments | « src/compiler/memory-optimizer.cc ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698