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

shrink.sig shrink.fun
shrink.sig shrink.fun

Details and Notes