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

    <tr>
        <th>Summary</th>
        <td>
            [mlir][DLTI] Revisit design of data layout memory space entries
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir
      </td>
    </tr>

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

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

<pre>
    Origin: This issue arises from the conversation in: https://github.com/llvm/llvm-project/pull/127416

Description:
Currently, the data layout spec interface expose methods to get the keys for retrieving the alloca, global and program memory spaces in the data layout. However, such method has some quirks. Consider the following example:

```
DL1 /*interface methods*/ [alloca_identifier = "dlti.alloca_memory_space"] /*data layout entries*/ <ptr spec> {
  DL2 /*interface methods*/ [alloca_identifier = "my_dlti.alloca_memory_space"] /*data layout entries*/ <ptr spec> {
    DL3 /*interface methods*/ [alloca_identifier = "dlti.alloca_memory_space"] {
      # get the alloca memory space.
 }
  }
}
```
Under the status quo, it's not fully clear what should be the correct answer if the layouts are combined. Is it an entry in DL1 or DL2?

Posible solution:
Remove the methods and fully define unique static keys for them.

CC:
@rolfmorel, @ftynse, @Dinistro 
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJy0VE2PpDYQ_TXmUgoCuz9mDhx6mrSy0kiJVpvzyOACKmtsxmV6tv99ZGA-NrdoNRJq1FB-Ve_x6mlm6h1iJfYPYl9neo6DD1WnG9JubPus8eZW_RmoJyfUCb4NxEDMM4IOxMjQBT9CHBBa764YWEfyDtbqIcaJhToJeRHy0lMc5iZv_Sjkxdrr6-23Kfh_sI1CXqbZWiEvpTzuyoMoTqI41chtoCmhJqTidJ5DQBftTcjz0tjoqMHqm58j8IQtkIsYOt0i4I_JM8KIcfCGIXroMS6HvuONofMBAsZAeCXXL8-1tb7VCbq3vtEWtDMwBd8HPcKIow834Em3yEDuv-1z-MO_4BVDOs9zO2ydYdAM7EeE55nCd87h7B2TwbAgdN5a_5ImwB96nCyuRNN1KLarONWPJSxCnt75bcSETBKD2D-s4z-RQRepIwwgVA1CSmMj5dvblcbTQkNIKfb1BvxRSXRJlzdodZ5iWOQV6ncQxwdRnADqR_kLM423p88ZKw2mPlGstzYAQqo3T60nfnJJngrFsV7q1_v2--HL_u1encBRx5nhefbJQRSFPDI4H6Gbrb1Ba1EHeBl0BB78bA00uO1eCNhG0I5fMAB1y9NVMgYdUsXYkEOTwxcGSpWLlLfk4uQsH9LHFOqyGu8vz9RYBPZ2fl-9rzj669rxdaXSeqzDGezIIcyOnueVCbXvaxYHHPMV-3ze_L0rgrfd6APaRFfsii7eHOP2pyZHHIOHzFTK3Kt7nWFVHnelOsq9KrOhkoVS6g5L3WhlsLk3yuhCG9Udjl1zp1VGlSzkvlDFsbxTe1XmUu8Oh67cKXPfHhtjxK7AUZPNUxDlPvTZEm5VqQoly8zqBi0v4SjlaCmsDshCtQRXM_csdoUljvyOECnaJVCXA_ta7B_qx29fknO-4pWYIhhMsQu--ym8Phrn1ejZHGz1v3N0IcEpSVce10r-GwAA__8ilu3U">