<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/106202>106202</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [DAGCombiner] crash since 7e72caf
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            crash-on-valid,
            llvm:SelectionDAG
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          JonPsson1
      </td>
    </tr>
</table>

<pre>
    Bisected to "[SelectionDAG] Add MaskedValueIsZero check to allow folding of zero extended variables we know are safe to extend (#85573)" 7e72caf.

```
llc -mcpu=z10 -O3 tc_dagcomb_zext.ll

APInt.h:1347: void llvm::APInt::setBits(unsigned int, unsigned int): Assertion `loBit <= BitWidth && "loBit out of range"' failed.
...
#10 0x00000000029f46d6 (anonymous namespace)::DAGCombiner::visitZERO_EXTEND
...
```

```
@g_0 = external dso_local local_unnamed_addr global i16, align 2
@g_1 = external dso_local local_unnamed_addr global i32, align 4
@g_2 = external dso_local local_unnamed_addr global i32, align 4

define void @func() {
 store i32 41, ptr @g_1, align 4
  %1 = load i32, ptr @g_1, align 4
  %2 = load i16, ptr @g_0, align 2
  %3 = zext i16 %2 to i32
  %4 = shl i32 %3, %1
  %5 = zext i32 %4 to i64
  %6 = shl i64 %5, 48
  %7 = ashr exact i64 %6, 48
  %8 = or i64 %7, 0
  %9 = sext i32 %1 to i64
  %10 = icmp sge i64 %8, %9
  %11 = zext i1 %10 to i32
  %12 = or i32 0, %11
  store i32 %12, ptr @g_2, align 4
  ret void
}
```


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVd2O2zYTfRr6ZmCDIvVjXejCXmWDfMDXBG3RFrkxKHIks6FJQ6S8m336gpS9q62LFihqGLQlnnNm5mg0FN7rwSI2pNiTol2JKRzd2PzP2S_eO5utOqe-N3vtUQZUEBwQxkix_wkNyqCdbXcfSdHCTin4v_DfUP0izISf_FccHcgjym-RJIxxT9A7o7QdwPXwErfxOaBVqOAiRi06gx6eEL5Z9wRiRPCix0ieYUDYljC-LYqKE1YTxqDCiknRbwhtCd1d15Jev-nSGAnrkzxPhLcvGYX1Zw5BHpQYpDt1hxd8DhtjlgK7L59s2BwJ32U8rwjfwcVpBcZcToTvCJ8B81-PYa-DJ2w72eSjAm0DYQ_w_rqOMjvvcYyWASmpcXsdgPAHwlvY6_CrVuEIhJWEldHied9NIZo1Cjtg9J1V0AttUF1L3mxutTOeUaDP9PZhdZ-XKkpthXX2-8lNHqw4oT8LiXNGhO_a3ccHd-q0xXG-cdFeh68ffvx8-PDbzx9-aP8c5727f30zp8OBQiwsPrnRCgPKu4NxUhhI62GyMRd1EEqNMBjXCQM6K6NzwujBAltoZf9Ci7M3rXyhxf4jrbQq7LXFuT9ITvvJytSkNZBqP0PABzdi1IA8izLnMMJc1Z0oAGHFXKxxQt0C_xODLRizha8MemdoYvDEiL0fGbNGcCneGyhPIH9MBiRWFIsZLkDFQmlG5UmpXCZYvimVeWJFpXy7gFQJIvxxBHwWMtyQ5R1ym5BuvCGqiKALQD1HW6SU3aeUzf2p5ekMfsCb2PZaYr2EZku3ruQ7tzL2mhdnQG9WvXr11gYJ_O4p3bcXwIgh9dW13ar2b96_lWq4qnktVthkFcurgtKKrY5NVXUsz7uurJnqS9oVWSXrGqnqhejyvF_phlGW0y2raJ3lnG1kx3ukkmKmFNaCk5ziSWizieNv48Zhpb2fsMloyShbGdGh8ensYEyOwh_Xzq4vwmiVxtVDnGTz4Hx3YMQjpF2NTdxbd9PgSU6N9sG_xQk6mHQqLUdU0UKKAl5bibf5v5pG0xxDOPs4w9gjYY-DDsep20h3IuwxZTD_rM-j-x1lIOwxFeIJe7zWcmnYHwEAAP__BJz-7w">