"Insertion of runtime alias checks still appears like magic to me." ICC does it, gcc does it, etc. In fact, things like Polly, pluto, etc are built around bei

"Insertion of runtime alias checks still appears like magic to me." ICC does it, gcc does it, etc. In fact, things like Polly, pluto, etc are built around being able to add the right conditional guards to make loops execute in perfect orders with no dependences :) IE if (a bunch of stuff is true) execute perfect loop else whatever was there before.