More paranoia

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

diff --git a/VEX/priv/guest-x86/toIR.c b/VEX/priv/guest-x86/toIR.c
index b1f8dd6d2814d2f91c8c8ec3b79a5b82b99d664e..b133f09d9beb1c97f976d4c4bd77bba40505de48 100644 (file)
--- a/VEX/priv/guest-x86/toIR.c
+++ b/VEX/priv/guest-x86/toIR.c
@@ -3276,6 +3276,7 @@ UInt dis_imul_I_E_G ( UChar       sorb,
 
 static void put_emwarn ( IRExpr* e /* :: Ity_I32 */ )
 {
+   vassert(typeOfIRExpr(irbb->tyenv, e) == Ity_I32);
    stmt( IRStmt_Put( OFFB_EMWARN, e ) );
 }
 
@@ -3299,6 +3300,7 @@ static IRExpr* get_ftop ( void )
 
 static void put_ftop ( IRExpr* e )
 {
+   vassert(typeOfIRExpr(irbb->tyenv, e) == Ity_I32);
    stmt( IRStmt_Put( OFFB_FTOP, e ) );
 }