krzysz00 wrote:

> I don't quite like that the goal is to allow accesing the next array like you 
> mentions. `gep [0 x [ 8 x i32]], ptr %p, i32 %index, i32 9`

I don't see how I gave that impression? Could you help clarify why that seemed 
true?

Would it have helped if I used a type like `float2d texture[M][N]` in the 
example instead?

The intention here is to allow for

```
%indexed = sgep ptr addrspace(9) %rsrc elementtype("amdgpu.stridemark", N), 
<inbounds? | nneg? | unsigned>, i32 %i
%offset = gep/ptradd inbounds? nuw? ptraddrspace(9) %indexed, i32 %j
```

(and if I had a way to make "stridemark" container-like for SGEP purposes, I'd 
fold that `ptradd` into the SGEP)


https://github.com/llvm/llvm-project/pull/200093
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to