[llvm] r362712 - [NFC][CodeGen] Add unary fneg tests to fp-fast.ll fp-fold.ll fp-in-intregs.ll fp-stack-compare-cmov.ll fp-stack-compare.ll fsxor-alignment.ll
Cameron McInally via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 6 08:29:12 PDT 2019
Author: mcinally
Date: Thu Jun 6 08:29:11 2019
New Revision: 362712
URL: http://llvm.org/viewvc/llvm-project?rev=362712&view=rev
Log:
[NFC][CodeGen] Add unary fneg tests to fp-fast.ll fp-fold.ll fp-in-intregs.ll fp-stack-compare-cmov.ll fp-stack-compare.ll fsxor-alignment.ll
Modified:
llvm/trunk/test/CodeGen/X86/fp-fast.ll
llvm/trunk/test/CodeGen/X86/fp-fold.ll
llvm/trunk/test/CodeGen/X86/fp-in-intregs.ll
llvm/trunk/test/CodeGen/X86/fp-stack-compare-cmov.ll
llvm/trunk/test/CodeGen/X86/fp-stack-compare.ll
llvm/trunk/test/CodeGen/X86/fsxor-alignment.ll
Modified: llvm/trunk/test/CodeGen/X86/fp-fast.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/fp-fast.ll?rev=362712&r1=362711&r2=362712&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/fp-fast.ll (original)
+++ llvm/trunk/test/CodeGen/X86/fp-fast.ll Thu Jun 6 08:29:11 2019
@@ -104,3 +104,13 @@ define float @test10(float %a) {
%t2 = fadd float %a, %t1
ret float %t2
}
+
+define float @test11(float %a) {
+; CHECK-LABEL: test11:
+; CHECK: # %bb.0:
+; CHECK-NEXT: vxorps %xmm0, %xmm0, %xmm0
+; CHECK-NEXT: retq
+ %t1 = fneg float %a
+ %t2 = fadd float %a, %t1
+ ret float %t2
+}
Modified: llvm/trunk/test/CodeGen/X86/fp-fold.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/fp-fold.ll?rev=362712&r1=362711&r2=362712&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/fp-fold.ll (original)
+++ llvm/trunk/test/CodeGen/X86/fp-fold.ll Thu Jun 6 08:29:11 2019
@@ -34,6 +34,16 @@ define float @fadd_produce_zero(float %x
ret float %r
}
+define float @fadd_produce_zero_unary_fneg(float %x) {
+; ANY-LABEL: fadd_produce_zero_unary_fneg:
+; ANY: # %bb.0:
+; ANY-NEXT: xorps %xmm0, %xmm0
+; ANY-NEXT: retq
+ %neg = fneg nsz float %x
+ %r = fadd nnan float %neg, %x
+ ret float %r
+}
+
define float @fadd_reassociate(float %x) {
; ANY-LABEL: fadd_reassociate:
; ANY: # %bb.0:
@@ -87,6 +97,17 @@ define float @fsub_neg_x_y(float %x, flo
%r = fadd nsz float %neg, %y
ret float %r
}
+
+define float @unary_neg_x_y(float %x, float %y) {
+; ANY-LABEL: unary_neg_x_y:
+; ANY: # %bb.0:
+; ANY-NEXT: subss %xmm0, %xmm1
+; ANY-NEXT: movaps %xmm1, %xmm0
+; ANY-NEXT: retq
+ %neg = fneg nsz float %x
+ %r = fadd nsz float %neg, %y
+ ret float %r
+}
define float @fsub_neg_y(float %x, float %y) {
; ANY-LABEL: fsub_neg_y:
Modified: llvm/trunk/test/CodeGen/X86/fp-in-intregs.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/fp-in-intregs.ll?rev=362712&r1=362711&r2=362712&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/fp-in-intregs.ll (original)
+++ llvm/trunk/test/CodeGen/X86/fp-in-intregs.ll Thu Jun 6 08:29:11 2019
@@ -18,5 +18,12 @@ entry:
ret i32 %tmp210
}
+define i32 @test3(float %x) nounwind {
+entry:
+ %tmp2 = fneg float %x ; <float> [#uses=1]
+ %tmp210 = bitcast float %tmp2 to i32 ; <i32> [#uses=1]
+ ret i32 %tmp210
+}
+
declare float @copysignf(float, float) nounwind readnone
Modified: llvm/trunk/test/CodeGen/X86/fp-stack-compare-cmov.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/fp-stack-compare-cmov.ll?rev=362712&r1=362711&r2=362712&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/fp-stack-compare-cmov.ll (original)
+++ llvm/trunk/test/CodeGen/X86/fp-stack-compare-cmov.ll Thu Jun 6 08:29:11 2019
@@ -10,3 +10,13 @@ define float @foo(float* %col.2.0) {
%iftmp.2.0 = select i1 %tmp16, float %tmp20, float %tmp
ret float %iftmp.2.0
}
+
+define float @foo_unary_fneg(float* %col.2.0) {
+; CHECK: fucompi
+; CHECK: fcmov
+ %tmp = load float, float* %col.2.0
+ %tmp16 = fcmp olt float %tmp, 0.000000e+00
+ %tmp20 = fneg float %tmp
+ %iftmp.2.0 = select i1 %tmp16, float %tmp20, float %tmp
+ ret float %iftmp.2.0
+}
Modified: llvm/trunk/test/CodeGen/X86/fp-stack-compare.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/fp-stack-compare.ll?rev=362712&r1=362711&r2=362712&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/fp-stack-compare.ll (original)
+++ llvm/trunk/test/CodeGen/X86/fp-stack-compare.ll Thu Jun 6 08:29:11 2019
@@ -12,3 +12,15 @@ define float @foo(float* %col.2.0) {
%iftmp.2.0 = select i1 %tmp16, float %tmp20, float %tmp
ret float %iftmp.2.0
}
+
+define float @foo_unary_fneg(float* %col.2.0) {
+; CHECK: fucomp
+; CHECK-NOT: fucompi
+; CHECK: j
+; CHECK-NOT: fcmov
+ %tmp = load float, float* %col.2.0
+ %tmp16 = fcmp olt float %tmp, 0.000000e+00
+ %tmp20 = fneg float %tmp
+ %iftmp.2.0 = select i1 %tmp16, float %tmp20, float %tmp
+ ret float %iftmp.2.0
+}
Modified: llvm/trunk/test/CodeGen/X86/fsxor-alignment.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/fsxor-alignment.ll?rev=362712&r1=362711&r2=362712&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/fsxor-alignment.ll (original)
+++ llvm/trunk/test/CodeGen/X86/fsxor-alignment.ll Thu Jun 6 08:29:11 2019
@@ -1,5 +1,5 @@
; RUN: llc < %s -mtriple=i686-- -mattr=+sse2 -enable-unsafe-fp-math | \
-; RUN: grep -v sp | grep xorps | count 2
+; RUN: grep -v sp | grep xorps | count 8
; Don't fold the incoming stack arguments into the xorps instructions used
; to do floating-point negations, because the arguments aren't vectors
@@ -11,4 +11,28 @@ define void @foo(float* %p, float* %q, f
store float %ss, float* %p
store float %yy, float* %q
ret void
+}
+
+define void @foo_unary_fneg_x_y(float* %p, float* %q, float %s, float %y) {
+ %ss = fneg float %s
+ %yy = fneg float %y
+ store float %ss, float* %p
+ store float %yy, float* %q
+ ret void
+}
+
+define void @foo_unary_fneg_x(float* %p, float* %q, float %s, float %y) {
+ %ss = fneg float %s
+ %yy = fsub float -0.0, %y
+ store float %ss, float* %p
+ store float %yy, float* %q
+ ret void
+}
+
+define void @foo_unary_fneg_y(float* %p, float* %q, float %s, float %y) {
+ %ss = fsub float -0.0, %s
+ %yy = fneg float %y
+ store float %ss, float* %p
+ store float %yy, float* %q
+ ret void
}
More information about the llvm-commits
mailing list