5 void __attribute__((noinline
))
8 for (int i
= 0; i
< 512; ++i
)
10 x
[2*i
] = x
[2*i
] << ((i
+1) & 31);
11 x
[2*i
+1] = x
[2*i
+1] << ((i
+1) & 31);
19 for (int i
= 0; i
< 1024; ++i
)
23 for (int i
= 0; i
< 1024; ++i
)
24 if (x
[i
] != i
<< ((i
/2+1) & 31))