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

    <tr>
        <th>Summary</th>
        <td>
            [SPIR-V][OpenCL] Type mismatch on OpStore instruction
        </td>
    </tr>

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

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

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

<pre>
    The following snippet:
```c
kernel void k(global ulong *dst) {
  dst[0] = 123;
  dst[1] = 321;
  dst[2] = 1111;
}
```
Fails to validate:
```
$ clang -target spirv64v1.2 -O0 -fintegrated-objemitter store-issue.cl -c -o - | spirv-val -
error: line 31: OpStore Pointer <id> '17[%dst_addr]'s type does not match Object <id> '15[%dst]'s type.
  OpStore %dst_addr %dst Aligned 8

```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxkkl1r4zwQhX_N-Gaw0YcVJxe-SJo38MJCyrbs7SJbiq1WkYwkp_TfL4rTbzBY4-MzIz06MkYzOK1bEDsQ-0LOafShtcbp0VhbdF69to-jxpO31r8YN2B0Zpp0Ar4FsgeyhRVZnn6pn3Vw2uLFG4XPwNaD9Z20OFvvBgS2VTEB2yA0u-V_xPxF7AiIPQLfI2Uc-DeRvomc0R8ie3dS-qFCs_-2waU8SGMjJo8XaY2SSf88ya1kNfZWugHLJMOgE8bJhMuqvtCKYXkkWJ6MS3oIMmlV-u5Jn01KOmBMPujSxDjrqrdY9lh6LBGau6VFeZEWy2WKDsEH4FvMzJHTvDxOD7kD3vvcPyDwO6OA_4fAGtrkq2JCxfRXKhVA7IE1EdPrpFF5HdH5hGeZ-hGP3ZPu01e7eLd_dlZvRN9Gf5pwW-PW5qgoXN_wfGVWqJarDd_IQre0IaReC85JMbacdicuVENFp5jmouGbjspayFVz2ggtCtMywjiljFBOKF9XRIimPhHOSS0F6RjURJ-lsZW1l3Plw1Bc0bYNW6_qwspO23gNMGNOv-BVBJZTUYQ2e8puHiLUxJqY4keXZJK9Jv_h_v_f5Z_MQ-yOk3Z3v3KiHjPRs4kLS-_e2RgXU5j7ZLwr5mDbMaUp5hSxA7DDYNI4d1Xvz8AOedbtVU7B5-sAdrjuMAI7XE_wLwAA__-BmgfO">