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

    <tr>
        <th>Summary</th>
        <td>
            [NVPTX] Possible Infinite Loop introduced by `[NVPTX] Allow using v4i32 for memcpy lowering.`
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    I believe that I've found an infinite loop introduced by [[NVPTX] Allow using v4i32 for memcpy lowering.](https://github.com/llvm/llvm-project/commit/c16b7e54ac5b). 

Pinging @Artem-B the author of that commit. 

The following input causes `llc` to timeout in [Compiler Explorer](https://godbolt.org/):
```
define <5 x i32> @and3_i32v(<5 x i32> %a, <5 x i32> %b) #0 {
  %cmp0 = icmp eq <5 x i32> %a, <i32 1, i32 2, i32 3, i32 4, i32 5>
  %cmp1 = icmp eq <5 x i32> %b, <i32 2, i32 3, i32 4, i32 5, i32 6>
  %sel = select <5 x i1> %cmp1, <5 x i32> %a, <5 x i32> %b
  %sel2 = select <5 x i1> %cmp0, <5 x i32> %sel, <5 x i32> %b
  ret <5 x i32> %sel2
} 
```
I was also able to observe the infinite loop on my local (modified) fork of LLVM. 

This seems to be the code that's causing the infinite loop ([link to the source code](https://github.com/llvm/llvm-project/blob/cdcbef1b14582f5b5b296bec750f60a1629ecc32/llvm/lib/CodeGen/SelectionDAG/SelectionDAGBuilder.cpp#L3410)):
```
 // We care about the legality of the operation after it has been type
 // legalized.
    while (TLI.getTypeAction(Ctx, VT) != TargetLoweringBase::TypeLegal)
      VT = TLI.getTypeToTransformTo(Ctx, VT);
```

When debugging the code I saw that `getTypeToTransformTo` would always set `VT` to `MVT::v4i32` because of "[NVPTX] Allow using v4i32 for memcpy lowering.". Yet, `getTypeAction(Ctx, MVT::v4i32)` returns `TypeSplitVector`, not `TypeLegal`. Thus, causing an infinite loop. 

CC @jholewinski NVPTX code owner. 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJycVk2P2zYQ_TX0ZRCDoizZPvjgj2ywgFMEiOC0p4IURxITilRJah331xek1tus46RogIV2JHre6A3fG4p7r1qDuCHFjhSHGR9DZ93m8-iDMg13rbFazYSVl80jCNQKnxBCxwM8ErZ8QmjsaCRwA8o0yqiAoK0dQJngrBxrlCAukMB3v50-VL-T4gBbre0ZRq9MC08LlTNorIMe-3q4gLZndMq0c1IcCFt1IQye5FvCHgh7aFXoRjGvbU_Yg9ZP139vBmc_Yx0Ie6ht36sUZKVYYrHgdSEIW8-B0AOh2-n6QZk2licLunUB-zc7CB3CRB9sM3GcsF5nVl0kHRnEfGWGMUDNR48eSEm1rklJIVgIqkc7BlAm0t_bflAaHbz9Omjr0N1lZ6WwOsyta9ODdVyZSpf0-S_dSmyUQSD5voCvoHJG8reRCjcy_1Pl7Imw1c0iKzhh-9sUlloDhOUUyHI3oUN8XvcDBZIfQNX9APjX95lXvLh_WYxjwK5Bfg0W16Ag-dvXBbKfFxDfFPgp7nNQvi7gUSd8jxrr8AKfPaPH-nc78qM-vUJm_wFN74J41D8HdxjuZrFnGSwPcFcQj3DmHrj2FrjQGPVnhUeXzIo33rQG-uizmmsgbNVbqRqFMgqhse5LVP_xeHp_K3vlwSP2PoKLCbe2cpoGhC19ckH0xPcVoxyLnVbmS3JGh-Dt6OoJ4Bd9LrQV0eWyFthkIlsUK9YUohBsXQqslwVtSsqzkq2xrnP2DY6KeXsr8R0awh4-pk1U1hy2725ud6PSEt28HgbC8mO-yGh05Y-NCdPrwyeEmjsELuIIiIQ1tlyrcJlmC4Id0PFYBngT0IEK0HEPAtFAuAz4Gm_K_hvl_KoUgHOnNMbWVsfHeYuhugy4TW9O2GofvkalnarJ3llUa8Vdi-H4PF933GOkkW9j4jEWiMRe4AFOVRL5N_CVrRw3vrGur-xNFZLv7rZkun7q0IBEMbbtVSJJPI_g-XkatqSkd8uUFM521BK4PvNLFGH67al6HrSkpO9P1UQlnSbxucA0k2O3CWO_cPgwNoc_MCS7vrzYbXtv6rJ1LO0wjM6k0yDmfBy0Ciesg3WxJ2wPxobr4tT2ks6h6kYfF68muj1RX7txv4_j_nNnNZ6V8V8UJH5TT-3ZoJvDTG5yuc7XfIabrFyVS8qK1XLWbYQsJC3ysihWAku5zhsuCyEzLHmZ0-VqpjaMspyW2YJStl4s50wuciEl57KoszWryYJiz5WeR0vF42qmvB9xU-ZsvZhpLlD79EXBmMEzpMW0DYeZ2yQfi7H1ZEG18sH_ixJU0OlT5GW3PljvVZxoj9dmHO98XpT0F3a4pLPR6c3_HjyJjSfsIbH9JwAA__-8L8BV">