I think we can improve the notion of ownership to go beyond dominators. In particular, consider a scenario like this: ``` A | \ | B | / C ``` In this situation, `C` is placed into `util` when in fact it could be placed into `B`.
I think we can improve the notion of ownership to go beyond dominators. In particular, consider a scenario like this:
In this situation,
Cis placed intoutilwhen in fact it could be placed intoB.