BTB
MEM

ΠP(x)=1に裏付けしただけ。VLIWのプログラムは大昔に慎重にコンパイルされた。