| OLD | NEW |
| 1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 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/v8.h" | 5 #include "src/v8.h" |
| 6 | 6 |
| 7 // Required to get M_E etc. in MSVC. | 7 // Required to get M_E etc. in MSVC. |
| 8 #if defined(_WIN32) | 8 #if defined(_WIN32) |
| 9 #define _USE_MATH_DEFINES | 9 #define _USE_MATH_DEFINES |
| 10 #endif | 10 #endif |
| (...skipping 219 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 230 if (!in_function_) { | 230 if (!in_function_) { |
| 231 marking_exported = false; | 231 marking_exported = false; |
| 232 } | 232 } |
| 233 } | 233 } |
| 234 | 234 |
| 235 void VisitWithStatement(WithStatement* stmt) { UNREACHABLE(); } | 235 void VisitWithStatement(WithStatement* stmt) { UNREACHABLE(); } |
| 236 | 236 |
| 237 void SetLocalTo(uint16_t index, int value) { | 237 void SetLocalTo(uint16_t index, int value) { |
| 238 current_function_builder_->Emit(kExprSetLocal); | 238 current_function_builder_->Emit(kExprSetLocal); |
| 239 AddLeb128(index, true); | 239 AddLeb128(index, true); |
| 240 byte code[] = {WASM_I32(value)}; | 240 // TODO(bradnelson): variable size |
| 241 byte code[] = {WASM_I32V(value)}; |
| 241 current_function_builder_->EmitCode(code, sizeof(code)); | 242 current_function_builder_->EmitCode(code, sizeof(code)); |
| 242 block_size_++; | 243 block_size_++; |
| 243 } | 244 } |
| 244 | 245 |
| 245 void CompileCase(CaseClause* clause, uint16_t fall_through, | 246 void CompileCase(CaseClause* clause, uint16_t fall_through, |
| 246 VariableProxy* tag) { | 247 VariableProxy* tag) { |
| 247 Literal* label = clause->label()->AsLiteral(); | 248 Literal* label = clause->label()->AsLiteral(); |
| 248 DCHECK_NOT_NULL(label); | 249 DCHECK_NOT_NULL(label); |
| 249 block_size_++; | 250 block_size_++; |
| 250 current_function_builder_->Emit(kExprIf); | 251 current_function_builder_->Emit(kExprIf); |
| (...skipping 207 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 458 } | 459 } |
| 459 } | 460 } |
| 460 | 461 |
| 461 void VisitLiteral(Literal* expr) { | 462 void VisitLiteral(Literal* expr) { |
| 462 if (in_function_) { | 463 if (in_function_) { |
| 463 if (expr->raw_value()->IsNumber()) { | 464 if (expr->raw_value()->IsNumber()) { |
| 464 LocalType type = TypeOf(expr); | 465 LocalType type = TypeOf(expr); |
| 465 switch (type) { | 466 switch (type) { |
| 466 case kAstI32: { | 467 case kAstI32: { |
| 467 int val = static_cast<int>(expr->raw_value()->AsNumber()); | 468 int val = static_cast<int>(expr->raw_value()->AsNumber()); |
| 468 byte code[] = {WASM_I32(val)}; | 469 // TODO(bradnelson): variable size |
| 470 byte code[] = {WASM_I32V(val)}; |
| 469 current_function_builder_->EmitCode(code, sizeof(code)); | 471 current_function_builder_->EmitCode(code, sizeof(code)); |
| 470 break; | 472 break; |
| 471 } | 473 } |
| 472 case kAstF32: { | 474 case kAstF32: { |
| 473 float val = static_cast<float>(expr->raw_value()->AsNumber()); | 475 float val = static_cast<float>(expr->raw_value()->AsNumber()); |
| 474 byte code[] = {WASM_F32(val)}; | 476 byte code[] = {WASM_F32(val)}; |
| 475 current_function_builder_->EmitCode(code, sizeof(code)); | 477 current_function_builder_->EmitCode(code, sizeof(code)); |
| 476 break; | 478 break; |
| 477 } | 479 } |
| 478 case kAstF64: { | 480 case kAstF64: { |
| (...skipping 256 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 735 return; | 737 return; |
| 736 } | 738 } |
| 737 } | 739 } |
| 738 } else { | 740 } else { |
| 739 MaybeHandle<Object> maybe_nvalue = | 741 MaybeHandle<Object> maybe_nvalue = |
| 740 i::Object::ToInt32(isolate_, value); | 742 i::Object::ToInt32(isolate_, value); |
| 741 if (!maybe_nvalue.is_null()) { | 743 if (!maybe_nvalue.is_null()) { |
| 742 Handle<Object> nvalue = maybe_nvalue.ToHandleChecked(); | 744 Handle<Object> nvalue = maybe_nvalue.ToHandleChecked(); |
| 743 if (nvalue->IsNumber()) { | 745 if (nvalue->IsNumber()) { |
| 744 int32_t val = static_cast<int32_t>(nvalue->Number()); | 746 int32_t val = static_cast<int32_t>(nvalue->Number()); |
| 745 byte code[] = {WASM_I32(val)}; | 747 // TODO(bradnelson): variable size |
| 748 byte code[] = {WASM_I32V(val)}; |
| 746 current_function_builder_->EmitCode(code, sizeof(code)); | 749 current_function_builder_->EmitCode(code, sizeof(code)); |
| 747 return; | 750 return; |
| 748 } | 751 } |
| 749 } | 752 } |
| 750 } | 753 } |
| 751 } | 754 } |
| 752 } | 755 } |
| 753 if (is_float) { | 756 if (is_float) { |
| 754 byte code[] = {WASM_F64(std::numeric_limits<double>::quiet_NaN())}; | 757 byte code[] = {WASM_F64(std::numeric_limits<double>::quiet_NaN())}; |
| 755 current_function_builder_->EmitCode(code, sizeof(code)); | 758 current_function_builder_->EmitCode(code, sizeof(code)); |
| 756 } else { | 759 } else { |
| 757 byte code[] = {WASM_I32(0)}; | 760 byte code[] = {WASM_I32V_1(0)}; |
| 758 current_function_builder_->EmitCode(code, sizeof(code)); | 761 current_function_builder_->EmitCode(code, sizeof(code)); |
| 759 } | 762 } |
| 760 } | 763 } |
| 761 | 764 |
| 762 void VisitProperty(Property* expr) { | 765 void VisitProperty(Property* expr) { |
| 763 Expression* obj = expr->obj(); | 766 Expression* obj = expr->obj(); |
| 764 DCHECK_EQ(obj->bounds().lower, obj->bounds().upper); | 767 DCHECK_EQ(obj->bounds().lower, obj->bounds().upper); |
| 765 Type* type = obj->bounds().lower; | 768 Type* type = obj->bounds().lower; |
| 766 MachineType mtype; | 769 MachineType mtype; |
| 767 int size; | 770 int size; |
| (...skipping 37 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 805 // Early versions of Emscripten emit HEAP8[HEAP32[..]|0] in | 808 // Early versions of Emscripten emit HEAP8[HEAP32[..]|0] in |
| 806 // places that strictly should be HEAP8[HEAP32[..]>>0]. | 809 // places that strictly should be HEAP8[HEAP32[..]>>0]. |
| 807 RECURSE(Visit(expr->key())); | 810 RECURSE(Visit(expr->key())); |
| 808 return; | 811 return; |
| 809 } else { | 812 } else { |
| 810 Literal* value = expr->key()->AsLiteral(); | 813 Literal* value = expr->key()->AsLiteral(); |
| 811 if (value) { | 814 if (value) { |
| 812 DCHECK(value->raw_value()->IsNumber()); | 815 DCHECK(value->raw_value()->IsNumber()); |
| 813 DCHECK_EQ(kAstI32, TypeOf(value)); | 816 DCHECK_EQ(kAstI32, TypeOf(value)); |
| 814 int val = static_cast<int>(value->raw_value()->AsNumber()); | 817 int val = static_cast<int>(value->raw_value()->AsNumber()); |
| 815 byte code[] = {WASM_I32(val * size)}; | 818 // TODO(bradnelson): variable size |
| 819 byte code[] = {WASM_I32V(val * size)}; |
| 816 current_function_builder_->EmitCode(code, sizeof(code)); | 820 current_function_builder_->EmitCode(code, sizeof(code)); |
| 817 return; | 821 return; |
| 818 } | 822 } |
| 819 BinaryOperation* binop = expr->key()->AsBinaryOperation(); | 823 BinaryOperation* binop = expr->key()->AsBinaryOperation(); |
| 820 if (binop) { | 824 if (binop) { |
| 821 DCHECK_EQ(Token::SAR, binop->op()); | 825 DCHECK_EQ(Token::SAR, binop->op()); |
| 822 DCHECK(binop->right()->AsLiteral()->raw_value()->IsNumber()); | 826 DCHECK(binop->right()->AsLiteral()->raw_value()->IsNumber()); |
| 823 DCHECK(kAstI32 == TypeOf(binop->right()->AsLiteral())); | 827 DCHECK(kAstI32 == TypeOf(binop->right()->AsLiteral())); |
| 824 DCHECK_EQ(size, | 828 DCHECK_EQ(size, |
| 825 1 << static_cast<int>( | 829 1 << static_cast<int>( |
| (...skipping 224 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1050 case Call::KEYED_PROPERTY_CALL: { | 1054 case Call::KEYED_PROPERTY_CALL: { |
| 1051 DCHECK(in_function_); | 1055 DCHECK(in_function_); |
| 1052 Property* p = expr->expression()->AsProperty(); | 1056 Property* p = expr->expression()->AsProperty(); |
| 1053 DCHECK_NOT_NULL(p); | 1057 DCHECK_NOT_NULL(p); |
| 1054 VariableProxy* var = p->obj()->AsVariableProxy(); | 1058 VariableProxy* var = p->obj()->AsVariableProxy(); |
| 1055 DCHECK_NOT_NULL(var); | 1059 DCHECK_NOT_NULL(var); |
| 1056 FunctionTableIndices* indices = LookupFunctionTable(var->var()); | 1060 FunctionTableIndices* indices = LookupFunctionTable(var->var()); |
| 1057 current_function_builder_->EmitWithU8(kExprCallIndirect, | 1061 current_function_builder_->EmitWithU8(kExprCallIndirect, |
| 1058 indices->signature_index); | 1062 indices->signature_index); |
| 1059 current_function_builder_->Emit(kExprI32Add); | 1063 current_function_builder_->Emit(kExprI32Add); |
| 1060 byte code[] = {WASM_I32(indices->start_index)}; | 1064 // TODO(bradnelson): variable size |
| 1065 byte code[] = {WASM_I32V(indices->start_index)}; |
| 1061 current_function_builder_->EmitCode(code, sizeof(code)); | 1066 current_function_builder_->EmitCode(code, sizeof(code)); |
| 1062 RECURSE(Visit(p->key())); | 1067 RECURSE(Visit(p->key())); |
| 1063 break; | 1068 break; |
| 1064 } | 1069 } |
| 1065 default: | 1070 default: |
| 1066 UNREACHABLE(); | 1071 UNREACHABLE(); |
| 1067 } | 1072 } |
| 1068 VisitCallArgs(expr); | 1073 VisitCallArgs(expr); |
| 1069 } | 1074 } |
| 1070 | 1075 |
| (...skipping 441 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1512 // that zone in constructor may be thrown away once wasm module is written. | 1517 // that zone in constructor may be thrown away once wasm module is written. |
| 1513 WasmModuleIndex* AsmWasmBuilder::Run() { | 1518 WasmModuleIndex* AsmWasmBuilder::Run() { |
| 1514 AsmWasmBuilderImpl impl(isolate_, zone_, literal_, foreign_, typer_); | 1519 AsmWasmBuilderImpl impl(isolate_, zone_, literal_, foreign_, typer_); |
| 1515 impl.Compile(); | 1520 impl.Compile(); |
| 1516 WasmModuleWriter* writer = impl.builder_->Build(zone_); | 1521 WasmModuleWriter* writer = impl.builder_->Build(zone_); |
| 1517 return writer->WriteTo(zone_); | 1522 return writer->WriteTo(zone_); |
| 1518 } | 1523 } |
| 1519 } // namespace wasm | 1524 } // namespace wasm |
| 1520 } // namespace internal | 1525 } // namespace internal |
| 1521 } // namespace v8 | 1526 } // namespace v8 |
| OLD | NEW |