commit 36a911a8167a49ed3b3c5da4cd8344dfe18acf1d
author sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Thu Apr 03 13:48:21 2014 +0000
committer sewardj <sewardj@8f6e269a-dfd6-0310-a8e1-e2731360e62c> Thu Apr 03 13:48:21 2014 +0000
tree 112febae957c7bf910f40b887ae28dd56175e766
parent 1cf79f72285a233b9c77fc47b7fbca87a2419854

Add a couple more constant folding rules for vectors.


git-svn-id: svn://svn.valgrind.org/vex/trunk@2844 8f6e269a-dfd6-0310-a8e1-e2731360e62c

priv/ir_opt.c

diff --git a/priv/ir_opt.c b/priv/ir_opt.c
index 1be5303..03a06e3 100644
--- a/priv/ir_opt.c
+++ b/priv/ir_opt.c
@@ -1251,7 +1251,8 @@
       case Iop_And64:
       case Iop_Sub64:
       case Iop_Xor64: return IRExpr_Const(IRConst_U64(0));
-      case Iop_XorV128: return IRExpr_Const(IRConst_V128(0));
+      case Iop_XorV128:
+      case Iop_AndV128: return IRExpr_Const(IRConst_V128(0));
       default: vpanic("mkZeroOfPrimopResultType: bad primop");
    }
 }
@@ -2150,6 +2151,13 @@
                   break;
                }
                break;
+            case Iop_Sub8x16:
+               /* Sub8x16(x,0) ==> x */
+               if (isZeroV128(e->Iex.Binop.arg2)) {
+                  e2 = e->Iex.Binop.arg1;
+                  break;
+               }
+               break;
 
             case Iop_And64:
             case Iop_And32:
@@ -2185,13 +2193,18 @@
                   e2 = e->Iex.Binop.arg1;
                   break;
                }
-               if (/* could handle other And cases here too, but so
-                      far not */
-                   e->Iex.Binop.op == Iop_And64
+               /* Deal with either arg zero.  Could handle other And
+                  cases here too. */
+               if (e->Iex.Binop.op == Iop_And64
                    && (isZeroU64(e->Iex.Binop.arg1)
                        || isZeroU64(e->Iex.Binop.arg2))) {
                   e2 =  mkZeroOfPrimopResultType(e->Iex.Binop.op);
                   break;
+               } else if (e->Iex.Binop.op == Iop_AndV128
+                          && (isZeroV128(e->Iex.Binop.arg1)
+                              || isZeroV128(e->Iex.Binop.arg2))) {
+                  e2 =  mkZeroOfPrimopResultType(e->Iex.Binop.op);
+                  break;
                }
                break;