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

    <tr>
        <th>Summary</th>
        <td>
            early-cse - assertion in computeKnownBits
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:transforms
      </td>
    </tr>

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

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

<pre>
    Reduced from https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=64813

```ll
declare <8 x i8> @passthru_8i8v_from_2i32v(<2 x i32> returned)

define <8 x i8> @returned_vec_arg_casted(<2 x i32> %a) {
  %x = call <8 x i8> @passthru_8i8v_from_2i32v(<2 x i32> %a)
  %E = extractelement <8 x i8> %x, i1 true
  %C = icmp slt i8 %E, 0
  store i1 %C, ptr undef, align 1
 ret <8 x i8> %x
}
```
opt -passes=early-cse
```
opt -S -passes=early-cse fuzz.ll  -o -
opt: /home/simon/LLVM/llvm-project/llvm/lib/Analysis/ValueTracking.cpp:1830: void computeKnownBits(const llvm::Value*, const llvm::APInt&, llvm::KnownBits&, unsigned int, const llvm::SimplifyQuery&): Assertion `(Ty->isIntOrIntVectorTy(BitWidth) || Ty->isPtrOrPtrVectorTy()) && "Not integer or pointer type!"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyclFFv4jgQxz_N8DICJWMgyUMeUmikanu3vW3Ve0TGGcC3ThzZTq_spz850Jajuy8rISJ7_vPzeGY80nu975hLWNzAYj2RQzhYV3778qhb2022tjmW37gZFDe4c7bFQwi9B1EB1UD1dtj7mTo42-qhnVm3B6p7oNp6P90NP34A1dr7gT1Q3XCQ2oCodQNivZznqYBkDUl1_l8mp58xp42GlZGOEcQqx1fUOYhbhHnSS-_DwQ2bXOcvmxjUhrSgF6AcxIqiVFDUOg6D67gBKi4Paninu8_YN_XmhdVGuv1GSR-i8xUVaCGBCoTs5sTDuPWKINaopDG_H--ZfEG9Han8GpxUgQ233IUrPi1egVaoUwxu4Avf1eirVdujNwF1PgKjNnlT-WAdR9coj5Y-OBy6hndxIY3ed5iexY5_dvIprdn6qoSnpe0DTuPt2YNYs3TmOFWef619_JkcYx_NjEGcWpy-q0FUCFQfbMtAtY_dClTf3z__AVQb89JOe2f_YRXOy_jRW6C66qQ5eh078lmagZ-cVN91t5-pvgdRpblIIvvF6gaVbfsh8JfO_tvd6OCBcmU7H3AkigpENTKAqpixa1v1cNcFoGW0fexe0EbL0I1PsEEdxZ8pj7rtjd4d_xrYHUefIgZYec8uaNthTCLlT8cpiFvt77rw1d114ZlVsO7pCJTf6PC3bsLh1LYryFb4pn4I7qt7CO5CHflRGE9aIhD9aUOMjffs0DrsbVw4DMeegVIgAspwJ7XhZnaqz8P9bfV4i37YtjqgxO2wR8e9dQGDvRohex0Ow3ambHtRqf_X732EoOximpQZGsZwYFRO-gNupfoenwjPrnpr0pSiKUQhJ1ymWZIWyyTL8smhTItdttumBbEStBXpIkvSnDOVz1NFvEgnuqSEREpJls4XtMhn6U5ykRRLSrOlpCKHecKt1GYWY42TbzJGWWbzjGhi5JaNH4cq0bmUwcnO76xrfUzZYj1x5XjPOENhnhjtg_-gBR0Mlx-vYIryveC6-9SZk8GZ8vcTO0b9XwAAAP__mwvUhg">