InstCombine: Don't assume that m_ZExt matches an Instruction
[oota-llvm.git] / test / Transforms / InstCombine / 2006-12-01-BadFPVectorXform.ll
index 54f70746d1d5f868fc2f863eec8c8cf2ae1b07f3..7adeb9fd96031d27d9bf1cf66254708437c57068 100644 (file)
@@ -1,9 +1,9 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | grep sub &&
-; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | grep add
+; RUN: opt < %s -instcombine -S | grep sub
+; RUN: opt < %s -instcombine -S | grep add
 
-<4 x float> %test(<4 x float> %tmp26, <4 x float> %tmp53) {
-  ; (X+Y)-Y != X for fp vectors.
-  %tmp64 = add <4 x float> %tmp26, %tmp53
-  %tmp75 = sub <4 x float> %tmp64, %tmp53
-  ret <4 x float> %tmp75
+define <4 x float> @test(<4 x float> %tmp26, <4 x float> %tmp53) {
+        ; (X+Y)-Y != X for fp vectors.
+        %tmp64 = fadd <4 x float> %tmp26, %tmp53         ; <<4 x float>> [#uses=1]
+        %tmp75 = fsub <4 x float> %tmp64, %tmp53         ; <<4 x float>> [#uses=1]
+        ret <4 x float> %tmp75
 }