OSDN Git Service

[InstSimplify] add test for m_NegZero with undef elt; NFC
authorSanjay Patel <spatel@rotateright.com>
Mon, 12 Mar 2018 15:47:32 +0000 (15:47 +0000)
committerSanjay Patel <spatel@rotateright.com>
Mon, 12 Mar 2018 15:47:32 +0000 (15:47 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@327287 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/InstSimplify/floating-point-arithmetic.ll

index 7e19c9b..fc36493 100644 (file)
@@ -1,6 +1,15 @@
 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; RUN: opt < %s -instsimplify -S | FileCheck %s
 
+define <2 x float> @fsub_negzero_vec_undef_elts(<2 x float> %x) {
+; CHECK-LABEL: @fsub_negzero_vec_undef_elts(
+; CHECK-NEXT:    [[R:%.*]] = fsub nsz <2 x float> [[X:%.*]], <float undef, float -0.000000e+00>
+; CHECK-NEXT:    ret <2 x float> [[R]]
+;
+  %r = fsub nsz <2 x float> %x, <float undef, float -0.0>
+  ret <2 x float> %r
+}
+
 ; fsub -0.0, (fsub -0.0, X) ==> X
 define float @fsub_-0_-0_x(float %a) {
 ; CHECK-LABEL: @fsub_-0_-0_x(