Fix an incorrect truncation of an address value to 32 bits.

Never heard anyone complain about it, so probably a rare case.

git-svn-id: svn://svn.valgrind.org/vex/trunk@3057

diff --git a/VEX/priv/guest_amd64_toIR.c b/VEX/priv/guest_amd64_toIR.c
index b71c867289fed50a607aa20c165199979434806d..f17f41bb7ac277dd7f9eaa51745775f3f7426686 100644 (file)
--- a/VEX/priv/guest_amd64_toIR.c
+++ b/VEX/priv/guest_amd64_toIR.c
@@ -1993,7 +1993,7 @@ AMD64Condcode positiveIse_AMD64Condcode ( AMD64Condcode  cond,
 static void helper_ADC ( Int sz,
                          IRTemp tres, IRTemp ta1, IRTemp ta2,
                          /* info about optional store: */
-                         IRTemp taddr, IRTemp texpVal, Addr32 restart_point )
+                         IRTemp taddr, IRTemp texpVal, Addr64 restart_point )
 {
    UInt    thunkOp;
    IRType  ty    = szToITy(sz);
@@ -2052,7 +2052,7 @@ static void helper_ADC ( Int sz,
 static void helper_SBB ( Int sz,
                          IRTemp tres, IRTemp ta1, IRTemp ta2,
                          /* info about optional store: */
-                         IRTemp taddr, IRTemp texpVal, Addr32 restart_point )
+                         IRTemp taddr, IRTemp texpVal, Addr64 restart_point )
 {
    UInt    thunkOp;
    IRType  ty    = szToITy(sz);