Using phi node for shortcut and separate access.

Still have to add this for separate function calls, but I'll have to
separate the with and without result cases at a higher level.