isl_basic_set_sort_constraints: take into account all coefficients

[isl.git] / test_inputs / codegen / single_valued.c

if (2 * (63 * t1 % 64) + t1 <= 134)
  S(2 * (63 * t1 % 64) + t1);