| ; RUN: llc -mtriple x86_64-w64-mingw32 %s -o - | FileCheck %s | |
| @glob = common dso_local local_unnamed_addr global x86_fp80 0xK00000000000000000000, align 16 | |
| define dso_local void @call() { | |
| entry: | |
| %0 = load x86_fp80, x86_fp80* @glob, align 16 | |
| %1 = tail call x86_fp80 @floorl(x86_fp80 %0) | |
| store x86_fp80 %1, x86_fp80* @glob, align 16 | |
| ret void | |
| } | |
| declare x86_fp80 @floorl(x86_fp80) | |
| ; CHECK-LABEL: call | |
| ; CHECK: fldt glob(%rip) | |
| ; CHECK: fstpt [[ARGOFF:[0-9]+]](%rsp) | |
| ; CHECK: leaq [[RETOFF:[0-9]+]](%rsp), %rcx | |
| ; CHECK: leaq [[ARGOFF]](%rsp), %rdx | |
| ; CHECK: callq floorl | |
| ; CHECK: fldt [[RETOFF]](%rsp) | |
| ; CHECK: fstpt glob(%rip) |