[flang-commits] [flang] [mlir] [flang] Emit llvm.assume for array bounds constraints (PR #178811)

[Sjoerd Meijer via flang-commits]

sjoerdmeijer wrote:

Just a FYI in that case that is helpful or interesting: I am actively working on this.
I.e., I am busy assessing the impact of this on performance and compile-time, and investigating alternatives or hybrid solutions (e.g. turning the assumes into meta-data very early flow) to minimise impact of these things which seems high in some cases. It looks like there isn't one ideal solution, but anyway, hope to conclude this exercise soon and will provide a write up.

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