24531904_j
24531904_j 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
表 5-3. リソース別に編成した WAW の依存関係 ( 続き ) リソース名 ライタ AR[FPSR].traps mov-to-AR-FPSR impliedF AR[FSR] mov-to-AR-FSR impliedF AR[ITC] mov-to-AR-ITC impliedF AR[K%], % in 0 - 7 mov-to-AR-K1 impliedF AR[LC] mod-sched-brs-counted, mov-to-AR-LC impliedF AR[PFS] br.call, brl.call none br.call, brl.call mov-to-AR-PFS impliedF AR[RNAT] alloc, flushrs, loadrs, mov-to-AR-RNAT, mov-to-AR-BSPSTORE impliedF AR[RSC] mov-to-AR-RSC impliedF AR[SSD] mov-to-AR-SSD impliedF AR[UNAT]{%}, % in 0 - 63 mov-to-AR-UNAT, st8.spill impliedF AR%, % in 8-15, 20, 22-23, 31, 33-35, 37-39, 41-43, 45-47, 67-111 AR%, % in 48 - 63, 112-127 none none mov-to-AR-ig 1 impliedF BR%, br.call % in 0 - 7 1 , brl.call 1 mov-to-BR 1 impliedF mov-to-BR 1 impliedF br.call1 , brl.call1 none CFM mod-sched-brs, br.call, brl.call, br.ret, alloc, clrrrb, cover, rfi impliedF CPUID# none none CR[CMCV] mov-to-CR-CMCV impliedF CR[DCR] mov-to-CR-DCR impliedF CR[EOI] mov-to-CR-EOI SC 第 2 巻、第 1 部 の 5.8.3.4 項 CR[GPTA] mov-to-CR-GPTA impliedF CR[IFA] mov-to-CR-IFA impliedF CR[IFS] mov-to-CR-IFS, cover impliedF CR[IHA] mov-to-CR-IHA impliedF CR[IIM] mov-to-CR-IIM impliedF CR[IIP] mov-to-CR-IIP impliedF CR[IIPA] mov-to-CR-IIPA impliedF CR[IPSR] mov-to-CR-IPSR impliedF CR[IRR%], % in 0 - 3 mov-from-CR-IVR impliedF CR[ISR] mov-to-CR-ISR impliedF 依存関係の セマンティックス 第 3 巻 : リソースと依存関係のセマンティックス 3:355
- Seite 315 und 316: 4.4.1.4 Integer Store M4 4.4.1.5 In
- Seite 317 und 318: 4.4.1.7 Floating-point Load ─ Inc
- Seite 319 und 320: 4.4.1.10 Floating-point Store ─ I
- Seite 321 und 322: 4.4.2.1 Line Prefetch M13 4.4.2.2 L
- Seite 323 und 324: 4.4.4.1 Set FR M18 4.4.4.2 Get FR M
- Seite 325 und 326: 4.4.6.2 RSE Control M25 4.4.6.3 Int
- Seite 327 und 328: 4.4.9 その他の M ユニット
- Seite 329 und 330: 表 4-44. オペコード 1 のシ
- Seite 331 und 332: 4.4.10.5 Move to Indirect Register/
- Seite 333 und 334: 4.4.11 Nop/Hint (M- ユニット )
- Seite 335 und 336: メジャー ・ オペコード 0
- Seite 337 und 338: 4.5.1.3 IP-Relative Call B3 4.5.1.4
- Seite 339 und 340: 間接分岐予測命令は、 表
- Seite 341 und 342: 表 4-60. オペコード 0 のそ
- Seite 343 und 344: 4.6.1.1 Floating-point Multiply Add
- Seite 345 und 346: 4.6.4 近似 4.6.4.1 Floating-point
- Seite 347 und 348: 4.6.6 マージと論理 F9 4.6.7
- Seite 349 und 350: 4.6.9 その他の F ユニット
- Seite 351 und 352: 4.7.2 ロング型即値 64 移動
- Seite 353 und 354: 4.8 即値の生成 表 4-74 は、
- Seite 355 und 356: 0 リソースと依存関係のセ
- Seite 357 und 358: は、 シ リ アル化の要件
- Seite 359 und 360: 表 5-2. リソース別に編成
- Seite 361 und 362: 表 5-2. リソース別に編成
- Seite 363 und 364: 表 5-2. リソース別に編成
- Seite 365: 表 5-2. リソース別に編成
- Seite 369 und 370: 表 5-3. リソース別に編成
- Seite 371 und 372: 5.3.5 依存関係表で参照さ
- Seite 373 und 374: 5.4 サポートに関する表 表
- Seite 375 und 376: 表 5-5. 命令クラス ( 続き )
- Seite 377 und 378: 表 5-5. 命令クラス ( 続き )
- Seite 379 und 380: 表 5-5. 命令クラス ( 続き )
- Seite 381: 第 II 部 : IA-32命令セット
- Seite 384 und 385: ま たは浮動小数点命令を
- Seite 386 und 387: • rel16 および rel32 - アセ
- Seite 388 und 389: • レ ジ ス タ名は暗黙に
- Seite 390 und 391: 図 1-1. BIT[EAX,21] のビット
- Seite 392 und 393: 1.2.7 仮想 8086 モード例外
- Seite 394 und 395: AAD ─ ASCII Adjust AX Before Divi
- Seite 396 und 397: AAS ─ ASCII Adjust AL After Subtr
- Seite 398 und 399: ADC ─ Add with Carry ( 続き )
- Seite 400 und 401: ADD ─ Add ( 続き ) 保護モー
- Seite 402 und 403: AND ─ Logical AND ( 続き ) 保
- Seite 404 und 405: ARPL ─ Adjust RPL Field of Segmen
- Seite 406 und 407: BOUND ─ Check Array Index Against
- Seite 408 und 409: BSF ─ Bit Scan Forward ( 続き )
- Seite 410 und 411: BSR ─ Bit Scan Reverse ( 続き )
- Seite 412 und 413: BT ─ Bit Test オペコード 命
- Seite 414 und 415: BTC ─ Bit Test and Complement オ
表 5-3. リソース別に編成した WAW の依存関係 ( 続き )<br />
リソース名 ライタ<br />
AR[FPSR].traps mov-to-AR-FPSR impliedF<br />
AR[FSR] mov-to-AR-FSR impliedF<br />
AR[ITC] mov-to-AR-ITC impliedF<br />
AR[K%],<br />
% in 0 - 7<br />
mov-to-AR-K1 impliedF<br />
AR[LC] mod-sched-brs-counted, mov-to-AR-LC impliedF<br />
AR[PFS] br.call, brl.call none<br />
br.call, brl.call mov-to-AR-PFS impliedF<br />
AR[RNAT] alloc, flushrs, loadrs,<br />
mov-to-AR-RNAT,<br />
mov-to-AR-BSPSTORE<br />
impliedF<br />
AR[RSC] mov-to-AR-RSC impliedF<br />
AR[SSD] mov-to-AR-SSD impliedF<br />
AR[UNAT]{%},<br />
% in 0 - 63<br />
mov-to-AR-UNAT, st8.spill impliedF<br />
AR%,<br />
% in 8-15, 20, 22-23, 31,<br />
33-35, 37-39, 41-43, 45-47,<br />
67-111<br />
AR%,<br />
% in 48 - 63, 112-127<br />
none none<br />
mov-to-AR-ig 1<br />
impliedF<br />
BR%,<br />
br.call<br />
% in 0 - 7<br />
1 , brl.call 1<br />
mov-to-BR 1<br />
impliedF<br />
mov-to-BR 1<br />
impliedF<br />
br.call1 , brl.call1 none<br />
CFM mod-sched-brs, br.call, brl.call, br.ret, alloc, clrrrb, cover, rfi impliedF<br />
CPUID# none none<br />
CR[CMCV] mov-to-CR-CMCV impliedF<br />
CR[DCR] mov-to-CR-DCR impliedF<br />
CR[EOI] mov-to-CR-EOI SC<br />
第 2 巻、第 1 部<br />
の 5.8.3.4 項<br />
CR[GPTA] mov-to-CR-GPTA impliedF<br />
CR[IFA] mov-to-CR-IFA impliedF<br />
CR[IFS] mov-to-CR-IFS, cover impliedF<br />
CR[IHA] mov-to-CR-IHA impliedF<br />
CR[IIM] mov-to-CR-IIM impliedF<br />
CR[IIP] mov-to-CR-IIP impliedF<br />
CR[IIPA] mov-to-CR-IIPA impliedF<br />
CR[IPSR] mov-to-CR-IPSR impliedF<br />
CR[IRR%],<br />
% in 0 - 3<br />
mov-from-CR-IVR impliedF<br />
CR[ISR] mov-to-CR-ISR impliedF<br />
依存関係の<br />
セマンティックス<br />
第 3 巻 : リソースと依存関係のセマンティックス 3:355