[Mlir-commits] [mlir] [WIP][mlir][EmitC] Model lvalues as a type in EmitC (PR #91475)

[Simon Camphausen]

simon-camp wrote:

> For arrays, are you intending to for `emitc.variable`/`emitc.get_global` have type `!emitc.array` for arrays and `!emitc.lvalue<type>` for other types? I would like that.

Yeah that's what I would try to see how it works out. We can catch `!emitc.lvalue<!emitc.array<>>` in the lvalue type verifier then. And you are right I forgot that global arrays need to be handled similarly to variables.

https://github.com/llvm/llvm-project/pull/91475