1 ; RUN: opt -O2 -S -mtriple=i386-pc-win32 < %s | FileCheck %s -check-prefix=WIN32 2 ; RUN: opt -O2 -S -mtriple=x86_64-pc-win32 < %s | FileCheck %s -check-prefix=WIN64 3 ; RUN: opt -O2 -S -mtriple=i386-pc-mingw32 < %s | FileCheck %s -check-prefix=MINGW32 4 ; RUN: opt -O2 -S -mtriple=x86_64-pc-mingw32 < %s | FileCheck %s -check-prefix=MINGW64 5 6 ; x86 win32 msvcrt does not provide entry points for single-precision libm. 7 ; x86-64 win32 msvcrt does (except for fabsf) 8 ; msvcrt does not provide C99 math, but mingw32 does. 9 10 declare double @acos(double %x) 11 define float @float_acos(float %x) nounwind readnone { 12 ; WIN32-LABEL: @float_acos( 13 ; WIN32-NOT: float @acosf 14 ; WIN32: double @acos 15 %1 = fpext float %x to double 16 %2 = call double @acos(double %1) 17 %3 = fptrunc double %2 to float 18 ret float %3 19 } 20 21 declare double @asin(double %x) 22 define float @float_asin(float %x) nounwind readnone { 23 ; WIN32-LABEL: @float_asin( 24 ; WIN32-NOT: float @asinf 25 ; WIN32: double @asin 26 %1 = fpext float %x to double 27 %2 = call double @asin(double %1) 28 %3 = fptrunc double %2 to float 29 ret float %3 30 } 31 32 declare double @atan(double %x) 33 define float @float_atan(float %x) nounwind readnone { 34 ; WIN32-LABEL: @float_atan( 35 ; WIN32-NOT: float @atanf 36 ; WIN32: double @atan 37 %1 = fpext float %x to double 38 %2 = call double @atan(double %1) 39 %3 = fptrunc double %2 to float 40 ret float %3 41 } 42 43 declare double @atan2(double %x, double %y) 44 define float @float_atan2(float %x, float %y) nounwind readnone { 45 ; WIN32-LABEL: @float_atan2( 46 ; WIN32-NOT: float @atan2f 47 ; WIN32: double @atan2 48 %1 = fpext float %x to double 49 %2 = fpext float %y to double 50 %3 = call double @atan2(double %1, double %2) 51 %4 = fptrunc double %3 to float 52 ret float %4 53 } 54 55 declare double @ceil(double %x) 56 define float @float_ceil(float %x) nounwind readnone { 57 ; WIN32-LABEL: @float_ceil( 58 ; WIN32-NOT: float @ceilf 59 ; WIN32: double @ceil 60 ; WIN64-LABEL: @float_ceil( 61 ; WIN64: float @ceilf 62 ; WIN64-NOT: double @ceil 63 ; MINGW32-LABEL: @float_ceil( 64 ; MINGW32: float @ceilf 65 ; MINGW32-NOT: double @ceil 66 ; MINGW64-LABEL: @float_ceil( 67 ; MINGW64: float @ceilf 68 ; MINGW64-NOT: double @ceil 69 %1 = fpext float %x to double 70 %2 = call double @ceil(double %1) 71 %3 = fptrunc double %2 to float 72 ret float %3 73 } 74 75 declare double @_copysign(double %x) 76 define float @float_copysign(float %x) nounwind readnone { 77 ; WIN32-LABEL: @float_copysign( 78 ; WIN32-NOT: float @copysignf 79 ; WIN32-NOT: float @_copysignf 80 ; WIN32: double @_copysign 81 %1 = fpext float %x to double 82 %2 = call double @_copysign(double %1) 83 %3 = fptrunc double %2 to float 84 ret float %3 85 } 86 87 declare double @cos(double %x) 88 define float @float_cos(float %x) nounwind readnone { 89 ; WIN32-LABEL: @float_cos( 90 ; WIN32-NOT: float @cosf 91 ; WIN32: double @cos 92 %1 = fpext float %x to double 93 %2 = call double @cos(double %1) 94 %3 = fptrunc double %2 to float 95 ret float %3 96 } 97 98 declare double @cosh(double %x) 99 define float @float_cosh(float %x) nounwind readnone { 100 ; WIN32-LABEL: @float_cosh( 101 ; WIN32-NOT: float @coshf 102 ; WIN32: double @cosh 103 %1 = fpext float %x to double 104 %2 = call double @cosh(double %1) 105 %3 = fptrunc double %2 to float 106 ret float %3 107 } 108 109 declare double @exp(double %x, double %y) 110 define float @float_exp(float %x, float %y) nounwind readnone { 111 ; WIN32-LABEL: @float_exp( 112 ; WIN32-NOT: float @expf 113 ; WIN32: double @exp 114 %1 = fpext float %x to double 115 %2 = fpext float %y to double 116 %3 = call double @exp(double %1, double %2) 117 %4 = fptrunc double %3 to float 118 ret float %4 119 } 120 121 declare double @fabs(double %x, double %y) 122 define float @float_fabs(float %x, float %y) nounwind readnone { 123 ; WIN32-LABEL: @float_fabs( 124 ; WIN32-NOT: float @fabsf 125 ; WIN32: double @fabs 126 ; WIN64-LABEL: @float_fabs( 127 ; WIN64-NOT: float @fabsf 128 ; WIN64: double @fabs 129 %1 = fpext float %x to double 130 %2 = fpext float %y to double 131 %3 = call double @fabs(double %1, double %2) 132 %4 = fptrunc double %3 to float 133 ret float %4 134 } 135 136 declare double @floor(double %x) 137 define float @float_floor(float %x) nounwind readnone { 138 ; WIN32-LABEL: @float_floor( 139 ; WIN32-NOT: float @floorf 140 ; WIN32: double @floor 141 ; WIN64-LABEL: @float_floor( 142 ; WIN64: float @floorf 143 ; WIN64-NOT: double @floor 144 ; MINGW32-LABEL: @float_floor( 145 ; MINGW32: float @floorf 146 ; MINGW32-NOT: double @floor 147 ; MINGW64-LABEL: @float_floor( 148 ; MINGW64: float @floorf 149 ; MINGW64-NOT: double @floor 150 %1 = fpext float %x to double 151 %2 = call double @floor(double %1) 152 %3 = fptrunc double %2 to float 153 ret float %3 154 } 155 156 declare double @fmod(double %x, double %y) 157 define float @float_fmod(float %x, float %y) nounwind readnone { 158 ; WIN32-LABEL: @float_fmod( 159 ; WIN32-NOT: float @fmodf 160 ; WIN32: double @fmod 161 %1 = fpext float %x to double 162 %2 = fpext float %y to double 163 %3 = call double @fmod(double %1, double %2) 164 %4 = fptrunc double %3 to float 165 ret float %4 166 } 167 168 declare double @log(double %x) 169 define float @float_log(float %x) nounwind readnone { 170 ; WIN32-LABEL: @float_log( 171 ; WIN32-NOT: float @logf 172 ; WIN32: double @log 173 %1 = fpext float %x to double 174 %2 = call double @log(double %1) 175 %3 = fptrunc double %2 to float 176 ret float %3 177 } 178 179 declare double @pow(double %x, double %y) 180 define float @float_pow(float %x, float %y) nounwind readnone { 181 ; WIN32-LABEL: @float_pow( 182 ; WIN32-NOT: float @powf 183 ; WIN32: double @pow 184 %1 = fpext float %x to double 185 %2 = fpext float %y to double 186 %3 = call double @pow(double %1, double %2) 187 %4 = fptrunc double %3 to float 188 ret float %4 189 } 190 191 declare double @sin(double %x) 192 define float @float_sin(float %x) nounwind readnone { 193 ; WIN32-LABEL: @float_sin( 194 ; WIN32-NOT: float @sinf 195 ; WIN32: double @sin 196 %1 = fpext float %x to double 197 %2 = call double @sin(double %1) 198 %3 = fptrunc double %2 to float 199 ret float %3 200 } 201 202 declare double @sinh(double %x) 203 define float @float_sinh(float %x) nounwind readnone { 204 ; WIN32-LABEL: @float_sinh( 205 ; WIN32-NOT: float @sinhf 206 ; WIN32: double @sinh 207 %1 = fpext float %x to double 208 %2 = call double @sinh(double %1) 209 %3 = fptrunc double %2 to float 210 ret float %3 211 } 212 213 declare double @sqrt(double %x) 214 define float @float_sqrt(float %x) nounwind readnone { 215 ; WIN32-LABEL: @float_sqrt( 216 ; WIN32-NOT: float @sqrtf 217 ; WIN32: double @sqrt 218 ; WIN64-LABEL: @float_sqrt( 219 ; WIN64: float @sqrtf 220 ; WIN64-NOT: double @sqrt 221 ; MINGW32-LABEL: @float_sqrt( 222 ; MINGW32: float @sqrtf 223 ; MINGW32-NOT: double @sqrt 224 ; MINGW64-LABEL: @float_sqrt( 225 ; MINGW64: float @sqrtf 226 ; MINGW64-NOT: double @sqrt 227 %1 = fpext float %x to double 228 %2 = call double @sqrt(double %1) 229 %3 = fptrunc double %2 to float 230 ret float %3 231 } 232 233 declare double @tan(double %x) 234 define float @float_tan(float %x) nounwind readnone { 235 ; WIN32-LABEL: @float_tan( 236 ; WIN32-NOT: float @tanf 237 ; WIN32: double @tan 238 %1 = fpext float %x to double 239 %2 = call double @tan(double %1) 240 %3 = fptrunc double %2 to float 241 ret float %3 242 } 243 244 declare double @tanh(double %x) 245 define float @float_tanh(float %x) nounwind readnone { 246 ; WIN32-LABEL: @float_tanh( 247 ; WIN32-NOT: float @tanhf 248 ; WIN32: double @tanh 249 %1 = fpext float %x to double 250 %2 = call double @tanh(double %1) 251 %3 = fptrunc double %2 to float 252 ret float %3 253 } 254 255 ; win32 does not have round; mingw32 does 256 declare double @round(double %x) 257 define float @float_round(float %x) nounwind readnone { 258 ; WIN32-LABEL: @float_round( 259 ; WIN32-NOT: float @roundf 260 ; WIN32: double @round 261 ; WIN64-LABEL: @float_round( 262 ; WIN64-NOT: float @roundf 263 ; WIN64: double @round 264 ; MINGW32-LABEL: @float_round( 265 ; MINGW32: float @roundf 266 ; MINGW32-NOT: double @round 267 ; MINGW64-LABEL: @float_round( 268 ; MINGW64: float @roundf 269 ; MINGW64-NOT: double @round 270 %1 = fpext float %x to double 271 %2 = call double @round(double %1) 272 %3 = fptrunc double %2 to float 273 ret float %3 274 } 275 276 declare float @powf(float, float) 277 ; win32 lacks sqrtf&fabsf, win64 lacks fabsf 278 define float @float_powsqrt(float %x) nounwind readnone { 279 ; WIN32-LABEL: @float_powsqrt( 280 ; WIN32-NOT: float @sqrtf 281 ; WIN32: float @powf 282 ; WIN64-LABEL: @float_powsqrt( 283 ; WIN64-NOT: float @sqrtf 284 ; WIN64: float @powf 285 ; MINGW32-LABEL: @float_powsqrt( 286 ; MINGW32: float @sqrtf 287 ; MINGW32: float @fabsf 288 ; MINGW32-NOT: float @powf 289 ; MINGW64-LABEL: @float_powsqrt( 290 ; MINGW64: float @sqrtf 291 ; MINGW64: float @fabsf 292 ; MINGW64-NOT: float @powf 293 %1 = call float @powf(float %x, float 0.5) 294 ret float %1 295 } 296
