[llvm-branch-commits] [llvm] ValueTracking: Improve handling of exp intrinsic for overflow (PR #173430)

[via llvm-branch-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 128918 tests passed
* 2842 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### LLVM
<details>
<summary>LLVM.Transforms/Attributor/AMDGPU/nofpclass-amdgcn-exp.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -S -passes=attributor -attributor-manifest-internal < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Attributor\AMDGPU\nofpclass-amdgcn-exp.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe --allow-unused-prefixes C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Attributor\AMDGPU\nofpclass-amdgcn-exp.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -S -passes=attributor -attributor-manifest-internal
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' --allow-unused-prefixes 'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Attributor\AMDGPU\nofpclass-amdgcn-exp.ll'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Attributor\AMDGPU\nofpclass-amdgcn-exp.ll:107:16: error: CHECK-LABEL: expected string not found in input
# | ; CHECK-LABEL: define nofpclass(nan ninf nzero sub nnorm) float @ret_exp_positive_source(
# |                ^
# | <stdin>:62:71: note: scanning from here
# | define nofpclass(ninf nzero sub nnorm) float @ret_exp_noinf_nonegzero(float nofpclass(inf nzero) %arg0) #1 {
# |                                                                       ^
# | <stdin>:68:1: note: possible intended match here
# | define nofpclass(nan ninf zero sub nnorm) float @ret_exp_positive_source(i32 %arg) #1 {
# | ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Attributor\AMDGPU\nofpclass-amdgcn-exp.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |             57:  %call = call nofpclass(ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(inf zero) %arg0) #2 
# |             58:  ret float %call 
# |             59: } 
# |             60:  
# |             61: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) 
# |             62: define nofpclass(ninf nzero sub nnorm) float @ret_exp_noinf_nonegzero(float nofpclass(inf nzero) %arg0) #1 { 
# | label:107'0                                                                           X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# |             63:  %call = call nofpclass(ninf nzero sub nnorm) float @llvm.amdgcn.exp2.f32(float nofpclass(inf nzero) %arg0) #2 
# | label:107'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             64:  ret float %call 
# | label:107'0     ~~~~~~~~~~~~~~~~~
# |             65: } 
# | label:107'0     ~~
# |             66:  
# | label:107'0     ~
# |             67: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) 
# | label:107'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             68: define nofpclass(nan ninf zero sub nnorm) float @ret_exp_positive_source(i32 %arg) #1 { 
# | label:107'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | label:107'1     ?                                                                                        possible intended match
# |             69:  %uitofp = uitofp i32 %arg to float 
# | label:107'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             70:  %call = call nofpclass(nan ninf zero sub nnorm) float @llvm.amdgcn.exp2.f32(float %uitofp) #2 
# | label:107'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             71:  ret float %call 
# | label:107'0     ~~~~~~~~~~~~~~~~~
# |             72: } 
# | label:107'0     ~~
# |             73:  
# | label:107'0     ~
# |              .
# |              .
# |              .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

https://github.com/llvm/llvm-project/pull/173430