[clang] [CIR] Upstream Re-Throw with no return (PR #154994)
Amr Hesham via cfe-commits
cfe-commits at lists.llvm.org
Sat Aug 23 08:13:57 PDT 2025
================
@@ -3800,4 +3800,58 @@ def CIR_VAArgOp : CIR_Op<"va_arg"> {
}];
}
+//===----------------------------------------------------------------------===//
+// ThrowOp
+//===----------------------------------------------------------------------===//
+
+def CIR_ThrowOp : CIR_Op<"throw"> {
+ let summary = "(Re)Throws an exception";
+ let description = [{
+ It's equivalent __cxa_throw:
+
+ ```
+ void __cxa_throw(void *thrown_exception, std::type_info *tinfo,
+ void (*dest) (void *));
+ ```
+
+ The absense of arguments for `cir.throw` means it rethrows.
+
+ For the no-rethrow version, it must have at least two operands, the RTTI
+ information, a pointer to the exception object (likely allocated via
+ `cir.cxa.allocate_exception`) and finally an optional dtor, which might
+ run as part of this operation.
+
+ Example:
+ ```mlir
+ // throw;
+ cir.throw
+
+ // if (b == 0)
+ // throw "Division by zero condition!";
+ cir.if %cond {
+ %exception_addr = cir.alloc_exception 8 -> !cir.ptr<!void>
----------------
AmrDeveloper wrote:
>From the `CIR_AllocExceptionOp` description, running a sample locally `cir.alloc_exception` is the correct one. I will update the description. Thanks
https://github.com/llvm/llvm-project/pull/154994
More information about the cfe-commits
mailing list