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

    <tr>
        <th>Summary</th>
        <td>
            [AVX-512] Only `qword ptr` and `zmmword ptr` dereferences are folded into `vpand`?
        </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>
    This code: ([Godbolt link](https://zig.godbolt.org/#z:OYLghAFBqd5QCxAYwPYBMCmBRdBLAF1QCcAaPECAMzwBtMA7AQwFtMQByARg9KtQYEAysib0QXACx8BBAKoBnTAAUAHpwAMvAFYgAzKVpMGoAF55gpJfWQE8Ayo3QBhVLQCuLBhICspJwAyeAyYAHKeAEaYxCAATBqkAA6oCoT2DK4eXr5JKWkCQSHhLFEx8VaYNnYCQgRMxASZnt5cftaYtum19QSFYZHRcQkKdQ1N2a1Wo73B/SWD8QCUVqjuxMjsHGgMIwDUI%2Bi7AKR6ACK7AAJ4LMkNEEexsQcPsYsnAEJHGgCCX9%2BYqluBF2VAYINQqAgTBAlwAah0iMQIAA2aS7dwADmWuwiMIAVBd4bYSBAuKR0VjFnCESTUeTMVSjgB2T4/Xbs3bETAENZgpjHWLI/YEdAAOlSLDFXMSmCYBBRaIiorxbz0rN%2BTNOfz%2BAKBILBEXqUJhhJpSLpFOxuN2BKJiIgsXplOpxPNaIZxxZfw5nO5vN2/IeQoO4uuUswMrlCvJSpVH21mu1P11JGBoJxTFMxpd9otDJj%2BNNrog7udRdzpcZXrZHK5POIfIFwZFocloulsvlFtjqvVzK1Px1gNT%2BpxAE9MNny7TKwWbdOkRinYsqQvo5bPeqfXX/YHBcKxRLw5Gu4rlb2EwPfsnhw1R4a8FO7TPl3PbWbScjl6vn27l5vvVrP0GwDJsD1bY9O3XHt40HRNBxvPV00NAB3J8PzzLE3zXPRHUtH8MMrACa3ZHcQL3ZtDzDdsIyg7tz1gjUryHJCDSYABHdDi0wq1C1/dcGQI7iiOZLcgPrRsg3Ao8aJPaCGLVS8OGWWhOB8XhvG4XhUE4AAtCx9lWdZMAFPQ9F4AhNGU5YEFlLAYggZYAGsQEkJlRUkHwMViPQMQxABOLg9CkJlDE4SReBYCQNASTStFIHSOF4BQQASSyOC0ZY4FgGBEBQVAbjoaJyEoNBCvoGJTAIYh3AYJy%2BDoAhohSiBcQy3gImCeox04HhSE65hiDHAB5CJtARXreDKthBGGhhaB69rSCwCJ3GAZwxFoFKtOWzAWGMYBxCW/AuU6AA3TBtvigEOncJrJvIQRKisww8AiYhutcLAXuq64Hou4gIhSTBTj2g7aGCUB2uWKgjGABRYTwTAUOGmVNL6/hBBEMR2CkGRBEUFR1CW3QySMEwQHMSwIYiFLIGWVBEmqHZOAAWmG3YACVKllJQADEmD2VnRmAbldlUDFkQAfVRVmIYYdxVF2VmWGQRJ3BOU5TAYAGIoSgHiDwLA6ccioqnSRwGBcNxmn0PxAlmYpSgkULklSZnxm8PQ/Dd/IGD6J3Bi4UL2k6Gppk9u2zYRLppgDgYYmDqYekj73k4aeP5kTpllgUIyNn0FS1I0l7Et2Kndmq2qnN2CBcEIEhTL0RYLKsldSFsph7MoZyQB8WJRR8SRg%2BRLguA0SWMR8AxVI4PWop8WLS84ZLUtIdLMtIbK8rwMgKAgDhWdBVBWfwBRRGIdBWbOsR3EwVnmDYBQOBesrEiK4hQlYTYK6rureCwPtEw9BWYKDHCUNwV1eCYHwIiI2%2BgGq0CasQVmcpfqrSalAxByDWbTUYAQLBNAkHRFPpgVawBWbBH4C9IhODggjBqmHBgKtuRdzlNCJamNhCiHEHjLhhM1AvVJtHJhltrZZC9kuB2RQE4SEdL7D2Ntsi%2BVyO7dImdnZcEdKHZm3QxhKMkSI3RcdHayK0enRoBj9BLhGD0DRQdXjry5JgeBCQUIfUSJNIuHB1KkDitpTgAQAiwgALK7AAJKc12IjZG0Ry4GT/jXOusDG4PDMuSVw5U4lpK4C3debcbJ2UGKbWe88%2B5LyWolVeaUCmkBcv3Qew8mSj3HpPaeYUODmT8cvJK%2BTobeNiCXSpK8%2BmZWWADVIDhJBAA%3D%3D%3D))

```zig
const std = @import("std");

export fn foo(a: @Vector(64, u8), b: *@Vector(1, u8)) @Vector(64, u8) {
    return a & std.simd.repeat(64, b.*);
}

export fn bar(a: @Vector(64, u8), b: *@Vector(2, u8)) @Vector(64, u8) {
    return a & std.simd.repeat(64, b.*);
}

export fn baz(a: @Vector(64, u8), b: *@Vector(4, u8)) @Vector(64, u8) {
    return a & std.simd.repeat(64, b.*);
}

export fn bye(a: @Vector(64, u8), b: *@Vector(8, u8)) @Vector(64, u8) {
    return a & std.simd.repeat(64, b.*);
}

export fn bai(a: @Vector(64, u8), b: *@Vector(16, u8)) @Vector(64, u8) {
    return a & std.simd.repeat(64, b.*);
}

export fn baw(a: @Vector(64, u8), b: *@Vector(32, u8)) @Vector(64, u8) {
    return a & std.simd.repeat(64, b.*);
}

export fn baq(a: @Vector(64, u8), b: *@Vector(64, u8)) @Vector(64, u8) {
    return a & std.simd.repeat(64, b.*);
}
```

Produces this for Zen 5 targets:

```asm
foo:
        vpbroadcastb    zmm1, byte ptr [rdi]
        vpandq  zmm0, zmm1, zmm0
        ret

bar:
 vpbroadcastw    zmm1, word ptr [rdi]
        vpandq  zmm0, zmm1, zmm0
        ret

baz:
        vbroadcastss    zmm1, dword ptr [rdi]
        vandps  zmm0, zmm1, zmm0
        ret

bye:
 vandpd  zmm0, zmm0, qword ptr [rdi]{1to8}
        ret

bai:
 vbroadcasti32x4 zmm1, xmmword ptr [rdi]
        vpandq  zmm0, zmm1, zmm0
        ret

baw:
        vbroadcasti64x4 zmm1, ymmword ptr [rdi]
        vpandq  zmm0, zmm1, zmm0
        ret

baq:
 vandps  zmm0, zmm0, zmmword ptr [rdi]
        ret
```

Why is it that only the `qword ptr` and `zmmword ptr` dereferences are folded into the `vpand`? Can't most or all of these be folded into the `vpand`?
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMmFmzsrjWgH8N-4bqXRBA8WJfJMyjAgLiHZOAMglB0F__lb7D2d3n7a-rdp2ubosCiWt41kqyTBKPY1W0ef5BcIjgxLd4wmU3fARxXWXxcHlLuuz-sS-rkUy7LCcYSBKAJzikdFnS1Zisq_ZCcCIB-BLjfiQYSACZAPKjKt6LbzLv3VC8GpkHwcBtZBYllNE14xxhgdG8i5AlNMjNkAll2hFSGO8kAVqPGWELrqEzy9hy0B26xcbATiTB-1gllHOAwsIjBI0OtXsIfaj2M7RuUI4K-DCC3lI6KHNc0eun0JF4eO8YB5WB6QiTiUpNGHt9hvcc3iOoGjmU4mgRINyj6wXCVSd0eyAabH4YON0IL4LjqaUpSwsfxJHdRoJTuNYCvWOLufSE4whPDb1xPDk6qm7qXIzMoW0Q02G3ZhABZC8UeUfwg-t5WqzzqCqFpc2irxGAA6haQ8NdQcFYQ6izpnWxJSlfRifdjdHYQklXlUIQDpuXcHStJySDAEaa7VxhsUewnmFcUpXlaBCC2FtnMxSbcJorS4MBytgk8hCcDJcKznIrSN7ez_dW4J0LBPYsAeRDMjKJtIeSfSz6sxqaGgHkSMog3NaeKcoHy2uECCE31qpuWJIHNdgvlr29PT1e36CBNBNJh6uvl6Xee2Yvb5fJBsjQK60YD3297ZedHWvHZTmeZq7dcjcbEEDWcqfbstPkj7M11MJN9_pABXQz0Tua1hXU6ctetpY-23RY1M8vZ7Y9dMV6ytzs0afHw3BUDW631U6aPB_lLq27qR5vtYzP11vwMOjdQhf2_qXZL1DaWHZ7X--NOUyy7cWt2mi8OreOS3b59XQ4PENXUWosrjlzysQOdQKkeXca23KmXTbm5e16v6uZXRImXnquV7cWrGvudguGHaXMoj6KdBJttsxBxSylujZabruAomyIGJ3fPR6mxDwOO1f1scpb1gCFmDmqqWMyRyw-xGzU7sUaP-ji7A93VRdEL4JIzcSKmq-0QBNAzlLF0dZVtT2aabEb3LFgYMfH-i4WFDPw-K0ShuUW8YfyprCH0pdYCLGwbOowO1pQ3jkbmYWlrfhcJMm1CaOiOEZQGR3poteuf1FnK6h2juUsEG3NYiNc9FqUWM_NUSQ4NvT2HpY11dvKLHIc6Hn3rUAdI1YuFCQhJ4DJuYv1u9TZSLh1ir6HWlQyMNLvrz4QO1h2pVeh1LkzhdYIebdQrFp60oorK1GFiBN0DN3DkIsGLpGilGWMVpvBE2ZBZxR4nBe5kw28DR8wVKwILUJIABlO_gpCZo_wrSqkbZvqg37THNeoxnnmYRWVE05NeJiuK1btJrbQSm-P9mdQrGNF8BGYQqM4KxC50X7eQ3-rNIFtrggglwhJlguEi-IiyZddWggZ5-5Z0uyoljdrUSWbmhIGSGqu6nELYdgoTASFwKhr3YGi1IggaN0GJnVW-6J8ceApcINGi6JsCWQQNKHiuDqDtj63hxFUtM4r1EqcTbhK06q7tp47Kyi1l6aldgusm6j3iotvXmrv2C4Nv3MIIIvZczop4kpnUMX6JrislL6_bCbwiFyz7wuxiKJGvEb55bxmLmyc77jLvq_rwtfudkvJHq1R9VrCwGiz5gqurQ0ElEqaVO5Nyo1MY6wzTx77cm11x7uD-FB3Xd5zi1e3umYxQcoLLZeHS6Cxu7Dr-dD0ePZo-ljLTAtricEPs1UYsBDLMEMBCk8zcl1Fy1CYbEeXkeagbcQIOVuUj4NUGWzp1NE-MlbDNOTCvMPSvEFhZIiq4NtzQOdCpM5apYEXQ6FcKSEenaBJ-9N18OIaLuguhsnej6BjIhteVFfe9UUQzyhMkMoKG63cikVxRtdGRYWBJzd71Lagx41dCpUqqWezLC0a3gIdq3pZ4-F4FDaXCQHXkVhPysy1CGw8Vi-A4L5dZ1qTtcdUygz12DDOUhrWxdMYN83U-G5Qeet26LxBZqmIlOg62eE83Dm9yJHg-NrJ93Rbm1REGxexwv2-gA6s5gKarz8HI6WBdj4qlHtnlT0B5PNhO42iwu5Ea_KCmfPZujdYgcnyJE104CtGEuY8_4LjzHvY1UEe-0JzQemNcfKZb7wzo_a7OI_8rdjs-fSmG99qe5fkdiUcvN74pt4cwxCKgSaWOoKQABwjfr5tnhclEhT8fl9R365HVXxrSbt2xOSIM5JgRJJgqarpuwE_1xMAjDgjAHjaYNBnM_nylCFPLXnqOgLw8WsJwlJBnuJuIAC_YgkgkBP_IhDI5NsSBX4WoT9JbP5MmSTW3x2TJEkOOZ6GloxJAqyeyO9j1WTvQ97nMf6pl7w_HX1GXou_Zk_i4Yvs4F_A_vgiO_vPs9_zL7Lz_zx7XH11vK_-BfDzF-GZf8OIv34RfvUPDPkfdfZzLLuhy6Y0H0n83LmduoE85i3JkTgeihy_dmm_KtXx2HxredbaHzLk98-tT4YuztJ4xMnz_dE0r8Ka3HFO9nggCQ4NWfXcDP5BL26z60ueesr_0Hu9_05yyPFnrGfR_Anxyfv82fvcDdnf5P3x3yn4yTCOnyGyv6SI26wfv0Jxzz_l4Gkl-52V1_P6C_drROOO_zlK_jTI6pP5n9FVDFjYn5BL0_yNWZ7_nyxXK_YTx_1v5bj-Ic_jf-f58dcA_zH7q2kZlneyGskKk7iMMdm19Z3EZU4SK-pnHxIriozb7Nn2yd-zNcuH_JQPefuc2PGQk6euzvKMrFrc_TDzSsDTKyOTQtwSYI3Jphsx2Q1kXNdkd3pKjjmZ_JX6W_bBZBtmE7_lH_QabLg1zXLsW_mRAWZNZ9Qqpbk1WGdpwq74E5_y61PMnkDOvFUfgAIsTQFAsQzFse95zDFUCmh6TfEsRVEES-VNXNXvdX1r3ruheKvGcco_aJoBK_BWx0lej68DKQDafCZfvz5Xh5z4Nnw8lX5LpmIkWKquRjz-xwyucP06yYLB4TeOfiqQ22eS_wcJ_kN2pqH--P2JV1Hhckre064hgPxE-v74rR-6c55iAsivQEYCyN8jvX2A_wsAAP__kPm9iA">