def mark_positive(builder, load):
    upper_bound = (1 << (load.type.width - 1)) - 1
    set_range_metadata(builder, load, 0, upper_bound)
Mark the result of a load instruction as positive (or zero).
dataset/ETHPy150Open numba/numba/numba/targets/arrayobj.py/mark_positive