From: Julian Seward Date: Tue, 29 Jan 2013 21:11:55 +0000 (+0000) Subject: Non functional change (formatting, comments) related to newly created X-Git-Tag: svn/VALGRIND_3_9_0~405 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0fe8fb34cf4a4e342f7b28e7b54e89c505f31cfc;p=thirdparty%2Fvalgrind.git Non functional change (formatting, comments) related to newly created Iex_ITE. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13276 --- diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c index 600bc0195c..76e54c79f3 100644 --- a/memcheck/mc_translate.c +++ b/memcheck/mc_translate.c @@ -4260,8 +4260,8 @@ IRAtom* expr2vbits_ITE ( MCEnv* mce, { 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 @@ IRAtom* expr2vbits_ITE ( MCEnv* mce, tl_assert(isOriginalAtom(mce, iffalse)); vbitsC = expr2vbits(mce, cond); - vbits0 = expr2vbits(mce, iffalse); vbits1 = expr2vbits(mce, iftrue); + vbits0 = expr2vbits(mce, iffalse); ty = typeOfIRExpr(mce->sb->tyenv, vbits0); return @@ -4339,7 +4339,7 @@ IRExpr* expr2vbits ( MCEnv* mce, IRExpr* e ) 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 @@ static IRAtom* schemeE ( MCEnv* mce, IRExpr* e ) } case Iex_ITE: { IRAtom* b1 = schemeE( mce, e->Iex.ITE.cond ); - IRAtom* b2 = schemeE( mce, e->Iex.ITE.iffalse ); IRAtom* b3 = schemeE( mce, e->Iex.ITE.iftrue ); + IRAtom* b2 = schemeE( mce, e->Iex.ITE.iffalse ); return gen_maxU32( mce, b1, gen_maxU32( mce, b2, b3 )); } case Iex_Qop: {