[ssj]

mov ax,0 и xor ax,ax уже давно занимают по одному такту (покрайней мере так твердит VTune). Но код mov ax,0 в памяти занимает на пару байтиков больше, потому реально он чуть медленнее считывается, декодируется и т.п.

про Itanium - черт их знает, сильно не разбирался. Там регистров действительно много (128 каждого типа), причем их можно переименовывать, объединять в кольца и стеки...Про предикаты тем более не понятно