<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/76628>76628</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Support `!range` metadata for function argument
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          AngelicosPhosphoros
      </td>
    </tr>
</table>

<pre>
    It can be useful for cases like Rusts [`NonZeroInt` types](https://doc.rust-lang.org/stable/std/num/struct.NonZeroUsize.html) or [subrange types](https://wiki.freepascal.org/subrange_types) like in Pascal,

For example, in Rust, when passing non-zero integer function arguments as references, compiler emits `!range` metadata on loads so optimizer can exploit this to remove unnecessary checks for zero (and generated branches).
However, when arguments are passed by value (which is optimal in sense of stack memory usage), frontend cannot emit range metadata for function arguments so LLVM optimizer fails to remove zero checks despite them being unnecessary.

E. g. this optimizes well
```rust
pub fn is_zero(a: &NonZeroU32)->bool {
   a.get() == 0
}
```
Output:
```llvm-ir
define noundef zeroext i1 @is_zero(i32 noundef %_a) unnamed_addr #0 !dbg !14 {
  ret i1 false, !dbg !15
}
```

and this optimizes badly
```rust
pub fn is_zero(a: NonZeroU32)->bool {
   a.get() == 0
}
```
Output:
```llvm-ir
define noundef zeroext i1 @is_zero(i32 noundef %a) unnamed_addr #0 !dbg !7 {
  %_0 = icmp eq i32 %a, 0, !dbg !12
  ret i1 %_0, !dbg !13
}
```

Frontend cannot solve this because even if it would put such the arguments into stack and then load them with metadata specified, first `SROA` or `mem2reg` would remove this operations so later optimizations wouldn't see that values have limited range.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzUVUuP2zYQ_jX0ZbACTfmlgw6bdYwGSJsgQXvoZUGJI4ldilQ5pB3n1xekvLuOkfRxLGBINDWPb755SSLdW8Sard-w9X4hYxicr-9tj0a3jj4OjqbBeUeLxqlz_S5AKy00CJGwiwY656GVhARGPyF8ihQIkrEN_8XZ39G7dzawDYdwnpDYes_EbghhIlbeM3Fg4qBcW_hI4c5I2xfO90wcKMjGYD4oJg42jvnsYxuKi9lfSX_FYgijYaIC55NTio2XtscfOzvpJ110HnGS1Erz7O6i9zjriWoORlv4mMWYeGB8z_j9_Dw4D_hFjlOC-JDEUtjpeBrQwpRItT1YZ---onegbcAePXTRtkE7C9L3cUQbCCSBxw492jY5foDWjZM26AFHnZjccCaWGVwiccQglQwSnAXjpCIgB24KetRf0efU4JfJOB0gDJogOPA4uiNCtBZbJJL-DO2A7RPl1GV8TOykVdCjRS8DKkhstENmophD_smd8Ij-JcarCDzmiJPaGY7SREwGT4NuB9A0o5MmsURoCcF1QEG2TzDi6PwZIskemaiS7c47G9CqFIl1IZMAc0pfQk-wv8MkOXj__refr9jopDbXFORYL7ErpEkHhDDgCA2mdF0xVFxn-20BfTHT-Wyb4ITGXIQ2fP6lGp6vpthAZ0HTY3KZ2GXlPTCxeS7dUjBR3bHybeOcAbZ9M-sBgCx6DEzsUg2ycs_KPfCLn-3-xuH890MMUwypwL_9asxxvNN-vlXYaYtgXbQKu8wEfgmgl8BW_BWnLsWLDBPrR5lgRGvliOpRKuWBiZIDE0vV9Om1XF2j95hNdtJQbowrufXfBzE_UxHe8NxIZc7_kej_Gcv_SPL2GntKC0-gQbfjBPgnJHOzmQfgN7SLm9Rk7RuZ8t-k5nDTmOTMEedkNdjKSAh4RAu6Ax3g5KJRMMUAFNshNdlVo2ob3GUCzAnHeZbNvXjSYXjtdZqw1Z1GlYeD9hTSRPz86UNCmYf-ho84Co99upj9Xtr9UklppGln84AwMqB_rq7LddaxTGwDECYtGeYpRjDII4LRo04zMU-hYqHqUlVlJRdYL7e8rDZiV_LFUHdVVZaq4qud2q1XDV8vu6rrdmKJjeJlKRe6FlyUS1HyZcV5yQtcL9VGqUZ0u02z3e7YiuMotSlSTaXFtNBEEevtZiN2CyMbNJTXtBAWT5A_MiHS1vZ1rsMm9sRW3GgK9Gol6GCw_hynyfnww4Xy3am6iN7U3y7QXochNkXr0kZOPi6vu8m7P7ANTBwyMmLikJH_FQAA__9ZdKgI">