1; RUN: llc -mtriple x86_64-w64-mingw32 %s -o - | FileCheck %s
2
3@glob = common dso_local local_unnamed_addr global x86_fp80 0xK00000000000000000000, align 16
4
5define dso_local void @call() {
6entry:
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
10  ret void
11}
12
13declare x86_fp80 @floorl(x86_fp80)
14
15; CHECK-LABEL: call
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
20; CHECK: callq floorl
21; CHECK: fldt [[RETOFF]](%rsp)
22; CHECK: fstpt glob(%rip)
23