diff options
| -rw-r--r-- | llvm/test/Transforms/InstCombine/2006-12-01-BadFPVectorXform.ll | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/llvm/test/Transforms/InstCombine/2006-12-01-BadFPVectorXform.ll b/llvm/test/Transforms/InstCombine/2006-12-01-BadFPVectorXform.ll index 7adeb9fd960..d57245a376f 100644 --- a/llvm/test/Transforms/InstCombine/2006-12-01-BadFPVectorXform.ll +++ b/llvm/test/Transforms/InstCombine/2006-12-01-BadFPVectorXform.ll @@ -1,9 +1,14 @@ -; RUN: opt < %s -instcombine -S | grep sub -; RUN: opt < %s -instcombine -S | grep add +; NOTE: Assertions have been autogenerated by update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s 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 +; CHECK-LABEL: @test( +; CHECK: [[TMP64:%.*]] = fadd <4 x float> %tmp26, %tmp53 +; CHECK-NEXT: [[TMP75:%.*]] = fsub <4 x float> [[TMP64]], %tmp53 +; CHECK-NEXT: ret <4 x float> [[TMP75]] +; + %tmp64 = fadd <4 x float> %tmp26, %tmp53 + %tmp75 = fsub <4 x float> %tmp64, %tmp53 + ret <4 x float> %tmp75 } |
