[llvm-branch-commits] [llvm] ValueTracking: Add baseline tests for improved fma handling (PR #175613)

[via llvm-branch-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 167926 tests passed
* 2989 tests skipped
* 1 test failed

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

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

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -S < /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/Attributor/nofpclass-fma.ll | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck --allow-unused-prefixes /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/Attributor/nofpclass-fma.ll --check-prefixes=CHECK,TUNIT
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -S
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck --allow-unused-prefixes /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/Attributor/nofpclass-fma.ll --check-prefixes=CHECK,TUNIT
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/Attributor/nofpclass-fma.ll:22:16: error: CHECK-LABEL: expected string not found in input
# | ; CHECK-LABEL: define nofpclass(nzero) float @ret_fma_same_mul_arg_maybe_undef
# |                ^
# | <stdin>:15:52: note: scanning from here
# | define nofpclass(nzero) float @ret_fma_same_mul_arg(float noundef %arg0, float %arg1) #1 {
# |                                                    ^
# | <stdin>:39:1: note: possible intended match here
# | define nofpclass(nzero) float @ret_fmuladd_same_mul_arg(float noundef %arg0, float %arg1) #1 {
# | ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/Transforms/Attributor/nofpclass-fma.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |            10: declare nofpclass(ninf nzero nsub nnorm) half @returns_positive_or_nan() 
# |            11:  
# |            12: declare nofpclass(pinf pzero psub pnorm) half @returns_negative_or_nan() 
# |            13:  
# |            14: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) 
# |            15: define nofpclass(nzero) float @ret_fma_same_mul_arg(float noundef %arg0, float %arg1) #1 { 
# | label:22'0                                                        X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# |            16:  %call = call nofpclass(nzero) float @llvm.fma.f32(float noundef %arg0, float noundef %arg0, float %arg1) #2 
# | label:22'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            17:  ret float %call 
# | label:22'0     ~~~~~~~~~~~~~~~~~
# |            18: } 
# | label:22'0     ~~
# |            19:  
# | label:22'0     ~
# |            20: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) 
# | label:22'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |             .
# |             .
# |             .
# |            34:  %call = call float @llvm.fma.f32(float noundef %arg0, float %arg1, float nofpclass(ninf nsub nnorm) %arg2) #2 
# | label:22'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            35:  ret float %call 
# | label:22'0     ~~~~~~~~~~~~~~~~~
# |            36: } 
# | label:22'0     ~~
# |            37:  
# | label:22'0     ~
# |            38: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) 
# | label:22'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            39: define nofpclass(nzero) float @ret_fmuladd_same_mul_arg(float noundef %arg0, float %arg1) #1 { 
# | label:22'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | label:22'1     ?                                                                                               possible intended match
# |            40:  %call = call nofpclass(nzero) float @llvm.fmuladd.f32(float noundef %arg0, float noundef %arg0, float %arg1) #2 
# | label:22'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |            41:  ret float %call 
# | label:22'0     ~~~~~~~~~~~~~~~~~
# |            42: } 
# | label:22'0     ~~
# |            43:  
# | label:22'0     ~
# |            44: ; Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) 
# | label:22'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/175613