test_inputs/codegen/cloog/constant.c

   1 for (int c1 = 0; c1 <= min(1023, M + 1024); c1 += 1) {
   2   S1(c1);
   3   S3(c1);
   4 }
   5 for (int c1 = max(0, M + 1025); c1 <= 1023; c1 += 1) {
   6   S2(c1);
   7   S3(c1);
   8 }
   9 for (int c0 = 0; c0 <= min(1023, M + 1024); c0 += 1) {
  10   S4(c0);
  11   S6(c0);
  12 }
  13 for (int c0 = max(0, M + 1025); c0 <= 1023; c0 += 1) {
  14   S5(c0);
  15   S6(c0);
  16 }