136          double rhigh;  member
2280       return bt->rlow >= tt->rlow && bt->rhigh <= tt->rhigh;  in vtype_includes()
2493    n->rhigh = DBL_MAX;  in vtype_real()
4685 static op_t *emit_index_check_null(vcode_reg_t rlow, vcode_reg_t rhigh,  in emit_index_check_null()  argument
4691        && vcode_reg_const(rhigh, &rhigh_const)  in emit_index_check_null()
4695       emit_comment("Index check on null range for r%d and r%d", rlow, rhigh);  in emit_index_check_null()
4701    vcode_add_arg(op, rhigh);  in emit_index_check_null()
4708 void emit_index_check(vcode_reg_t rlow, vcode_reg_t rhigh, vcode_type_t bounds,  in emit_index_check()  argument
4712        && vtype_includes(bounds, vcode_reg_data(rhigh)->bounds)) {  in emit_index_check()
4713       emit_comment("Elided index check for r%d and r%d", rlow, rhigh);  in emit_index_check()
4717    op_t *op = emit_index_check_null(rlow, rhigh, kind);  in emit_index_check()
4725 void emit_dynamic_index_check(vcode_reg_t rlow, vcode_reg_t rhigh,  in emit_dynamic_index_check()  argument
4729    op_t *op = emit_index_check_null(rlow, rhigh, kind);  in emit_dynamic_index_check()
5030          write_double(t->rhigh, f);  in vcode_write_unit()
5257          t->rhigh = read_double(f);  in vcode_read_unit()