diff options
| -rw-r--r-- | x86/x64.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/x86/x64.sail b/x86/x64.sail index 99da122f..2f6f07ed 100644 --- a/x86/x64.sail +++ b/x86/x64.sail @@ -310,11 +310,11 @@ function qword call_dest_from_ea ((ea) e) = case (Ea_m(_, a)) -> rMEM(a, 8) } -function qword get_ea_address ((ea) e) = (* XXX rmn30 looks broken *) +function qword get_ea_address ((ea) e) = switch e { case (Ea_i(_, i)) -> 0x0000000000000000 case (Ea_r(_, r)) -> 0x0000000000000000 - case (Ea_m(_, a)) -> 0x0000000000000000 + case (Ea_m(_, a)) -> a } function unit jump_to_ea ((ea) e) = RIP := call_dest_from_ea(e) |