OLD | NEW |
1 // Copyright 2016 the V8 project authors. All rights reserved. | 1 // Copyright 2016 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/asmjs/asm-typer.h" | 5 #include "src/asmjs/asm-typer.h" |
6 | 6 |
7 #include <algorithm> | 7 #include <algorithm> |
8 #include <limits> | 8 #include <limits> |
9 #include <memory> | 9 #include <memory> |
10 #include <string> | 10 #include <string> |
11 | 11 |
12 #include "src/v8.h" | 12 #include "src/v8.h" |
13 | 13 |
14 #include "src/asmjs/asm-types.h" | 14 #include "src/asmjs/asm-types.h" |
15 #include "src/ast/ast.h" | 15 #include "src/ast/ast.h" |
16 #include "src/ast/scopes.h" | 16 #include "src/ast/scopes.h" |
17 #include "src/base/bits.h" | 17 #include "src/base/bits.h" |
18 #include "src/codegen.h" | 18 #include "src/codegen.h" |
19 #include "src/globals.h" | 19 #include "src/globals.h" |
| 20 #include "src/messages.h" |
20 #include "src/utils.h" | 21 #include "src/utils.h" |
21 | 22 |
22 #define FAIL(node, msg) \ | 23 #define FAIL(node, msg) \ |
23 do { \ | 24 do { \ |
24 int line = node->position() == kNoSourcePosition \ | 25 MessageLocation location(handle(script_), node->position(), \ |
25 ? -1 \ | 26 node->position()); \ |
26 : script_->GetLineNumber(node->position()); \ | 27 Handle<String> message(isolate_->factory()->InternalizeOneByteString( \ |
27 base::OS::SNPrintF(error_message_, sizeof(error_message_), \ | 28 STATIC_CHAR_VECTOR(msg))); \ |
28 "asm: line %d: %s", line + 1, msg); \ | 29 error_message_ = MessageHandler::MakeMessageObject( \ |
29 return AsmType::None(); \ | 30 isolate_, MessageTemplate::kAsmJsInvalid, &location, message, \ |
| 31 Handle<JSArray>::null()); \ |
| 32 return AsmType::None(); \ |
30 } while (false) | 33 } while (false) |
31 | 34 |
32 #define RECURSE(call) \ | 35 #define RECURSE(call) \ |
33 do { \ | 36 do { \ |
34 if (GetCurrentStackPosition() < stack_limit_) { \ | 37 if (GetCurrentStackPosition() < stack_limit_) { \ |
35 stack_overflow_ = true; \ | 38 stack_overflow_ = true; \ |
36 FAIL(root_, "Stack overflow while parsing asm.js module."); \ | 39 FAIL(root_, "Stack overflow while parsing asm.js module."); \ |
37 } \ | 40 } \ |
38 \ | 41 \ |
39 AsmType* result = (call); \ | 42 AsmType* result = (call); \ |
(...skipping 2801 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2841 | 2844 |
2842 if (!heap_var_info->IsHeap()) { | 2845 if (!heap_var_info->IsHeap()) { |
2843 FAIL(heap, | 2846 FAIL(heap, |
2844 "Heap view creation parameter should be the module's heap parameter."); | 2847 "Heap view creation parameter should be the module's heap parameter."); |
2845 } | 2848 } |
2846 | 2849 |
2847 DCHECK(heap_view_info->type()->IsA(AsmType::Heap())); | 2850 DCHECK(heap_view_info->type()->IsA(AsmType::Heap())); |
2848 return heap_view_info->type(); | 2851 return heap_view_info->type(); |
2849 } | 2852 } |
2850 | 2853 |
2851 bool IsValidAsm(Isolate* isolate, Zone* zone, Script* script, | |
2852 FunctionLiteral* root, std::string* error_message) { | |
2853 error_message->clear(); | |
2854 | |
2855 AsmTyper typer(isolate, zone, script, root); | |
2856 if (typer.Validate()) { | |
2857 return true; | |
2858 } | |
2859 | |
2860 *error_message = typer.error_message(); | |
2861 return false; | |
2862 } | |
2863 | |
2864 } // namespace wasm | 2854 } // namespace wasm |
2865 } // namespace internal | 2855 } // namespace internal |
2866 } // namespace v8 | 2856 } // namespace v8 |
OLD | NEW |