diff --git a/core/vm/interpreter.go b/core/vm/interpreter.go
index bb961d12a0..1a434a363d 100644
--- a/core/vm/interpreter.go
+++ b/core/vm/interpreter.go
@@ -264,6 +264,10 @@ func (in *EVMInterpreter) Run(contract *Contract, input []byte, readOnly bool) (
 		}
 		// for tracing: this gas consumption event is emitted below in the debug section.
 		if contract.Gas < cost {
+			if seq, isSuper := DecomposeSuperInstruction(op); isSuper {
+				err = in.tryFallbackForSuperInstruction(&pc, seq, contract, stack, mem, callContext)
+				return nil, err
+			}
 			return nil, ErrOutOfGas
 		} else {
 			contract.Gas -= cost
@@ -291,6 +295,7 @@ func (in *EVMInterpreter) Run(contract *Contract, input []byte, readOnly bool) (
 			// cost is explicitly set so that the capture state defer method can get the proper cost
 			// cost is explicitly set so that the capture state defer method can get the proper cost
 			var dynamicCost uint64
+			memLastGasCost := mem.lastGasCost
 			dynamicCost, err = operation.dynamicGas(in.evm, contract, stack, mem, memorySize)
 			cost += dynamicCost // for tracing
 			if err != nil {
@@ -298,6 +303,12 @@ func (in *EVMInterpreter) Run(contract *Contract, input []byte, readOnly bool) (
 			}
 			// for tracing: this gas consumption event is emitted below in the debug section.
 			if contract.Gas < dynamicCost {
+				contract.Gas += operation.constantGas // restore deducted constant gas first
+				mem.lastGasCost = memLastGasCost
+				if seq, isSuper := DecomposeSuperInstruction(op); isSuper {
+					err = in.tryFallbackForSuperInstruction(&pc, seq, contract, stack, mem, callContext)
+					return nil, err
+				}
 				return nil, ErrOutOfGas
 			} else {
 				contract.Gas -= dynamicCost
diff --git a/core/vm/interpreter_si.go b/core/vm/interpreter_si.go
new file mode 100644
index 0000000000..e6d944775f
--- /dev/null
+++ b/core/vm/interpreter_si.go
@@ -0,0 +1,124 @@
+package vm
+
+import (
+	"fmt"
+	"strings"
+
+	"github.com/ethereum/go-ethereum/common/math"
+	"github.com/ethereum/go-ethereum/log"
+)
+
+// superInstructionMap maps super-instruction opcodes to the slice of ordinary opcodes
+// they were fused from.  The mapping comes from the fusion patterns implemented in
+// core/opcodeCompiler/compiler/opCodeProcessor.go (applyFusionPatterns).  When that file
+// is updated with new fusion rules, this map should be kept in sync.
+var superInstructionMap = map[OpCode][]OpCode{
+	AndSwap1PopSwap2Swap1: {AND, SWAP1, POP, SWAP2, SWAP1},
+	Swap2Swap1PopJump:     {SWAP2, SWAP1, POP, JUMP},
+	Swap1PopSwap2Swap1:    {SWAP1, POP, SWAP2, SWAP1},
+	PopSwap2Swap1Pop:      {POP, SWAP2, SWAP1, POP},
+	Push2Jump:             {PUSH2, JUMP}, // PUSH2 embeds 2-byte immediate
+	Push2JumpI:            {PUSH2, JUMPI},
+	Push1Push1:            {PUSH1, PUSH1},
+	Push1Add:              {PUSH1, ADD},
+	Push1Shl:              {PUSH1, SHL},
+	Push1Dup1:             {PUSH1, DUP1},
+	Swap1Pop:              {SWAP1, POP},
+	PopJump:               {POP, JUMP},
+	Pop2:                  {POP, POP},
+	Swap2Swap1:            {SWAP2, SWAP1},
+	Swap2Pop:              {SWAP2, POP},
+	Dup2LT:                {DUP2, LT},
+	JumpIfZero:            {ISZERO, PUSH2, JUMPI}, // PUSH2 embeds 2-byte immediate
+	IsZeroPush2:           {ISZERO, PUSH2},
+	Dup2MStorePush1Add:    {DUP2, MSTORE, PUSH1, ADD},
+	Dup1Push4EqPush2:      {DUP1, PUSH4, EQ, PUSH2},
+	Push1CalldataloadPush1ShrDup1Push4GtPush2:      {PUSH1, CALLDATALOAD, PUSH1, SHR, DUP1, PUSH4, GT, PUSH2},
+	Push1Push1Push1SHLSub:                          {PUSH1, PUSH1, PUSH1, SHL, SUB},
+	AndDup2AddSwap1Dup2LT:                          {AND, DUP2, ADD, SWAP1, DUP2, LT},
+	Swap1Push1Dup1NotSwap2AddAndDup2AddSwap1Dup2LT: {SWAP1, PUSH1, DUP1, NOT, SWAP2, ADD, AND, DUP2, ADD, SWAP1, DUP2, LT},
+	Dup3And:                           {DUP3, AND},
+	Swap2Swap1Dup3SubSwap2Dup3GtPush2: {SWAP2, SWAP1, DUP3, SUB, SWAP2, DUP3, GT, PUSH2},
+	Swap1Dup2:                         {SWAP1, DUP2},
+	SHRSHRDup1MulDup1:                 {SHR, SHR, DUP1, MUL, DUP1},
+	Swap3PopPopPop:                    {SWAP3, POP, POP, POP},
+	SubSLTIsZeroPush2:                 {SUB, SLT, ISZERO, PUSH2},
+	Dup11MulDup3SubMulDup1:            {DUP11, MUL, DUP3, SUB, MUL, DUP1},
+}
+
+// DecomposeSuperInstruction returns the underlying opcode sequence of a fused
+// super-instruction.  If the provided opcode is not a super-instruction (or is
+// unknown), the second return value will be false.
+func DecomposeSuperInstruction(op OpCode) ([]OpCode, bool) {
+	seq, ok := superInstructionMap[op]
+	return seq, ok
+}
+
+// DecomposeSuperInstructionByName works like DecomposeSuperInstruction but takes the
+// textual name (case-insensitive) instead of the opcode constant.
+func DecomposeSuperInstructionByName(name string) ([]OpCode, bool) {
+	op := StringToOp(strings.ToUpper(name))
+	return DecomposeSuperInstruction(op)
+}
+
+func (in *EVMInterpreter) executeSingleOpcode(pc *uint64, op OpCode, contract *Contract, stack *Stack, mem *Memory, callCtx *ScopeContext) error {
+	operation := in.table[op]
+	if operation == nil {
+		return fmt.Errorf("unknown opcode %02x", op)
+	}
+
+	// -------- check static gas --------
+	if contract.Gas < operation.constantGas {
+		return ErrOutOfGas
+	}
+	contract.Gas -= operation.constantGas
+
+	// -------- check dynamic gas  --------
+	var memorySize uint64
+	if operation.memorySize != nil {
+		memSize, overflow := operation.memorySize(stack)
+		if overflow {
+			return ErrGasUintOverflow
+		}
+		if memorySize, overflow = math.SafeMul(toWordSize(memSize), 32); overflow {
+			return ErrGasUintOverflow
+		}
+	}
+
+	if operation.dynamicGas != nil {
+		dyn, err := operation.dynamicGas(in.evm, contract, stack, mem, memorySize)
+		if err != nil {
+			return err
+		}
+		if contract.Gas < dyn {
+			return ErrOutOfGas
+		}
+		contract.Gas -= dyn
+	}
+
+	if memorySize > 0 {
+		mem.Resize(memorySize)
+	}
+
+	// -------- execute --------
+	_, err := operation.execute(pc, in, callCtx)
+	return err
+}
+
+// tryFallbackForSuperInstruction break down superinstruction to normal opcode and execute in sequence, until gas deplete or succeed
+// return nil show successful execution of si or OOG in the middle (and updated pc/gas), shall continue in main loop
+func (in *EVMInterpreter) tryFallbackForSuperInstruction(pc *uint64, seq []OpCode, contract *Contract, stack *Stack, mem *Memory, callCtx *ScopeContext) error {
+	startPC := *pc
+
+	log.Error("[FALLBACK]", "start", startPC, "seqLen", len(seq))
+
+	for _, sub := range seq {
+		log.Error("[FALLBACK-EXEC]", "pc", *pc, "op", sub.String(), "gasBefore", contract.Gas)
+		if err := in.executeSingleOpcode(pc, sub, contract, stack, mem, callCtx); err != nil {
+			log.Error("[FALLBACK-EXEC]", "op", sub.String(), "err", err, "gasLeft", contract.Gas)
+			return err // OutOfGas or other errors, will let upper level handle
+		}
+		log.Error("[FALLBACK-EXEC]", "ok", true, "nextPC", *pc, "gasAfter", contract.Gas)
+	}
+	return nil
+}