def mark_positive(builder, load):
 upper_bound = ((1 << (load.type.width - 1)) - 1)
 set_range_metadata(builder, load, 0, upper_bound)

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 .