[llvm] [AArch64] Combine vector add(trunc(shift)) (PR #169523)

[via llvm-commits]

github-actions[bot] wrote:

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

* 3053 tests passed
* 7 tests skipped

All tests passed but another part of the build **failed**. Click on a failure below to see the details.

<details>
<summary>lib/Target/AArch64/CMakeFiles/LLVMAArch64CodeGen.dir/AArch64ISelLowering.cpp.o</summary>

```
FAILED: lib/Target/AArch64/CMakeFiles/LLVMAArch64CodeGen.dir/AArch64ISelLowering.cpp.o
sccache /opt/llvm/bin/clang++ -DGTEST_HAS_RTTI=0 -D_DEBUG -D_GLIBCXX_ASSERTIONS -D_GLIBCXX_USE_CXX11_ABI=1 -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/Target/AArch64 -I/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Target/AArch64 -I/home/gha/actions-runner/_work/llvm-project/llvm-project/build/include -I/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include -gmlt -fPIC -fno-semantic-interposition -fvisibility-inlines-hidden -Werror -Werror=date-time -Werror=unguarded-availability-new -Wall -Wextra -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initializers -pedantic -Wno-long-long -Wc++98-compat-extra-semi -Wimplicit-fallthrough -Wcovered-switch-default -Wno-noexcept-type -Wnon-virtual-dtor -Wdelete-non-virtual-dtor -Wsuggest-override -Wstring-conversion -Wno-pass-failed -Wmisleading-indentation -Wctad-maybe-unsupported -fdiagnostics-color -ffunction-sections -fdata-sections -O3 -DNDEBUG -std=c++17 -fvisibility=hidden  -fno-exceptions -funwind-tables -fno-rtti -UNDEBUG -MD -MT lib/Target/AArch64/CMakeFiles/LLVMAArch64CodeGen.dir/AArch64ISelLowering.cpp.o -MF lib/Target/AArch64/CMakeFiles/LLVMAArch64CodeGen.dir/AArch64ISelLowering.cpp.o.d -o lib/Target/AArch64/CMakeFiles/LLVMAArch64CodeGen.dir/AArch64ISelLowering.cpp.o -c /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp:17794:65: error: call to 'm_Value' is ambiguous
17794 |             if (match(SingleUser, m_c_Mul(m_Specific(I), m_SExt(m_Value()))))
|                                                                 ^~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/CodeGen/SDPatternMatch.h:104:20: note: candidate function
104 | inline Value_match m_Value() { return Value_match(); }
|                    ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/IR/PatternMatch.h:105:27: note: candidate function
105 | inline class_match<Value> m_Value() { return class_match<Value>(); }
|                           ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp:17798:27: error: call to 'm_Value' is ambiguous
17798 |                           m_Value(), m_Specific(I))))
|                           ^~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/CodeGen/SDPatternMatch.h:104:20: note: candidate function
104 | inline Value_match m_Value() { return Value_match(); }
|                    ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/IR/PatternMatch.h:105:27: note: candidate function
105 | inline class_match<Value> m_Value() { return class_match<Value>(); }
|                           ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp:18065:67: error: call to 'm_Value' is ambiguous
18065 |         return SI->hasOneUse() && match(SI->user_back(), m_UIToFP(m_Value())) &&
|                                                                   ^~~~~~~
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/CodeGen/SDPatternMatch.h:104:20: note: candidate function
104 | inline Value_match m_Value() { return Value_match(); }
|                    ^
/home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/IR/PatternMatch.h:105:27: note: candidate function
105 | inline class_match<Value> m_Value() { return class_match<Value>(); }
|                           ^
3 errors generated.
```
</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/169523