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

    <tr>
        <th>Summary</th>
        <td>
            "GEP address space doesn't match type" even though it seems to match
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          ingomueller-net
      </td>
    </tr>
</table>

<pre>
    I am running into an issue related to address spaces in the following snippets:

```llvmir
; RUN: llc -mtriple nvptx64-nvidia-cuda %s
; ModuleID = 'LLVMDialectModule'
source_filename = "LLVMDialectModule"
target datalayout = "e-i64:64-i128:128-v16:16-v32:32-n16:32:64"

; Function Attrs: nounwind
define void @main_kernel() {
.preheader11:
  %0 = alloca [2048 x float], align 4, addrspace(3)
  %1 = getelementptr float, ptr addrspace(3) %0, i64 undef
  call void @llvm.masked.store.v4f32.p3(<4 x float> undef, ptr addrspace(3) %1, i32 4, <4 x i1> zeroinitializer)
  ret void
}

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: write)
declare void @llvm.masked.store.v4f32.p3(<4 x float> %0, ptr addrspace(3) nocapture %1, i32 immarg %2, <4 x i1> %3) #4
```

Running the command from the first line crashes with the following output (on the latest `main`):

```
GEP address space doesn't match type
  %3 = getelementptr float, ptr %2, i64 undef
in function main_kernel
LLVM ERROR: Broken function found, compilation aborted!
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /data//git/llvm-project/build-Debug/bin/llc -mtriple nvptx64-nvidia-cuda /data//git/llvm-project/llvm/test/module.ll
1.      Running pass 'Function Pass Manager' on module '/data//git/llvm-project/llvm/test/module.ll'.
2. Running pass 'Module Verifier' on function '@main_kernel'
 #0 0x00007f98a462195d llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /data//git/llvm-project/llvm/lib/Support/Unix/Signals.inc:723:11
 #1 0x00007f98a4621e4b PrintStackTraceSignalHandler(void*) /data//git/llvm-project/llvm/lib/Support/Unix/Signals.inc:798:1
 #2 0x00007f98a461fe76 llvm::sys::RunSignalHandlers() /data//git/llvm-project/llvm/lib/Support/Signals.cpp:105:5
 #3 0x00007f98a4622665 SignalHandler(int) /data//git/llvm-project/llvm/lib/Support/Unix/Signals.inc:413:1
 #4 0x00007f98a965a540 (/lib/x86_64-linux-gnu/libc.so.6+0x3c540)
 #5 0x00007f98a96a812c __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
 #6 0x00007f98a965a4a2 raise ./signal/../sysdeps/posix/raise.c:27:6
 #7 0x00007f98a96444b2 abort ./stdlib/abort.c:81:7
 #8 0x00007f98a44efdb4 llvm::report_fatal_error(llvm::Twine const&, bool) /data//git/llvm-project/llvm/lib/Support/ErrorHandling.cpp:125:5
 #9 0x00007f98a44efc22 /data//git/llvm-project/llvm/lib/Support/ErrorHandling.cpp:83:3
#10 0x00007f98a522b46b (anonymous namespace)::VerifierLegacyPass::runOnFunction(llvm::Function&) /data//git/llvm-project/llvm/lib/IR/Verifier.cpp:6619:5
#11 0x00007f98a50f06aa llvm::FPPassManager::runOnFunction(llvm::Function&) /data//git/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1435:23
#12 0x00007f98a50f54d2 llvm::FPPassManager::runOnModule(llvm::Module&) /data//git/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1481:16
#13 0x00007f98a50f0f5b (anonymous namespace)::MPPassManager::runOnModule(llvm::Module&) /data//git/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1550:23
#14 0x00007f98a50f0add llvm::legacy::PassManagerImpl::run(llvm::Module&) /data//git/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:535:16
#15 0x00007f98a50f57b1 llvm::legacy::PassManager::run(llvm::Module&) /data//git/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1677:3
#16 0x0000556b364c6e17 compileModule(char**, llvm::LLVMContext&) /data//git/llvm-project/llvm/tools/llc/llc.cpp:754:41
#17 0x0000556b364c515d main /data//git/llvm-project/llvm/tools/llc/llc.cpp:416:13
#18 0x00007f98a96456ca __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:74:3
#19 0x00007f98a9645785 call_init ./csu/../csu/libc-start.c:128:20
#20 0x00007f98a9645785 __libc_start_main ./csu/../csu/libc-start.c:347:5
#21 0x0000556b364c4931 _start (/data//git/llvm-project/build-Debug/bin/llc+0x2e931)
```

