[clang] [CIR] Add canonicalizer for CleanupScopeOp (PR #191084)

[Erich Keane via cfe-commits]

================
@@ -1449,6 +1449,41 @@ cir::CleanupScopeOp::getSuccessorInputs(RegionSuccessor 
successor) {
   return ValueRange();
 }
 
+LogicalResult cir::CleanupScopeOp::canonicalize(CleanupScopeOp op,
+                                                PatternRewriter &rewriter) {
+  auto isRegionTrivial = [](Region &region) {
+    if (!region.hasOneBlock())
+      return false;
+    Block &block = region.front();
----------------
erichkeane wrote:

Can the region be empty?  If so, this is UB.  Perhaps likely invalid IR?  But 
an assert for `!region.empty()` perhaps? 

https://github.com/llvm/llvm-project/pull/191084
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits