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); } |