24531904_j

CALL ─ Call Procedure ( 続き )
プロセッサは、 最後に新しいコ ー ド ・ セグメン ト 内のコ ール先プロシージ ャのア ド レス
にジャンプする。 このプロシージャ ・ アド レスは、 ターゲッ ト ・ オペランドで指定され
たオ フ セ ッ ト である。 こ の場合 も 、 タ ー ゲ ッ ト ・ オペラ ン ド は、 ポ イ ン タ (ptr16:16 また
は ptr16:32) を使用して直接に、 またはメモ リ ・ ロケーシ ョ ン (m16:16 または m16:32) を
使用して間接的に、 コ ー ル ・ ゲー ト と プ ロ シ ー ジ ャ の far アドレスを指定できる。
CALL 命令で タ ス ク ・ ス イ ッ チを実行す る のは、 コ ー ル ・ ゲ ー ト を介した コ ー ルを実行
す る のに似てい る。 タ ス ク ・ ス イ ッ チの場合、 タ ー ゲ ッ ト ・ オペラ ン ド は、 切 り 替え先
タスクへのタスク・ゲートのセグメント ・セレクタと、 切り替え先タスク内のコール先
プロシージャのアド レスを指定する。 次に、 タスク ・ゲー トがタスクの TSS を指す。
TSS の内容はタスクのコー ドおよびスタックの両セグメン トのセグメン ト ・ セレクタで
ある。 CALL 命令は、 TSS のセグ メ ン ト ・ セレ ク タ を直接指定で き る。 タ ス ク ・ ス イ ッ
チの仕組みの詳細は、 『IA-32 インテル ® アーキテクチャ ・ ソフ ト ウェア ・ ディベロッ
パ ー ズ ・ マニ ュ アル、 下巻』 を参照の こ と 。
操作
IF near call
THEN IF near relative call
IF the instruction pointer is not within code segment limit THEN #GP(0); FI;
THEN IF OperandSize = 32
THEN
IF stack not large enough for a 4-byte return address THEN #SS(0); FI;
Push(EIP);
EIP ← EIP + DEST; (* DEST is rel32 *)
ELSE (* OperandSize = 16 *)
IF stack not large enough for a 2-byte return address THEN #SS(0); FI;
Push(IP);
EIP ← (EIP + DEST) AND 0000FFFFH; (* DEST is rel16 *)
FI;
FI;
ELSE (* near absolute call *)
IF the instruction pointer is not within code segment limit THEN #GP(0); FI;
IF OperandSize = 32
THEN
IF stack not large enough for a 4-byte return address THEN #SS(0); FI;
Push(EIP);
EIP ← DEST; (* DEST is r/m32 *)
ELSE (* OperandSize = 16 *)
IF stack not large enough for a 2-byte return address THEN #SS(0); FI;
Push(IP);
EIP ← DEST AND 0000FFFFH; (* DEST is r/m16 *)
FI;
FI:
IF Itanium System Environment AND PSR.tb THEN IA-32_Exception(Debug);
FI;
IF far call AND (PE = 0 OR (PE = 1 AND VM = 1)) (* real address or virtual 8086 mode *)
THEN
IF OperandSize = 32
THEN
IF stack not large enough for a 6-byte return address THEN #SS(0); FI;
IF the instruction pointer is not within code segment limit THEN #GP(0); FI;
Push(CS); (* padded with 16 high-order bits *)
Push(EIP);
3:410 第 3 巻 : IA-32 基本命令リファレンス