Cleanup `cir.scope`s with a single `cir.yield` operation

[bcardosolopes]

This is fine, the cir.scope is created to represent the overall scope where the if codegen actually happens within (it's where init statements will place their alloca, etc). Poking at the IfStmt some layers above for this optimization isn't worth it IMO - the cleanup pass should be stripping the cir.scope here anwyays, but let me track that as a separate issue.

Originally posted by @bcardosolopes in #436 (comment)

[hardshah]

Hi I'd like to take this issue

[hardshah]

Hi, @bcardosolopes I'm trying to understand exactly where I should add this cleanup pass. Is there any documentation or resources I can consult outside of the clangir website?

[sitio-couto]

@hardshah @bcardosolopes the issue's description is a bit misleading. This cleanup has already been implemented in MergeCleanupsPass:

clangir/clang/lib/CIR/Dialect/Transforms/MergeCleanups.cpp

Lines 57 to 69 in 3d83982

	struct RemoveEmptyScope : public OpRewritePattern<ScopeOp> {
	using OpRewritePattern<ScopeOp>::OpRewritePattern;
	LogicalResult match(ScopeOp op) const final {
	return success(op.getRegion().empty() ||
	(op.getRegion().getBlocks().size() == 1 &&
	op.getRegion().front().empty()));
	}
	void rewrite(ScopeOp op, PatternRewriter &rewriter) const final {
	rewriter.eraseOp(op);
	}
	};

The reason why it is not being applied in the empty scope that originated the issue is because of an implicit cir.yield operation that is not accounted for in the rewrite pattern's match clause.

@hardshah you can tackle this by fixing the rewrite pattern linked above.

[hardshah]

Okay thanks for clarifying !