[Mlir-commits] [mlir] [mlir][UB] Erase ops that precede `ub.unreachable` (PR #179104)

[Jakub Kuderski]

kuhar wrote:

> We would erase the `spriv.Kill` operation. This is due to the fact that the `spirv.Kill` performs a kind of non-local return. What do you make of this?

Does it mean that to properly handle this or function calls that may terminate, we'd have to prove that `scf.if` itself must progress, or conservatively assume they may not progress?

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