|
From: <sv...@va...> - 2014-08-11 14:01:07
|
Author: sewardj
Date: Mon Aug 11 14:01:00 2014
New Revision: 2917
Log:
Add a new folding rule:
ZeroHI64ofV128( ZeroHI64ofV128(x) ) --> ZeroHI64ofV128(x)
Modified:
trunk/priv/ir_opt.c
Modified: trunk/priv/ir_opt.c
==============================================================================
--- trunk/priv/ir_opt.c (original)
+++ trunk/priv/ir_opt.c Mon Aug 11 14:01:00 2014
@@ -5232,6 +5232,11 @@
if (is_Unop(aa, Iop_Left64))
return IRExpr_Unop( Iop_Left64, aa->Iex.Unop.arg );
break;
+ case Iop_ZeroHI64ofV128:
+ /* ZeroHI64ofV128( ZeroHI64ofV128(x) ) --> ZeroHI64ofV128(x) */
+ if (is_Unop(aa, Iop_ZeroHI64ofV128))
+ return IRExpr_Unop( Iop_ZeroHI64ofV128, aa->Iex.Unop.arg );
+ break;
case Iop_32to1:
/* 32to1( 1Uto32 ( x ) ) --> x */
if (is_Unop(aa, Iop_1Uto32))
|