If we see a store, we should be able to hoist up to just after the previous interfering effect - like the previous memory effect or the last instruction to Def a value we Use. I thought of this when doing this manually in CCall lowering.