Class RewriteRemoveEmptyBasicBlocks


  • public class RewriteRemoveEmptyBasicBlocks
    extends StatementBlockRewriteRule
    Rule: Simplify program structure by removing empty last-level blocks, which may originate from the original program or due to a sequence of rewrites (e.g., checkpoint injection and subsequent IPA).