This is a collection of Intel®’ IA32® Software Developer's Manuals (URL of the day) and AMD' AMD64 Architecture Programmer's Manual together with the related specifications, application notes, white papers, and change logs. The collection aims to keep all available revisions. It was originally created by Michal Necasek, see OS/2 Museum.

If you have a public document, related to the IA32® specifications and missing from the collection, please mail it to me. The content of this URL and all sub-ULRs is available for convenient bulk download by rsync x86docs password "" (empty).

CPS, CPSID, CPSIE

Change PE State changes one or more of the PSTATE.{A, I, F} interrupt mask bits and, optionally, the PSTATE.M mode field, without changing any other PSTATE bits.

CPS is treated as NOP if executed in User mode unless it is defined as being CONSTRAINED UNPREDICTABLE elsewhere in this section.

The PE checks whether the value being written to PSTATE.M is legal. See Illegal changes to PSTATE.M.

It has encodings from the following instruction sets: A32 ( A1 ) and T32 ( T1 and T2 ) .

A1

Decode for all variants of this encoding

if mode != '00000' && M == '0' then UnpredictableProcedure(); end; if (imod[1] == '1' && A::I::F == '000') || (imod[1] == '0' && A::I::F != '000') then UnpredictableProcedure(); end; let enable : boolean = (imod == '10'); let disable : boolean = (imod == '11'); let changemode : boolean = (M == '1'); let pemode : bits(5) = mode; let affectA : boolean = (A == '1'); let affectI : boolean = (I == '1'); let affectF : boolean = (F == '1'); if (imod == '00' && M == '0') || imod == '01' then UnpredictableProcedure(); end;

CONSTRAINED UNPREDICTABLE behavior

If imod == '01', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.

If imod == '00' && M == '0', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.

If mode != '00000' && M == '0', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.
• The instruction executes with the additional decode: changemode = TRUE.
• The instruction executes as described, and the value specified by mode is ignored. There are no additional side-effects.

If imod<1> == '1' && A:I:F == '000', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.
• The instruction behaves as if imod<1> == '0'.
• The instruction behaves as if A:I:F has an UNKNOWN nonzero value.

If imod<1> == '0' && A:I:F != '000', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.
• The instruction behaves as if imod<1> == '1'.
• The instruction behaves as if A:I:F == '000'.

T1

Decode for all variants of this encoding

if A::I::F == '000' then UnpredictableProcedure(); end; let enable : boolean = (im == '0'); let disable : boolean = (im == '1'); let changemode : boolean = FALSE; let affectA : boolean = (A == '1'); let affectI : boolean = (I == '1'); let affectF : boolean = (F == '1'); let pemode : bits(5) = ARBITRARY : bits(5); if InITBlock() then UnpredictableProcedure(); end;

CONSTRAINED UNPREDICTABLE behavior

If A:I:F == '000', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.

T2

Decode for all variants of this encoding

if imod == '00' && M == '0' then See("Hint instructions"); end; if mode != '00000' && M == '0' then UnpredictableProcedure(); end; if (imod[1] == '1' && A::I::F == '000') || (imod[1] == '0' && A::I::F != '000') then UnpredictableProcedure(); end; let enable : boolean = (imod == '10'); let disable : boolean = (imod == '11'); let changemode : boolean = (M == '1'); let pemode : bits(5) = mode; let affectA : boolean = (A == '1'); let affectI : boolean = (I == '1'); let affectF : boolean = (F == '1'); if imod == '01' || InITBlock() then UnpredictableProcedure(); end;

CONSTRAINED UNPREDICTABLE behavior

If imod == '01', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.

If mode != '00000' && M == '0', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.
• The instruction executes with the additional decode: changemode = TRUE.
• The instruction executes as described, and the value specified by mode is ignored. There are no additional side-effects.

If imod<1> == '1' && A:I:F == '000', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.
• The instruction behaves as if imod<1> == '0'.
• The instruction behaves as if A:I:F has an UNKNOWN nonzero value.

If imod<1> == '0' && A:I:F != '000', then one of the following behaviors must occur:

• The instruction is undefined.
• The instruction executes as NOP.
• The instruction behaves as if imod<1> == '1'.
• The instruction behaves as if A:I:F == '000'.

Assembler Symbols