OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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/ast.h" | 5 #include "src/ast.h" |
6 | 6 |
7 #include <cmath> // For isfinite. | 7 #include <cmath> // For isfinite. |
8 #include "src/builtins.h" | 8 #include "src/builtins.h" |
9 #include "src/code-stubs.h" | 9 #include "src/code-stubs.h" |
10 #include "src/contexts.h" | 10 #include "src/contexts.h" |
(...skipping 978 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
989 | 989 |
990 | 990 |
991 CaseClause::CaseClause(Zone* zone, Expression* label, | 991 CaseClause::CaseClause(Zone* zone, Expression* label, |
992 ZoneList<Statement*>* statements, int pos) | 992 ZoneList<Statement*>* statements, int pos) |
993 : Expression(zone, pos), | 993 : Expression(zone, pos), |
994 label_(label), | 994 label_(label), |
995 statements_(statements), | 995 statements_(statements), |
996 compare_type_(Type::None(zone)) {} | 996 compare_type_(Type::None(zone)) {} |
997 | 997 |
998 | 998 |
999 #define REGULAR_NODE(NodeType) \ | |
1000 void AstConstructionVisitor::Visit##NodeType(NodeType* node) { \ | |
1001 } | |
1002 #define REGULAR_NODE_WITH_FEEDBACK_SLOTS(NodeType) \ | |
1003 void AstConstructionVisitor::Visit##NodeType(NodeType* node) { \ | |
1004 } | |
1005 #define DONT_OPTIMIZE_NODE(NodeType) \ | |
1006 void AstConstructionVisitor::Visit##NodeType(NodeType* node) { \ | |
1007 } | |
1008 #define DONT_OPTIMIZE_NODE_WITH_FEEDBACK_SLOTS(NodeType) \ | |
1009 void AstConstructionVisitor::Visit##NodeType(NodeType* node) { \ | |
1010 } | |
1011 #define DONT_TURBOFAN_NODE(NodeType) \ | |
1012 void AstConstructionVisitor::Visit##NodeType(NodeType* node) { \ | |
1013 } | |
1014 #define DONT_TURBOFAN_NODE_WITH_FEEDBACK_SLOTS(NodeType) \ | |
1015 void AstConstructionVisitor::Visit##NodeType(NodeType* node) { \ | |
1016 } | |
1017 #define DONT_SELFOPTIMIZE_NODE(NodeType) \ | |
1018 void AstConstructionVisitor::Visit##NodeType(NodeType* node) { \ | |
1019 } | |
1020 #define DONT_SELFOPTIMIZE_NODE_WITH_FEEDBACK_SLOTS(NodeType) \ | |
1021 void AstConstructionVisitor::Visit##NodeType(NodeType* node) { \ | |
1022 } | |
1023 #define DONT_CACHE_NODE(NodeType) \ | |
1024 void AstConstructionVisitor::Visit##NodeType(NodeType* node) { \ | |
1025 } | |
1026 | |
1027 REGULAR_NODE(VariableDeclaration) | |
1028 REGULAR_NODE(FunctionDeclaration) | |
1029 REGULAR_NODE(Block) | |
1030 REGULAR_NODE(ExpressionStatement) | |
1031 REGULAR_NODE(EmptyStatement) | |
1032 REGULAR_NODE(IfStatement) | |
1033 REGULAR_NODE(ContinueStatement) | |
1034 REGULAR_NODE(BreakStatement) | |
1035 REGULAR_NODE(ReturnStatement) | |
1036 REGULAR_NODE(SwitchStatement) | |
1037 REGULAR_NODE(CaseClause) | |
1038 REGULAR_NODE(Conditional) | |
1039 REGULAR_NODE(Literal) | |
1040 REGULAR_NODE(ArrayLiteral) | |
1041 REGULAR_NODE(ObjectLiteral) | |
1042 REGULAR_NODE(RegExpLiteral) | |
1043 REGULAR_NODE(FunctionLiteral) | |
1044 REGULAR_NODE(Assignment) | |
1045 REGULAR_NODE(Throw) | |
1046 REGULAR_NODE(UnaryOperation) | |
1047 REGULAR_NODE(CountOperation) | |
1048 REGULAR_NODE(BinaryOperation) | |
1049 REGULAR_NODE(CompareOperation) | |
1050 REGULAR_NODE(ThisFunction) | |
1051 | |
1052 REGULAR_NODE_WITH_FEEDBACK_SLOTS(Call) | |
1053 REGULAR_NODE_WITH_FEEDBACK_SLOTS(CallNew) | |
1054 REGULAR_NODE_WITH_FEEDBACK_SLOTS(Property) | |
1055 // In theory, for VariableProxy we'd have to add: | |
1056 // if (node->var()->IsLookupSlot()) | |
1057 // set_dont_optimize_reason(kReferenceToAVariableWhichRequiresDynamicLookup); | |
1058 // But node->var() is usually not bound yet at VariableProxy creation time, and | |
1059 // LOOKUP variables only result from constructs that cannot be inlined anyway. | |
1060 REGULAR_NODE_WITH_FEEDBACK_SLOTS(VariableProxy) | |
1061 | |
1062 // We currently do not optimize any modules. | |
1063 DONT_OPTIMIZE_NODE(ModuleDeclaration) | |
1064 DONT_OPTIMIZE_NODE(ImportDeclaration) | |
1065 DONT_OPTIMIZE_NODE(ExportDeclaration) | |
1066 DONT_OPTIMIZE_NODE(ModuleVariable) | |
1067 DONT_OPTIMIZE_NODE(ModulePath) | |
1068 DONT_OPTIMIZE_NODE(ModuleUrl) | |
1069 DONT_OPTIMIZE_NODE(ModuleStatement) | |
1070 DONT_OPTIMIZE_NODE(WithStatement) | |
1071 DONT_OPTIMIZE_NODE(DebuggerStatement) | |
1072 DONT_OPTIMIZE_NODE(NativeFunctionLiteral) | |
1073 | |
1074 DONT_OPTIMIZE_NODE_WITH_FEEDBACK_SLOTS(Yield) | |
1075 | |
1076 // TODO(turbofan): Remove the dont_turbofan_reason once this list is empty. | |
1077 // This list must be kept in sync with Pipeline::GenerateCode. | |
1078 DONT_TURBOFAN_NODE(ForOfStatement) | |
1079 DONT_TURBOFAN_NODE(TryCatchStatement) | |
1080 DONT_TURBOFAN_NODE(TryFinallyStatement) | |
1081 DONT_TURBOFAN_NODE(ClassLiteral) | |
1082 | |
1083 DONT_TURBOFAN_NODE_WITH_FEEDBACK_SLOTS(SuperReference) | |
1084 | |
1085 DONT_SELFOPTIMIZE_NODE(DoWhileStatement) | |
1086 DONT_SELFOPTIMIZE_NODE(WhileStatement) | |
1087 DONT_SELFOPTIMIZE_NODE(ForStatement) | |
1088 | |
1089 DONT_SELFOPTIMIZE_NODE_WITH_FEEDBACK_SLOTS(ForInStatement) | |
1090 | |
1091 DONT_CACHE_NODE(ModuleLiteral) | |
1092 | |
1093 | |
1094 void AstConstructionVisitor::VisitCallRuntime(CallRuntime* node) { | |
1095 } | |
1096 | |
1097 #undef REGULAR_NODE | |
1098 #undef DONT_OPTIMIZE_NODE | |
1099 #undef DONT_SELFOPTIMIZE_NODE | |
1100 #undef DONT_CACHE_NODE | |
1101 | |
1102 | |
1103 uint32_t Literal::Hash() { | 999 uint32_t Literal::Hash() { |
1104 return raw_value()->IsString() | 1000 return raw_value()->IsString() |
1105 ? raw_value()->AsString()->hash() | 1001 ? raw_value()->AsString()->hash() |
1106 : ComputeLongHash(double_to_uint64(raw_value()->AsNumber())); | 1002 : ComputeLongHash(double_to_uint64(raw_value()->AsNumber())); |
1107 } | 1003 } |
1108 | 1004 |
1109 | 1005 |
1110 // static | 1006 // static |
1111 bool Literal::Match(void* literal1, void* literal2) { | 1007 bool Literal::Match(void* literal1, void* literal2) { |
1112 const AstValue* x = static_cast<Literal*>(literal1)->raw_value(); | 1008 const AstValue* x = static_cast<Literal*>(literal1)->raw_value(); |
1113 const AstValue* y = static_cast<Literal*>(literal2)->raw_value(); | 1009 const AstValue* y = static_cast<Literal*>(literal2)->raw_value(); |
1114 return (x->IsString() && y->IsString() && *x->AsString() == *y->AsString()) || | 1010 return (x->IsString() && y->IsString() && *x->AsString() == *y->AsString()) || |
1115 (x->IsNumber() && y->IsNumber() && x->AsNumber() == y->AsNumber()); | 1011 (x->IsNumber() && y->IsNumber() && x->AsNumber() == y->AsNumber()); |
1116 } | 1012 } |
1117 | 1013 |
1118 | 1014 |
1119 } } // namespace v8::internal | 1015 } } // namespace v8::internal |
OLD | NEW |