[clang] [CIR] Upstream TryCallOp (PR #165303)

Amr Hesham via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 20 10:29:42 PST 2025


================
@@ -2707,6 +2707,98 @@ def CIR_CallOp : CIR_CallOpBase<"call", [NoRegionArguments]> {
   ];
 }
 
+def CIR_TryCallOp : CIR_CallOpBase<"try_call",[
+  DeclareOpInterfaceMethods<BranchOpInterface>,
+  Terminator, AttrSizedOperandSegments
+]> {
+  let summary = "try_call operation";
+
+  let description = [{
+    Mostly similar to cir.call but requires two destination
+    branches, one for handling exceptions in case its thrown and
+    the other one to follow on regular control-flow.
+
+    Example:
+
+    ```mlir
+    // Direct call
+    %result = cir.try_call @division(%a, %b) ^continue, ^landing_pad 
+      : (f32, f32) -> f32
+    ```
+  }];
+
+  let arguments = !con((ins
+    Variadic<CIR_AnyType>:$contOperands,
+    Variadic<CIR_AnyType>:$landingPadOperands
----------------
AmrDeveloper wrote:

They are operands that are passed to the normal and unwind destination blocks, I am trying to think of cases that the unwind dest will require operands, but for now, I will remove them to simplify the parser and the op, and if we need them, we can add them back, I will spend sometime update parser, verifier, op and then we can have another round of review

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


More information about the cfe-commits mailing list