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

    <tr>
        <th>Summary</th>
        <td>
            [AVX-512] `llvm.experimental.vector.compress` emits a vector-zeroing instruction instead of using `{z}`
        </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 link](https://llvm.godbolt.org/#g:!((g:!((g:!((h:codeEditor,i:(filename:'1',fontScale:14,fontUsePx:'0',j:1,lang:llvm,selection:(endColumn:1,endLineNumber:9,positionColumn:1,positionLineNumber:9,selectionStartColumn:1,selectionStartLineNumber:1,startColumn:1,startLineNumber:1),source:'define+dso_local+%3C64+x+i8%3E+@compress(%3C64+x+i8%3E+%250,+i64+%251)+local_unnamed_addr+%7B%0AEntry:%0A++%252+%3D+bitcast+i64+%251+to+%3C64+x+i1%3E%0A++%253+%3D+tail+call+fastcc+%3C64+x+i8%3E+@llvm.experimental.vector.compress.v64i8(%3C64+x+i8%3E+%250,+%3C64+x+i1%3E+%252,+%3C64+x+i8%3E+zeroinitializer)%0A++ret+%3C64+x+i8%3E+%253%0A%7D%0A%0Adeclare+fastcc+%3C64+x+i8%3E+@llvm.experimental.vector.compress.v64i8(%3C64+x+i8%3E,+%3C64+x+i1%3E,+%3C64+x+i8%3E)+%231%0A'),l:'5',n:'1',o:'LLVM+IR+source+%231',t:'0')),k:49.45205479452055,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:12,endLineNumber:7,positionColumn:12,positionLineNumber:7,selectionStartColumn:12,selectionStartLineNumber:7,startColumn:12,startLineNumber:7),source:1),l:'5',n:'0',o:'+clang+(trunk)+(Editor+%231)',t:'0')),k:50.54794520547946,l:'4',m:100,n:'0',o:'',s:0,t:'0')),l:'2',n:'0',o:'',t:'0')),version:4)

```llvm
define dso_local <64 x i8> @compress(<64 x i8> %0, i64 %1) local_unnamed_addr {
Entry:
  %2 = bitcast i64 %1 to <64 x i1>
  %3 = tail call fastcc <64 x i8> @llvm.experimental.vector.compress.v64i8(<64 x i8> %0, <64 x i1> %2, <64 x i8> zeroinitializer)
  ret <64 x i8> %3
}

declare fastcc <64 x i8> @llvm.experimental.vector.compress.v64i8(<64 x i8>, <64 x i1>, <64 x i8>) #1
```

Compiled for Zen 5, we get:

```asm
compress:
.Lcompress$local:
        kmovq   k1, rdi
        vpxor   xmm1, xmm1, xmm1
        vpcompressb     zmm1 {k1}, zmm0
        vmovdqa64       zmm0, zmm1
        ret
```

The `vpxor` is unnecessary. We could just use the `{z}` variant.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy8V9tu4zYTfhr6hoghUSfrwhc-JD9-IG2KbpsWvVlQ4tjmhiK9JOV18vQFSdkxbcc9YNEgsMw5z3BmPosaw9cSYIqKOSqWI9rbjdLTZyo4o_pl1Cj26nj_U6xRwmLB5QsqlohMNtZuDcpmiDwg8iDErhuvg9BY6bWnZmvPTxGZIDL5-LBB2axVDO4Zt0ojsuCeO1lxAZJ24E9VikiFyGKlpP3UUuGoaT4QfjXw0z6IJUHsi2MjshBUOl8uPkQWBgS0lisZHIBkCyX6Tg7CINkjl_Bj3zWgUTarEVlsleFOIxI8EC-kjw4-WaptpBOzIk3PvlS4JuedqF63Q1UYrLgERObMqM9CtVQgMkekyBZljsh8j8icT9z53tHzpFXdVoMxvvIfSJGCFAkiC0f1fE8Jzufex-deuothnyljOghU7iOZ3UurX31oRTLznKBNhrCWiMwbbltq7IX5uVWXwadDWLG57MScpdwl3VLhHitqbNveLoLvVthvQfMOpKVivIPWKj0-VGe8K3On8bdq9EHAx7yvyBztvIFWXHLLqeBvoH2Jj5lqsLfyGOrgxYtqefiWzBi0gmr4r4pxowY3Uq-HFLJ0CLwKzS1CXxdhjGU0-yqcHh-ff0Bk_v-fEZkPs_Buy8nZ01VQB7svKJvl9TgvSFLkVe2fxbu_PPKXRP7CwS275IrxxfV11m25gJNldqRkM65bt5as7uWLW2BcWNBhl06aKICGSzqM06EGgfTUfIHWRoxWde7-nqR4jWwwaPr1ggphInEGHZVrAbEs125H7cBEZNhD29t4D3NpQURSgjea6teFYrFRq3kXqe5AN8rAMkTA5fq8oitB1-aZw7enLcjvt_0Fb8zJRTlPaus28pDt3ZNbK3cd1e3GL5c3uQM9dKLagdacwbmFW5BCrmBKdRVTyEegUt0AFXIbVapLVCFXYaU6g5X0xiSeT8bct7Kfv8nQ0GGyJwc0P05mfXs4i2R8HEz3LC-G03VRmiT_bkxPMiJ_OevXlHegTbjm3BGSJUpmw2eZhH_fZ54UYBkfQRkjtwPxHvMJyu7xGRDHvAAsmJe5--4Khy9BF6NqHlwdEdefsNMhGGVLPMDs0RC26j2MFGX3JxqZ13BIih2O4gAcl1H_A7C4mlTk34caUb3sFUwcAtVgz0NyEBguoVqe3smAgd87kYscLsJ314Vcv8etcRrbIkABwyul8R8gscMh_A3wGuzxIs_0qRk669g3B8Hx43sr5eEX4HszhL-XTu2-uqfbiVgzHrN3273SGON913mB6HkmefDV-PNb16WuE19SV36ycITkTKVTO_aVlvlw9hJB8sy4-7nzcdF-2QBGZeJjRWWCucG9lNCCMVS_jvFvgFvVC4a_9Mbi3gC2QQNV8zcXXZngHdWcSjsesWnG6qymI5imFamLitR1OdpM0xWsJrRgjKVFDS1lLS3TvCnzdjVJVwkb8SlJSJ4mhCR5UWblOC_rIoNqBU1RF0mxQnkCHeVi7BtM6fWIG9PDNE0zUmYjQRsQxr9tESLhG_ZcRIh7-dJTp3TX9GvjOpQba97NWG6Ff02bPf9-V6ROAQ8r52Yfu7yh49ZgigPrLgzYGnNprO49evjvQBlWK9wbx4wqN-q1mMZvfGtuN33j3Ayvf8PjbquV_21CHnxuBpGHIfndlPwZAAD__-OlA8E">