diff --git a/lib/Transforms/Scalar/InstructionCombining.cpp b/lib/Transforms/Scalar/InstructionCombining.cpp index ce5f2397d22..d7f5ccf7884 100644 --- a/lib/Transforms/Scalar/InstructionCombining.cpp +++ b/lib/Transforms/Scalar/InstructionCombining.cpp @@ -550,6 +550,11 @@ static inline Value *dyn_castNegVal(Value *V) { // Constants can be considered to be negated values if they can be folded. if (ConstantInt *C = dyn_cast(V)) return ConstantExpr::getNeg(C); + + if (ConstantVector *C = dyn_cast(V)) + if (C->getType()->getElementType()->isInteger()) + return ConstantExpr::getNeg(C); + return 0; } diff --git a/test/Transforms/InstCombine/2008-05-22-NegValVector.ll b/test/Transforms/InstCombine/2008-05-22-NegValVector.ll new file mode 100644 index 00000000000..f2511b38325 --- /dev/null +++ b/test/Transforms/InstCombine/2008-05-22-NegValVector.ll @@ -0,0 +1,8 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep sub + +define <3 x i8> @f(<3 x i8> %a) { + %A = sub <3 x i8> zeroinitializer, %a + %B = mul <3 x i8> %A, + ret <3 x i8> %B +} +