| /* { dg-do run } */ |
| /* { dg-require-effective-target avx } */ |
| /* { dg-options "-Os -fno-ipa-cp -fschedule-insns -mavx" } */ |
| |
| #include "avx-check.h" |
| |
| typedef unsigned int u32; |
| typedef unsigned long long u64; |
| |
| u32 x0, x1, x2, x3, x4; |
| u64 x5, x6; |
| |
| static u64 __attribute__ ((noinline, noclone)) |
| foo (u64 x7) |
| { |
| x6 = x2; |
| x6 *= 5; |
| x6--; |
| return x0 + x5 + x1 + x7 + 1 + x3 + x4; |
| } |
| |
| static void |
| __attribute__ ((noinline)) |
| avx_test () |
| { |
| u64 x = foo (0); |
| __builtin_printf ("%016llx", (unsigned long long) (x >> 0)); |
| __builtin_printf ("\n"); |
| } |
