llvm/test/CodeGen/Mips/mips64signextendsesf.ll

   1 ; RUN: llc -march=mips64 -mcpu=mips64r2 -mattr=+soft-float -O2 < %s | FileCheck %s
   2
   3 define void @foosf() #0 {
   4 entry:
   5   %in = alloca float, align 4
   6   %out = alloca float, align 4
   7   store volatile float 0xBFD59E1380000000, ptr %in, align 4
   8   %in.0.in.0. = load volatile float, ptr %in, align 4
   9   %rintf = tail call float @rintf(float %in.0.in.0.) #1
  10   store volatile float %rintf, ptr %out, align 4
  11   ret void
  12
  13 ; CHECK-LABEL:      foosf
  14 ; CHECK-NOT:        dsll
  15 ; CHECK-NOT:        dsrl
  16 ; CHECK-NOT:        lwu
  17 }
  18
  19 declare float @rintf(float)
  20
  21 define float @foosf1(ptr nocapture readonly %a) #0 {
  22 entry:
  23   %0 = load float, ptr %a, align 4
  24   %call = tail call float @roundf(float %0) #2
  25   ret float %call
  26
  27 ; CHECK-LABEL:      foosf1
  28 ; CHECK-NOT:        dsll
  29 ; CHECK-NOT:        dsrl
  30 ; CHECK-NOT:        lwu
  31 }
  32
  33 declare float @roundf(float) #1
  34
  35 define float @foosf2(ptr nocapture readonly %a) #0 {
  36 entry:
  37   %0 = load float, ptr %a, align 4
  38   %call = tail call float @truncf(float %0) #2
  39   ret float %call
  40
  41 ; CHECK-LABEL:      foosf2
  42 ; CHECK-NOT:        dsll
  43 ; CHECK-NOT:        dsrl
  44 ; CHECK-NOT:        lwu
  45 }
  46
  47 declare float @truncf(float) #1
  48
  49 define float @foosf3(ptr nocapture readonly %a) #0 {
  50 entry:
  51   %0 = load float, ptr %a, align 4
  52   %call = tail call float @floorf(float %0) #2
  53   ret float %call
  54
  55 ; CHECK-LABEL:      foosf3
  56 ; CHECK-NOT:        dsll
  57 ; CHECK-NOT:        dsrl
  58 ; CHECK-NOT:        lwu
  59 }
  60
  61 declare float @floorf(float) #1
  62
  63 define float @foosf4(ptr nocapture readonly %a) #0 {
  64 entry:
  65   %0 = load float, ptr %a, align 4
  66   %call = tail call float @nearbyintf(float %0) #2
  67   ret float %call
  68
  69 ; CHECK-LABEL:      foosf4
  70 ; CHECK-NOT:        dsll
  71 ; CHECK-NOT:        dsrl
  72 ; CHECK-NOT:        lwu
  73 }
  74
  75 declare float @nearbyintf(float) #1
  76
  77 define float @foosf5(ptr nocapture readonly %a) #0 {
  78 entry:
  79   %0 = load float, ptr %a, align 4
  80   %mul = fmul float %0, undef
  81   ret float %mul
  82
  83 ; CHECK-LABEL:      foosf5
  84 ; CHECK-NOT:        dsll
  85 ; CHECK-NOT:        dsrl
  86 ; CHECK-NOT:        lwu
  87 }
  88
  89 define float @foosf6(ptr nocapture readonly %a) #0 {
  90 entry:
  91   %0 = load float, ptr %a, align 4
  92   %sub = fsub float %0, undef
  93   ret float %sub
  94
  95 ; CHECK-LABEL:      foosf6
  96 ; CHECK-NOT:        dsll
  97 ; CHECK-NOT:        dsrl
  98 ; CHECK-NOT:        lwu
  99 }
 100
 101 define float @foosf7(ptr nocapture readonly %a) #0 {
 102 entry:
 103   %0 = load float, ptr %a, align 4
 104   %add = fadd float %0, undef
 105   ret float %add
 106
 107 ; CHECK-LABEL:      foosf7
 108 ; CHECK-NOT:        dsll
 109 ; CHECK-NOT:        dsrl
 110 ; CHECK-NOT:        lwu
 111 }
 112
 113 define float @foosf8(ptr nocapture readonly %a) #0 {
 114 entry:
 115   %b = alloca float, align 4
 116   %b.0.b.0. = load volatile float, ptr %b, align 4
 117   %0 = load float, ptr %a, align 4
 118   %div = fdiv float %b.0.b.0., %0
 119   ret float %div
 120
 121 ; CHECK-LABEL:      foosf8
 122 ; CHECK-NOT:        dsll
 123 ; CHECK-NOT:        dsrl
 124 ; CHECK-NOT:        lwu
 125 }
 126
 127 define float @foosf9() #0 {
 128 entry:
 129   %b = alloca float, align 4
 130   %b.0.b.0. = load volatile float, ptr %b, align 4
 131   %conv = fpext float %b.0.b.0. to double
 132   %b.0.b.0.3 = load volatile float, ptr %b, align 4
 133   %conv1 = fpext float %b.0.b.0.3 to double
 134   %call = tail call double @pow(double %conv, double %conv1) #1
 135   %conv2 = fptrunc double %call to float
 136   ret float %conv2
 137
 138 ; CHECK-LABEL:      foosf9
 139 ; CHECK-NOT:        dsll
 140 ; CHECK-NOT:        dsrl
 141 ; CHECK-NOT:        lwu
 142 }
 143
 144 declare double @pow(double, double) #0
 145
 146 define float @foosf10() #0 {
 147 entry:
 148   %a = alloca float, align 4
 149   %a.0.a.0. = load volatile float, ptr %a, align 4
 150   %conv = fpext float %a.0.a.0. to double
 151   %call = tail call double @sin(double %conv) #1
 152   %conv1 = fptrunc double %call to float
 153   ret float %conv1
 154
 155 ; CHECK-LABEL:      foosf10
 156 ; CHECK-NOT:        dsll
 157 ; CHECK-NOT:        dsrl
 158 ; CHECK-NOT:        lwu
 159 }
 160
 161 declare double @sin(double) #0
 162
 163 define float @foosf11() #0 {
 164 entry:
 165   %b = alloca float, align 4
 166   %b.0.b.0. = load volatile float, ptr %b, align 4
 167   %call = tail call float @ceilf(float %b.0.b.0.) #2
 168   ret float %call
 169
 170 ; CHECK-LABEL:      foosf11
 171 ; CHECK-NOT:        dsll
 172 ; CHECK-NOT:        dsrl
 173 ; CHECK-NOT:        lwu
 174 }
 175
 176 declare float @ceilf(float) #1
 177
 178 define float @foosf12() #0 {
 179 entry:
 180   %b = alloca float, align 4
 181   %a = alloca float, align 4
 182   %b.0.b.0. = load volatile float, ptr %b, align 4
 183   %a.0.a.0. = load volatile float, ptr %a, align 4
 184   %call = tail call float @fmaxf(float %b.0.b.0., float %a.0.a.0.) #2
 185   ret float %call
 186
 187 ; CHECK-LABEL:      foosf12
 188 ; CHECK-NOT:        dsll
 189 ; CHECK-NOT:        dsrl
 190 ; CHECK-NOT:        lwu
 191 }
 192
 193 declare float @fmaxf(float, float) #1
 194
 195 define float @foosf13() #0 {
 196 entry:
 197   %b = alloca float, align 4
 198   %a = alloca float, align 4
 199   %b.0.b.0. = load volatile float, ptr %b, align 4
 200   %a.0.a.0. = load volatile float, ptr %a, align 4
 201   %call = tail call float @fminf(float %b.0.b.0., float %a.0.a.0.) #2
 202   ret float %call
 203
 204 ; CHECK-LABEL:      foosf13
 205 ; CHECK-NOT:        dsll
 206 ; CHECK-NOT:        dsrl
 207 ; CHECK-NOT:        lwu
 208 }
 209
 210 declare float @fminf(float, float) #1
 211
 212
 213 attributes #0 = { nounwind "use-soft-float"="true" }
 214 attributes #1 = { nounwind readnone "use-soft-float"="true" }