1 /* { dg-do compile { target lp64 } } */
2 /* { dg-options "-mno-avx -msse -mcall-ms2sysv-xlogues -O2" } */
3 /* { dg-final { scan-assembler "call.*__sse_savms64f?_12" } } */
4 /* { dg-final { scan-assembler "jmp.*__sse_resms64f?x_12" } } */
5 
a()6 void __attribute__((sysv_abi)) a() {
7 }
8 
9 static void __attribute__((sysv_abi)) (*volatile a_noinfo)() = a;
10 
b()11 void __attribute__((ms_abi)) b() {
12   a_noinfo ();
13 }
14