================
@@ -2557,6 +2557,23 @@ LogicalResult cir::GetMemberOp::verify() {
return mlir::success();
}
+
+//===----------------------------------------------------------------------===//
+// ExtractMemberOp Definitions
+//===----------------------------------------------------------------------===//
+
+LogicalResult cir::ExtractMemberOp::verify() {
+ auto recordTy = mlir::cast<cir::RecordType>(getRecord().getType());
----------------
AmrDeveloper wrote:
Can you please add a test for the verifier?
Check `clang/test/CIR/IR/invalid-vector.cir` for reference
https://github.com/llvm/llvm-project/pull/173512
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
