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

Unified Diff: src/compiler/typer.cc

Issue 1420283009: [turbofan] Add support for storing to double fields. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 5 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 side-by-side diff with in-line comments
Download patch
Index: src/compiler/typer.cc
diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
index 6c80446ce921da7e1906cd4dfe3e74e2bca6ee61..ea20cec83fdbfd2c8a26c483b28c2634e82c63c4 100644
--- a/src/compiler/typer.cc
+++ b/src/compiler/typer.cc
@@ -557,6 +557,13 @@ Type* Typer::Visitor::TypeEffectSet(Node* node) {
}
+Type* Typer::Visitor::TypeGuard(Node* node) {
+ Type* input_type = Operand(node, 0);
+ Type* guard_type = OpParameter<Type*>(node);
+ return Type::Intersect(input_type, guard_type, zone());
+}
+
+
Type* Typer::Visitor::TypeBeginRegion(Node* node) {
UNREACHABLE();
return nullptr;
@@ -1786,6 +1793,15 @@ Type* Typer::Visitor::TypeStoreElement(Node* node) {
}
+Type* Typer::Visitor::TypeObjectIsNumber(Node* node) {
+ Type* arg = Operand(node, 0);
+ if (arg->Is(Type::None())) return Type::None();
+ if (arg->Is(Type::Number())) return typer_->singleton_true_;
+ if (!arg->Maybe(Type::Number())) return typer_->singleton_false_;
+ return Type::Boolean();
+}
+
+
Type* Typer::Visitor::TypeObjectIsSmi(Node* node) {
Type* arg = Operand(node, 0);
if (arg->Is(Type::None())) return Type::None();

Powered by Google App Engine
This is Rietveld 408576698