-
Matthias Braun authored
This makes our usage of PhiMs to represent the observable behaviour of non-terminating loops more obvious. Having an explicit loop Phi constructor also fixes problems with Phi getting optimized before the keep edge was added.
8e4997d4