2 /* { dg-require-effective-target avx } */
3 /* { dg-options "-Os -fno-ipa-cp -fschedule-insns -mavx" } */
7 typedef unsigned int u32
;
8 typedef unsigned long long u64
;
10 u32 x0
, x1
, x2
, x3
, x4
;
13 static u64
__attribute__ ((noinline
, noclone
))
19 return x0
+ x5
+ x1
+ x7
+ 1 + x3
+ x4
;
23 __attribute__ ((noinline
))
27 __builtin_printf ("%016llx", (unsigned long long) (x
>> 0));
28 __builtin_printf ("\n");