test_inputs/codegen/pldi2012/figure8_b.c

   1 {
   2   for (int c0 = 2; c0 < n - 1; c0 += 4) {
   3     s1(c0);
   4     s0(c0 + 2);
   5   }
   6   if (n >= 4 * floord(n, 4) + 2 && n >= 0)
   7     s1(-(n % 4) + n + 2);
   8 }