add a missing regression test for a DAGCombiner FDIV optimization

There's no test for this transform in any backend. Discovered
while debugging fast-math-flag propagation in the DAG (r244053).

llvm-svn: 244373
This commit is contained in:
Sanjay Patel 2015-08-07 23:19:41 +00:00
parent fd25395c72
commit 0f51d14957
1 changed files with 15 additions and 0 deletions

View File

@ -51,3 +51,18 @@ define double @denormal2(double %x) {
ret double %div
}
; Deleting the negates does not require unsafe-fp-math.
define float @double_negative(float %x, float %y) #0 {
; CHECK-LABEL: double_negative:
; CHECK: # BB#0:
; CHECK-NEXT: divss %xmm1, %xmm0
; CHECK-NEXT: retq
%neg1 = fsub float -0.0, %x
%neg2 = fsub float -0.0, %y
%div = fdiv float %neg1, %neg2
ret float %div
}
attributes #0 = { "unsafe-fp-math"="false" }