Just a note that this IR sounds a lot like the Testarossa Trees IR: https://github.com/eclipse/omr/blob/master/doc/compiler/il/IntroToTrees.md https://github.co

Just a note that this IR sounds a lot like the Testarossa Trees IR: https://github.com/eclipse/omr/blob/master/doc/compiler/il/IntroToTrees.md https://github.com/eclipse/omr/blob/master/doc/compiler/il/I... In that IR the rule is that sharing cannot pass basic-block boundaries because of the exact kind of bug you indicate.