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