RSSAShrink is an optimization pass for the RSSA IntermediateLanguage.

Description

This pass implements a whole family of compile-time reductions, like:

  • constant folding, copy propagation

  • inline the Goto to a block with a unique predecessor

Implementation

Details and Notes