1  /* { dg-do compile } */
       2  
       3  typedef signed char int8_t;
       4  typedef unsigned char uint8_t;
       5  typedef signed short int16_t;
       6  typedef unsigned long uint32_t;
       7  void
       8  f0a (uint32_t * __restrict__ result, int8_t * __restrict__ arg1,
       9       uint32_t * __restrict__ arg4, int8_t temp_6)
      10  {
      11    int idx;
      12    for (idx = 0; idx < 416; idx += 1)
      13      {
      14        result[idx] = (uint8_t)(((arg1[idx] << 7) + arg4[idx]) * temp_6);
      15      }
      16  }
      17