1  /* { dg-do run } */
       2  /* { dg-options "-O3" } */
       3  
       4  extern void abort (void);
       5  long long a[16];
       6  
       7  __attribute__((noinline, noclone)) void
       8  f1 (void)
       9  {
      10    long long a0, a1, a2, a3;
      11    a0 = a[0];
      12    a1 = a[1];
      13    a2 = a[2];
      14    a3 = a[3];
      15    a0 = a0 << 2;
      16    a1 = a1 << 3;
      17    a2 = a2 << 4;
      18    a3 = a3 << 5;
      19    a[0] = a0;
      20    a[1] = a1;
      21    a[2] = a2;
      22    a[3] = a3;
      23  }
      24  
      25  __attribute__((noinline, noclone)) void
      26  f2 (void)
      27  {
      28    long long a0, a1, a2, a3;
      29    a0 = a[0];
      30    a1 = a[1];
      31    a2 = a[2];
      32    a3 = a[3];
      33    a0 = a0 << 2;
      34    a1 = a1 << 2;
      35    a2 = a2 << 2;
      36    a3 = a3 << 2;
      37    a[0] = a0;
      38    a[1] = a1;
      39    a[2] = a2;
      40    a[3] = a3;
      41  }
      42  
      43  __attribute__((noinline, noclone)) void
      44  f2a (int x)
      45  {
      46    long long a0, a1, a2, a3;
      47    a0 = a[0];
      48    a1 = a[1];
      49    a2 = a[2];
      50    a3 = a[3];
      51    a0 = a0 << x;
      52    a1 = a1 << 2;
      53    a2 = a2 << 2;
      54    a3 = a3 << 2;
      55    a[0] = a0;
      56    a[1] = a1;
      57    a[2] = a2;
      58    a[3] = a3;
      59  }
      60  
      61  __attribute__((noinline, noclone)) void
      62  f2b (int x)
      63  {
      64    long long a0, a1, a2, a3;
      65    a0 = a[0];
      66    a1 = a[1];
      67    a2 = a[2];
      68    a3 = a[3];
      69    a0 = a0 << 2;
      70    a1 = a1 << 2;
      71    a2 = a2 << x;
      72    a3 = a3 << 2;
      73    a[0] = a0;
      74    a[1] = a1;
      75    a[2] = a2;
      76    a[3] = a3;
      77  }
      78  
      79  __attribute__((noinline, noclone)) void
      80  f3 (int x)
      81  {
      82    long long a0, a1, a2, a3;
      83    a0 = a[0];
      84    a1 = a[1];
      85    a2 = a[2];
      86    a3 = a[3];
      87    a0 = a0 << x;
      88    a1 = a1 << x;
      89    a2 = a2 << x;
      90    a3 = a3 << x;
      91    a[0] = a0;
      92    a[1] = a1;
      93    a[2] = a2;
      94    a[3] = a3;
      95  }
      96  
      97  int
      98  main ()
      99  {
     100    a[0] = 4LL;
     101    a[1] = 3LL;
     102    a[2] = 2LL;
     103    a[3] = 1LL;
     104    f1 ();
     105    if (a[0] != (4LL << 2) || a[1] != (3LL << 3)
     106        || a[2] != (2LL << 4) || a[3] != (1LL << 5))
     107      abort ();
     108    f2 ();
     109    if (a[0] != (4LL << 4) || a[1] != (3LL << 5)
     110        || a[2] != (2LL << 6) || a[3] != (1LL << 7))
     111      abort ();
     112    f3 (3);
     113    if (a[0] != (4LL << 7) || a[1] != (3LL << 8)
     114        || a[2] != (2LL << 9) || a[3] != (1LL << 10))
     115      abort ();
     116    f2a (3);
     117    if (a[0] != (4LL << 10) || a[1] != (3LL << 10)
     118        || a[2] != (2LL << 11) || a[3] != (1LL << 12))
     119      abort ();
     120    f2b (3);
     121    if (a[0] != (4LL << 12) || a[1] != (3LL << 12)
     122        || a[2] != (2LL << 14) || a[3] != (1LL << 14))
     123      abort ();
     124    return 0;
     125  }