Reland of [ignition/turbo] Perform liveness analysis on the bytecodes

src/interpreter/bytecodes.h

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef V8_INTERPRETER_BYTECODES_H_
 #define V8_INTERPRETER_BYTECODES_H_
 
 #include <cstdint>
 #include <iosfwd>
 #include <string>
@@ skipping 453 matching lines @@
            bytecode == Bytecode::kJumpIfUndefinedConstant;
   }
 
   // Returns true if the bytecode is a conditional jump taking
   // any kind of operand.
   static CONSTEXPR bool IsConditionalJump(Bytecode bytecode) {
     return IsConditionalJumpImmediate(bytecode) ||
            IsConditionalJumpConstant(bytecode);
   }
 
+  // Returns true if the bytecode is an unconditional jump.
+  static CONSTEXPR bool IsUnconditionalJump(Bytecode bytecode) {
+    return bytecode == Bytecode::kJump || bytecode == Bytecode::kJumpConstant ||
+           bytecode == Bytecode::kJumpLoop;
+  }
+
   // Returns true if the bytecode is a jump or a conditional jump taking
   // an immediate byte operand (OperandType::kImm).
   static CONSTEXPR bool IsJumpImmediate(Bytecode bytecode) {
     return bytecode == Bytecode::kJump || bytecode == Bytecode::kJumpLoop ||
            IsConditionalJumpImmediate(bytecode);
   }
 
   // Returns true if the bytecode is a jump or conditional jump taking a
   // constant pool entry (OperandType::kIdx).
   static CONSTEXPR bool IsJumpConstant(Bytecode bytecode) {
     return bytecode == Bytecode::kJumpConstant ||
            IsConditionalJumpConstant(bytecode);
   }
 
   // Returns true if the bytecode is a jump that internally coerces the
   // accumulator to a boolean.
   static CONSTEXPR bool IsJumpIfToBoolean(Bytecode bytecode) {
     return bytecode == Bytecode::kJumpIfToBooleanTrue ||
            bytecode == Bytecode::kJumpIfToBooleanFalse ||
            bytecode == Bytecode::kJumpIfToBooleanTrueConstant ||
            bytecode == Bytecode::kJumpIfToBooleanFalseConstant;
   }
 
   // Returns true if the bytecode is a jump or conditional jump taking
   // any kind of operand.
   static CONSTEXPR bool IsJump(Bytecode bytecode) {
     return IsJumpImmediate(bytecode) || IsJumpConstant(bytecode);
   }
 
+  // Returns true if the bytecode is a forward jump or conditional jump taking
+  // any kind of operand.
+  static CONSTEXPR bool IsForwardJump(Bytecode bytecode) {
+    return bytecode != Bytecode::kJumpLoop && IsJump(bytecode);
+  }
+
   // Returns true if the bytecode is a conditional jump, a jump, or a return.
   static CONSTEXPR bool IsJumpOrReturn(Bytecode bytecode) {
     return bytecode == Bytecode::kReturn || IsJump(bytecode);
   }
 
   // Return true if |bytecode| is a jump without effects,
   // e.g.  any jump excluding those that include type coercion like
   // JumpIfTrueToBoolean.
   static CONSTEXPR bool IsJumpWithoutEffects(Bytecode bytecode) {
     return IsJump(bytecode) && !IsJumpIfToBoolean(bytecode);
@@ skipping 228 matching lines @@
 #undef CONSTEXPR
 
 V8_EXPORT_PRIVATE std::ostream& operator<<(std::ostream& os,
                                            const Bytecode& bytecode);
 
 }  // namespace interpreter
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_INTERPRETER_BYTECODES_H_