[llvm] [DAG] isKnownNeverZero - add ISD::UADDSAT/UMAX/UMIN DemandedElts handling and tests (PR #183992)

[via llvm-commits]

github-actions[bot] wrote:

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

* 170482 tests passed
* 3084 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.CodeGen/X86/known-never-zero.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc < /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/known-never-zero.ll -mtriple=i686-unknown-unknown -mattr=+sse2 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/known-never-zero.ll --check-prefixes=X86
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/llc -mtriple=i686-unknown-unknown -mattr=+sse2
# note: command had no output on stdout or stderr
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/known-never-zero.ll --check-prefixes=X86
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/known-never-zero.ll:437:13: error: X86-NEXT: expected string not found in input
# | ; X86-NEXT: bsfl %eax, %ecx
# |             ^
# | <stdin>:387:21: note: scanning from here
# |  movzbl (%eax), %eax
# |                     ^
# | <stdin>:388:6: note: possible intended match here
# |  rep bsfl %eax, %eax
# |      ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/test/CodeGen/X86/known-never-zero.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |           382:  .cfi_startproc 
# |           383: # %bb.0: 
# |           384:  movl 4(%esp), %eax 
# |           385:  paddusb .LCPI15_0, %xmm0 
# |           386:  movdqa %xmm0, (%eax) 
# |           387:  movzbl (%eax), %eax 
# | next:437'0                         X error: no match found
# |           388:  rep bsfl %eax, %eax 
# | next:437'0     ~~~~~~~~~~~~~~~~~~~~~
# | next:437'1          ?                possible intended match
# |           389:  retl 
# | next:437'0     ~~~~~~
# |           390: .Lfunc_end15: 
# | next:437'0     ~~~~~~~~~~~~~~
# |           391:  .size uaddsat_known_nonzero_vec, .Lfunc_end15-uaddsat_known_nonzero_vec 
# | next:437'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           392:  .cfi_endproc 
# | next:437'0     ~~~~~~~~~~~~~~
# |           393:  # -- End function 
# | next:437'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/183992