[CIR][LowerToLLVM] Exceptions: lower cir.eh.typeid

Author: bcardosolopes

clang/lib/CIR/Lowering/DirectToLLVM/LowerToLLVM.cpp

@@ -3560,6 +3560,25 @@ class CIRUndefOpLowering
   }
 };
 
+class CIREhTypeIdOpLowering
+    : public mlir::OpConversionPattern<mlir::cir::EhTypeIdOp> {
+public:
+  using OpConversionPattern<mlir::cir::EhTypeIdOp>::OpConversionPattern;
+
+  mlir::LogicalResult
+  matchAndRewrite(mlir::cir::EhTypeIdOp op, OpAdaptor adaptor,
+                  mlir::ConversionPatternRewriter &rewriter) const override {
+    mlir::Value addrOp = rewriter.create<mlir::LLVM::AddressOfOp>(
+        op.getLoc(), mlir::LLVM::LLVMPointerType::get(rewriter.getContext()),
+        op.getTypeSymAttr());
+    mlir::LLVM::CallIntrinsicOp newOp = createCallLLVMIntrinsicOp(
+        rewriter, op.getLoc(), "llvm.eh.typeid.for.p0", rewriter.getI32Type(),
+        mlir::ValueRange{addrOp});
+    rewriter.replaceOp(op, newOp);
+    return mlir::success();
+  }
+};
+
 void populateCIRToLLVMConversionPatterns(mlir::RewritePatternSet &patterns,
                                          mlir::TypeConverter &converter) {
   patterns.add<CIRReturnLowering>(patterns.getContext());
@@ -3595,8 +3614,8 @@ void populateCIRToLLVMConversionPatterns(mlir::RewritePatternSet &patterns,
       CIRRintOpLowering, CIRRoundOpLowering, CIRSinOpLowering,
       CIRSqrtOpLowering, CIRTruncOpLowering, CIRCopysignOpLowering,
       CIRFModOpLowering, CIRFMaxOpLowering, CIRFMinOpLowering, CIRPowOpLowering,
-      CIRClearCacheOpLowering, CIRUndefOpLowering>(converter,
-                                                   patterns.getContext());
+      CIRClearCacheOpLowering, CIRUndefOpLowering, CIREhTypeIdOpLowering>(
+      converter, patterns.getContext());
 }
 
 namespace {

clang/test/CIR/Lowering/exceptions.cir

@@ -52,12 +52,13 @@ module @"try-catch.cpp" attributes {cir.lang = #cir.lang<cxx>, cir.sob = #cir.si
     %exception_ptr, %type_id = cir.eh.inflight_exception [@_ZTIi, @_ZTIPKc]
     // LLVM: extractvalue { ptr, i32 } %[[EHINFO]], 0, !dbg !29
     // LLVM: extractvalue { ptr, i32 } %[[EHINFO]], 1, !dbg !29
+    cir.br ^bb5(%exception_ptr, %type_id : !cir.ptr<!void>, !u32i)
+  ^bb5(%16: !cir.ptr<!void>, %17: !u32i):
+    %18 = cir.eh.typeid @_ZTIi
+    // LLVM: call i32 @llvm.eh.typeid.for.p0(ptr @_ZTIi)
+    %19 = cir.cmp(eq, %17, %18) : !u32i, !cir.bool
     cir.br ^bb10
     // TODO: TBD
-    //   cir.br ^bb5(%exception_ptr, %type_id : !cir.ptr<!void>, !u32i)
-    // ^bb5(%16: !cir.ptr<!void>, %17: !u32):
-    //   %18 = cir.eh.typeid @_ZTIi
-    //   %19 = cir.cmp(eq, %17, %18) : !u32i, !cir.bool
     //   cir.brcond %19 ^bb6(%16 : !cir.ptr<!void>), ^bb7(%16, %17 : !cir.ptr<!void>, !u32i)
     // ^bb6(%20: !cir.ptr<!void>):
     //   %21 = cir.catch_param begin %20 -> !cir.ptr<!s32i>