1  /* PR tree-optimization/94524 */
       2  
       3  typedef signed char __attribute__ ((__vector_size__ (16))) V;
       4  
       5  static __attribute__ ((__noinline__, __noclone__)) V
       6  foo (V c)
       7  {
       8    c %= (signed char) -19;
       9    return (V) c;
      10  }
      11  
      12  int
      13  main ()
      14  {
      15    V x = foo ((V) { 31 });
      16    if (x[0] != 12)
      17      __builtin_abort ();
      18    return 0;
      19  }