Intel ITANIUM ARCHITECTURE - SOFTWARE DEVELOPERS MANUAL VOLUME 1 REV 2.3 Manual page 1547

JMP—Jump (Continued)
Operation
IF near jump
THEN IF near relative jump
THEN
ELSE (* near absolute jump *)
FI;
IF tempEIP is beyond code segment limit THEN #GP(0); FI;
IF OperandSize = 32
THEN
ELSE (* OperandSize=16 *)
FI;
IF Itanium System Environment AND PSR.tb THEN IA_32_Exception(Debug);
FI:
IF far jump AND (PE = 0 OR (PE = 1 AND VM = 1)) (* real address or virtual 8086 mode *)
THEN
tempEIP  DEST(offset); (* DEST is ptr16:32 or [m16:32] *)
IF tempEIP is beyond code segment limit THEN #GP(0); FI;
CS  DEST(segment selector); (* DEST is ptr16:32 or [m16:32] *)
IF OperandSize = 32
FI;
IF Itanium System Environment AND PSR.tb THEN IA_32_Exception(Debug);
FI;
IF far call AND (PE = 1 AND VM = 0) (* Protected mode, not virtual 8086 mode *)
THEN
IF effective address in the CS, DS, ES, FS, GS, or SS segment is illegal
FI;
IF segment selector index not within descriptor table limits
FI;
Read type and access rights of segment descriptor;
IF segment type is not a conforming or nonconforming code segment, call gate,
Depending on type and access rights
ELSE
#GP(segment selector);
FI;
Volume 4: Base IA-32 Instruction Reference
tempEIP  EIP + DEST; (* EIP is instruction following JMP instruction*)
tempEIP  DEST;
EIP  tempEIP;
EIP  tempEIP AND 0000FFFFH;
THEN
EIP  tempEIP; (* DEST is ptr16:32 or [m16:32] *)
ELSE (* OperandSize = 16 *)
EIP  tempEIP AND 0000FFFFH; (* clear upper 16 bits *)
OR segment selector in target operand null
THEN #GP(0);
THEN #GP(new selector);
task gate, or TSS THEN #GP(segment selector); FI;
GO TO CONFORMING-CODE-SEGMENT;
GO TO NONCONFORMING-CODE-SEGMENT;
GO TO CALL-GATE;
GO TO TASK-GATE;
GO TO TASK-STATE-SEGMENT;
4:245