diff options
| author | Robert Norton | 2017-09-22 13:47:09 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-09-22 16:06:49 +0100 |
| commit | 963d4fef5b9c75939b744f1a2e09779859c7c643 (patch) | |
| tree | f828f2b1138f4056c5870b1ea9d85eafa8f3b444 /x86/x64.sail | |
| parent | 433063a6b229748599dde8f4374765c7d538fd22 (diff) | |
x86: implement get_ea_address function.
Diffstat (limited to 'x86/x64.sail')
| -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) |