parameters: (builder, load)
docstring: Mark the result of a load instruction as positive (or zero).
docstring_summary: Mark the result of a load instruction as positive (or zero).
docstring_tokens: Mark the result of a load instruction as positive ( or zero ) .
function: def mark_positive(builder, load):
      """
      Mark the result of a load instruction as positive (or zero).
      """
      upper_bound = (1 << (load.type.width - 1)) - 1
      set_range_metadata(builder, load, 0, upper_bound)
function_tokens: def mark_positive ( builder , load ) : upper_bound = ( 1 << ( load . type . width - 1 ) ) - 1 set_range_metadata ( builder , load , 0 , upper_bound )