1  /* { dg-do compile } */
       2  /* { dg-options "-fgimple -O" } */
       3  /* { dg-require-effective-target int32plus } */
       4  
       5  int pos;
       6  void __GIMPLE (startwith("fre"))
       7  f()
       8  {
       9    unsigned int t2;
      10    unsigned int t1;
      11    int a;
      12    unsigned int u;
      13    int _1;
      14    int _2;
      15    int _3;
      16    unsigned int _4;
      17    int _5;
      18    unsigned int _6;
      19  
      20  bb_2:
      21    _1 = pos;
      22    _2 = _1 + 1;
      23    pos = _2;
      24    _3 = pos;
      25    _4 = (unsigned int) _3;
      26    u_9 = _4 + 4294967295u;
      27    a_10 = pos;
      28    _5 = a_10 + _Literal (int) -1;
      29    t1_11 = (unsigned int) _5;
      30    _6 = (unsigned int) a_10;
      31    t2_12 = _6 + 4294967294u;
      32    return;
      33  }