diff options
Diffstat (limited to 'x86/Asmexpand.ml')
| -rw-r--r-- | x86/Asmexpand.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/x86/Asmexpand.ml b/x86/Asmexpand.ml index 8e69061e..1b716165 100644 --- a/x86/Asmexpand.ml +++ b/x86/Asmexpand.ml @@ -108,6 +108,8 @@ let addressing_of_builtin_arg = function | BA (IR r) -> linear_addr r Z.zero | BA_addrstack ofs -> linear_addr RSP (Integers.Ptrofs.unsigned ofs) | BA_addrglobal(id, ofs) -> global_addr id ofs + | BA_addptr(BA (IR r), BA_int n) -> linear_addr r (Integers.Int.signed n) + | BA_addptr(BA (IR r), BA_long n) -> linear_addr r (Integers.Int64.signed n) | _ -> assert false (* Handling of memcpy *) |