reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1951 v = isl_val_mul(isl_val_copy(delta), isl_val_copy(h)); 1952 v2 = isl_val_floor(isl_val_copy(v)); 1953 v = isl_val_sub(v, v2); 1953 v = isl_val_sub(v, v2); 1954 v = isl_val_mul_ui(v, 2); 1954 v = isl_val_mul_ui(v, 2); 1955 v = isl_val_add(v, isl_val_copy(delta)); 1955 v = isl_val_add(v, isl_val_copy(delta)); 1956 v = isl_val_sub_ui(v, 1); 1956 v = isl_val_sub_ui(v, 1); 1957 ok = isl_val_gt(s0, v); 1958 isl_val_free(v);