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