1 /* { dg-do compile } */
2 
3 typedef unsigned char uint8_t;
4 typedef unsigned long uint32_t;
5 void
f0a(uint32_t * __restrict__ result,uint32_t * arg2,uint8_t * __restrict__ arg4)6 f0a (uint32_t * __restrict__ result, uint32_t * arg2,
7      uint8_t * __restrict__ arg4)
8 {
9   int idx;
10   for (idx = 0; idx < 429; idx += 1)
11     {
12       uint32_t temp_9;
13       uint32_t temp_11;
14       temp_9 = ((-19 | arg4[idx]) >> arg2[idx]);
15       temp_11 = (((-19 ^ arg4[idx]) & arg2[idx]) ^ temp_9);
16       result[idx] = temp_11;
17     }
18 }
19 
20 
21