24531904_j

CMPXCHG8B—Compare and Exchange 8 Bytes
オペコード 命令 説明
0F C7 /1 m64 CMPXCHG8B m64 EDX:EAX を m64 と比較し、等しい場合は ZF をセットし、
ECX:EBX を m64 にロードする。等しくない場合は ZF をクリアし、
m64 を EDX:EAX にロードする。
説明
EDX:EAX の 64 ビット値をオペランド ( デステ ィ ネーシ ョ ン ・ オペラン ド ) と比較する。
値が等しい場合は、 ECX:EBX の 64 ビット値がデスティネーション・オペランドにスト
アされる。 等しくない場合は、 デスティネーション ・ オペランドの値がEDX:EAX に
ロードされる。 デスティネーション・オペランドは8 バイ ト のメモリ ・ ロケーシ ョンで
ある。 EDX:EAX および ECX:EBX のレジスタ ・ ペアでは、 EDX と ECX の内容が 64
ビッ ト値の上位32 ビッ トであり、 EAX と EBX の内容が下位 32 ビッ トである。
この命令は、 前に LOCK プリフィックスを付けると、 自動的に実行できる。 プロセッサ
のバスとのインタフェースを単純にするため、 デスティネーション ・ オペランドは比較
の結果にかかわ り な く 書き込みサ イ ク ルを受け る。 比較が失敗した場合はデス テ ィ ネ ー
ション・オペランドがデスティネーションに書き戻され、 比較が成功した場合はソー
ス ・ オペラン ドがデステ ィ ネーシ ョ ンに書き込まれる。 ( プロセッサは、 同時にロック書 き込みも伴わずにロッ ク読み取りを生じるこ とは決してない。 )
操作
IF Itanium System Environment AND External_Atomic_Lock_Required AND DCR.lc
THEN IA-32_Intercept(LOCK,CMPXCHG);
IF (EDX:EAX = DEST)
ZF ← 1
DEST ← ECX:EBX
ELSE
ZF ← 0
EDX:EAX ← DEST
影響を受けるフラグ
デステ ィ ネーシ ョ ン ・ オペラン ド と EDX:EAX が等しい場合は ZF フラグがセット され、
等し く ない場合は ク リ アされる。 CF、 PF、 AF、 SF、 および OF フラグは影響を受けな
い。
追加の Itanium ベース・システム環境例外
Itanium アーキテクチャ ・
レジスタ ・ フォルト
Itanium アーキテクチャ ・
メモリ ・ フォル ト
NaT レ ジ ス タ参照アボ ー ト 。
VHPT データ ・ フォル ト、 ネス ト された TLB フォルト、
データ TLB フォルト、 代替データTLB フォルト、 デー
タ・ページ不在フォルト、 データNaT ページ参照アボー
ト、 データ・キー・ ミス・フォルト、 データ・キー許可
フォルト、 データ・アクセス権フォルト、 データ・アクセ
ス・ビット ・フォルト、 データ・ダーティ ・ビット ・フォ
ルト。
3:438 第 3 巻 : IA-32 基本命令リファレンス