1 ; RUN: llc -mtriple x86_64-w64-mingw32 %s -o - | FileCheck %s
3 @glob = common dso_local local_unnamed_addr global x86_fp80 0xK00000000000000000000, align 16
5 define dso_local void @call() {
7 %0 = load x86_fp80, x86_fp80* @glob, align 16
8 %1 = tail call x86_fp80 @floorl(x86_fp80 %0)
9 store x86_fp80 %1, x86_fp80* @glob, align 16
13 declare x86_fp80 @floorl(x86_fp80)
16 ; CHECK: fldt glob(%rip)
17 ; CHECK: fstpt [[ARGOFF:[0-9]+]](%rsp)
18 ; CHECK: leaq [[RETOFF:[0-9]+]](%rsp), %rcx
19 ; CHECK: leaq [[ARGOFF]](%rsp), %rdx
21 ; CHECK: fldt [[RETOFF]](%rsp)
22 ; CHECK: fstpt glob(%rip)