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

[llvmlistbot at llvm.org]

https://github.com/jeanPerier commented:

Thanks @sebpop, emitting this is valid as far as Fortran is concerned (except for the assumed-size case, see comment inline).

Out of curiosity, isn't there some llvm.assume operand bundle that would allow emitting less IR instructions (something like `llvm.assume(i1 true)["is_in_range" %i, %lb, %ub]`), and if not would it be a good idea to add it?

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