1  /* { dg-do run } */
       2  /* { dg-options "-O2 --save-temps" } */
       3  
       4  extern void abort (void);
       5  int z;
       6  
       7  int
       8  negs_si_test1 (int a, int b, int c)
       9  {
      10    int d = -b;
      11  
      12    /* { dg-final { scan-assembler "negs\tw\[0-9\]+, w\[0-9\]+" } } */
      13    if (d < 0)
      14      return a + c;
      15  
      16    z = d;
      17      return b + c + d;
      18  }
      19  
      20  int
      21  negs_si_test3 (int a, int b, int c)
      22  {
      23    int d = -(b) << 3;
      24  
      25    /* { dg-final { scan-assembler "negs\tw\[0-9\]+, w\[0-9\]+, lsl 3" } } */
      26    if (d == 0)
      27      return a + c;
      28  
      29    z = d;
      30      return b + c + d;
      31  }
      32  
      33  typedef long long s64;
      34  s64 zz;
      35  
      36  s64
      37  negs_di_test1 (s64 a, s64 b, s64 c)
      38  {
      39    s64 d = -b;
      40  
      41    /* { dg-final { scan-assembler "negs\tx\[0-9\]+, x\[0-9\]+" } } */
      42    if (d < 0)
      43      return a + c;
      44  
      45    zz = d;
      46      return b + c + d;
      47  }
      48  
      49  s64
      50  negs_di_test3 (s64 a, s64 b, s64 c)
      51  {
      52    s64 d = -(b) << 3;
      53  
      54    /* { dg-final { scan-assembler "negs\tx\[0-9\]+, x\[0-9\]+, lsl 3" } } */
      55    if (d == 0)
      56      return a + c;
      57  
      58    zz = d;
      59      return b + c + d;
      60  }
      61  
      62  int main ()
      63  {
      64    int x;
      65    s64 y;
      66  
      67    x = negs_si_test1 (2, 12, 5);
      68    if (x != 7)
      69      abort ();
      70  
      71    x = negs_si_test1 (1, 2, 32);
      72    if (x != 33)
      73      abort ();
      74  
      75    x = negs_si_test3 (13, 14, 5);
      76    if (x != -93)
      77      abort ();
      78  
      79    x = negs_si_test3 (15, 21, 2);
      80    if (x != -145)
      81      abort ();
      82  
      83    y = negs_di_test1 (0x20202020ll,
      84  		     0x65161611ll,
      85  		     0x42434243ll);
      86    if (y != 0x62636263ll)
      87      abort ();
      88  
      89    y = negs_di_test1 (0x1010101010101ll,
      90  		     0x123456789abcdll,
      91  		     0x5555555555555ll);
      92    if (y != 0x6565656565656ll)
      93      abort ();
      94  
      95    y = negs_di_test3 (0x62523781ll,
      96  		     0x64234978ll,
      97  		     0x12345123ll);
      98    if (y != 0xfffffffd553d4edbll)
      99      abort ();
     100  
     101    y = negs_di_test3 (0x763526268ll,
     102  		     0x101010101ll,
     103  		     0x222222222ll);
     104    if (y != 0xfffffffb1b1b1b1bll)
     105      abort ();
     106  
     107    return 0;
     108  }