24531904_j

5.3.3 WAW の依存関係表
WAW の表に固有の一般規則は、 次の と お り である。
• すべての リ ソ ー ス は、 命令グルー プ ・ ブ レ ー ク があれば、 連続的な動作を提供で き
る。
• リ ソ ー スに よ っ ては、 命令グルー プ ・ ブ レ ー ク がな く て も 、 連続的な動作を提供で
きる。
• 本書の他の個所で さ ら に詳し く 説明してい る特別なケ ー スがあ り 、 それ ら は SC ( 特
別なケ ース ) の結果 と と も に示している。
• ラ イ タの各副行は、 命令グループを表し、 任意の組み合わせのペアで、 依存関係の
結果を示す。 列が副列に分割 さ れる場合、 依存関係のセマンテ ィ ッ ク ス は、 左の副
列 と 右の副列か ら選択して組み合わせた任意の命令ペアに適用 さ れる。
表 5-3. リソース別に編成した WAW の依存関係
リソース名 ライタ
ALAT mem-readers-alat, mem-writers, chk.a.clr,
invala-all
依存関係の
セマンティックス
AR[BSP] br.call, brl.call, br.ret, cover, mov-to-AR-BSPSTORE, rfi impliedF
AR[BSPSTORE] alloc, loadrs, flushrs, mov-to-AR-BSPSTORE impliedF
AR[CCV] mov-to-AR-CCV impliedF
AR[CFLG] mov-to-AR-CFLG impliedF
AR[CSD] ld16, mov-to-AR-CSD impliedF
AR[EC] br.ret, mod-sched-brs, mov-to-AR-EC impliedF
AR[EFLAG] mov-to-AR-EFLAG impliedF
AR[FCR] mov-to-AR-FCR impliedF
AR[FDR] mov-to-AR-FDR impliedF
AR[FIR] mov-to-AR-FIR impliedF
AR[FPSR].sf0.controls mov-to-AR-FPSR, fsetc.s0 impliedF
AR[FPSR].sf1.controls mov-to-AR-FPSR, fsetc.s1 impliedF
AR[FPSR].sf2.controls mov-to-AR-FPSR, fsetc.s2 impliedF
AR[FPSR].sf3.controls mov-to-AR-FPSR, fsetc.s3 impliedF
AR[FPSR].sf0.flags fp-arith-s0, fcmp-s0, fpcmp-s0 none
fclrf.s0, fcmp-s0, fp-arith-s0,
fpcmp-s0, mov-to-AR-FPSR
fclrf.s0, mov-to-AR-FPSR impliedF
AR[FPSR].sf1.flags fp-arith-s1, fcmp-s1, fpcmp-s1 none
fclrf.s1, fcmp-s1, fp-arith-s1,
fpcmp-s1, mov-to-AR-FPSR
fclrf.s1, mov-to-AR-FPSR impliedF
AR[FPSR].sf2.flags fp-arith-s2, fcmp-s2, fpcmp-s2 none
fclrf.s2, fcmp-s2, fp-arith-s2,
fpcmp-s2, mov-to-AR-FPSR
fclrf.s2, mov-to-AR-FPSR impliedF
AR[FPSR].sf3.flags fp-arith-s3, fcmp-s3, fpcmp-s3 none
fclrf.s3, fcmp-s3, fp-arith-s3,
fpcmp-s3, mov-to-AR-FPSR
fclrf.s3, mov-to-AR-FPSR impliedF
AR[FPSR].rv mov-to-AR-FPSR impliedF
3:354 第 3 巻 : リソースと依存関係のセマンティックス
none