Fix Transforms/InstCombine/2006-10-26-VectorReassoc.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31200 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/VMCore/Instruction.cpp b/lib/VMCore/Instruction.cpp
index c5e8e303545d23869d8398e3472b0f4e14c16abb..9b5fa714ea0ee8c1d41c17dde0db1542885ec60d 100644 (file)
--- a/lib/VMCore/Instruction.cpp
+++ b/lib/VMCore/Instruction.cpp
@@ -172,11 +172,12 @@ bool Instruction::isIdenticalTo(Instruction *I) const {
 /// applied to floating point types.
 ///
 bool Instruction::isAssociative(unsigned Opcode, const Type *Ty) {
-  if (Opcode == Add || Opcode == Mul ||
-      Opcode == And || Opcode == Or || Opcode == Xor) {
-    // Floating point operations do not associate!
-    return !Ty->isFloatingPoint();
-  }
+  if (Opcode == And || Opcode == Or || Opcode == Xor)
+    return true;
+
+  // Add/Mul reassociate unless they are FP or FP vectors.
+  if (Opcode == Add || Opcode == Mul)
+    return !Ty->isFPOrFPVector();
   return 0;
 }