1  /* PR tree-optimization/96779 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O -fdump-tree-optimized -fwrapv" } */
       4  
       5  #include <stdbool.h>
       6  
       7  bool __attribute__ ((noipa)) f_func(int a)
       8  {
       9      return -a == a;
      10  }
      11  
      12  bool __attribute__ ((noipa)) g_func(unsigned int a)
      13  {
      14      return -a == a;
      15  }
      16  
      17  bool __attribute__ ((noipa)) h_func(short a)
      18  {
      19      return -a == a;
      20  }
      21  
      22  bool __attribute__ ((noipa)) k_func(long a)
      23  {
      24      return -a == a;
      25  }
      26  
      27  int
      28  main (void)
      29  {
      30    // few randomly generated test cases
      31    if (f_func (71856034))
      32      {
      33        __builtin_abort ();
      34      }
      35    if (g_func (71856034))
      36      {
      37        __builtin_abort ();
      38      }
      39    if (h_func (1744))
      40      {
      41        __builtin_abort ();
      42      }
      43    if (k_func (68268386))
      44      {
      45        __builtin_abort ();
      46      }
      47    if (f_func (-112237))
      48      {
      49        __builtin_abort ();
      50      }
      51    if (g_func (-787116))
      52      {
      53        __builtin_abort ();
      54      }
      55    if (h_func (-863))
      56      {
      57        __builtin_abort ();
      58      }
      59    if (k_func (-787116))
      60      {
      61        __builtin_abort ();
      62      }
      63    if (!f_func (0))
      64      {
      65        __builtin_abort ();
      66      }
      67    if (!g_func (0))
      68      {
      69        __builtin_abort ();
      70      }
      71    if (!h_func (0))
      72      {
      73        __builtin_abort ();
      74      }
      75    if (!k_func (0))
      76      {
      77        __builtin_abort ();
      78      }
      79  
      80    return 0;
      81  }
      82  
      83  /* Verify that we have *not* transfered "= -" pattern in any of those functions.  */
      84  /* { dg-final { scan-tree-dump-times "= -" 4 "optimized" } } */