reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    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

; Check that we can enable/disable NoInfsFPMath and NoNaNsInFPMath via function
; attributes.  An attribute on one function should not magically apply to the
; next one.

; RUN: llc < %s -mtriple=powerpc64-unknown-unknown -mcpu=pwr7 -mattr=-vsx \
; RUN:   | FileCheck %s --check-prefix=CHECK --check-prefix=SAFE

; RUN: llc < %s -mtriple=powerpc64-unknown-unknown -mcpu=pwr7 -mattr=-vsx \
; RUN:   -enable-no-infs-fp-math -enable-no-nans-fp-math \
; RUN:   | FileCheck %s --check-prefix=CHECK --check-prefix=UNSAFE

; The fcmp+select in these functions should be converted to a fsel instruction
; when both NoInfsFPMath and NoNaNsInFPMath are enabled.

; CHECK-LABEL: default0:
define double @default0(double %a, double %y, double %z) {
entry:
; SAFE-NOT:  fsel
; UNSAFE:    fsel
  %cmp = fcmp ult double %a, 0.000000e+00
  %z.y = select i1 %cmp, double %z, double %y
  ret double %z.y
}

; CHECK-LABEL: unsafe_math_off:
define double @unsafe_math_off(double %a, double %y, double %z) #0 #2 {
entry:
; SAFE-NOT:   fsel
; UNSAFE-NOT: fsel
  %cmp = fcmp ult double %a, 0.000000e+00
  %z.y = select i1 %cmp, double %z, double %y
  ret double %z.y
}

; CHECK-LABEL: default1:
define double @default1(double %a, double %y, double %z) {
; SAFE-NOT:  fsel
; UNSAFE:    fsel
  %cmp = fcmp ult double %a, 0.000000e+00
  %z.y = select i1 %cmp, double %z, double %y
  ret double %z.y
}

; CHECK-LABEL: unsafe_math_on:
define double @unsafe_math_on(double %a, double %y, double %z) #1 #3 {
entry:
; SAFE-NOT:   fsel
; UNSAFE-NOT: fsel
  %cmp = fcmp ult double %a, 0.000000e+00
  %z.y = select i1 %cmp, double %z, double %y
  ret double %z.y
}

; CHECK-LABEL: default2:
define double @default2(double %a, double %y, double %z) {
; SAFE-NOT:  fsel
; UNSAFE:    fsel
  %cmp = fcmp ult double %a, 0.000000e+00
  %z.y = select i1 %cmp, double %z, double %y
  ret double %z.y
}

attributes #0 = { "no-infs-fp-math"="false" }
attributes #1 = { "no-nans-fp-math"="false" }

attributes #2 = { "no-infs-fp-math"="false" }
attributes #3 = { "no-infs-fp-math"="true" }