| Index: src/compiler.h
|
| diff --git a/src/compiler.h b/src/compiler.h
|
| index 0e50075021e562cdb227449b4f96cdff1bf4d278..f55c061b5c22ecb499ebb8bd71b1f62c3c773211 100644
|
| --- a/src/compiler.h
|
| +++ b/src/compiler.h
|
| @@ -126,7 +126,8 @@ class CompilationInfo {
|
| kDisableFutureOptimization = 1 << 12,
|
| kSplittingEnabled = 1 << 13,
|
| kBuiltinInliningEnabled = 1 << 14,
|
| - kTypeFeedbackEnabled = 1 << 15
|
| + kTypeFeedbackEnabled = 1 << 15,
|
| + kDeoptimizationEnabled = 1 << 16
|
| };
|
|
|
| explicit CompilationInfo(ParseInfo* parse_info);
|
| @@ -217,6 +218,12 @@ class CompilationInfo {
|
| return GetFlag(kTypeFeedbackEnabled);
|
| }
|
|
|
| + void MarkAsDeoptimizationEnabled() { SetFlag(kDeoptimizationEnabled); }
|
| +
|
| + bool is_deoptimization_enabled() const {
|
| + return GetFlag(kDeoptimizationEnabled);
|
| + }
|
| +
|
| void MarkAsInliningEnabled() { SetFlag(kInliningEnabled); }
|
|
|
| bool is_inlining_enabled() const { return GetFlag(kInliningEnabled); }
|
|
|