llvm.org GIT mirror
ac6a87b

 ``` 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68``` ```; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; RUN: llc < %s -mtriple=x86_64-unknown-unknown -enable-unsafe-fp-math | FileCheck %s define double @exact(double %x) { ; Exact division by a constant converted to multiplication. ; CHECK-LABEL: exact: ; CHECK: # BB#0: ; CHECK-NEXT: mulsd {{.*}}(%rip), %xmm0 ; CHECK-NEXT: retq %div = fdiv double %x, 2.0 ret double %div } define double @inexact(double %x) { ; Inexact division by a constant converted to multiplication. ; CHECK-LABEL: inexact: ; CHECK: # BB#0: ; CHECK-NEXT: mulsd {{.*}}(%rip), %xmm0 ; CHECK-NEXT: retq %div = fdiv double %x, 0x41DFFFFFFFC00000 ret double %div } define double @funky(double %x) { ; No conversion to multiplication if too funky. ; CHECK-LABEL: funky: ; CHECK: # BB#0: ; CHECK-NEXT: xorpd %xmm1, %xmm1 ; CHECK-NEXT: divsd %xmm1, %xmm0 ; CHECK-NEXT: retq %div = fdiv double %x, 0.0 ret double %div } define double @denormal1(double %x) { ; Don't generate multiplication by a denormal. ; CHECK-LABEL: denormal1: ; CHECK: # BB#0: ; CHECK-NEXT: divsd {{.*}}(%rip), %xmm0 ; CHECK-NEXT: retq %div = fdiv double %x, 0x7FD0000000000001 ret double %div } define double @denormal2(double %x) { ; Don't generate multiplication by a denormal. ; CHECK-LABEL: denormal2: ; CHECK: # BB#0: ; CHECK-NEXT: divsd {{.*}}(%rip), %xmm0 ; CHECK-NEXT: retq %div = fdiv double %x, 0x7FEFFFFFFFFFFFFF 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" } ```