2012-02-14 14:14:51 +00:00
|
|
|
// Copyright 2012 the V8 project authors. All rights reserved.
|
2014-04-29 06:42:26 +00:00
|
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
|
|
// found in the LICENSE file.
|
2008-07-03 15:10:15 +00:00
|
|
|
|
|
|
|
#ifndef V8_COMPILER_H_
|
|
|
|
#define V8_COMPILER_H_
|
|
|
|
|
2014-06-03 08:12:43 +00:00
|
|
|
#include "src/allocation.h"
|
|
|
|
#include "src/ast.h"
|
2014-09-24 07:08:27 +00:00
|
|
|
#include "src/bailout-reason.h"
|
2014-06-03 08:12:43 +00:00
|
|
|
#include "src/zone.h"
|
2008-07-03 15:10:15 +00:00
|
|
|
|
2009-05-25 10:05:56 +00:00
|
|
|
namespace v8 {
|
|
|
|
namespace internal {
|
2008-07-03 15:10:15 +00:00
|
|
|
|
2014-06-24 14:03:24 +00:00
|
|
|
class AstValueFactory;
|
2012-12-18 16:25:45 +00:00
|
|
|
class HydrogenCodeStub;
|
2010-10-01 14:10:47 +00:00
|
|
|
|
2013-03-07 15:46:14 +00:00
|
|
|
// ParseRestriction is used to restrict the set of valid statements in a
|
|
|
|
// unit of compilation. Restriction violations cause a syntax error.
|
|
|
|
enum ParseRestriction {
|
|
|
|
NO_PARSE_RESTRICTION, // All expressions are allowed.
|
|
|
|
ONLY_SINGLE_FUNCTION_LITERAL // Only a single FunctionLiteral expression.
|
|
|
|
};
|
|
|
|
|
2013-05-14 22:51:33 +00:00
|
|
|
struct OffsetRange {
|
|
|
|
OffsetRange(int from, int to) : from(from), to(to) {}
|
|
|
|
int from;
|
|
|
|
int to;
|
|
|
|
};
|
|
|
|
|
2014-07-10 10:28:05 +00:00
|
|
|
|
|
|
|
class ScriptData {
|
|
|
|
public:
|
|
|
|
ScriptData(const byte* data, int length);
|
|
|
|
~ScriptData() {
|
|
|
|
if (owns_data_) DeleteArray(data_);
|
|
|
|
}
|
|
|
|
|
|
|
|
const byte* data() const { return data_; }
|
|
|
|
int length() const { return length_; }
|
2014-11-17 12:16:27 +00:00
|
|
|
bool rejected() const { return rejected_; }
|
|
|
|
|
|
|
|
void Reject() { rejected_ = true; }
|
2014-07-10 10:28:05 +00:00
|
|
|
|
|
|
|
void AcquireDataOwnership() {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(!owns_data_);
|
2014-07-10 10:28:05 +00:00
|
|
|
owns_data_ = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ReleaseDataOwnership() {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(owns_data_);
|
2014-07-10 10:28:05 +00:00
|
|
|
owns_data_ = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
2014-11-17 12:16:27 +00:00
|
|
|
bool owns_data_ : 1;
|
|
|
|
bool rejected_ : 1;
|
2014-07-10 10:28:05 +00:00
|
|
|
const byte* data_;
|
|
|
|
int length_;
|
|
|
|
|
|
|
|
DISALLOW_COPY_AND_ASSIGN(ScriptData);
|
|
|
|
};
|
|
|
|
|
2010-02-03 16:12:55 +00:00
|
|
|
// CompilationInfo encapsulates some information known at compile time. It
|
|
|
|
// is constructed based on the resources available at compile-time.
|
2012-07-19 18:58:23 +00:00
|
|
|
class CompilationInfo {
|
2010-01-29 11:55:40 +00:00
|
|
|
public:
|
2014-08-26 14:41:58 +00:00
|
|
|
// Various configuration flags for a compilation, as well as some properties
|
|
|
|
// of the compiled code produced by a compilation.
|
|
|
|
enum Flag {
|
|
|
|
kLazy = 1 << 0,
|
|
|
|
kEval = 1 << 1,
|
|
|
|
kGlobal = 1 << 2,
|
|
|
|
kStrictMode = 1 << 3,
|
|
|
|
kThisHasUses = 1 << 4,
|
|
|
|
kNative = 1 << 5,
|
|
|
|
kDeferredCalling = 1 << 6,
|
|
|
|
kNonDeferredCalling = 1 << 7,
|
|
|
|
kSavesCallerDoubles = 1 << 8,
|
|
|
|
kRequiresFrame = 1 << 9,
|
|
|
|
kMustNotHaveEagerFrame = 1 << 10,
|
|
|
|
kDeoptimizationSupport = 1 << 11,
|
|
|
|
kDebug = 1 << 12,
|
|
|
|
kCompilingForDebugging = 1 << 13,
|
|
|
|
kParseRestriction = 1 << 14,
|
2014-08-26 15:17:57 +00:00
|
|
|
kSerializing = 1 << 15,
|
2014-08-28 08:39:24 +00:00
|
|
|
kContextSpecializing = 1 << 16,
|
2014-08-28 14:35:11 +00:00
|
|
|
kInliningEnabled = 1 << 17,
|
2014-09-24 07:08:27 +00:00
|
|
|
kTypingEnabled = 1 << 18,
|
|
|
|
kDisableFutureOptimization = 1 << 19,
|
2014-10-01 11:41:19 +00:00
|
|
|
kToplevel = 1 << 20
|
2014-08-26 14:41:58 +00:00
|
|
|
};
|
|
|
|
|
2013-06-27 13:03:01 +00:00
|
|
|
CompilationInfo(Handle<JSFunction> closure, Zone* zone);
|
2015-01-21 13:40:32 +00:00
|
|
|
CompilationInfo(Handle<Script> script, Zone* zone);
|
2014-07-30 13:54:45 +00:00
|
|
|
CompilationInfo(Isolate* isolate, Zone* zone);
|
2013-06-12 09:43:22 +00:00
|
|
|
virtual ~CompilationInfo();
|
2012-07-06 09:31:31 +00:00
|
|
|
|
2013-09-05 11:27:22 +00:00
|
|
|
Isolate* isolate() const {
|
2011-03-18 20:35:07 +00:00
|
|
|
return isolate_;
|
|
|
|
}
|
2013-09-09 16:34:40 +00:00
|
|
|
Zone* zone() { return zone_; }
|
|
|
|
bool is_osr() const { return !osr_ast_id_.IsNone(); }
|
2014-08-26 14:41:58 +00:00
|
|
|
bool is_lazy() const { return GetFlag(kLazy); }
|
|
|
|
bool is_eval() const { return GetFlag(kEval); }
|
|
|
|
bool is_global() const { return GetFlag(kGlobal); }
|
|
|
|
StrictMode strict_mode() const {
|
|
|
|
return GetFlag(kStrictMode) ? STRICT : SLOPPY;
|
|
|
|
}
|
2010-10-04 11:35:46 +00:00
|
|
|
FunctionLiteral* function() const { return function_; }
|
2010-10-04 14:30:43 +00:00
|
|
|
Scope* scope() const { return scope_; }
|
2014-11-12 11:34:09 +00:00
|
|
|
Scope* script_scope() const { return script_scope_; }
|
2010-10-04 14:30:43 +00:00
|
|
|
Handle<Code> code() const { return code_; }
|
2010-10-04 11:35:46 +00:00
|
|
|
Handle<JSFunction> closure() const { return closure_; }
|
|
|
|
Handle<SharedFunctionInfo> shared_info() const { return shared_info_; }
|
|
|
|
Handle<Script> script() const { return script_; }
|
2014-09-12 09:12:08 +00:00
|
|
|
void set_script(Handle<Script> script) { script_ = script; }
|
2013-04-18 09:50:46 +00:00
|
|
|
HydrogenCodeStub* code_stub() const {return code_stub_; }
|
2010-10-04 11:35:46 +00:00
|
|
|
v8::Extension* extension() const { return extension_; }
|
2014-04-11 11:44:49 +00:00
|
|
|
ScriptData** cached_data() const { return cached_data_; }
|
Change ScriptCompiler::CompileOptions to allow for two 'cache' modes
(parser or code) and to be explicit about cache consumption or production
(rather than making presence of cached_data imply one or the other.)
Also add a --cache flag to d8, to allow testing the functionality.
-----------------------------
API change
Reason: Currently, V8 supports a 'parser cache' for repeatedly executing the same script. We'd like to add a 2nd mode that would cache code, and would like to let the embedder decide which mode they chose (if any).
Note: Previously, the 'use cached data' property was implied by the presence of the cached data itself. (That is, kNoCompileOptions and source->cached_data != NULL.) That is no longer sufficient, since the presence of data is no longer sufficient to determine /which kind/ of data is present.
Changes from old behaviour:
- If you previously didn't use caching, nothing changes.
Example:
v8::CompileUnbound(isolate, source, kNoCompileOptions);
- If you previously used caching, it worked like this:
- 1st run:
v8::CompileUnbound(isolate, source, kProduceToCache);
Then, source->cached_data would contain the
data-to-be cached. This remains the same, except you
need to tell V8 which type of data you want.
v8::CompileUnbound(isolate, source, kProduceParserCache);
- 2nd run:
v8::CompileUnbound(isolate, source, kNoCompileOptions);
with source->cached_data set to the data you received in
the first run. This will now ignore the cached data, and
you need to explicitly tell V8 to use it:
v8::CompileUnbound(isolate, source, kConsumeParserCache);
-----------------------------
BUG=
R=marja@chromium.org, yangguo@chromium.org
Review URL: https://codereview.chromium.org/389573006
git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@22431 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-07-16 12:18:33 +00:00
|
|
|
ScriptCompiler::CompileOptions compile_options() const {
|
|
|
|
return compile_options_;
|
2014-03-19 13:24:13 +00:00
|
|
|
}
|
2014-09-12 09:12:08 +00:00
|
|
|
ScriptCompiler::ExternalSourceStream* source_stream() const {
|
|
|
|
return source_stream_;
|
|
|
|
}
|
|
|
|
ScriptCompiler::StreamedSource::Encoding source_stream_encoding() const {
|
|
|
|
return source_stream_encoding_;
|
|
|
|
}
|
2012-08-28 11:25:08 +00:00
|
|
|
Handle<Context> context() const { return context_; }
|
2012-08-06 14:13:09 +00:00
|
|
|
BailoutId osr_ast_id() const { return osr_ast_id_; }
|
2013-12-23 14:30:35 +00:00
|
|
|
Handle<Code> unoptimized_code() const { return unoptimized_code_; }
|
2013-01-23 13:52:00 +00:00
|
|
|
int opt_count() const { return opt_count_; }
|
2012-12-18 16:25:45 +00:00
|
|
|
int num_parameters() const;
|
|
|
|
int num_heap_slots() const;
|
|
|
|
Code::Flags flags() const;
|
2010-10-04 11:35:46 +00:00
|
|
|
|
|
|
|
void MarkAsEval() {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(!is_lazy());
|
2014-08-26 14:41:58 +00:00
|
|
|
SetFlag(kEval);
|
2010-02-03 16:12:55 +00:00
|
|
|
}
|
2014-07-08 14:13:50 +00:00
|
|
|
|
2010-10-04 11:35:46 +00:00
|
|
|
void MarkAsGlobal() {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(!is_lazy());
|
2014-08-26 14:41:58 +00:00
|
|
|
SetFlag(kGlobal);
|
2010-02-05 13:57:18 +00:00
|
|
|
}
|
2014-07-08 14:13:50 +00:00
|
|
|
|
2013-11-15 10:52:05 +00:00
|
|
|
void set_parameter_count(int parameter_count) {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(IsStub());
|
2013-11-15 10:52:05 +00:00
|
|
|
parameter_count_ = parameter_count;
|
|
|
|
}
|
2014-01-14 12:04:10 +00:00
|
|
|
|
|
|
|
void set_this_has_uses(bool has_no_uses) {
|
2014-08-26 14:41:58 +00:00
|
|
|
SetFlag(kThisHasUses, has_no_uses);
|
2014-01-14 12:04:10 +00:00
|
|
|
}
|
2014-07-08 14:13:50 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
bool this_has_uses() { return GetFlag(kThisHasUses); }
|
2014-07-08 14:13:50 +00:00
|
|
|
|
2014-03-11 14:41:22 +00:00
|
|
|
void SetStrictMode(StrictMode strict_mode) {
|
2014-08-26 14:41:58 +00:00
|
|
|
SetFlag(kStrictMode, strict_mode == STRICT);
|
2011-02-04 18:15:49 +00:00
|
|
|
}
|
2014-07-08 14:13:50 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void MarkAsNative() { SetFlag(kNative); }
|
2012-12-18 16:25:45 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
bool is_native() const { return GetFlag(kNative); }
|
2012-12-18 16:25:45 +00:00
|
|
|
|
|
|
|
bool is_calling() const {
|
2014-08-26 14:41:58 +00:00
|
|
|
return GetFlag(kDeferredCalling) || GetFlag(kNonDeferredCalling);
|
2012-12-18 16:25:45 +00:00
|
|
|
}
|
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void MarkAsDeferredCalling() { SetFlag(kDeferredCalling); }
|
2012-12-18 16:25:45 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
bool is_deferred_calling() const { return GetFlag(kDeferredCalling); }
|
2012-12-18 16:25:45 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void MarkAsNonDeferredCalling() { SetFlag(kNonDeferredCalling); }
|
2012-12-18 16:25:45 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
bool is_non_deferred_calling() const { return GetFlag(kNonDeferredCalling); }
|
2012-12-18 16:25:45 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void MarkAsSavesCallerDoubles() { SetFlag(kSavesCallerDoubles); }
|
2013-02-04 12:01:59 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
bool saves_caller_doubles() const { return GetFlag(kSavesCallerDoubles); }
|
2013-02-04 12:01:59 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void MarkAsRequiresFrame() { SetFlag(kRequiresFrame); }
|
2013-04-18 15:44:38 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
bool requires_frame() const { return GetFlag(kRequiresFrame); }
|
2013-04-18 15:44:38 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void MarkMustNotHaveEagerFrame() { SetFlag(kMustNotHaveEagerFrame); }
|
2014-05-12 07:49:11 +00:00
|
|
|
|
|
|
|
bool GetMustNotHaveEagerFrame() const {
|
2014-08-26 14:41:58 +00:00
|
|
|
return GetFlag(kMustNotHaveEagerFrame);
|
2014-05-12 07:49:11 +00:00
|
|
|
}
|
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void MarkAsDebug() { SetFlag(kDebug); }
|
2014-05-12 13:47:01 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
bool is_debug() const { return GetFlag(kDebug); }
|
2014-05-12 13:47:01 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void PrepareForSerializing() { SetFlag(kSerializing); }
|
2014-07-08 14:13:50 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
bool will_serialize() const { return GetFlag(kSerializing); }
|
2014-07-08 14:13:50 +00:00
|
|
|
|
2014-08-26 15:17:57 +00:00
|
|
|
void MarkAsContextSpecializing() { SetFlag(kContextSpecializing); }
|
|
|
|
|
|
|
|
bool is_context_specializing() const { return GetFlag(kContextSpecializing); }
|
|
|
|
|
2014-08-28 08:39:24 +00:00
|
|
|
void MarkAsInliningEnabled() { SetFlag(kInliningEnabled); }
|
|
|
|
|
|
|
|
bool is_inlining_enabled() const { return GetFlag(kInliningEnabled); }
|
|
|
|
|
2014-08-28 14:35:11 +00:00
|
|
|
void MarkAsTypingEnabled() { SetFlag(kTypingEnabled); }
|
|
|
|
|
|
|
|
bool is_typing_enabled() const { return GetFlag(kTypingEnabled); }
|
|
|
|
|
2014-09-29 07:53:22 +00:00
|
|
|
void MarkAsToplevel() { SetFlag(kToplevel); }
|
|
|
|
|
|
|
|
bool is_toplevel() const { return GetFlag(kToplevel); }
|
|
|
|
|
2014-05-12 13:47:01 +00:00
|
|
|
bool IsCodePreAgingActive() const {
|
2014-07-08 14:13:50 +00:00
|
|
|
return FLAG_optimize_for_size && FLAG_age_code && !will_serialize() &&
|
|
|
|
!is_debug();
|
2014-05-12 13:47:01 +00:00
|
|
|
}
|
|
|
|
|
2013-03-07 15:46:14 +00:00
|
|
|
void SetParseRestriction(ParseRestriction restriction) {
|
2014-08-26 14:41:58 +00:00
|
|
|
SetFlag(kParseRestriction, restriction != NO_PARSE_RESTRICTION);
|
2013-03-07 15:46:14 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
ParseRestriction parse_restriction() const {
|
2014-08-26 14:41:58 +00:00
|
|
|
return GetFlag(kParseRestriction) ? ONLY_SINGLE_FUNCTION_LITERAL
|
|
|
|
: NO_PARSE_RESTRICTION;
|
2013-03-07 15:46:14 +00:00
|
|
|
}
|
|
|
|
|
2010-10-04 11:35:46 +00:00
|
|
|
void SetFunction(FunctionLiteral* literal) {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(function_ == NULL);
|
2010-10-04 11:35:46 +00:00
|
|
|
function_ = literal;
|
2010-09-30 08:48:37 +00:00
|
|
|
}
|
2014-02-10 21:38:17 +00:00
|
|
|
void PrepareForCompilation(Scope* scope);
|
2014-11-12 11:34:09 +00:00
|
|
|
void SetScriptScope(Scope* script_scope) {
|
|
|
|
DCHECK(script_scope_ == NULL);
|
|
|
|
script_scope_ = script_scope;
|
2011-11-15 13:48:40 +00:00
|
|
|
}
|
2014-11-14 08:21:13 +00:00
|
|
|
void EnsureFeedbackVector();
|
2014-09-18 09:59:53 +00:00
|
|
|
Handle<TypeFeedbackVector> feedback_vector() const {
|
2014-04-30 10:51:01 +00:00
|
|
|
return feedback_vector_;
|
|
|
|
}
|
2010-10-04 14:30:43 +00:00
|
|
|
void SetCode(Handle<Code> code) { code_ = code; }
|
2010-10-04 11:35:46 +00:00
|
|
|
void SetExtension(v8::Extension* extension) {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(!is_lazy());
|
2010-10-04 11:35:46 +00:00
|
|
|
extension_ = extension;
|
2010-09-30 08:48:37 +00:00
|
|
|
}
|
2014-04-11 11:44:49 +00:00
|
|
|
void SetCachedData(ScriptData** cached_data,
|
Change ScriptCompiler::CompileOptions to allow for two 'cache' modes
(parser or code) and to be explicit about cache consumption or production
(rather than making presence of cached_data imply one or the other.)
Also add a --cache flag to d8, to allow testing the functionality.
-----------------------------
API change
Reason: Currently, V8 supports a 'parser cache' for repeatedly executing the same script. We'd like to add a 2nd mode that would cache code, and would like to let the embedder decide which mode they chose (if any).
Note: Previously, the 'use cached data' property was implied by the presence of the cached data itself. (That is, kNoCompileOptions and source->cached_data != NULL.) That is no longer sufficient, since the presence of data is no longer sufficient to determine /which kind/ of data is present.
Changes from old behaviour:
- If you previously didn't use caching, nothing changes.
Example:
v8::CompileUnbound(isolate, source, kNoCompileOptions);
- If you previously used caching, it worked like this:
- 1st run:
v8::CompileUnbound(isolate, source, kProduceToCache);
Then, source->cached_data would contain the
data-to-be cached. This remains the same, except you
need to tell V8 which type of data you want.
v8::CompileUnbound(isolate, source, kProduceParserCache);
- 2nd run:
v8::CompileUnbound(isolate, source, kNoCompileOptions);
with source->cached_data set to the data you received in
the first run. This will now ignore the cached data, and
you need to explicitly tell V8 to use it:
v8::CompileUnbound(isolate, source, kConsumeParserCache);
-----------------------------
BUG=
R=marja@chromium.org, yangguo@chromium.org
Review URL: https://codereview.chromium.org/389573006
git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@22431 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-07-16 12:18:33 +00:00
|
|
|
ScriptCompiler::CompileOptions compile_options) {
|
|
|
|
compile_options_ = compile_options;
|
|
|
|
if (compile_options == ScriptCompiler::kNoCompileOptions) {
|
2014-03-19 13:24:13 +00:00
|
|
|
cached_data_ = NULL;
|
|
|
|
} else {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(!is_lazy());
|
2014-03-19 13:24:13 +00:00
|
|
|
cached_data_ = cached_data;
|
|
|
|
}
|
2010-09-30 08:48:37 +00:00
|
|
|
}
|
2012-08-28 11:25:08 +00:00
|
|
|
void SetContext(Handle<Context> context) {
|
|
|
|
context_ = context;
|
2010-10-04 14:30:43 +00:00
|
|
|
}
|
2013-12-23 14:30:35 +00:00
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void MarkCompilingForDebugging() { SetFlag(kCompilingForDebugging); }
|
|
|
|
bool IsCompilingForDebugging() { return GetFlag(kCompilingForDebugging); }
|
2013-12-23 14:30:35 +00:00
|
|
|
void MarkNonOptimizable() {
|
|
|
|
SetMode(CompilationInfo::NONOPT);
|
|
|
|
}
|
2010-12-07 11:31:57 +00:00
|
|
|
|
2013-08-09 08:24:29 +00:00
|
|
|
bool ShouldTrapOnDeopt() const {
|
|
|
|
return (FLAG_trap_on_deopt && IsOptimizing()) ||
|
|
|
|
(FLAG_trap_on_stub_deopt && IsStub());
|
|
|
|
}
|
|
|
|
|
2010-12-07 11:31:57 +00:00
|
|
|
bool has_global_object() const {
|
2012-08-17 12:59:00 +00:00
|
|
|
return !closure().is_null() &&
|
|
|
|
(closure()->context()->global_object() != NULL);
|
2010-12-07 11:31:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
GlobalObject* global_object() const {
|
2012-08-17 12:59:00 +00:00
|
|
|
return has_global_object() ? closure()->context()->global_object() : NULL;
|
2010-12-07 11:31:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Accessors for the different compilation modes.
|
|
|
|
bool IsOptimizing() const { return mode_ == OPTIMIZE; }
|
|
|
|
bool IsOptimizable() const { return mode_ == BASE; }
|
2012-12-18 16:25:45 +00:00
|
|
|
bool IsStub() const { return mode_ == STUB; }
|
2013-12-23 14:30:35 +00:00
|
|
|
void SetOptimizing(BailoutId osr_ast_id, Handle<Code> unoptimized) {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(!shared_info_.is_null());
|
2010-12-07 11:31:57 +00:00
|
|
|
SetMode(OPTIMIZE);
|
|
|
|
osr_ast_id_ = osr_ast_id;
|
2013-12-23 14:30:35 +00:00
|
|
|
unoptimized_code_ = unoptimized;
|
2014-02-13 16:09:28 +00:00
|
|
|
optimization_id_ = isolate()->NextOptimizationId();
|
2010-12-07 11:31:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Deoptimization support.
|
2011-10-18 13:40:33 +00:00
|
|
|
bool HasDeoptimizationSupport() const {
|
2014-08-26 14:41:58 +00:00
|
|
|
return GetFlag(kDeoptimizationSupport);
|
2011-10-18 13:40:33 +00:00
|
|
|
}
|
2010-12-07 11:31:57 +00:00
|
|
|
void EnableDeoptimizationSupport() {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(IsOptimizable());
|
2014-08-26 14:41:58 +00:00
|
|
|
SetFlag(kDeoptimizationSupport);
|
2010-12-07 11:31:57 +00:00
|
|
|
}
|
|
|
|
|
2014-11-21 17:28:18 +00:00
|
|
|
// Determines whether or not to insert a self-optimization header.
|
|
|
|
bool ShouldSelfOptimize();
|
|
|
|
|
2012-07-06 09:31:31 +00:00
|
|
|
void set_deferred_handles(DeferredHandles* deferred_handles) {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(deferred_handles_ == NULL);
|
2012-07-06 09:31:31 +00:00
|
|
|
deferred_handles_ = deferred_handles;
|
|
|
|
}
|
|
|
|
|
2013-06-26 16:17:12 +00:00
|
|
|
ZoneList<Handle<HeapObject> >* dependencies(
|
|
|
|
DependentCode::DependencyGroup group) {
|
|
|
|
if (dependencies_[group] == NULL) {
|
|
|
|
dependencies_[group] = new(zone_) ZoneList<Handle<HeapObject> >(2, zone_);
|
2013-06-12 09:43:22 +00:00
|
|
|
}
|
2013-06-26 16:17:12 +00:00
|
|
|
return dependencies_[group];
|
2013-06-12 09:43:22 +00:00
|
|
|
}
|
|
|
|
|
2013-06-26 16:17:12 +00:00
|
|
|
void CommitDependencies(Handle<Code> code);
|
2013-06-12 09:43:22 +00:00
|
|
|
|
2013-06-26 16:17:12 +00:00
|
|
|
void RollbackDependencies();
|
2013-06-12 09:43:22 +00:00
|
|
|
|
2012-07-19 18:58:23 +00:00
|
|
|
void SaveHandles() {
|
|
|
|
SaveHandle(&closure_);
|
|
|
|
SaveHandle(&shared_info_);
|
2012-08-28 11:25:08 +00:00
|
|
|
SaveHandle(&context_);
|
2012-07-19 18:58:23 +00:00
|
|
|
SaveHandle(&script_);
|
2013-12-23 14:30:35 +00:00
|
|
|
SaveHandle(&unoptimized_code_);
|
2012-07-19 18:58:23 +00:00
|
|
|
}
|
|
|
|
|
2014-09-24 07:08:27 +00:00
|
|
|
void AbortOptimization(BailoutReason reason) {
|
2015-01-13 14:36:50 +00:00
|
|
|
DCHECK(reason != kNoReason);
|
|
|
|
if (bailout_reason_ == kNoReason) bailout_reason_ = reason;
|
2014-09-24 07:08:27 +00:00
|
|
|
SetFlag(kDisableFutureOptimization);
|
|
|
|
}
|
|
|
|
|
|
|
|
void RetryOptimization(BailoutReason reason) {
|
2015-01-13 14:36:50 +00:00
|
|
|
DCHECK(reason != kNoReason);
|
|
|
|
if (GetFlag(kDisableFutureOptimization)) return;
|
|
|
|
bailout_reason_ = reason;
|
2014-09-24 07:08:27 +00:00
|
|
|
}
|
|
|
|
|
2013-08-02 09:53:11 +00:00
|
|
|
BailoutReason bailout_reason() const { return bailout_reason_; }
|
2012-08-28 07:18:06 +00:00
|
|
|
|
2012-11-29 07:38:00 +00:00
|
|
|
int prologue_offset() const {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK_NE(Code::kPrologueOffsetNotSet, prologue_offset_);
|
2012-11-29 07:38:00 +00:00
|
|
|
return prologue_offset_;
|
|
|
|
}
|
|
|
|
|
|
|
|
void set_prologue_offset(int prologue_offset) {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK_EQ(Code::kPrologueOffsetNotSet, prologue_offset_);
|
2012-11-29 07:38:00 +00:00
|
|
|
prologue_offset_ = prologue_offset;
|
|
|
|
}
|
|
|
|
|
2013-05-14 22:51:33 +00:00
|
|
|
// Adds offset range [from, to) where fp register does not point
|
|
|
|
// to the current frame base. Used in CPU profiler to detect stack
|
|
|
|
// samples where top frame is not set up.
|
|
|
|
inline void AddNoFrameRange(int from, int to) {
|
|
|
|
if (no_frame_ranges_) no_frame_ranges_->Add(OffsetRange(from, to));
|
|
|
|
}
|
|
|
|
|
|
|
|
List<OffsetRange>* ReleaseNoFrameRanges() {
|
|
|
|
List<OffsetRange>* result = no_frame_ranges_;
|
|
|
|
no_frame_ranges_ = NULL;
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2013-06-12 09:43:22 +00:00
|
|
|
Handle<Foreign> object_wrapper() {
|
|
|
|
if (object_wrapper_.is_null()) {
|
|
|
|
object_wrapper_ =
|
|
|
|
isolate()->factory()->NewForeign(reinterpret_cast<Address>(this));
|
|
|
|
}
|
|
|
|
return object_wrapper_;
|
|
|
|
}
|
|
|
|
|
2013-06-26 16:17:12 +00:00
|
|
|
void AbortDueToDependencyChange() {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(!OptimizingCompilerThread::IsOptimizerThread(isolate()));
|
2014-10-01 11:41:19 +00:00
|
|
|
aborted_due_to_dependency_change_ = true;
|
2013-06-12 09:43:22 +00:00
|
|
|
}
|
|
|
|
|
2014-09-24 07:08:27 +00:00
|
|
|
bool HasAbortedDueToDependencyChange() const {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(!OptimizingCompilerThread::IsOptimizerThread(isolate()));
|
2014-10-01 11:41:19 +00:00
|
|
|
return aborted_due_to_dependency_change_;
|
2013-06-12 09:43:22 +00:00
|
|
|
}
|
|
|
|
|
2013-12-23 14:30:35 +00:00
|
|
|
bool HasSameOsrEntry(Handle<JSFunction> function, BailoutId osr_ast_id) {
|
|
|
|
return osr_ast_id_ == osr_ast_id && function.is_identical_to(closure_);
|
2013-09-04 12:55:59 +00:00
|
|
|
}
|
|
|
|
|
2014-02-13 16:09:28 +00:00
|
|
|
int optimization_id() const { return optimization_id_; }
|
|
|
|
|
2014-06-24 14:03:24 +00:00
|
|
|
AstValueFactory* ast_value_factory() const { return ast_value_factory_; }
|
|
|
|
void SetAstValueFactory(AstValueFactory* ast_value_factory,
|
|
|
|
bool owned = true) {
|
|
|
|
ast_value_factory_ = ast_value_factory;
|
|
|
|
ast_value_factory_owned_ = owned;
|
|
|
|
}
|
|
|
|
|
2013-06-12 09:43:22 +00:00
|
|
|
protected:
|
2013-06-24 13:37:46 +00:00
|
|
|
CompilationInfo(Handle<SharedFunctionInfo> shared_info,
|
2013-06-27 13:03:01 +00:00
|
|
|
Zone* zone);
|
2013-06-24 13:37:46 +00:00
|
|
|
CompilationInfo(HydrogenCodeStub* stub,
|
|
|
|
Isolate* isolate,
|
2013-06-27 13:03:01 +00:00
|
|
|
Zone* zone);
|
2014-09-12 09:12:08 +00:00
|
|
|
CompilationInfo(ScriptCompiler::ExternalSourceStream* source_stream,
|
|
|
|
ScriptCompiler::StreamedSource::Encoding encoding,
|
|
|
|
Isolate* isolate, Zone* zone);
|
|
|
|
|
2013-05-14 22:51:33 +00:00
|
|
|
|
2010-10-04 11:35:46 +00:00
|
|
|
private:
|
2011-03-18 20:35:07 +00:00
|
|
|
Isolate* isolate_;
|
|
|
|
|
2010-12-07 11:31:57 +00:00
|
|
|
// Compilation mode.
|
|
|
|
// BASE is generated by the full codegen, optionally prepared for bailouts.
|
|
|
|
// OPTIMIZE is optimized code generated by the Hydrogen-based backend.
|
2012-02-14 14:14:51 +00:00
|
|
|
// NONOPT is generated by the full codegen and is not prepared for
|
|
|
|
// recompilation/bailouts. These functions are never recompiled.
|
2010-12-07 11:31:57 +00:00
|
|
|
enum Mode {
|
|
|
|
BASE,
|
|
|
|
OPTIMIZE,
|
2012-12-18 16:25:45 +00:00
|
|
|
NONOPT,
|
2013-08-12 14:10:25 +00:00
|
|
|
STUB
|
2010-12-07 11:31:57 +00:00
|
|
|
};
|
|
|
|
|
2013-06-27 13:03:01 +00:00
|
|
|
void Initialize(Isolate* isolate, Mode mode, Zone* zone);
|
2010-12-07 11:31:57 +00:00
|
|
|
|
|
|
|
void SetMode(Mode mode) {
|
|
|
|
mode_ = mode;
|
|
|
|
}
|
|
|
|
|
2014-08-26 14:41:58 +00:00
|
|
|
void SetFlag(Flag flag) { flags_ |= flag; }
|
|
|
|
|
|
|
|
void SetFlag(Flag flag, bool value) {
|
|
|
|
flags_ = value ? flags_ | flag : flags_ & ~flag;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool GetFlag(Flag flag) const { return (flags_ & flag) != 0; }
|
2010-10-04 11:35:46 +00:00
|
|
|
|
|
|
|
unsigned flags_;
|
|
|
|
|
|
|
|
// Fields filled in by the compilation pipeline.
|
2010-10-04 14:30:43 +00:00
|
|
|
// AST filled in by the parser.
|
2010-10-04 11:35:46 +00:00
|
|
|
FunctionLiteral* function_;
|
2010-10-27 09:19:43 +00:00
|
|
|
// The scope of the function literal as a convenience. Set to indicate
|
2010-10-04 14:30:43 +00:00
|
|
|
// that scopes have been analyzed.
|
2010-10-04 11:35:46 +00:00
|
|
|
Scope* scope_;
|
2014-11-12 11:34:09 +00:00
|
|
|
// The script scope provided as a convenience.
|
|
|
|
Scope* script_scope_;
|
2012-12-18 16:25:45 +00:00
|
|
|
// For compiled stubs, the stub object
|
|
|
|
HydrogenCodeStub* code_stub_;
|
2010-10-04 14:30:43 +00:00
|
|
|
// The compiled code.
|
|
|
|
Handle<Code> code_;
|
2010-09-30 08:48:37 +00:00
|
|
|
|
2010-10-04 11:35:46 +00:00
|
|
|
// Possible initial inputs to the compilation process.
|
|
|
|
Handle<JSFunction> closure_;
|
|
|
|
Handle<SharedFunctionInfo> shared_info_;
|
|
|
|
Handle<Script> script_;
|
2014-09-12 09:12:08 +00:00
|
|
|
ScriptCompiler::ExternalSourceStream* source_stream_; // Not owned.
|
|
|
|
ScriptCompiler::StreamedSource::Encoding source_stream_encoding_;
|
2010-09-30 08:48:37 +00:00
|
|
|
|
2010-10-04 11:35:46 +00:00
|
|
|
// Fields possibly needed for eager compilation, NULL by default.
|
|
|
|
v8::Extension* extension_;
|
2014-04-11 11:44:49 +00:00
|
|
|
ScriptData** cached_data_;
|
Change ScriptCompiler::CompileOptions to allow for two 'cache' modes
(parser or code) and to be explicit about cache consumption or production
(rather than making presence of cached_data imply one or the other.)
Also add a --cache flag to d8, to allow testing the functionality.
-----------------------------
API change
Reason: Currently, V8 supports a 'parser cache' for repeatedly executing the same script. We'd like to add a 2nd mode that would cache code, and would like to let the embedder decide which mode they chose (if any).
Note: Previously, the 'use cached data' property was implied by the presence of the cached data itself. (That is, kNoCompileOptions and source->cached_data != NULL.) That is no longer sufficient, since the presence of data is no longer sufficient to determine /which kind/ of data is present.
Changes from old behaviour:
- If you previously didn't use caching, nothing changes.
Example:
v8::CompileUnbound(isolate, source, kNoCompileOptions);
- If you previously used caching, it worked like this:
- 1st run:
v8::CompileUnbound(isolate, source, kProduceToCache);
Then, source->cached_data would contain the
data-to-be cached. This remains the same, except you
need to tell V8 which type of data you want.
v8::CompileUnbound(isolate, source, kProduceParserCache);
- 2nd run:
v8::CompileUnbound(isolate, source, kNoCompileOptions);
with source->cached_data set to the data you received in
the first run. This will now ignore the cached data, and
you need to explicitly tell V8 to use it:
v8::CompileUnbound(isolate, source, kConsumeParserCache);
-----------------------------
BUG=
R=marja@chromium.org, yangguo@chromium.org
Review URL: https://codereview.chromium.org/389573006
git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@22431 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-07-16 12:18:33 +00:00
|
|
|
ScriptCompiler::CompileOptions compile_options_;
|
2010-09-30 08:48:37 +00:00
|
|
|
|
2014-11-12 11:34:09 +00:00
|
|
|
// The context of the caller for eval code, and the script context for a
|
2012-08-28 11:25:08 +00:00
|
|
|
// global script. Will be a null handle otherwise.
|
|
|
|
Handle<Context> context_;
|
2010-10-04 14:30:43 +00:00
|
|
|
|
2014-04-30 10:51:01 +00:00
|
|
|
// Used by codegen, ultimately kept rooted by the SharedFunctionInfo.
|
2014-09-18 09:59:53 +00:00
|
|
|
Handle<TypeFeedbackVector> feedback_vector_;
|
2014-04-30 10:51:01 +00:00
|
|
|
|
2010-12-07 11:31:57 +00:00
|
|
|
// Compilation mode flag and whether deoptimization is allowed.
|
|
|
|
Mode mode_;
|
2012-08-06 14:13:09 +00:00
|
|
|
BailoutId osr_ast_id_;
|
2013-12-05 16:17:44 +00:00
|
|
|
// The unoptimized code we patched for OSR may not be the shared code
|
|
|
|
// afterwards, since we may need to compile it again to include deoptimization
|
|
|
|
// data. Keep track which code we patched.
|
2013-12-23 14:30:35 +00:00
|
|
|
Handle<Code> unoptimized_code_;
|
2010-12-07 11:31:57 +00:00
|
|
|
|
2012-06-20 08:58:41 +00:00
|
|
|
// The zone from which the compilation pipeline working on this
|
|
|
|
// CompilationInfo allocates.
|
|
|
|
Zone* zone_;
|
|
|
|
|
2012-07-06 09:31:31 +00:00
|
|
|
DeferredHandles* deferred_handles_;
|
|
|
|
|
2013-06-26 16:17:12 +00:00
|
|
|
ZoneList<Handle<HeapObject> >* dependencies_[DependentCode::kGroupCount];
|
2013-06-12 09:43:22 +00:00
|
|
|
|
2012-07-19 18:58:23 +00:00
|
|
|
template<typename T>
|
|
|
|
void SaveHandle(Handle<T> *object) {
|
|
|
|
if (!object->is_null()) {
|
|
|
|
Handle<T> handle(*(*object));
|
|
|
|
*object = handle;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-08-02 09:53:11 +00:00
|
|
|
BailoutReason bailout_reason_;
|
2012-08-28 07:18:06 +00:00
|
|
|
|
2012-11-29 07:38:00 +00:00
|
|
|
int prologue_offset_;
|
|
|
|
|
2013-05-14 22:51:33 +00:00
|
|
|
List<OffsetRange>* no_frame_ranges_;
|
|
|
|
|
2013-01-23 13:52:00 +00:00
|
|
|
// A copy of shared_info()->opt_count() to avoid handle deref
|
|
|
|
// during graph optimization.
|
|
|
|
int opt_count_;
|
|
|
|
|
2013-11-15 10:52:05 +00:00
|
|
|
// Number of parameters used for compilation of stubs that require arguments.
|
|
|
|
int parameter_count_;
|
|
|
|
|
2013-06-12 09:43:22 +00:00
|
|
|
Handle<Foreign> object_wrapper_;
|
|
|
|
|
2014-02-13 16:09:28 +00:00
|
|
|
int optimization_id_;
|
|
|
|
|
2014-06-24 14:03:24 +00:00
|
|
|
AstValueFactory* ast_value_factory_;
|
|
|
|
bool ast_value_factory_owned_;
|
|
|
|
|
2014-10-01 11:41:19 +00:00
|
|
|
// This flag is used by the main thread to track whether this compilation
|
|
|
|
// should be abandoned due to dependency change.
|
|
|
|
bool aborted_due_to_dependency_change_;
|
|
|
|
|
2010-10-04 11:35:46 +00:00
|
|
|
DISALLOW_COPY_AND_ASSIGN(CompilationInfo);
|
2010-01-29 11:55:40 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
2012-06-20 08:58:41 +00:00
|
|
|
// Exactly like a CompilationInfo, except also creates and enters a
|
|
|
|
// Zone on construction and deallocates it on exit.
|
|
|
|
class CompilationInfoWithZone: public CompilationInfo {
|
|
|
|
public:
|
|
|
|
explicit CompilationInfoWithZone(Handle<Script> script)
|
2013-06-27 13:03:01 +00:00
|
|
|
: CompilationInfo(script, &zone_),
|
|
|
|
zone_(script->GetIsolate()) {}
|
2012-06-20 08:58:41 +00:00
|
|
|
explicit CompilationInfoWithZone(Handle<SharedFunctionInfo> shared_info)
|
2013-06-27 13:03:01 +00:00
|
|
|
: CompilationInfo(shared_info, &zone_),
|
|
|
|
zone_(shared_info->GetIsolate()) {}
|
2012-06-20 08:58:41 +00:00
|
|
|
explicit CompilationInfoWithZone(Handle<JSFunction> closure)
|
2013-06-27 13:03:01 +00:00
|
|
|
: CompilationInfo(closure, &zone_),
|
|
|
|
zone_(closure->GetIsolate()) {}
|
2013-06-12 09:43:22 +00:00
|
|
|
CompilationInfoWithZone(HydrogenCodeStub* stub, Isolate* isolate)
|
2013-06-27 13:03:01 +00:00
|
|
|
: CompilationInfo(stub, isolate, &zone_),
|
|
|
|
zone_(isolate) {}
|
2014-09-12 09:12:08 +00:00
|
|
|
CompilationInfoWithZone(ScriptCompiler::ExternalSourceStream* stream,
|
|
|
|
ScriptCompiler::StreamedSource::Encoding encoding,
|
|
|
|
Isolate* isolate)
|
|
|
|
: CompilationInfo(stream, encoding, isolate, &zone_), zone_(isolate) {}
|
2012-06-20 08:58:41 +00:00
|
|
|
|
2013-06-12 09:43:22 +00:00
|
|
|
// Virtual destructor because a CompilationInfoWithZone has to exit the
|
|
|
|
// zone scope and get rid of dependent maps even when the destructor is
|
|
|
|
// called when cast as a CompilationInfo.
|
|
|
|
virtual ~CompilationInfoWithZone() {
|
2013-06-26 16:17:12 +00:00
|
|
|
RollbackDependencies();
|
2013-06-12 09:43:22 +00:00
|
|
|
}
|
|
|
|
|
2012-06-20 08:58:41 +00:00
|
|
|
private:
|
|
|
|
Zone zone_;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2012-07-06 09:31:31 +00:00
|
|
|
// A wrapper around a CompilationInfo that detaches the Handles from
|
|
|
|
// the underlying DeferredHandleScope and stores them in info_ on
|
|
|
|
// destruction.
|
|
|
|
class CompilationHandleScope BASE_EMBEDDED {
|
|
|
|
public:
|
|
|
|
explicit CompilationHandleScope(CompilationInfo* info)
|
|
|
|
: deferred_(info->isolate()), info_(info) {}
|
|
|
|
~CompilationHandleScope() {
|
|
|
|
info_->set_deferred_handles(deferred_.Detach());
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
DeferredHandleScope deferred_;
|
|
|
|
CompilationInfo* info_;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2012-07-17 16:24:40 +00:00
|
|
|
class HGraph;
|
2012-12-18 16:25:45 +00:00
|
|
|
class HOptimizedGraphBuilder;
|
2012-07-17 16:24:40 +00:00
|
|
|
class LChunk;
|
|
|
|
|
|
|
|
// A helper class that calls the three compilation phases in
|
|
|
|
// Crankshaft and keeps track of its state. The three phases
|
|
|
|
// CreateGraph, OptimizeGraph and GenerateAndInstallCode can either
|
|
|
|
// fail, bail-out to the full code generator or succeed. Apart from
|
|
|
|
// their return value, the status of the phase last run can be checked
|
|
|
|
// using last_status().
|
2013-12-23 14:30:35 +00:00
|
|
|
class OptimizedCompileJob: public ZoneObject {
|
2012-07-17 16:24:40 +00:00
|
|
|
public:
|
2013-12-23 14:30:35 +00:00
|
|
|
explicit OptimizedCompileJob(CompilationInfo* info)
|
2012-07-17 16:24:40 +00:00
|
|
|
: info_(info),
|
|
|
|
graph_builder_(NULL),
|
|
|
|
graph_(NULL),
|
|
|
|
chunk_(NULL),
|
2013-10-01 08:40:33 +00:00
|
|
|
last_status_(FAILED),
|
|
|
|
awaiting_install_(false) { }
|
2012-07-17 16:24:40 +00:00
|
|
|
|
|
|
|
enum Status {
|
|
|
|
FAILED, BAILED_OUT, SUCCEEDED
|
|
|
|
};
|
|
|
|
|
|
|
|
MUST_USE_RESULT Status CreateGraph();
|
|
|
|
MUST_USE_RESULT Status OptimizeGraph();
|
2013-12-23 14:30:35 +00:00
|
|
|
MUST_USE_RESULT Status GenerateCode();
|
2012-07-17 16:24:40 +00:00
|
|
|
|
|
|
|
Status last_status() const { return last_status_; }
|
|
|
|
CompilationInfo* info() const { return info_; }
|
2013-02-25 14:46:09 +00:00
|
|
|
Isolate* isolate() const { return info()->isolate(); }
|
2012-07-17 16:24:40 +00:00
|
|
|
|
2014-09-24 07:08:27 +00:00
|
|
|
Status RetryOptimization(BailoutReason reason) {
|
|
|
|
info_->RetryOptimization(reason);
|
2013-12-23 14:30:35 +00:00
|
|
|
return SetLastStatus(BAILED_OUT);
|
|
|
|
}
|
|
|
|
|
2014-09-24 07:08:27 +00:00
|
|
|
Status AbortOptimization(BailoutReason reason) {
|
|
|
|
info_->AbortOptimization(reason);
|
2012-07-19 18:58:23 +00:00
|
|
|
return SetLastStatus(BAILED_OUT);
|
|
|
|
}
|
|
|
|
|
2013-09-25 08:26:11 +00:00
|
|
|
void WaitForInstall() {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(info_->is_osr());
|
2013-09-25 08:26:11 +00:00
|
|
|
awaiting_install_ = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool IsWaitingForInstall() { return awaiting_install_; }
|
|
|
|
|
2012-07-17 16:24:40 +00:00
|
|
|
private:
|
|
|
|
CompilationInfo* info_;
|
2012-12-18 16:25:45 +00:00
|
|
|
HOptimizedGraphBuilder* graph_builder_;
|
2012-07-17 16:24:40 +00:00
|
|
|
HGraph* graph_;
|
|
|
|
LChunk* chunk_;
|
2014-06-30 13:25:46 +00:00
|
|
|
base::TimeDelta time_taken_to_create_graph_;
|
|
|
|
base::TimeDelta time_taken_to_optimize_;
|
|
|
|
base::TimeDelta time_taken_to_codegen_;
|
2012-07-17 16:24:40 +00:00
|
|
|
Status last_status_;
|
2013-09-25 08:26:11 +00:00
|
|
|
bool awaiting_install_;
|
2012-07-17 16:24:40 +00:00
|
|
|
|
|
|
|
MUST_USE_RESULT Status SetLastStatus(Status status) {
|
|
|
|
last_status_ = status;
|
|
|
|
return last_status_;
|
|
|
|
}
|
|
|
|
void RecordOptimizationStats();
|
|
|
|
|
|
|
|
struct Timer {
|
2014-06-30 13:25:46 +00:00
|
|
|
Timer(OptimizedCompileJob* job, base::TimeDelta* location)
|
2013-09-25 10:01:18 +00:00
|
|
|
: job_(job), location_(location) {
|
2014-08-04 11:34:54 +00:00
|
|
|
DCHECK(location_ != NULL);
|
2013-08-29 09:15:13 +00:00
|
|
|
timer_.Start();
|
|
|
|
}
|
2012-07-17 16:24:40 +00:00
|
|
|
|
|
|
|
~Timer() {
|
2013-08-29 09:15:13 +00:00
|
|
|
*location_ += timer_.Elapsed();
|
2012-07-17 16:24:40 +00:00
|
|
|
}
|
|
|
|
|
2013-12-23 14:30:35 +00:00
|
|
|
OptimizedCompileJob* job_;
|
2014-06-30 13:25:46 +00:00
|
|
|
base::ElapsedTimer timer_;
|
|
|
|
base::TimeDelta* location_;
|
2012-07-17 16:24:40 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
|
2008-07-03 15:10:15 +00:00
|
|
|
// The V8 compiler
|
|
|
|
//
|
|
|
|
// General strategy: Source code is translated into an anonymous function w/o
|
|
|
|
// parameters which then can be executed. If the source code contains other
|
|
|
|
// functions, they will be compiled and allocated as part of the compilation
|
|
|
|
// of the source code.
|
|
|
|
|
2010-10-04 14:30:43 +00:00
|
|
|
// Please note this interface returns shared function infos. This means you
|
|
|
|
// need to call Factory::NewFunctionFromSharedFunctionInfo before you have a
|
|
|
|
// real function with a context.
|
2008-07-03 15:10:15 +00:00
|
|
|
|
|
|
|
class Compiler : public AllStatic {
|
|
|
|
public:
|
2014-04-22 14:55:47 +00:00
|
|
|
MUST_USE_RESULT static MaybeHandle<Code> GetUnoptimizedCode(
|
|
|
|
Handle<JSFunction> function);
|
2014-09-17 15:29:42 +00:00
|
|
|
MUST_USE_RESULT static MaybeHandle<Code> GetLazyCode(
|
|
|
|
Handle<JSFunction> function);
|
2014-04-22 14:55:47 +00:00
|
|
|
MUST_USE_RESULT static MaybeHandle<Code> GetUnoptimizedCode(
|
|
|
|
Handle<SharedFunctionInfo> shared);
|
2014-09-17 15:29:42 +00:00
|
|
|
MUST_USE_RESULT static MaybeHandle<Code> GetDebugCode(
|
2014-04-22 14:55:47 +00:00
|
|
|
Handle<JSFunction> function);
|
2012-02-09 10:19:46 +00:00
|
|
|
|
2014-10-28 13:23:54 +00:00
|
|
|
// Parser::Parse, then Compiler::Analyze.
|
|
|
|
static bool ParseAndAnalyze(CompilationInfo* info);
|
|
|
|
// Rewrite, analyze scopes, and renumber.
|
|
|
|
static bool Analyze(CompilationInfo* info);
|
|
|
|
// Adds deoptimization support, requires ParseAndAnalyze.
|
|
|
|
static bool EnsureDeoptimizationSupport(CompilationInfo* info);
|
|
|
|
|
2014-09-18 09:02:36 +00:00
|
|
|
static bool EnsureCompiled(Handle<JSFunction> function,
|
|
|
|
ClearExceptionFlag flag);
|
|
|
|
|
2013-12-23 14:30:35 +00:00
|
|
|
static void CompileForLiveEdit(Handle<Script> script);
|
2008-07-03 15:10:15 +00:00
|
|
|
|
2013-12-23 14:30:35 +00:00
|
|
|
// Compile a String source within a context for eval.
|
2014-04-17 05:41:58 +00:00
|
|
|
MUST_USE_RESULT static MaybeHandle<JSFunction> GetFunctionFromEval(
|
2014-10-28 10:00:37 +00:00
|
|
|
Handle<String> source, Handle<SharedFunctionInfo> outer_info,
|
|
|
|
Handle<Context> context, StrictMode strict_mode,
|
|
|
|
ParseRestriction restriction, int scope_position);
|
2008-07-03 15:10:15 +00:00
|
|
|
|
2013-12-23 14:30:35 +00:00
|
|
|
// Compile a String source within a context.
|
2014-03-19 13:24:13 +00:00
|
|
|
static Handle<SharedFunctionInfo> CompileScript(
|
Change ScriptCompiler::CompileOptions to allow for two 'cache' modes
(parser or code) and to be explicit about cache consumption or production
(rather than making presence of cached_data imply one or the other.)
Also add a --cache flag to d8, to allow testing the functionality.
-----------------------------
API change
Reason: Currently, V8 supports a 'parser cache' for repeatedly executing the same script. We'd like to add a 2nd mode that would cache code, and would like to let the embedder decide which mode they chose (if any).
Note: Previously, the 'use cached data' property was implied by the presence of the cached data itself. (That is, kNoCompileOptions and source->cached_data != NULL.) That is no longer sufficient, since the presence of data is no longer sufficient to determine /which kind/ of data is present.
Changes from old behaviour:
- If you previously didn't use caching, nothing changes.
Example:
v8::CompileUnbound(isolate, source, kNoCompileOptions);
- If you previously used caching, it worked like this:
- 1st run:
v8::CompileUnbound(isolate, source, kProduceToCache);
Then, source->cached_data would contain the
data-to-be cached. This remains the same, except you
need to tell V8 which type of data you want.
v8::CompileUnbound(isolate, source, kProduceParserCache);
- 2nd run:
v8::CompileUnbound(isolate, source, kNoCompileOptions);
with source->cached_data set to the data you received in
the first run. This will now ignore the cached data, and
you need to explicitly tell V8 to use it:
v8::CompileUnbound(isolate, source, kConsumeParserCache);
-----------------------------
BUG=
R=marja@chromium.org, yangguo@chromium.org
Review URL: https://codereview.chromium.org/389573006
git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@22431 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
2014-07-16 12:18:33 +00:00
|
|
|
Handle<String> source, Handle<Object> script_name, int line_offset,
|
|
|
|
int column_offset, bool is_shared_cross_origin, Handle<Context> context,
|
|
|
|
v8::Extension* extension, ScriptData** cached_data,
|
|
|
|
ScriptCompiler::CompileOptions compile_options,
|
2014-03-19 13:24:13 +00:00
|
|
|
NativesFlag is_natives_code);
|
2013-12-23 14:30:35 +00:00
|
|
|
|
2014-09-12 09:12:08 +00:00
|
|
|
static Handle<SharedFunctionInfo> CompileStreamedScript(CompilationInfo* info,
|
|
|
|
int source_length);
|
|
|
|
|
2013-12-23 14:30:35 +00:00
|
|
|
// Create a shared function info object (the code may be lazily compiled).
|
2014-08-06 13:09:34 +00:00
|
|
|
static Handle<SharedFunctionInfo> BuildFunctionInfo(FunctionLiteral* node,
|
|
|
|
Handle<Script> script,
|
|
|
|
CompilationInfo* outer);
|
2009-11-04 17:59:24 +00:00
|
|
|
|
2013-12-23 14:30:35 +00:00
|
|
|
enum ConcurrencyMode { NOT_CONCURRENT, CONCURRENT };
|
2010-02-04 15:35:42 +00:00
|
|
|
|
2013-12-23 14:30:35 +00:00
|
|
|
// Generate and return optimized code or start a concurrent optimization job.
|
|
|
|
// In the latter case, return the InOptimizationQueue builtin. On failure,
|
|
|
|
// return the empty handle.
|
2014-04-22 14:55:47 +00:00
|
|
|
MUST_USE_RESULT static MaybeHandle<Code> GetOptimizedCode(
|
2013-12-23 14:30:35 +00:00
|
|
|
Handle<JSFunction> function,
|
|
|
|
Handle<Code> current_code,
|
|
|
|
ConcurrencyMode mode,
|
|
|
|
BailoutId osr_ast_id = BailoutId::None());
|
2013-09-04 12:55:59 +00:00
|
|
|
|
2013-12-23 14:30:35 +00:00
|
|
|
// Generate and return code from previously queued optimization job.
|
|
|
|
// On failure, return the empty handle.
|
|
|
|
static Handle<Code> GetConcurrentlyOptimizedCode(OptimizedCompileJob* job);
|
2010-10-04 14:30:43 +00:00
|
|
|
|
2014-09-12 09:12:08 +00:00
|
|
|
static bool DebuggerWantsEagerCompilation(
|
|
|
|
CompilationInfo* info, bool allow_lazy_without_ctx = false);
|
2008-07-03 15:10:15 +00:00
|
|
|
};
|
|
|
|
|
2009-05-14 12:18:25 +00:00
|
|
|
|
2013-06-25 12:22:26 +00:00
|
|
|
class CompilationPhase BASE_EMBEDDED {
|
|
|
|
public:
|
2013-06-27 13:03:01 +00:00
|
|
|
CompilationPhase(const char* name, CompilationInfo* info);
|
2013-06-25 12:22:26 +00:00
|
|
|
~CompilationPhase();
|
|
|
|
|
|
|
|
protected:
|
|
|
|
bool ShouldProduceTraceOutput() const;
|
|
|
|
|
|
|
|
const char* name() const { return name_; }
|
2013-06-27 13:09:08 +00:00
|
|
|
CompilationInfo* info() const { return info_; }
|
|
|
|
Isolate* isolate() const { return info()->isolate(); }
|
2013-06-27 13:03:01 +00:00
|
|
|
Zone* zone() { return &zone_; }
|
2013-06-25 12:22:26 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
const char* name_;
|
2013-06-27 13:03:01 +00:00
|
|
|
CompilationInfo* info_;
|
|
|
|
Zone zone_;
|
|
|
|
unsigned info_zone_start_allocation_size_;
|
2014-06-30 13:25:46 +00:00
|
|
|
base::ElapsedTimer timer_;
|
2013-06-25 12:22:26 +00:00
|
|
|
|
|
|
|
DISALLOW_COPY_AND_ASSIGN(CompilationPhase);
|
|
|
|
};
|
|
|
|
|
2008-07-03 15:10:15 +00:00
|
|
|
} } // namespace v8::internal
|
|
|
|
|
|
|
|
#endif // V8_COMPILER_H_
|