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

    <tr>
        <th>Summary</th>
        <td>
            [AVX-512] Fused-load doesn't happen when vector doesn't need to be same size as operation argument
        </td>
    </tr>

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

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

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

<pre>
    [Godbolt](https://llvm.godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(filename:'1',fontScale:14,fontUsePx:'0',j:1,lang:llvm,selection:(endColumn:85,endLineNumber:3,positionColumn:85,positionLineNumber:3,selectionStartColumn:85,selectionStartLineNumber:3,startColumn:85,startLineNumber:3),source:'define+dso_local+zeroext+i1+@greaterThan1(%3C8+x+i64%3E+%250)+local_unnamed_addr+%7B%0AEntry:%0A++%251+%3D+icmp+ugt+%3C8+x+i64%3E+%250,+%3Ci64+1,+i64+0,+i64+0,+i64+0,+i64+0,+i64+0,+i64+0,+i64+0%3E%0A++%252+%3D+bitcast+%3C8+x+i1%3E+%251+to+i8%0A++%253+%3D+icmp+ne+i8+%252,+0%0A++ret+i1+%253%0A%7D%0A'),l:'5',n:'0',o:'LLVM+IR+source+%231',t:'0')),k:49.178082191780824,l:'4',n:'0',o:'',s:0,t:'0'),(g:!((h:compiler,i:(compiler:irclangtrunk,filters:(b:'0',binary:'1',binaryObject:'1',commentOnly:'0',debugCalls:'1',demangle:'0',directives:'0',execute:'1',intel:'0',libraryCode:'0',trim:'1',verboseDemangling:'0'),flagsViewOpen:'1',fontScale:14,fontUsePx:'0',j:1,lang:llvm,libs:!(),options:'-O3+-march%3Dznver5',overrides:!(),selection:(endColumn:1,endLineNumber:1,positionColumn:1,positionLineNumber:1,selectionStartColumn:1,selectionStartLineNumber:1,startColumn:1,startLineNumber:1),source:1),l:'5',n:'0',o:'+clang+(trunk)+(Editor+%231)',t:'0')),k:50.82191780821918,l:'4',m:100,n:'0',o:'',s:0,t:'0')),l:'2',n:'0',o:'',t:'0')),version:4)

```llvm
define dso_local zeroext i1 @greaterThan1(<8 x i64> %0) local_unnamed_addr {
Entry:
  %1 = icmp ugt <8 x i64> %0, <i64 1, i64 0, i64 0, i64 0, i64 0, i64 0, i64 0, i64 0>
  %2 = bitcast <8 x i1> %1 to i8
  %3 = icmp ne i8 %2, 0
  ret i1 %3
}
```

Compiled with `-O3 -march=znver5`:

```asm
.LCPI0_1:
        .byte   1
        .byte 0
greaterThan1:
.LgreaterThan1$local:
        vpmovsxbq       xmm1, word ptr [rip + .LCPI0_1]
        vpcmpnleuq      k0, zmm0, zmm1
 kortestb        k0, k0
        setne   al
        vzeroupper
 ret
```

Should be:

```asm
.LCPI0_0:
        .quad   1
        .quad 0
        .quad   0
        .quad   0
        .quad   0
        .quad 0
        .quad   0
        .quad 0
greaterThan1:
.LgreaterThan1$local:
        vpcmpnleuq      k0, zmm0, zmmword ptr [rip + .LCPI0_0]
        kortestb        k0, k0
        setne al
        vzeroupper
        ret
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJysF9tu4rr2a8yLVWQ7CYQHHiC0RyP1nI7O7F3tt8pJFsFTx87YDr18_ZbtQElhOqNqKtRk3ZfXNebWikYBLFG2Rtlmwnu302Z5z6WouXmclLp-8bT_6LrU0qFsg1i-c66zKFkhdoPYjZT7dtpE-lSbJmCTJtApYjli-c-BHUpWla7huhZOG8QKEaj5VkhQvIUAzSlic8SKrVbuW8Wlx9J0QPxt4etzZCOR7bsnI1ZIrrwt7x9ihQUJlRNaRQOg6kLLvvVgniFWgKpvhYL_9W0JBiWrBLGi01Z4kTHnAXvGfjTxzXHjxkJj2rnoBYlLjAtP0L2phsjUsBUKEFvXVj9IXXGJ2PoVjIZnh9haUMTWKCWNAe7A_LXjKgY-S4ocsfWz55mlHr72nCxjGQlW1kHZQ698FuoHXtcmMsz9P7K6Vs68BB8ysgqUKE3jS7Lxmqu2Q2zdN25AfmSzOPAE2ppGTATInwaC6bHj7MTxUriK23Ov6chpf1SnPT5_ryw5j0LIkuc8misGXw6SBt5SNigJtGy-Gd7msQBkzH0Wy12Nil9H6Pb2_r-Irb_8H7H1UC9RazL0kjuVWkS9jyhZpYspneckZ3QRn-mbwfQDgxHwU4Fc0F5c7vu2ExJOuv6ISVbCVL5_nenVo-90IR2YOHTycuRAKRQfSvEwKCLqrvwOlRsRKt22oNydki8jHTWUfVNwKe2IvYaWq0bCmFcY38l7sCM0PEPVu_HAEsqBHHFJURpuXgpdj5U6I9qR6B5MqS1sogdCNe8jupW8sfcCnu46UH9uTEpR2pNEeUu683NrOO3Vna_tq5abahcq_FXtwQylqPdgjKjhvYYPZi-9MHrppdFLfzZ56c8n7znpXPJc4BLfaO7S325DxNahjEPz5UMxLyJ0WHnHtlx83JkZmb51JV3Q_KwxfQVRQj7XoicnYr_s80vCezA2pjj1CLLyvxmJv1BdZBXXFT4uKzysKiwovrCmkiLHz9hP7eQao7ia8Pliwmi-Ricriayw56YYJRvsxy_uG4cvaSs8VsxS7BPvSZh88iW5PphlweywQo5W6WCUYqexyA_MyZuPCrDIgwKvlQQOAzE0fhmQFZpvTmMaQ1zEmVnjJ-F2GM3I1V2Ch_48dueMxLicinPrMzK9Lb5-IQ_0ELf4Ny1fHGCM6RnOWx2lKchNb8epS-OnyEjnvmv13j6XPwb4uW1D1J-0qXHnDEbZ2ogOI7bGR6-yzUhD1XZKQj-oeAzxf23bwzO4-6iNA-vKg1TkeiQniiw45Y_H5al2X4t914HxSL-Mz2L9bad7WeMSfhFN8i6aP3pev49mwJELXJ_H_T7XZzP4i_h_kEoyTuVvJ-mDFA1_7zI1qZdJvUgWfAJLOk-zJCOzfD7ZLas5m3FebWtOSF5taZ3UaZpkZVklwGaUTcSSEZaRlDG6SHIyn5Iym23zbQpZSbdVvkApgZYLOQ1XHm2aibC2hyVNZvOMTCQvQdpwk2JMwRMOVMSYv1iZpRe6KvvGopRIYZ19U-OEk-EKtrr_5yqjXgDf9BbqK6l5jWsNViE2d3jHuw4UftqBwnuonDYnRAVQ--lSAra8BWzFK2Buse7AcL8BMTdN779_Jr2Ry_EtrhFu15fTSrfDlW54XHVGh88odhOOYxG7Gc67X7J_AwAA__9hMuJ4">