|
From: <sv...@va...> - 2008-05-13 09:23:15
|
Author: sewardj
Date: 2008-05-13 10:23:09 +0100 (Tue, 13 May 2008)
New Revision: 1844
Log:
Merge r1835 (x86 support for pushfw, popfw) (#157748)
Modified:
branches/VEX_3_3_BRANCH/priv/guest-x86/toIR.c
Modified: branches/VEX_3_3_BRANCH/priv/guest-x86/toIR.c
===================================================================
--- branches/VEX_3_3_BRANCH/priv/guest-x86/toIR.c 2008-05-13 09:00:18 UTC (rev 1843)
+++ branches/VEX_3_3_BRANCH/priv/guest-x86/toIR.c 2008-05-13 09:23:09 UTC (rev 1844)
@@ -12959,8 +12959,6 @@
case 0x9D: /* POPF */
vassert(sz == 2 || sz == 4);
- if (sz != 4) goto decode_failure;
- vassert(sz == 4); // until we know a sz==2 test case exists
t1 = newTemp(Ity_I32); t2 = newTemp(Ity_I32);
assign(t2, getIReg(4, R_ESP));
assign(t1, widenUto32(loadLE(szToITy(sz),mkexpr(t2))));
@@ -13087,8 +13085,6 @@
case 0x9C: /* PUSHF */ {
vassert(sz == 2 || sz == 4);
- if (sz != 4) goto decode_failure;
- vassert(sz == 4); // wait for sz==2 test case
t1 = newTemp(Ity_I32);
assign( t1, binop(Iop_Sub32,getIReg(4,R_ESP),mkU32(sz)) );
|