1  /* PR tree-optimization/54579
       2     PR middle-end/55299 */
       3  
       4  /* { dg-do compile } */
       5  /* { dg-options "-O -fdump-tree-cddce1" } */
       6  
       7  int
       8  asr1 (int a, int b)
       9  {
      10    return ~((~a) >> b);
      11  }
      12  
      13  long
      14  asr1l (long a, long b)
      15  {
      16    return ~((~a) >> b);
      17  }
      18  
      19  int
      20  asr_conv (unsigned a, unsigned b)
      21  {
      22    return ~((int)~a >> b);
      23  }
      24  
      25  unsigned
      26  asr_conv2 (unsigned a, unsigned b)
      27  {
      28    return ~(unsigned)((int)~a >> b);
      29  }
      30  
      31  unsigned
      32  asr_conv3 (int a, int b)
      33  {
      34    return ~(unsigned)(~a >> b);
      35  }
      36  
      37  typedef __INT32_TYPE__ int32_t;
      38  typedef __INT64_TYPE__ int64_t;
      39  
      40  int32_t
      41  asr_conv4 (int64_t a, int b)
      42  {
      43    return ~((int32_t)~a >> b);
      44  }
      45  
      46  int32_t
      47  asr_conv5 (int64_t a, int b)
      48  {
      49    return ~(int32_t)(~a >> b);
      50  }
      51  
      52  int
      53  asr2 (int a, int b)
      54  {
      55    return -((-a - 1) >> b) - 1;
      56  }
      57  
      58  int
      59  asr3 (int a, int b)
      60  {
      61    return a < 0 ? ~((~a) >> b) : a >> b;
      62  }
      63  
      64  int64_t
      65  asr3l (int64_t a, int b)
      66  {
      67    return a < 0 ? ~((~a) >> b) : a >> b;
      68  }
      69  
      70  int
      71  asr4 (int a, int b)
      72  {
      73    return a < 0 ? -((-a - 1) >> b) - 1 : a >> b;
      74  }
      75  
      76  /* { dg-final { scan-tree-dump-times ">>" 11 "cddce1" } } */
      77  /* { dg-final { scan-tree-dump-not "~" "cddce1" } } */