1 #include <stdio.h>
2 #include <stdlib.h>
3 
4 static void bmi2_test (void);
5 
6 static void
7 __attribute__ ((noinline))
do_test(void)8 do_test (void)
9 {
10   bmi2_test ();
11 }
12 
13 int
main()14 main ()
15 {
16   do_test ();
17 #ifdef DEBUG
18   printf ("PASSED\n");
19 #endif
20   return 0;
21 }
22 
23