test/CodeGen/X86/fdiv.ll

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