Ja, hogy az utasítás pipeline bizgeréli a cache controllert. Jellemzően kisebb, egyszerűbb hardware-ekben gondolkodom. :) Egyébként világos, amit írtál. Bár hozzáteszem, a while (0) simán megy tovább, szóval ott mindenféle szólás nélkül is megvan már a prefetch is, és a cache tartalom is. Előre ugrás inkább akkor válik nyűgössé, ha az valóban ugrás és nem a következő utasítás.