(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
tree-ssa/
vrp27.c
       1  /* PR middle-end/26361.  */
       2  /* { dg-do run } */
       3  /* { dg-options "-O2 -std=gnu89" } */
       4  
       5  void abort(void);
       6  
       7  __attribute__((noinline))
       8  void gen_rtx_CONST_INT(long long x) {
       9      if (-x > 10)
      10          abort();
      11  }
      12  __attribute__((noinline))
      13  int alpha_expand_prologue(long frame_size)
      14  {
      15      unsigned long long a;
      16      int probed;
      17      if (frame_size <= 1)  return;
      18      unsigned long long b = -2;
      19      a = -2;
      20      do {
      21          int a1 = a;
      22          probed = -a1;
      23          gen_rtx_CONST_INT (a1);
      24          a -= 2;
      25          a1 = -a;
      26          probed = a1;
      27      } while (probed < frame_size);
      28  }
      29  
      30  int main(void) {
      31      alpha_expand_prologue(10);
      32      return 0;
      33  }