|
From: <sv...@va...> - 2008-04-09 00:59:46
|
Author: sewardj
Date: 2008-04-09 01:59:48 +0100 (Wed, 09 Apr 2008)
New Revision: 1822
Log:
Fold Max32U(t,t) to t.
Modified:
branches/OTRACK_BY_INSTRUMENTATION/priv/ir/iropt.c
Modified: branches/OTRACK_BY_INSTRUMENTATION/priv/ir/iropt.c
===================================================================
--- branches/OTRACK_BY_INSTRUMENTATION/priv/ir/iropt.c 2008-04-07 22:30:28 UTC (rev 1821)
+++ branches/OTRACK_BY_INSTRUMENTATION/priv/ir/iropt.c 2008-04-09 00:59:48 UTC (rev 1822)
@@ -1528,6 +1528,7 @@
/* Or8/16/32/64(t,t) ==> t, for some IRTemp t */
/* And8/16/32/64(t,t) ==> t, for some IRTemp t */
+ /* Max32U(t,t) ==> t, for some IRTemp t */
if ( (e->Iex.Binop.op == Iop_And64
|| e->Iex.Binop.op == Iop_And32
|| e->Iex.Binop.op == Iop_And16
@@ -1535,7 +1536,8 @@
|| e->Iex.Binop.op == Iop_Or64
|| e->Iex.Binop.op == Iop_Or32
|| e->Iex.Binop.op == Iop_Or16
- || e->Iex.Binop.op == Iop_Or8)
+ || e->Iex.Binop.op == Iop_Or8
+ || e->Iex.Binop.op == Iop_Max32U)
&& sameIRTemps(e->Iex.Binop.arg1, e->Iex.Binop.arg2)) {
e2 = e->Iex.Binop.arg1;
}
|