xref: /llvm-project/llvm/test/CodeGen/X86/ldexp-libcall.ll (revision eece6ba283bd763e6d7109ae9e155e81cfee0651)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
2; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
3; RUN: llc < %s -mtriple=i386-pc-win32 | FileCheck %s -check-prefix=CHECK-WIN
4
5define float @call_ldexpf(float %a, i32 %b) {
6; CHECK-LABEL: call_ldexpf:
7; CHECK:       # %bb.0:
8; CHECK-NEXT:    jmp ldexpf@PLT # TAILCALL
9;
10; CHECK-WIN-LABEL: call_ldexpf:
11; CHECK-WIN:       # %bb.0:
12; CHECK-WIN-NEXT:    subl $8, %esp
13; CHECK-WIN-NEXT:    flds {{[0-9]+}}(%esp)
14; CHECK-WIN-NEXT:    movl {{[0-9]+}}(%esp), %eax
15; CHECK-WIN-NEXT:    movl %eax, {{[0-9]+}}(%esp)
16; CHECK-WIN-NEXT:    fstps (%esp)
17; CHECK-WIN-NEXT:    calll _ldexpf
18; CHECK-WIN-NEXT:    addl $8, %esp
19; CHECK-WIN-NEXT:    retl
20  %result = call float @ldexpf(float %a, i32 %b)
21  ret float %result
22}
23
24define double @call_ldexp(double %a, i32 %b) {
25; CHECK-LABEL: call_ldexp:
26; CHECK:       # %bb.0:
27; CHECK-NEXT:    jmp ldexp@PLT # TAILCALL
28;
29; CHECK-WIN-LABEL: call_ldexp:
30; CHECK-WIN:       # %bb.0:
31; CHECK-WIN-NEXT:    subl $12, %esp
32; CHECK-WIN-NEXT:    fldl {{[0-9]+}}(%esp)
33; CHECK-WIN-NEXT:    movl {{[0-9]+}}(%esp), %eax
34; CHECK-WIN-NEXT:    movl %eax, {{[0-9]+}}(%esp)
35; CHECK-WIN-NEXT:    fstpl (%esp)
36; CHECK-WIN-NEXT:    calll _ldexp
37; CHECK-WIN-NEXT:    addl $12, %esp
38; CHECK-WIN-NEXT:    retl
39  %result = call double @ldexp(double %a, i32 %b)
40  ret double %result
41}
42
43define x86_fp80 @call_ldexpl(x86_fp80 %a, i32 %b) {
44; CHECK-LABEL: call_ldexpl:
45; CHECK:       # %bb.0:
46; CHECK-NEXT:    subq $24, %rsp
47; CHECK-NEXT:    .cfi_def_cfa_offset 32
48; CHECK-NEXT:    fldt {{[0-9]+}}(%rsp)
49; CHECK-NEXT:    fstpt (%rsp)
50; CHECK-NEXT:    callq ldexpl@PLT
51; CHECK-NEXT:    addq $24, %rsp
52; CHECK-NEXT:    .cfi_def_cfa_offset 8
53; CHECK-NEXT:    retq
54;
55; CHECK-WIN-LABEL: call_ldexpl:
56; CHECK-WIN:       # %bb.0:
57; CHECK-WIN-NEXT:    pushl %ebp
58; CHECK-WIN-NEXT:    movl %esp, %ebp
59; CHECK-WIN-NEXT:    andl $-16, %esp
60; CHECK-WIN-NEXT:    subl $48, %esp
61; CHECK-WIN-NEXT:    fldt 8(%ebp)
62; CHECK-WIN-NEXT:    movl 24(%ebp), %eax
63; CHECK-WIN-NEXT:    movl %eax, {{[0-9]+}}(%esp)
64; CHECK-WIN-NEXT:    fstpt (%esp)
65; CHECK-WIN-NEXT:    calll _ldexpl
66; CHECK-WIN-NEXT:    movl %ebp, %esp
67; CHECK-WIN-NEXT:    popl %ebp
68; CHECK-WIN-NEXT:    retl
69  %result = call x86_fp80 @ldexpl(x86_fp80 %a, i32 %b)
70  ret x86_fp80 %result
71}
72
73declare float @ldexpf(float %a, i32 %b) #0
74declare double @ldexp(double %a, i32 %b) #0
75declare x86_fp80 @ldexpl(x86_fp80 %a, i32 %b) #0
76
77attributes #0 = { nounwind readonly }
78