Tidy up a couple of format strings.

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

diff --git a/VEX/Makefile-icc b/VEX/Makefile-icc
index 22651fbc8158eabd252c0d31e1050160915316cd..77ee730d298639f3c7d739d5ab5cce80052466aa 100644 (file)
--- a/VEX/Makefile-icc
+++ b/VEX/Makefile-icc
@@ -70,7 +70,7 @@ PRIV_INCLUDES = -Ipriv
 #              $(EXTRA_CFLAGS)
 
 CC = icc
-CCFLAGS = -g -Wall -wd981 -wd279 -wd1287 -wd869 -wd111 -wd188 -wd186
+CCFLAGS = -g -Wall -wd981 -wd279 -wd1287 -wd869 -wd111 -wd188 -wd186 -wd810
 # 981: operands are evaluated in unspecified order
 # 279: controlling expression is constant
 # 1287: invalid attribute for parameter
@@ -79,7 +79,7 @@ CCFLAGS = -g -Wall -wd981 -wd279 -wd1287 -wd869 -wd111 -wd188 -wd186
 # 188: enumerated type mixed with another type
 # (the above are for icc 8.0 -- 8.0.0.55 I think)
 # 186: pointless comparison of unsigned integer with zero
-
+# 810: conversion from ... to ... may lose significant bits
 
 all: vex
 

diff --git a/VEX/priv/guest-amd64/toIR.c b/VEX/priv/guest-amd64/toIR.c
index ca735f1780387d7731e41d41a0ce18fbf014237e..50878d03be4078046a7c31f4e38bd61071f64d90 100644 (file)
--- a/VEX/priv/guest-amd64/toIR.c
+++ b/VEX/priv/guest-amd64/toIR.c
@@ -5406,7 +5406,7 @@ ULong dis_FPU ( /*OUT*/Bool* decode_ok,
 
             case 0xE0 ... 0xE7: /* FUCOM %st(0),%st(?) */
                r_dst = (UInt)modrm - 0xE0;
-               DIP("fucom %%st(0),%%st(%d)\n", r_dst);
+               DIP("fucom %%st(0),%%st(%u)\n", r_dst);
                /* This forces C1 to zero, which isn't right. */
                put_C3210(
                    unop(Iop_32Uto64, 

diff --git a/VEX/priv/host-ppc32/hdefs.c b/VEX/priv/host-ppc32/hdefs.c
index 54c7bf248bc62c6f9d37653f153d340786e593ca..d51161939c419ef98422666573f5369bd56648b7 100644 (file)
--- a/VEX/priv/host-ppc32/hdefs.c
+++ b/VEX/priv/host-ppc32/hdefs.c
@@ -1421,7 +1421,7 @@ void ppPPC32Instr ( PPC32Instr* i )
       vex_printf(",");
       ppPPC32VI5s(i->Pin.AvSplat.src);
       if (i->Pin.AvSplat.src->tag == Pvi_Reg)
-         vex_printf(", %u", (128/sz)-1);   /* louis lane */
+         vex_printf(", %d", (128/sz)-1);   /* louis lane */
       return;
    }