[Mlir-commits] [mlir] [mlir][UB] Add `ub.unreachable` operation (PR #169872)

[Mehdi Amini]

================
@@ -66,4 +66,24 @@ def PoisonOp : UB_Op<"poison", [ConstantLike, Pure]> {
   let hasFolder = 1;
 }
 
+//===----------------------------------------------------------------------===//
+// UnreachableOp
+//===----------------------------------------------------------------------===//
+
+def UnreachableOp : UB_Op<"unreachable", [Terminator]> {
+  let summary = "Unreachable operation.";
+  let description = [{
+    The `unreachable` operation has no defined semantics. This operation
----------------
joker-eph wrote:

```suggestion
    The `unreachable` operation triggers immediate undefined behavior if executed. This operation
```



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