[Mlir-commits] [mlir] [mlir] introduce cf.assume (PR #220095)

[Mehdi Amini]

joker-eph wrote:

(On my phone, a bit terse)
I don't quite get the argument about the fold: no such addition would be accepted, and all tests would fail immediately...

See also for prior work the stablehlo.optimization_barrier operation and the cuda_tile.assume: https://docs.nvidia.com/cuda/tile-ir/latest/sections/operations.html#cuda-tile-assume for prior work as well.

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