Add a folding rule for Mul64.

git-svn-id: svn://svn.valgrind.org/vex/trunk@1114

diff --git a/VEX/priv/ir/iropt.c b/VEX/priv/ir/iropt.c
index c652f9bb0fac864fbe12e94b3e836b8b24379c22..a84c48f2c0d80f1c283eaa335ecf5c2cdc499526 100644 (file)
--- a/VEX/priv/ir/iropt.c
+++ b/VEX/priv/ir/iropt.c
@@ -1059,6 +1059,12 @@ static IRExpr* fold_Expr ( IRExpr* e )
                        (e->Iex.Binop.arg1->Iex.Const.con->Ico.U32
                         * e->Iex.Binop.arg2->Iex.Const.con->Ico.U32)));
                break;
+            case Iop_Mul64:
+               e2 = IRExpr_Const(IRConst_U64(
+                       (e->Iex.Binop.arg1->Iex.Const.con->Ico.U64
+                        * e->Iex.Binop.arg2->Iex.Const.con->Ico.U64)));
+               break;
+
             case Iop_MullS32: {
                /* very paranoid */
                UInt  u32a = e->Iex.Binop.arg1->Iex.Const.con->Ico.U32;