[llvm] [DAG] Use known-bits when creating umulh/smulh. (PR #160916)

[via llvm-commits]

github-actions[bot] wrote:

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

* 132935 tests passed
* 3044 tests skipped
* 1 test failed

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

### LLVM
<details>
<summary>LLVM.CodeGen/X86/combine-pmuldq.ll</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\llc.exe < C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\X86\combine-pmuldq.ll -mtriple=x86_64-unknown-unknown -mattr=+sse4.1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\X86\combine-pmuldq.ll --check-prefix=SSE
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\llc.exe' -mtriple=x86_64-unknown-unknown -mattr=+sse4.1
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\X86\combine-pmuldq.ll' --check-prefix=SSE
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\X86\combine-pmuldq.ll:385:13: error: SSE-NEXT: expected string not found in input
# | ; SSE-NEXT: punpckhqdq {{.*#+}} xmm3 = xmm3[1],xmm2[1]
# |             ^
# | <stdin>:177:21: note: scanning from here
# |  movdqa %xmm2, %xmm3
# |                     ^
# | <stdin>:178:17: note: possible intended match here
# |  shufps $170, %xmm2, %xmm3 # xmm3 = xmm3[2,2],xmm2[2,2]
# |                 ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\llvm\test\CodeGen\X86\combine-pmuldq.ll
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             .
# |             .
# |             .
# |           172: # %bb.0: # %start 
# |           173:  movd %esi, %xmm0 
# |           174:  pshufd $68, %xmm0, %xmm2 # xmm2 = xmm0[0,1,0,1] 
# |           175:  pxor %xmm0, %xmm0 
# |           176:  movq $-2097152, %rax # imm = 0xFFE00000 
# |           177:  movdqa %xmm2, %xmm3 
# | next:385'0                         X error: no match found
# |           178:  shufps $170, %xmm2, %xmm3 # xmm3 = xmm3[2,2],xmm2[2,2] 
# | next:385'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:385'1                     ?                                        possible intended match
# |           179:  shufps $136, %xmm2, %xmm2 # xmm2 = xmm2[0,2,0,2] 
# | next:385'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# |           180:  pxor %xmm1, %xmm1 
# | next:385'0     ~~~~~~~~~~~~~~~~~~~
# |           181:  .p2align 4 
# | next:385'0     ~~~~~~~~~~~~
# |           182: .LBB7_1: # %loop 
# | next:385'0     ~~~~~~~~~~~~~~~~~
# |           183:  # =>This Inner Loop Header: Depth=1 
# | next:385'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/160916