We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b05c5f8 commit 82f6cd8Copy full SHA for 82f6cd8
1 file changed
rust/src/medium_level_il/instruction.rs
@@ -851,7 +851,7 @@ impl MediumLevelILInstruction {
851
MemPhi(op) => Lifted::MemPhi(LiftedMemPhi {
852
dest_memory: op.dest_memory,
853
// TODO: Make a stronger type for this.
854
- src_memory: self.get_operand_list(0),
+ src_memory: self.get_operand_list(1),
855
}),
856
VarSplit(op) => Lifted::VarSplit(op),
857
SetVarSplit(op) => Lifted::SetVarSplit(LiftedSetVarSplit {
@@ -977,7 +977,7 @@ impl MediumLevelILInstruction {
977
)
978
.expect("Valid intrinsic"),
979
params: self
980
- .get_expr_list(3)
+ .get_expr_list(2)
981
.iter()
982
.map(|expr| expr.lift())
983
.collect(),
0 commit comments