1; RUN: llc < %s -march=x86-64
2
3define x86_fp80 @foo(x86_fp80 %a) {
4  %1 = tail call x86_fp80 @copysignl(x86_fp80 0xK7FFF8000000000000000, x86_fp80 %a) nounwind readnone
5  ret x86_fp80 %1
6}
7
8declare x86_fp80 @copysignl(x86_fp80, x86_fp80) nounwind readnone
9