case Instruction::Ret: // 求解return返回的值 result = eval(ki, 0, state).value;
// 考虑是否需要进行 coercion
// bindLocal caller指令 的 dest cell 的 value bindLocal(kcaller, state, result);
case Instruction::Br:
case Instruction::IndirectBr: case Instruction::Switch: case Instruction::Unreachable: case Instruction::Invoke: case Instruction::Call: case Instruction::PHI: case Instruction::Select: case Instruction::VAArg: case Instruction::Add: case Instruction::Sub: case Instruction::Mul: case Instruction::UDiv: case Instruction::SDiv: case Instruction::URem: case Instruction::SRem: case Instruction::And: case Instruction::Or: case Instruction::Xor: case Instruction::Shl: case Instruction::LShr: case Instruction::AShr: case Instruction::ICmp: case Instruction::Alloca: case Instruction::Load: case Instruction::Store: case Instruction::GetElementPtr: case Instruction::Trunc: case Instruction::ZExt: case Instruction::SExt: case Instruction::IntToPtr: case Instruction::PtrToInt: case Instruction::BitCast: case Instruction::FNeg: case Instruction::FAdd: case Instruction::FSub: case Instruction::FMul: case Instruction::FDiv: case Instruction::FRem: case Instruction::FPTrunc: case Instruction::FPExt: case Instruction::FPToUI: case Instruction::FPToSI: case Instruction::UIToFP: case Instruction::SIToFP: case Instruction::FCmp: case Instruction::InsertValue: case Instruction::ExtractValue: case Instruction::Fence: case Instruction::InsertElement: case Instruction::ExtractElement: case Instruction::ShuffleVector: case Instruction::Resume: case Instruction::LandingPad: case Instruction::AtomicRMW: case Instruction::AtomicCmpXchg: