[CIR] Refactor pointers to ExceptionInfoType constraints (#1612)

Author: xlauko

clang/include/clang/CIR/Dialect/IR/CIRTypeConstraints.td

@@ -181,6 +181,13 @@ def CIR_AnyFuncType : CIR_TypeBase<"::cir::FuncType", "function type">;
 
 def CIR_AnyArrayType : CIR_TypeBase<"::cir::ArrayType", "array type">;
 
+//===----------------------------------------------------------------------===//
+// Exception Info Type predicates
+//===----------------------------------------------------------------------===//
+
+def CIR_AnyExceptionInfoType : CIR_TypeBase<
+    "::cir::ExceptionInfoType", "exception info type">;
+
 //===----------------------------------------------------------------------===//
 // Pointer Type predicates
 //===----------------------------------------------------------------------===//
@@ -238,4 +245,9 @@ def CIR_PtrToFunc : CIR_PtrToType<CIR_AnyFuncType>;
 
 def CIR_PtrToArray : CIR_PtrToType<CIR_AnyArrayType>;
 
+def CIR_PtrToExceptionInfoType
+    : CIR_PtrToType<CIR_AnyExceptionInfoType>,
+      BuildableType<"$_builder.getType<" # cppType # ">("
+        "cir::ExceptionInfoType::get($_builder.getContext())))">;
+
 #endif // CLANG_CIR_DIALECT_IR_CIRTYPECONSTRAINTS_TD

clang/include/clang/CIR/Dialect/IR/CIRTypes.td

@@ -505,18 +505,6 @@ def CIR_VoidType : CIR_Type<"Void", "void"> {
 
 // Constraints
 
-// Pointer to exception info
-def ExceptionPtr : Type<
-    And<[
-      CPred<"::mlir::isa<::cir::PointerType>($_self)">,
-      CPred<"::mlir::isa<::cir::ExceptionInfoType>("
-            "::mlir::cast<::cir::PointerType>($_self).getPointee())">
-    ]>, "!cir.eh_info*">,
-    BuildableType<
-      "cir::PointerType::get($_builder.getContext(),"
-      "cir::ExceptionInfoType::get($_builder.getContext()))"> {
-}
-
 // Vector of integral type
 def IntegerVector : Type<
     And<[