1 /* { dg-do compile { target { ! ia32 } } } */
2 /* { dg-options "-mfxsr -O2" } */
3 /* { dg-final { scan-assembler "fxsave64\[ \\t\]" } } */
4 
5 #include <x86intrin.h>
6 
7 void extern
fxsave_test(void)8 fxsave_test (void)
9 {
10   char fxsave_region [512] __attribute__((aligned(16)));
11   _fxsave64 (fxsave_region);
12 }
13