tree 2ab5602267e4183f5c9d017ad1823373a7b000d0
parent 09147b4c3c5579e9d76aa090605ccc9b46e307f6
author Fabian Mora <fmora.dev@gmail.com> 1745361136 -0400
committer GitHub <noreply@github.com> 1745361136 -0400
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoCBjwCRC1aQ7uu5UhlAAAwigQAFZq7xA0FMmO86/phLNArMeL
 4AAoORPThW5U509SutDG9e87u03ycjeMHuykY0ZuYBP8GM9fDkBS9wrzPcBa39dm
 T5e0/nFqlFyonHXX5ie09iuFqJB8JScwrpWkbQ72WbaGlEDduLrT5hxDZiBlIDSu
 LyvrHReZom3COFwXm7BLZKoNflQJoR2eBAyINoGm2lCyX7SM2AsjfbwRT9NusyGb
 qc9AzE/fwYzbvX5evScrNxOLl7Yj//e6yUV3f2AIgUW3tie/02OYXU6IvQ/1Q26F
 dTtRmDdSX2zGdZFKoL7nvv6E/DVSZ8JSnSVF9Rae4/ZPrJjS+yIIKtM8RgWB4G6N
 ERNX8PbNfUv/87YBqKyBK0Bht0BEaemR8WXiAjfqTTG6HRianVtaSCYgwa+PcnsP
 IUmasQb7oChMHzjKoeBVoKpoUuN1vkcbmRgWVLu46CGVl3tU17GCWVpEwkP7lhfv
 xNJEKPHzG6m3BhFdady5bk1alHdw4Ko/FEg3TdJaYOeVgA/GHDBvTVxvVtJ/LBNl
 Tt5ujO0ftNrfsmG/gVHODhlDk0Cx32ZIttXQg16WNGR3L7Dwsd7Nnj5spV/41RKT
 xccjjQ+RRFBnER/1/Bls1svFPJ7RoD4AiAIEnHQRDlC1qtI+7iaZrPwp9JyaX7gq
 GGlXa6S92hvyiSRysAJa
 =NroM
 -----END PGP SIGNATURE-----
 

[mlir][ptr] Add the `ptradd` and `type_offset` ops, and `generic_space` attr (#136434)

This patch adds the `ptr.ptradd` and `ptr.type_offset` operations. Given
a `ptr` value these operations can be used to compute new addresses. For
example:

```mlir
func.func @ops0(%ptr: !ptr.ptr<#ptr.int_space>) -> !ptr.ptr<#ptr.int_space> {
  %off = ptr.type_offset f32 : index
  %res = ptr.ptradd %ptr, %off : !ptr.ptr<#ptr.int_space>, index
  return %res : !ptr.ptr<#ptr.int_space>
}
```

Additionally, this patch also adds the `#ptr.generic_space`. This memory
space allows loading and storing values to all types.

---------

Co-authored-by: Mehdi Amini <joker.eph@gmail.com>
Co-authored-by: Tobias Gysi <tobias.gysi@nextsilicon.com>