================
@@ -2537,6 +2537,17 @@ LogicalResult cir::GetMemberOp::verify() {
return mlir::success();
}
+//===----------------------------------------------------------------------===//
+// GetElementOp Definitions
+//===----------------------------------------------------------------------===//
+
+LogicalResult cir::GetElementOp::verify() {
+ auto arrayTy = mlir::cast<cir::ArrayType>(getBaseType().getPointee());
+ if (getElementType() != arrayTy.getElementType())
+ return emitError() << "element type mismatch";
+ return mlir::success();
+}
----------------
xlauko wrote:
This will also infer the result type, so it is not needed to be specified in
the assembly form.
https://github.com/llvm/llvm-project/pull/172897
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
