Reply To: Loop pipelining and aliasing

The thing is, the Mill is immune to aliasing because all loads are deferred as you describe it.

Loads specify their retire time, and the stations are snooping on stores so they know when their fetched value is stale.

So the compiler never ever has to even consider aliasing!