[llvm-branch-commits] [llvm] ValueTracking: Move ldexp KnownFPClass handling to support (PR #179235)

[via llvm-branch-commits]

github-actions[bot] wrote:

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

* 130375 tests passed
* 2897 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.Transforms/Attributor/nofpclass-ldexp.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -S < C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Attributor\nofpclass-ldexp.ll | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe --allow-unused-prefixes C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Attributor\nofpclass-ldexp.ll --check-prefixes=CHECK,TUNIT
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -S
# 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\nofpclass-ldexp.ll' --check-prefixes=CHECK,TUNIT
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Attributor\nofpclass-ldexp.ll:705:16: error: CHECK-LABEL: expected string not found in input
# | ; CHECK-LABEL: define <2 x float> @ret_ldexp_v2f32_known_neg_exp_noinf
# |                ^
# | <stdin>:432:56: note: scanning from here
# | define <2 x float> @ret_ldexp_v2f32_known_pos_exp_noinf(<2 x float> nofpclass(inf) %arg0, <2 x i32> %arg1) #1 {
# |                                                        ^
# | <stdin>:439:16: note: possible intended match here
# | define nofpclass(inf) <2 x float> @ret_ldexp_v2f32_known_neg_exp_noinf(<2 x float> nofpclass(inf) %arg0, <2 x i32> %arg1) #1 {
# |                ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\Transforms\Attributor\nofpclass-ldexp.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |            427:  %call = call nofpclass(inf) float @llvm.ldexp.f32.i32(float nofpclass(inf) %arg0, i32 %or.arg1) #10 
# |            428:  ret float %call 
# |            429: } 
# |            430:  
# |            431: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) 
# |            432: define <2 x float> @ret_ldexp_v2f32_known_pos_exp_noinf(<2 x float> nofpclass(inf) %arg0, <2 x i32> %arg1) #1 { 
# | label:705'0                                                            X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# |            433:  %and.arg1 = and <2 x i32> %arg1, <i32 127, i32 64> 
# | label:705'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            434:  %call = call <2 x float> @llvm.ldexp.v2f32.v2i32(<2 x float> nofpclass(inf) %arg0, <2 x i32> %and.arg1) #10 
# | label:705'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            435:  ret <2 x float> %call 
# | label:705'0     ~~~~~~~~~~~~~~~~~~~~~~~
# |            436: } 
# | label:705'0     ~~
# |            437:  
# | label:705'0     ~
# |            438: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) 
# | label:705'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            439: define nofpclass(inf) <2 x float> @ret_ldexp_v2f32_known_neg_exp_noinf(<2 x float> nofpclass(inf) %arg0, <2 x i32> %arg1) #1 { 
# | label:705'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | label:705'1                    ?                                                                                                                possible intended match
# |            440:  %or.arg1 = or <2 x i32> %arg1, <i32 -16, i32 -32> 
# | label:705'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            441:  %call = call nofpclass(inf) <2 x float> @llvm.ldexp.v2f32.v2i32(<2 x float> nofpclass(inf) %arg0, <2 x i32> %or.arg1) #10 
# | label:705'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            442:  ret <2 x float> %call 
# | label:705'0     ~~~~~~~~~~~~~~~~~~~~~~~
# |            443: } 
# | label:705'0     ~~
# |            444:  
# | label:705'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/179235