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/compiler.h" | 5 #include "src/compiler.h" |
6 | 6 |
7 #include <algorithm> | 7 #include <algorithm> |
8 #include <memory> | 8 #include <memory> |
9 | 9 |
10 #include "src/asmjs/asm-js.h" | 10 #include "src/asmjs/asm-js.h" |
(...skipping 233 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
244 AddWeakObjectToCodeDependency(isolate, object, code); | 244 AddWeakObjectToCodeDependency(isolate, object, code); |
245 } | 245 } |
246 code->set_can_have_weak_objects(true); | 246 code->set_can_have_weak_objects(true); |
247 } | 247 } |
248 | 248 |
249 // ---------------------------------------------------------------------------- | 249 // ---------------------------------------------------------------------------- |
250 // Local helper methods that make up the compilation pipeline. | 250 // Local helper methods that make up the compilation pipeline. |
251 | 251 |
252 namespace { | 252 namespace { |
253 | 253 |
254 bool IsEvalToplevel(Handle<SharedFunctionInfo> shared) { | |
255 return shared->is_toplevel() && shared->script()->IsScript() && | |
256 Script::cast(shared->script())->compilation_type() == | |
257 Script::COMPILATION_TYPE_EVAL; | |
258 } | |
259 | |
260 bool Parse(ParseInfo* info) { | 254 bool Parse(ParseInfo* info) { |
261 // Create a canonical handle scope if compiling ignition bytecode. This is | 255 // Create a canonical handle scope if compiling ignition bytecode. This is |
262 // required by the constant array builder to de-duplicate objects without | 256 // required by the constant array builder to de-duplicate objects without |
263 // dereferencing handles. | 257 // dereferencing handles. |
264 std::unique_ptr<CanonicalHandleScope> canonical; | 258 std::unique_ptr<CanonicalHandleScope> canonical; |
265 if (FLAG_ignition) canonical.reset(new CanonicalHandleScope(info->isolate())); | 259 if (FLAG_ignition) canonical.reset(new CanonicalHandleScope(info->isolate())); |
266 | 260 |
267 return Parser::ParseStatic(info); | 261 return Parser::ParseStatic(info); |
268 } | 262 } |
269 | 263 |
(...skipping 428 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
698 // TurboFan can optimize directly from existing bytecode. | 692 // TurboFan can optimize directly from existing bytecode. |
699 if (FLAG_turbo_from_bytecode && use_turbofan && ShouldUseIgnition(info)) { | 693 if (FLAG_turbo_from_bytecode && use_turbofan && ShouldUseIgnition(info)) { |
700 if (info->is_osr() && !ignition_osr) return MaybeHandle<Code>(); | 694 if (info->is_osr() && !ignition_osr) return MaybeHandle<Code>(); |
701 if (!Compiler::EnsureBytecode(info)) { | 695 if (!Compiler::EnsureBytecode(info)) { |
702 if (isolate->has_pending_exception()) isolate->clear_pending_exception(); | 696 if (isolate->has_pending_exception()) isolate->clear_pending_exception(); |
703 return MaybeHandle<Code>(); | 697 return MaybeHandle<Code>(); |
704 } | 698 } |
705 info->MarkAsOptimizeFromBytecode(); | 699 info->MarkAsOptimizeFromBytecode(); |
706 } | 700 } |
707 | 701 |
708 if (IsEvalToplevel(shared)) { | |
709 parse_info->set_eval(); | |
710 parse_info->set_allow_lazy_parsing(false); | |
711 } | |
712 | |
713 // Verify that OSR compilations are delegated to the correct graph builder. | 702 // Verify that OSR compilations are delegated to the correct graph builder. |
714 // Depending on the underlying frame the semantics of the {BailoutId} differ | 703 // Depending on the underlying frame the semantics of the {BailoutId} differ |
715 // and the various graph builders hard-code a certain semantic: | 704 // and the various graph builders hard-code a certain semantic: |
716 // - Interpreter : The BailoutId represents a bytecode offset. | 705 // - Interpreter : The BailoutId represents a bytecode offset. |
717 // - FullCodegen : The BailoutId represents the id of an AST node. | 706 // - FullCodegen : The BailoutId represents the id of an AST node. |
718 DCHECK_IMPLIES(info->is_osr() && ignition_osr, | 707 DCHECK_IMPLIES(info->is_osr() && ignition_osr, |
719 info->is_optimizing_from_bytecode()); | 708 info->is_optimizing_from_bytecode()); |
720 DCHECK_IMPLIES(info->is_osr() && !ignition_osr, | 709 DCHECK_IMPLIES(info->is_osr() && !ignition_osr, |
721 !info->is_optimizing_from_bytecode()); | 710 !info->is_optimizing_from_bytecode()); |
722 | 711 |
(...skipping 504 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1227 } | 1216 } |
1228 | 1217 |
1229 bool Compiler::CompileDebugCode(Handle<JSFunction> function) { | 1218 bool Compiler::CompileDebugCode(Handle<JSFunction> function) { |
1230 Isolate* isolate = function->GetIsolate(); | 1219 Isolate* isolate = function->GetIsolate(); |
1231 DCHECK(AllowCompilation::IsAllowed(isolate)); | 1220 DCHECK(AllowCompilation::IsAllowed(isolate)); |
1232 | 1221 |
1233 // Start a compilation. | 1222 // Start a compilation. |
1234 Zone zone(isolate->allocator()); | 1223 Zone zone(isolate->allocator()); |
1235 ParseInfo parse_info(&zone, function); | 1224 ParseInfo parse_info(&zone, function); |
1236 CompilationInfo info(&parse_info, Handle<JSFunction>::null()); | 1225 CompilationInfo info(&parse_info, Handle<JSFunction>::null()); |
1237 if (IsEvalToplevel(handle(function->shared()))) { | |
1238 parse_info.set_eval(); | |
1239 parse_info.set_allow_lazy_parsing(false); | |
1240 } | |
1241 info.MarkAsDebug(); | 1226 info.MarkAsDebug(); |
1242 if (GetUnoptimizedCode(&info).is_null()) { | 1227 if (GetUnoptimizedCode(&info).is_null()) { |
1243 isolate->clear_pending_exception(); | 1228 isolate->clear_pending_exception(); |
1244 return false; | 1229 return false; |
1245 } | 1230 } |
1246 | 1231 |
1247 // Check postconditions on success. | 1232 // Check postconditions on success. |
1248 DCHECK(!isolate->has_pending_exception()); | 1233 DCHECK(!isolate->has_pending_exception()); |
1249 DCHECK(function->shared()->is_compiled()); | 1234 DCHECK(function->shared()->is_compiled()); |
1250 DCHECK(function->shared()->HasDebugCode()); | 1235 DCHECK(function->shared()->HasDebugCode()); |
1251 return true; | 1236 return true; |
1252 } | 1237 } |
1253 | 1238 |
1254 bool Compiler::CompileDebugCode(Handle<SharedFunctionInfo> shared) { | 1239 bool Compiler::CompileDebugCode(Handle<SharedFunctionInfo> shared) { |
1255 Isolate* isolate = shared->GetIsolate(); | 1240 Isolate* isolate = shared->GetIsolate(); |
1256 DCHECK(AllowCompilation::IsAllowed(isolate)); | 1241 DCHECK(AllowCompilation::IsAllowed(isolate)); |
1257 | 1242 |
1258 // Start a compilation. | 1243 // Start a compilation. |
1259 Zone zone(isolate->allocator()); | 1244 Zone zone(isolate->allocator()); |
1260 ParseInfo parse_info(&zone, shared); | 1245 ParseInfo parse_info(&zone, shared); |
1261 CompilationInfo info(&parse_info, Handle<JSFunction>::null()); | 1246 CompilationInfo info(&parse_info, Handle<JSFunction>::null()); |
1262 if (IsEvalToplevel(shared)) { | |
1263 parse_info.set_eval(); | |
1264 parse_info.set_allow_lazy_parsing(false); | |
1265 } | |
1266 info.MarkAsDebug(); | 1247 info.MarkAsDebug(); |
1267 if (GetUnoptimizedCode(&info).is_null()) { | 1248 if (GetUnoptimizedCode(&info).is_null()) { |
1268 isolate->clear_pending_exception(); | 1249 isolate->clear_pending_exception(); |
1269 return false; | 1250 return false; |
1270 } | 1251 } |
1271 | 1252 |
1272 // Check postconditions on success. | 1253 // Check postconditions on success. |
1273 DCHECK(!isolate->has_pending_exception()); | 1254 DCHECK(!isolate->has_pending_exception()); |
1274 DCHECK(shared->is_compiled()); | 1255 DCHECK(shared->is_compiled()); |
1275 DCHECK(shared->HasDebugCode()); | 1256 DCHECK(shared->HasDebugCode()); |
(...skipping 577 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1853 DCHECK(shared->is_compiled()); | 1834 DCHECK(shared->is_compiled()); |
1854 function->set_literals(cached.literals); | 1835 function->set_literals(cached.literals); |
1855 } else if (shared->is_compiled()) { | 1836 } else if (shared->is_compiled()) { |
1856 // TODO(mvstanton): pass pretenure flag to EnsureLiterals. | 1837 // TODO(mvstanton): pass pretenure flag to EnsureLiterals. |
1857 JSFunction::EnsureLiterals(function); | 1838 JSFunction::EnsureLiterals(function); |
1858 } | 1839 } |
1859 } | 1840 } |
1860 | 1841 |
1861 } // namespace internal | 1842 } // namespace internal |
1862 } // namespace v8 | 1843 } // namespace v8 |
OLD | NEW |