Lines Matching refs:hi
101 ** hi, % float: upper bound
107 ** max, % suspensions: wake on update of hi
654 #define Bounds_To_Constant(lo, hi, res) { \
655 if (((lo) == (hi)) \
662 } else if (DoublesIdentical(lo, hi)) { \
665 Make_Interval(res, lo, hi); \
1144 /* Schedule suspensions (hi). */
2194 fprintf(stderr, " term lo = %f, hi = %f.\n", res.l, res.u);
2669 fprintf(stderr, " lo = %f, hi = %f.\n", res.l, res.u);
2729 fprintf(stderr, " lo = %f, hi = %f.\n", res.l, res.u);
2786 fprintf(stderr, " lo = %f, hi = %f.\n", res.l, res.u);
3262 double lo, hi;
3311 hi = min(vix.tb.b.u, viy.tb.b.u + c);
3314 result = ic_upb(&vix, hi);
3316 result = create_bitmap((word) lo, (word) hi, &bitmap_x);
3321 hi = min(viy.tb.b.u, vix.tb.b.u - c);
3324 result = ic_upb(&viy, hi);
3326 result = create_bitmap((word) lo, (word) hi, &bitmap_y);
3338 hi = min(viy.tb.b.u, vix.tb.b.u - c);
3341 result = ic_upb(&viy, hi);
3364 hi = min(vix.tb.b.u, viy.tb.b.u + c);
3367 result = ic_upb(&vix, hi);
3702 fprintf(stderr, " term lo = %f, hi = %f.\n", res.l, res.u);
4010 fprintf(stderr, " lo = %f, hi = %f.\n", res.l, res.u);
4248 fprintf(stderr, " lo = %f, hi = %f.\n", res.l, res.u);