The error message is caused by [this check](https://github.com/llvm/llvm-project/blob/111fcb0df02db3/llvm/lib/IR/Verifier.cpp#L3899):

```cpp
if (auto *PTy = dyn_cast<PointerType>(GEP.getType())) {
 Check(GEP.getAddressSpace() == PTy->getAddressSpace(),
        "GEP address space doesn't match type", &GEP);
}
```

If I print `PTy` and `GEP.getPointerOperandType()`, I get `ptr addrspace(3)` and `ptr`, respectively, which don't match. Note, however, that the `%0` operand of the GEP instruction in the input above is actually annotated with `addrspace(3)`, so that attribute seems to get lost somehow.

Unfortunately, I am not familiar enough with LLVM to debug this issue further.

I have run into this issue in a lowering pipeline from MLIR, which seems to be using this part of LLVM in its `SerializeToCubin` pass. The module generated by MLIR was several thousands lines; above snippet is an (approximatly) minimal example that produces the same error. Note that I inserted the `undef`s in order to reduce the involved registers.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzMWVtv47YS_jXMy8CGRN3shzw4F_cE2G2DbNpXg5JGEs9SpEBSdtxff0BSvm5O027PFicIEosiZ775ZjhDjpkxvJWItyS7I9nDDRttp_Qtl63qRxQC9UyivSlVvb99AtaDHqXksgUurQImgRszImgUzGINbqyuNRoDZmAVGuASbIfQKCHUzi00kg8DWkOSFYkeSHT4m0fhV4htz_U0mNzBy68_k2QFQlQw663mg0CQ28G-5elMbnnN2awaawaEZua06rOqR4FPD0CSByC0-PTpt88PnAmsbHhFaBFmGzXqCjcNFyhZj9MC-s4CGhZYplu0UDPLBNur0R6W4IznKUlWeTrjMV2QZBXTxWwb5-5TPtsmlCSrhM6kH_FPeXoUe8K-HmVluZKwslY7nkCqUe64rMOcGhsuEbaK10DSqGdcbr6iligIXRC6BFLchZnzQWOHrEYdx0e-wVEVedBMCFUxINkdjdIFvEEjFLMkeyD0HpjgrYTUf6xr7f1J6CIhdHkmKPaCWrQosEdpB6snKfQe3MP1Wq_dveR5CqOssTlIq5gQR6tcGMx7Zr5iPTdWaZxv0yah8yFxRib36RFt8jiJ-QOFsVeY0GDOtJzHbu3vqBWX3HIm-O-oz6zTaD2cyTPFw8eO6kdjB61avwOkchaVrPoKUjUaEaQye1kd3Qk7LoRGO2oJPfZK7wldMN322DthO80tHvHUWAmm8fsIOnD-Lj8O52BHjRdM8b5nunVD9BvOCM0mZpP0avuec_Qy5QqXACrV90zW0GjVh4zAtbEgXCRXmpkODey47a6yhRrt4HYYXaiQSFyeMRZI7uPeKaTL_5ZKwuNPj8-XSQlqhUYSWljoma06sPsBz0I6-SikD5xcRTCX0Bwi4nxT-pcun8Djy8svL861d1p9xbPpjRpl7URWqh-4YH6QlUpbrAmNg4jnT4-rL49gxrLnFhiUYwsaB6Wty7udtYNPqnRN6LrlthvLeaV6QtcuVKZ_s0Grf2NlCV37zG0IXYPzC5eVGGsMvnL-ABe4VrMK50H9F-siuR774ch3NAf_8-xCnvXAdDs6xvxeIHTtcuQRz7cIypGLevaA5di6Jy79lA_z_EdiJ3NdnBC67n32novJD_EE-RCbAzPGFYjjXn52A5-ZZK1LBgU4Z3oRbtb3K6fFRCOdf6M7FBj4DTVv-FHrMTic3qs0P9UutwEjiN6iKIqKZrlgaU7jZVaDR5GsSLIyexM-PGsurffhqw6b_zRJs91GGauR9YTmPrSlDRv8T9oreEno-ss4uHAkdP2r5G9ugLeSCTPnsiLJqqCJK4XxCXx8DR7TEq6QBhn_YrIWjpuFT8l09QPgLX3NPqGjl-jiBov8PWpfRnkB0hzq8PfCO-CqBrfX4igjySo74UquWKN5nsE1TT_Eg2mcXFKUnkNZ5hnL0gi8-ZPAt0W-ydOZ4HJ8m7VyDC-quVHznNC76C2psjQ6VV1Ck-xSJlvEtILNZrCdRlZvvnIhNrwfQnIOqXJO6FoOVhC6Pp8295jdmazIT_Lza8wpo6AZN-jlGG8xoeu5f9qbGgeXJgdlPCN-ppdMC3eEOwkuLgWnaVrSkMWDYFsHTvyQl7Bwx7Kzzby48GyKTV2mZxEXsv2mcUfPDWqt9MU2ft35aqqkyz1-G5dKib8VBY9OiQ8qLttDPNKreFxeo64o_d-qXLiwS6byTpP4IulllJZpXrqwY1LJfa9GA-4sP51yloGdQ3r9hC2r9i7NT6SO8hd5SP8XfJ4G8-8g8emF0PVB6WRHnsfLE3fOkosMmEVNlDN25vH1swN6KEc_Hu-JnEnnwedp4pxOz3xAr5BnaU3_BPLDbeoM92HoB6D2GyzOT6iTa76b7MPI-fz_YEqWRVcOSK9NYfV55Rde0lT8T_Ke-kEcbfhnsGc-ds69kF3HTlHGH0P_h2HHeVFcpp1D5ciyvEzytMoxLqYjOx6DoeqY9ueTlcvAJ5zuBnCvpMU3-1fBWqWECYfj8HdCWGSpL8onhMUVwizOan8Z-fvK0tDIOKNjcVXvsrxisNm4-r4xlmm7cRfgjVfvCmBlxm_L6lS231s075yN6aUPltdKi0XmWwcbd4u_1hM-OuEzL9xX3dCcodFRKI3eE3phyXtGvCs8SYuLDE_jK5ekyySGIHU6KX3fNcmfniguk_h4enr3Fv7aIfizAvRoDGsRuIGKjQZrKPdAsjvbuZEOq6--9bP4y1fJUii3m-I4bqoyqpuI1mXycT2kyadksVz-wQ3ezQp368Yn6dEqIHT1_Lr3d_R6LzcVM5Yk98-KS4v61V3lk0dCFz89Ps9btH7AH8fD76k5Bvfe4uPMVegRfJlaI35u8uDUPL_uZyR5fHcOofeH1kH4IZT-yY4DDY0Vmv_0-Ow5uLvuNL3nzqcGnmBwVyQgefT8uid55G_wJI8mSyYufhlQM1mfMZD7JtATtOgXv9cNOpM2WD2t0GgGrCzfoti7513Hqw5qdWbSHH5WFt3LTu1w664g92A7Zn1HwcvJnCmgAipQjX_juOLSWD2Gy-7UL-ZyGK07O299uLLKjkyIPTAplfWtZt8sInn0jgFOtVFBO7NW83K0CAaxN2CVt14oY8GoHju1m5_T-6tslLajZHay1Xe9pbLQsJ4LzjSgVGPbBQC-rWMV1G53gt9IoSPejNp2qC9kP0HHtgh6lKF9fjadS2Ag1A61bwzwAX1nzHfLPn9yW-fA-tGMEmE0ob3GDQwunagmAOISuDWOnS-oQ2PzVd2PpW-Y-bbDHFxamBobLUrUntRy77XBjhkwzotMgO3UaJisjW_WGZLcTX6ZOvneP9Jvz2HQ6o33zDrqltBzyXsmAN-Yu64Fhwxa1WOFxrvZsH5KTiF-wpQnFxGo_RcKIXhCly2P_PcJSteoHQManaQpXrZKbLEGjS03FrWZ39S3Sb1MluwGb-N8mUZRmsTFTXebN1FeZGmcxWlRIYvjNGnKmNIlzeo6SukNv6URTaJllMc0zeJ0nlFsSsxZlSyXi6RuSBphz7iY-yas0u2N9-JtnqVFdCNYicL4b1QolbgLLnbbPXu40bc-d5Zja0gaCW6sOUmx3Aq8_SsZBHCL0ruo7YDbU3T4WTejFrff3xj05vwnAAD__xJzAfU">