Just a note that this IR sounds a lot like the Testarossa Trees IR: 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.
In that IR the rule is that sharing cannot pass basic-block boundaries because of the exact kind of bug you indicate.