リネーミングレジスタは、上書きされたレジスタについてだけ割り当てれば充分だから、入力値についても常に割り当てるというMACオタの認識は誤り。これって、その後、訂正あった?