Fix x7l

mohanson · mohanson · commit 744d62804033 · 2025-11-11T19:46:20.000+08:00
diff --git a/src/instructions/execute.rs b/src/instructions/execute.rs
@@ -1518,7 +1518,7 @@ pub fn handle_lpad<Mac: Machine>(machine: &mut Mac, inst: Instruction) -> Result
     }
     // If landing pad label not matched -> software-check exception
     let lpl = Utype(inst).immediate_u();
-    let x7l = machine.registers()[T2].to_u32() & 0xFFFFF000;
+    let x7l = (machine.registers()[T2].to_u32() & 0xFFFFF000) >> 12;
     if lpl != x7l && lpl != 0 {
         return Err(Error::ShadowStackSoftwareCheckException);
     }

Original file line number	Diff line number	Diff line change
`@@ -1518,7 +1518,7 @@ pub fn handle_lpad<Mac: Machine>(machine: &mut Mac, inst: Instruction) -> Result`
`1518`	`1518`	`}`
`1519`	`1519`	`// If landing pad label not matched -> software-check exception`
`1520`	`1520`	`let lpl = Utype(inst).immediate_u();`
`1521`		`- let x7l = machine.registers()[T2].to_u32() & 0xFFFFF000;`
	`1521`	`+ let x7l = (machine.registers()[T2].to_u32() & 0xFFFFF000) >> 12;`
`1522`	`1522`	`if lpl != x7l && lpl != 0 {`
`1523`	`1523`	`return Err(Error::ShadowStackSoftwareCheckException);`
`1524`	`1524`	`}`