[Mlir-commits] [mlir] [TOSA] Prevent OoB accesses in gather/scatter (PR #213242)

[Luke Hutton]

lhutton1 wrote:

Thanks, makes sense, overall we might want to bring this as a topic to discourse to discuss in more detail. I think I'd prefer making the program crash on OOB accesses this way it makes the unexpected behaviour explicit. Can `cf.assert` be useful here? I like the idea of gating this behind an optional "hardening" flag.

Though I suspect it's too verbose, I did notice a pass called `generate-runtime-verification` which might be of use here?

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