llvm/test/CodeGen/ARM/llvm.frexp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: llc -mtriple=thumbv7-unknown-linux < %s | FileCheck -check-prefixes=CHECK %s
   3
   4 define { half, i32 } @test_frexp_f16_i32(half %a) {
   5 ; CHECK-LABEL: test_frexp_f16_i32:
   6 ; CHECK:       @ %bb.0:
   7 ; CHECK-NEXT:    push {r7, lr}
   8 ; CHECK-NEXT:    sub sp, #8
   9 ; CHECK-NEXT:    bl __gnu_h2f_ieee
  10 ; CHECK-NEXT:    add r1, sp, #4
  11 ; CHECK-NEXT:    bl frexpf
  12 ; CHECK-NEXT:    bl __gnu_f2h_ieee
  13 ; CHECK-NEXT:    ldr r1, [sp, #4]
  14 ; CHECK-NEXT:    add sp, #8
  15 ; CHECK-NEXT:    pop {r7, pc}
  16   %result = call { half, i32 } @llvm.frexp.f16.i32(half %a)
  17   ret { half, i32 } %result
  18 }
  19
  20 define half @test_frexp_f16_i32_only_use_fract(half %a) {
  21 ; CHECK-LABEL: test_frexp_f16_i32_only_use_fract:
  22 ; CHECK:       @ %bb.0:
  23 ; CHECK-NEXT:    push {r7, lr}
  24 ; CHECK-NEXT:    sub sp, #8
  25 ; CHECK-NEXT:    bl __gnu_h2f_ieee
  26 ; CHECK-NEXT:    add r1, sp, #4
  27 ; CHECK-NEXT:    bl frexpf
  28 ; CHECK-NEXT:    bl __gnu_f2h_ieee
  29 ; CHECK-NEXT:    add sp, #8
  30 ; CHECK-NEXT:    pop {r7, pc}
  31   %result = call { half, i32 } @llvm.frexp.f16.i32(half %a)
  32   %result.0 = extractvalue { half, i32 } %result, 0
  33   ret half %result.0
  34 }
  35
  36 define i32 @test_frexp_f16_i32_only_use_exp(half %a) {
  37 ; CHECK-LABEL: test_frexp_f16_i32_only_use_exp:
  38 ; CHECK:       @ %bb.0:
  39 ; CHECK-NEXT:    push {r7, lr}
  40 ; CHECK-NEXT:    sub sp, #8
  41 ; CHECK-NEXT:    bl __gnu_h2f_ieee
  42 ; CHECK-NEXT:    add r1, sp, #4
  43 ; CHECK-NEXT:    bl frexpf
  44 ; CHECK-NEXT:    ldr r0, [sp, #4]
  45 ; CHECK-NEXT:    add sp, #8
  46 ; CHECK-NEXT:    pop {r7, pc}
  47   %result = call { half, i32 } @llvm.frexp.f16.i32(half %a)
  48   %result.0 = extractvalue { half, i32 } %result, 1
  49   ret i32 %result.0
  50 }
  51
  52 define { <2 x half>, <2 x i32> } @test_frexp_v2f16_v2i32(<2 x half> %a) {
  53 ; CHECK-LABEL: test_frexp_v2f16_v2i32:
  54 ; CHECK:       @ %bb.0:
  55 ; CHECK-NEXT:    push {r4, r5, r6, r7, lr}
  56 ; CHECK-NEXT:    sub sp, #4
  57 ; CHECK-NEXT:    vpush {d8}
  58 ; CHECK-NEXT:    sub sp, #8
  59 ; CHECK-NEXT:    mov r4, r1
  60 ; CHECK-NEXT:    bl __gnu_h2f_ieee
  61 ; CHECK-NEXT:    mov r5, r0
  62 ; CHECK-NEXT:    mov r0, r4
  63 ; CHECK-NEXT:    bl __gnu_h2f_ieee
  64 ; CHECK-NEXT:    add r4, sp, #4
  65 ; CHECK-NEXT:    mov r1, r4
  66 ; CHECK-NEXT:    bl frexpf
  67 ; CHECK-NEXT:    mov r7, sp
  68 ; CHECK-NEXT:    mov r6, r0
  69 ; CHECK-NEXT:    mov r0, r5
  70 ; CHECK-NEXT:    mov r1, r7
  71 ; CHECK-NEXT:    bl frexpf
  72 ; CHECK-NEXT:    vld1.32 {d8[0]}, [r7:32]
  73 ; CHECK-NEXT:    vld1.32 {d8[1]}, [r4:32]
  74 ; CHECK-NEXT:    bl __gnu_f2h_ieee
  75 ; CHECK-NEXT:    mov r4, r0
  76 ; CHECK-NEXT:    mov r0, r6
  77 ; CHECK-NEXT:    bl __gnu_f2h_ieee
  78 ; CHECK-NEXT:    mov r1, r0
  79 ; CHECK-NEXT:    vmov r2, r3, d8
  80 ; CHECK-NEXT:    mov r0, r4
  81 ; CHECK-NEXT:    add sp, #8
  82 ; CHECK-NEXT:    vpop {d8}
  83 ; CHECK-NEXT:    add sp, #4
  84 ; CHECK-NEXT:    pop {r4, r5, r6, r7, pc}
  85   %result = call { <2 x half>, <2 x i32> } @llvm.frexp.v2f16.v2i32(<2 x half> %a)
  86   ret { <2 x half>, <2 x i32> } %result
  87 }
  88
  89 define <2 x half> @test_frexp_v2f16_v2i32_only_use_fract(<2 x half> %a) {
  90 ; CHECK-LABEL: test_frexp_v2f16_v2i32_only_use_fract:
  91 ; CHECK:       @ %bb.0:
  92 ; CHECK-NEXT:    push {r4, r5, r7, lr}
  93 ; CHECK-NEXT:    sub sp, #8
  94 ; CHECK-NEXT:    mov r4, r1
  95 ; CHECK-NEXT:    bl __gnu_h2f_ieee
  96 ; CHECK-NEXT:    mov r1, sp
  97 ; CHECK-NEXT:    bl frexpf
  98 ; CHECK-NEXT:    bl __gnu_f2h_ieee
  99 ; CHECK-NEXT:    mov r5, r0
 100 ; CHECK-NEXT:    mov r0, r4
 101 ; CHECK-NEXT:    bl __gnu_h2f_ieee
 102 ; CHECK-NEXT:    add r1, sp, #4
 103 ; CHECK-NEXT:    bl frexpf
 104 ; CHECK-NEXT:    bl __gnu_f2h_ieee
 105 ; CHECK-NEXT:    mov r1, r0
 106 ; CHECK-NEXT:    mov r0, r5
 107 ; CHECK-NEXT:    add sp, #8
 108 ; CHECK-NEXT:    pop {r4, r5, r7, pc}
 109   %result = call { <2 x half>, <2 x i32> } @llvm.frexp.v2f16.v2i32(<2 x half> %a)
 110   %result.0 = extractvalue { <2 x half>, <2 x i32> } %result, 0
 111   ret <2 x half> %result.0
 112 }
 113
 114 define <2 x i32> @test_frexp_v2f16_v2i32_only_use_exp(<2 x half> %a) {
 115 ; CHECK-LABEL: test_frexp_v2f16_v2i32_only_use_exp:
 116 ; CHECK:       @ %bb.0:
 117 ; CHECK-NEXT:    push {r4, r5, r7, lr}
 118 ; CHECK-NEXT:    sub sp, #8
 119 ; CHECK-NEXT:    mov r4, r1
 120 ; CHECK-NEXT:    bl __gnu_h2f_ieee
 121 ; CHECK-NEXT:    mov r5, sp
 122 ; CHECK-NEXT:    mov r1, r5
 123 ; CHECK-NEXT:    bl frexpf
 124 ; CHECK-NEXT:    mov r0, r4
 125 ; CHECK-NEXT:    bl __gnu_h2f_ieee
 126 ; CHECK-NEXT:    add r4, sp, #4
 127 ; CHECK-NEXT:    mov r1, r4
 128 ; CHECK-NEXT:    bl frexpf
 129 ; CHECK-NEXT:    vld1.32 {d16[0]}, [r5:32]
 130 ; CHECK-NEXT:    vld1.32 {d16[1]}, [r4:32]
 131 ; CHECK-NEXT:    vmov r0, r1, d16
 132 ; CHECK-NEXT:    add sp, #8
 133 ; CHECK-NEXT:    pop {r4, r5, r7, pc}
 134   %result = call { <2 x half>, <2 x i32> } @llvm.frexp.v2f16.v2i32(<2 x half> %a)
 135   %result.1 = extractvalue { <2 x half>, <2 x i32> } %result, 1
 136   ret <2 x i32> %result.1
 137 }
 138
 139 define { float, i32 } @test_frexp_f32_i32(float %a) {
 140 ; CHECK-LABEL: test_frexp_f32_i32:
 141 ; CHECK:       @ %bb.0:
 142 ; CHECK-NEXT:    push {r7, lr}
 143 ; CHECK-NEXT:    sub sp, #8
 144 ; CHECK-NEXT:    add r1, sp, #4
 145 ; CHECK-NEXT:    bl frexpf
 146 ; CHECK-NEXT:    ldr r1, [sp, #4]
 147 ; CHECK-NEXT:    add sp, #8
 148 ; CHECK-NEXT:    pop {r7, pc}
 149   %result = call { float, i32 } @llvm.frexp.f32.i32(float %a)
 150   ret { float, i32 } %result
 151 }
 152
 153 define { float, i32 } @test_frexp_f32_i32_tailcall(float %a) {
 154 ; CHECK-LABEL: test_frexp_f32_i32_tailcall:
 155 ; CHECK:       @ %bb.0:
 156 ; CHECK-NEXT:    push {r7, lr}
 157 ; CHECK-NEXT:    sub sp, #8
 158 ; CHECK-NEXT:    add r1, sp, #4
 159 ; CHECK-NEXT:    bl frexpf
 160 ; CHECK-NEXT:    ldr r1, [sp, #4]
 161 ; CHECK-NEXT:    add sp, #8
 162 ; CHECK-NEXT:    pop {r7, pc}
 163   %result = tail call { float, i32 } @llvm.frexp.f32.i32(float %a)
 164   ret { float, i32 } %result
 165 }
 166
 167 define float @test_frexp_f32_i32_only_use_fract(float %a) {
 168 ; CHECK-LABEL: test_frexp_f32_i32_only_use_fract:
 169 ; CHECK:       @ %bb.0:
 170 ; CHECK-NEXT:    push {r7, lr}
 171 ; CHECK-NEXT:    sub sp, #8
 172 ; CHECK-NEXT:    add r1, sp, #4
 173 ; CHECK-NEXT:    bl frexpf
 174 ; CHECK-NEXT:    add sp, #8
 175 ; CHECK-NEXT:    pop {r7, pc}
 176   %result = call { float, i32 } @llvm.frexp.f32.i32(float %a)
 177   %result.0 = extractvalue { float, i32 } %result, 0
 178   ret float %result.0
 179 }
 180
 181 define i32 @test_frexp_f32_i32_only_use_exp(float %a) {
 182 ; CHECK-LABEL: test_frexp_f32_i32_only_use_exp:
 183 ; CHECK:       @ %bb.0:
 184 ; CHECK-NEXT:    push {r7, lr}
 185 ; CHECK-NEXT:    sub sp, #8
 186 ; CHECK-NEXT:    add r1, sp, #4
 187 ; CHECK-NEXT:    bl frexpf
 188 ; CHECK-NEXT:    ldr r0, [sp, #4]
 189 ; CHECK-NEXT:    add sp, #8
 190 ; CHECK-NEXT:    pop {r7, pc}
 191   %result = call { float, i32 } @llvm.frexp.f32.i32(float %a)
 192   %result.0 = extractvalue { float, i32 } %result, 1
 193   ret i32 %result.0
 194 }
 195
 196 define { <2 x float>, <2 x i32> } @test_frexp_v2f32_v2i32(<2 x float> %a) {
 197 ; CHECK-LABEL: test_frexp_v2f32_v2i32:
 198 ; CHECK:       @ %bb.0:
 199 ; CHECK-NEXT:    push {r4, r5, r7, lr}
 200 ; CHECK-NEXT:    vpush {d8}
 201 ; CHECK-NEXT:    sub sp, #8
 202 ; CHECK-NEXT:    vmov d8, r0, r1
 203 ; CHECK-NEXT:    add r4, sp, #4
 204 ; CHECK-NEXT:    vmov r0, s16
 205 ; CHECK-NEXT:    mov r1, r4
 206 ; CHECK-NEXT:    bl frexpf
 207 ; CHECK-NEXT:    mov r5, r0
 208 ; CHECK-NEXT:    vmov r0, s17
 209 ; CHECK-NEXT:    vld1.32 {d8[0]}, [r4:32]
 210 ; CHECK-NEXT:    mov r4, sp
 211 ; CHECK-NEXT:    mov r1, r4
 212 ; CHECK-NEXT:    bl frexpf
 213 ; CHECK-NEXT:    vld1.32 {d8[1]}, [r4:32]
 214 ; CHECK-NEXT:    mov r1, r0
 215 ; CHECK-NEXT:    mov r0, r5
 216 ; CHECK-NEXT:    vmov r2, r3, d8
 217 ; CHECK-NEXT:    add sp, #8
 218 ; CHECK-NEXT:    vpop {d8}
 219 ; CHECK-NEXT:    pop {r4, r5, r7, pc}
 220   %result = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> %a)
 221   ret { <2 x float>, <2 x i32> } %result
 222 }
 223
 224 define <2 x float> @test_frexp_v2f32_v2i32_only_use_fract(<2 x float> %a) {
 225 ; CHECK-LABEL: test_frexp_v2f32_v2i32_only_use_fract:
 226 ; CHECK:       @ %bb.0:
 227 ; CHECK-NEXT:    push {r4, lr}
 228 ; CHECK-NEXT:    vpush {d8}
 229 ; CHECK-NEXT:    sub sp, #8
 230 ; CHECK-NEXT:    vmov d8, r0, r1
 231 ; CHECK-NEXT:    mov r1, sp
 232 ; CHECK-NEXT:    vmov r0, s17
 233 ; CHECK-NEXT:    bl frexpf
 234 ; CHECK-NEXT:    mov r4, r0
 235 ; CHECK-NEXT:    vmov r0, s16
 236 ; CHECK-NEXT:    add r1, sp, #4
 237 ; CHECK-NEXT:    bl frexpf
 238 ; CHECK-NEXT:    mov r1, r4
 239 ; CHECK-NEXT:    add sp, #8
 240 ; CHECK-NEXT:    vpop {d8}
 241 ; CHECK-NEXT:    pop {r4, pc}
 242   %result = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> %a)
 243   %result.0 = extractvalue { <2 x float>, <2 x i32> } %result, 0
 244   ret <2 x float> %result.0
 245 }
 246
 247 define <2 x i32> @test_frexp_v2f32_v2i32_only_use_exp(<2 x float> %a) {
 248 ; CHECK-LABEL: test_frexp_v2f32_v2i32_only_use_exp:
 249 ; CHECK:       @ %bb.0:
 250 ; CHECK-NEXT:    push {r4, r5, r7, lr}
 251 ; CHECK-NEXT:    vpush {d8}
 252 ; CHECK-NEXT:    sub sp, #8
 253 ; CHECK-NEXT:    vmov d8, r0, r1
 254 ; CHECK-NEXT:    add r4, sp, #4
 255 ; CHECK-NEXT:    vmov r0, s16
 256 ; CHECK-NEXT:    mov r1, r4
 257 ; CHECK-NEXT:    bl frexpf
 258 ; CHECK-NEXT:    vmov r0, s17
 259 ; CHECK-NEXT:    mov r5, sp
 260 ; CHECK-NEXT:    mov r1, r5
 261 ; CHECK-NEXT:    bl frexpf
 262 ; CHECK-NEXT:    vld1.32 {d16[0]}, [r4:32]
 263 ; CHECK-NEXT:    vld1.32 {d16[1]}, [r5:32]
 264 ; CHECK-NEXT:    vmov r0, r1, d16
 265 ; CHECK-NEXT:    add sp, #8
 266 ; CHECK-NEXT:    vpop {d8}
 267 ; CHECK-NEXT:    pop {r4, r5, r7, pc}
 268   %result = call { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float> %a)
 269   %result.1 = extractvalue { <2 x float>, <2 x i32> } %result, 1
 270   ret <2 x i32> %result.1
 271 }
 272
 273 define { <4 x float>, <4 x i32> } @test_frexp_v4f32_v4i32(<4 x float> %a) {
 274 ; CHECK-LABEL: test_frexp_v4f32_v4i32:
 275 ; CHECK:       @ %bb.0:
 276 ; CHECK-NEXT:    push.w {r4, r5, r6, r7, r8, r9, lr}
 277 ; CHECK-NEXT:    sub sp, #4
 278 ; CHECK-NEXT:    vpush {d8, d9, d10, d11}
 279 ; CHECK-NEXT:    sub sp, #16
 280 ; CHECK-NEXT:    add.w r8, sp, #12
 281 ; CHECK-NEXT:    mov r4, r0
 282 ; CHECK-NEXT:    mov r0, r2
 283 ; CHECK-NEXT:    mov r5, r3
 284 ; CHECK-NEXT:    mov r1, r8
 285 ; CHECK-NEXT:    bl frexpf
 286 ; CHECK-NEXT:    add r6, sp, #8
 287 ; CHECK-NEXT:    mov r9, r0
 288 ; CHECK-NEXT:    mov r0, r5
 289 ; CHECK-NEXT:    mov r1, r6
 290 ; CHECK-NEXT:    bl frexpf
 291 ; CHECK-NEXT:    vldr d16, [sp, #80]
 292 ; CHECK-NEXT:    mov r5, r0
 293 ; CHECK-NEXT:    vld1.32 {d8[0]}, [r8:32]
 294 ; CHECK-NEXT:    add.w r8, sp, #4
 295 ; CHECK-NEXT:    vmov r0, r7, d16
 296 ; CHECK-NEXT:    mov r1, r8
 297 ; CHECK-NEXT:    vld1.32 {d8[1]}, [r6:32]
 298 ; CHECK-NEXT:    bl frexpf
 299 ; CHECK-NEXT:    vld1.32 {d9[0]}, [r8:32]
 300 ; CHECK-NEXT:    vmov s21, r5
 301 ; CHECK-NEXT:    mov r5, sp
 302 ; CHECK-NEXT:    mov r6, r0
 303 ; CHECK-NEXT:    mov r0, r7
 304 ; CHECK-NEXT:    mov r1, r5
 305 ; CHECK-NEXT:    vmov s20, r9
 306 ; CHECK-NEXT:    bl frexpf
 307 ; CHECK-NEXT:    vmov s23, r0
 308 ; CHECK-NEXT:    vld1.32 {d9[1]}, [r5:32]
 309 ; CHECK-NEXT:    vmov s22, r6
 310 ; CHECK-NEXT:    vst1.32 {d10, d11}, [r4]!
 311 ; CHECK-NEXT:    vst1.64 {d8, d9}, [r4]
 312 ; CHECK-NEXT:    add sp, #16
 313 ; CHECK-NEXT:    vpop {d8, d9, d10, d11}
 314 ; CHECK-NEXT:    add sp, #4
 315 ; CHECK-NEXT:    pop.w {r4, r5, r6, r7, r8, r9, pc}
 316   %result = call { <4 x float>, <4 x i32> } @llvm.frexp.v4f32.v4i32(<4 x float> %a)
 317   ret { <4 x float>, <4 x i32> } %result
 318 }
 319
 320 define <4 x float> @test_frexp_v4f32_v4i32_only_use_fract(<4 x float> %a) {
 321 ; CHECK-LABEL: test_frexp_v4f32_v4i32_only_use_fract:
 322 ; CHECK:       @ %bb.0:
 323 ; CHECK-NEXT:    push {r4, r5, r6, lr}
 324 ; CHECK-NEXT:    vpush {d8, d9}
 325 ; CHECK-NEXT:    sub sp, #16
 326 ; CHECK-NEXT:    mov r5, r1
 327 ; CHECK-NEXT:    mov r6, r0
 328 ; CHECK-NEXT:    mov r1, sp
 329 ; CHECK-NEXT:    mov r0, r3
 330 ; CHECK-NEXT:    mov r4, r2
 331 ; CHECK-NEXT:    bl frexpf
 332 ; CHECK-NEXT:    add r1, sp, #4
 333 ; CHECK-NEXT:    vmov s19, r0
 334 ; CHECK-NEXT:    mov r0, r4
 335 ; CHECK-NEXT:    bl frexpf
 336 ; CHECK-NEXT:    add r1, sp, #8
 337 ; CHECK-NEXT:    vmov s18, r0
 338 ; CHECK-NEXT:    mov r0, r5
 339 ; CHECK-NEXT:    bl frexpf
 340 ; CHECK-NEXT:    add r1, sp, #12
 341 ; CHECK-NEXT:    vmov s17, r0
 342 ; CHECK-NEXT:    mov r0, r6
 343 ; CHECK-NEXT:    bl frexpf
 344 ; CHECK-NEXT:    vmov s16, r0
 345 ; CHECK-NEXT:    vmov r2, r3, d9
 346 ; CHECK-NEXT:    vmov r0, r1, d8
 347 ; CHECK-NEXT:    add sp, #16
 348 ; CHECK-NEXT:    vpop {d8, d9}
 349 ; CHECK-NEXT:    pop {r4, r5, r6, pc}
 350   %result = call { <4 x float>, <4 x i32> } @llvm.frexp.v4f32.v4i32(<4 x float> %a)
 351   %result.0 = extractvalue { <4 x float>, <4 x i32> } %result, 0
 352   ret <4 x float> %result.0
 353 }
 354
 355 define <4 x i32> @test_frexp_v4f32_v4i32_only_use_exp(<4 x float> %a) {
 356 ; CHECK-LABEL: test_frexp_v4f32_v4i32_only_use_exp:
 357 ; CHECK:       @ %bb.0:
 358 ; CHECK-NEXT:    push {r4, r5, r6, lr}
 359 ; CHECK-NEXT:    sub sp, #16
 360 ; CHECK-NEXT:    mov r6, r1
 361 ; CHECK-NEXT:    add r1, sp, #12
 362 ; CHECK-NEXT:    mov r4, r3
 363 ; CHECK-NEXT:    mov r5, r2
 364 ; CHECK-NEXT:    bl frexpf
 365 ; CHECK-NEXT:    add r1, sp, #8
 366 ; CHECK-NEXT:    mov r0, r6
 367 ; CHECK-NEXT:    bl frexpf
 368 ; CHECK-NEXT:    add r1, sp, #4
 369 ; CHECK-NEXT:    mov r0, r5
 370 ; CHECK-NEXT:    bl frexpf
 371 ; CHECK-NEXT:    mov r1, sp
 372 ; CHECK-NEXT:    mov r0, r4
 373 ; CHECK-NEXT:    bl frexpf
 374 ; CHECK-NEXT:    ldrd r1, r0, [sp, #8]
 375 ; CHECK-NEXT:    ldrd r3, r2, [sp], #16
 376 ; CHECK-NEXT:    pop {r4, r5, r6, pc}
 377   %result = call { <4 x float>, <4 x i32> } @llvm.frexp.v4f32.v4i32(<4 x float> %a)
 378   %result.1 = extractvalue { <4 x float>, <4 x i32> } %result, 1
 379   ret <4 x i32> %result.1
 380 }
 381
 382 define { double, i32 } @test_frexp_f64_i32(double %a) {
 383 ; CHECK-LABEL: test_frexp_f64_i32:
 384 ; CHECK:       @ %bb.0:
 385 ; CHECK-NEXT:    push {r7, lr}
 386 ; CHECK-NEXT:    sub sp, #8
 387 ; CHECK-NEXT:    add r2, sp, #4
 388 ; CHECK-NEXT:    bl frexp
 389 ; CHECK-NEXT:    ldr r2, [sp, #4]
 390 ; CHECK-NEXT:    add sp, #8
 391 ; CHECK-NEXT:    pop {r7, pc}
 392   %result = call { double, i32 } @llvm.frexp.f64.i32(double %a)
 393   ret { double, i32 } %result
 394 }
 395
 396 define double @test_frexp_f64_i32_only_use_fract(double %a) {
 397 ; CHECK-LABEL: test_frexp_f64_i32_only_use_fract:
 398 ; CHECK:       @ %bb.0:
 399 ; CHECK-NEXT:    push {r7, lr}
 400 ; CHECK-NEXT:    sub sp, #8
 401 ; CHECK-NEXT:    add r2, sp, #4
 402 ; CHECK-NEXT:    bl frexp
 403 ; CHECK-NEXT:    add sp, #8
 404 ; CHECK-NEXT:    pop {r7, pc}
 405   %result = call { double, i32 } @llvm.frexp.f64.i32(double %a)
 406   %result.0 = extractvalue { double, i32 } %result, 0
 407   ret double %result.0
 408 }
 409
 410 define i32 @test_frexp_f64_i32_only_use_exp(double %a) {
 411 ; CHECK-LABEL: test_frexp_f64_i32_only_use_exp:
 412 ; CHECK:       @ %bb.0:
 413 ; CHECK-NEXT:    push {r7, lr}
 414 ; CHECK-NEXT:    sub sp, #8
 415 ; CHECK-NEXT:    add r2, sp, #4
 416 ; CHECK-NEXT:    bl frexp
 417 ; CHECK-NEXT:    ldr r0, [sp, #4]
 418 ; CHECK-NEXT:    add sp, #8
 419 ; CHECK-NEXT:    pop {r7, pc}
 420   %result = call { double, i32 } @llvm.frexp.f64.i32(double %a)
 421   %result.0 = extractvalue { double, i32 } %result, 1
 422   ret i32 %result.0
 423 }
 424
 425 define { <2 x double>, <2 x i32> } @test_frexp_v2f64_v2i32(<2 x double> %a) {
 426 ; CHECK-LABEL: test_frexp_v2f64_v2i32:
 427 ; CHECK:       @ %bb.0:
 428 ; CHECK-NEXT:    push.w {r4, r5, r6, r7, r8, lr}
 429 ; CHECK-NEXT:    sub sp, #8
 430 ; CHECK-NEXT:    add.w r8, sp, #4
 431 ; CHECK-NEXT:    mov r4, r0
 432 ; CHECK-NEXT:    mov r0, r2
 433 ; CHECK-NEXT:    mov r1, r3
 434 ; CHECK-NEXT:    mov r2, r8
 435 ; CHECK-NEXT:    bl frexp
 436 ; CHECK-NEXT:    mov r6, r0
 437 ; CHECK-NEXT:    mov r7, r1
 438 ; CHECK-NEXT:    ldrd r0, r1, [sp, #32]
 439 ; CHECK-NEXT:    mov r5, sp
 440 ; CHECK-NEXT:    mov r2, r5
 441 ; CHECK-NEXT:    bl frexp
 442 ; CHECK-NEXT:    vld1.32 {d16[0]}, [r8:32]
 443 ; CHECK-NEXT:    vmov d18, r6, r7
 444 ; CHECK-NEXT:    vmov d19, r0, r1
 445 ; CHECK-NEXT:    vld1.32 {d16[1]}, [r5:32]
 446 ; CHECK-NEXT:    vst1.64 {d18, d19}, [r4]!
 447 ; CHECK-NEXT:    vstr d16, [r4]
 448 ; CHECK-NEXT:    add sp, #8
 449 ; CHECK-NEXT:    pop.w {r4, r5, r6, r7, r8, pc}
 450   %result = call { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double> %a)
 451   ret { <2 x double>, <2 x i32> } %result
 452 }
 453
 454 define <2 x double> @test_frexp_v2f64_v2i32_only_use_fract(<2 x double> %a) {
 455 ; CHECK-LABEL: test_frexp_v2f64_v2i32_only_use_fract:
 456 ; CHECK:       @ %bb.0:
 457 ; CHECK-NEXT:    push {r4, r5, r6, r7, lr}
 458 ; CHECK-NEXT:    sub sp, #12
 459 ; CHECK-NEXT:    mov r5, r2
 460 ; CHECK-NEXT:    add r2, sp, #4
 461 ; CHECK-NEXT:    mov r4, r3
 462 ; CHECK-NEXT:    bl frexp
 463 ; CHECK-NEXT:    add r2, sp, #8
 464 ; CHECK-NEXT:    mov r6, r0
 465 ; CHECK-NEXT:    mov r7, r1
 466 ; CHECK-NEXT:    mov r0, r5
 467 ; CHECK-NEXT:    mov r1, r4
 468 ; CHECK-NEXT:    bl frexp
 469 ; CHECK-NEXT:    mov r2, r0
 470 ; CHECK-NEXT:    mov r3, r1
 471 ; CHECK-NEXT:    mov r0, r6
 472 ; CHECK-NEXT:    mov r1, r7
 473 ; CHECK-NEXT:    add sp, #12
 474 ; CHECK-NEXT:    pop {r4, r5, r6, r7, pc}
 475   %result = call { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double> %a)
 476   %result.0 = extractvalue { <2 x double>, <2 x i32> } %result, 0
 477   ret <2 x double> %result.0
 478 }
 479
 480 define <2 x i32> @test_frexp_v2f64_v2i32_only_use_exp(<2 x double> %a) {
 481 ; CHECK-LABEL: test_frexp_v2f64_v2i32_only_use_exp:
 482 ; CHECK:       @ %bb.0:
 483 ; CHECK-NEXT:    push {r4, r5, r6, r7, lr}
 484 ; CHECK-NEXT:    sub sp, #12
 485 ; CHECK-NEXT:    add r6, sp, #4
 486 ; CHECK-NEXT:    mov r5, r2
 487 ; CHECK-NEXT:    mov r4, r3
 488 ; CHECK-NEXT:    mov r2, r6
 489 ; CHECK-NEXT:    bl frexp
 490 ; CHECK-NEXT:    add r7, sp, #8
 491 ; CHECK-NEXT:    mov r0, r5
 492 ; CHECK-NEXT:    mov r1, r4
 493 ; CHECK-NEXT:    mov r2, r7
 494 ; CHECK-NEXT:    bl frexp
 495 ; CHECK-NEXT:    vld1.32 {d16[0]}, [r6:32]
 496 ; CHECK-NEXT:    vld1.32 {d16[1]}, [r7:32]
 497 ; CHECK-NEXT:    vmov r0, r1, d16
 498 ; CHECK-NEXT:    add sp, #12
 499 ; CHECK-NEXT:    pop {r4, r5, r6, r7, pc}
 500   %result = call { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double> %a)
 501   %result.1 = extractvalue { <2 x double>, <2 x i32> } %result, 1
 502   ret <2 x i32> %result.1
 503 }
 504
 505 declare { float, i32 } @llvm.frexp.f32.i32(float) #0
 506 declare { <2 x float>, <2 x i32> } @llvm.frexp.v2f32.v2i32(<2 x float>) #0
 507 declare { <4 x float>, <4 x i32> } @llvm.frexp.v4f32.v4i32(<4 x float>) #0
 508
 509 declare { half, i32 } @llvm.frexp.f16.i32(half) #0
 510 declare { <2 x half>, <2 x i32> } @llvm.frexp.v2f16.v2i32(<2 x half>) #0
 511
 512 declare { double, i32 } @llvm.frexp.f64.i32(double) #0
 513 declare { <2 x double>, <2 x i32> } @llvm.frexp.v2f64.v2i32(<2 x double>) #0
 514
 515 declare { half, i16 } @llvm.frexp.f16.i16(half) #0
 516 declare { <2 x half>, <2 x i16> } @llvm.frexp.v2f16.v2i16(<2 x half>) #0
 517
 518 attributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }