|
From: <sv...@va...> - 2013-01-29 21:12:06
|
sewardj 2013-01-29 21:11:55 +0000 (Tue, 29 Jan 2013)
New Revision: 13276
Log:
Non functional change (formatting, comments) related to newly created
Iex_ITE.
Modified files:
trunk/memcheck/mc_translate.c
Modified: trunk/memcheck/mc_translate.c (+5 -5)
===================================================================
--- trunk/memcheck/mc_translate.c 2013-01-29 17:18:56 +00:00 (rev 13275)
+++ trunk/memcheck/mc_translate.c 2013-01-29 21:11:55 +00:00 (rev 13276)
@@ -4260,8 +4260,8 @@
{
IRAtom *vbitsC, *vbits0, *vbits1;
IRType ty;
- /* Given ITE(cond,iftrue,iffalse), generate
- ITE(cond,iftrue#,iffalse#) `UifU` PCast(cond#)
+ /* Given ITE(cond, iftrue, iffalse), generate
+ ITE(cond, iftrue#, iffalse#) `UifU` PCast(cond#)
That is, steer the V bits like the originals, but trash the
result if the steering value is undefined. This gives
lazy propagation. */
@@ -4270,8 +4270,8 @@
tl_assert(isOriginalAtom(mce, iffalse));
vbitsC = expr2vbits(mce, cond);
+ vbits1 = expr2vbits(mce, iftrue);
vbits0 = expr2vbits(mce, iffalse);
- vbits1 = expr2vbits(mce, iftrue);
ty = typeOfIRExpr(mce->sb->tyenv, vbits0);
return
@@ -4339,7 +4339,7 @@
case Iex_ITE:
return expr2vbits_ITE( mce, e->Iex.ITE.cond, e->Iex.ITE.iftrue,
- e->Iex.ITE.iffalse);
+ e->Iex.ITE.iffalse);
default:
VG_(printf)("\n");
@@ -6381,8 +6381,8 @@
}
case Iex_ITE: {
IRAtom* b1 = schemeE( mce, e->Iex.ITE.cond );
+ IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue );
IRAtom* b2 = schemeE( mce, e->Iex.ITE.iffalse );
- IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue );
return gen_maxU32( mce, b1, gen_maxU32( mce, b2, b3 ));
}
case Iex_Qop: {
|