---

5.7.4 Possible State Beginning Reasons ¶

After some error and warning messages, the assembler generates one or more note messages:

• indicating the line of the beginning of an assembler program state containing the line of the error or warning message;
• explaining why the state begins there.

The list below contains possible reasons why an assembler program line can be the beginning of a state. If a line has multiple reasons why it is the beginning of a state, a note message contains a reason that goes first in this list.

the ‘stt’ instruction marks it

An stt instruction always marks a state beginning.

it is a program start

The assembler program begins with an initial state beginning with a user or mixed-type instruction.

Alternatively, the state transition matrix has the restriction to define only deterministic state transitions, and the assembler program begins with an initial state beginning with a block of jprob instructions or a choice instruction block.

this instruction at the program start transfers control to the state

The assembler program begins with a jmp instruction transferring control via an optional chain of unconditional jumps to an initial state beginning with a user or mixed-type instruction.

Alternatively, the state transition matrix has the restriction to define only deterministic state transitions, and the assembler program begins with a jmp instruction transferring control via an optional chain of unconditional jumps to an initial state beginning with a block of jprob instructions or a choice instruction block.

this ‘jprob’ instruction at program start transfers control to the state

The assembler program begins with a block of jprob instructions, and jump target of one of them is an initial state beginning with a user or mixed-type instruction, a block of jprob instructions, or a choice instruction block.

it follows this ‘jprob’ instruction at program start

The assembler program begins with a single jprob instruction followed by the second of two initial states. That initial state begins with a user or mixed-type instruction or a choice instruction block. The first initial state begins at jump target of the jprob instruction.

it is at the end of this block of ‘jprob’ instructions at program start

The assembler program begins with two or more consecutive jprob instructions followed by the last initial state beginning with a user or mixed-type instruction or a choice instruction block. The other initial states begin at jump targets of the jprob instructions.

it is at the end of this ‘choice’ instruction block at program start

The assembler program begins with a choice instruction block followed by the last initial state beginning with a user or mixed-type instruction, a block of jprob instructions, or a choice instruction block. The other initial states begin at jump targets of case instructions in the former choice instruction block.

this ‘case’ instruction at program start transfers control to the state

The assembler program begins with a choice instruction block containing a case instruction, and its jump target is an initial state beginning with a user or mixed-type instruction, a block of jprob instructions, or a choice instruction block.

this instruction performs a recursive jump to a user instruction

A chain of unconditional jumps at the end of a block of user or mixed-type instructions circularly transfers control to a user or mixed-type instruction in the block. The user or mixed-type instruction becomes a state beginning.

this instruction performs a recursive jump to a ‘joe’ instruction

A chain of unconditional jumps at the end of a block of joe instructions circularly transfers control to a joe instruction in the block. The joe instruction becomes a state beginning.

this instruction performs a recursive jump to a ‘jprob’ instruction

A chain of unconditional jumps at the end of a block of jprob instructions circularly transfers control to a jprob instruction in the block. The jprob instruction becomes a state beginning.

this ‘joe’ instruction transfers control to it

Jump target of the joe instruction is a user or mixed-type instruction at a state beginning.

Alternatively, the state transition matrix has the restriction to define only deterministic state transitions, and jump target of the joe instruction is a block of jprob instructions or a choice instruction block at a state beginning.

it follows this ‘joe’ instruction

A single joe instruction precedes a state beginning with a user or mixed-type instruction.

Alternatively, the state transition matrix has the restriction to define only deterministic state transitions, and a single joe instruction precedes a state beginning with a block of jprob instructions or a choice instruction block.

it is at the end of this block of ‘joe’ instructions

A block of two or more consecutive joe instructions precedes a state beginning with a user or mixed-type instruction.

Alternatively, the state transition matrix has the restriction to define only deterministic state transitions, and a block of two or more consecutive joe instructions precedes a state beginning with a block of jprob instructions or a choice instruction block.

this ‘jprob’ instruction is for selecting a user instruction

The state transition matrix has the restriction to define only deterministic state transitions, so the first jprob instruction in a block of jprob instructions is a state beginning.

this ‘jprob’ instruction transfers control to it

The assembler considers the jprob instruction as specifying a profile probability for the state transition matrix, so jump target of this instruction is a state beginning.

it follows this ‘jprob’ instruction

The assembler considers a single jprob instruction as specifying a profile probability for the state transition matrix, so a user or mixed-type instruction following the jprob instruction is a state beginning.

it is at the end of this block of ‘jprob’ instructions

The assembler considers a block of two or more jprob instructions as specifying profile probabilities for the state transition matrix, so a user or mixed-type instruction following the block is a state beginning.

this ‘choice’ instruction block is for selecting a user instruction

The state transition matrix has the restriction to define only deterministic state transitions, so the choice instruction block is a state beginning.

it is at the end of this ‘choice’ instruction block

The assembler considers the choice instruction block as specifying profile probabilities for the state transition matrix, so a user or mixed-type instruction following the block is a state beginning.

this ‘case’ instruction transfers control to it

The assembler considers the case instruction as specifying a profile probability for the state transition matrix, so jump target of this instruction is a state beginning.

it is an unreferenced user or mixed-type instruction

After processing all control transfer paths from all initial states and, probably, some unreferenced states in an assembler program, there remained a block of user or mixed-type instructions that did not receive control. The first instruction of the block becomes the beginning of an unreferenced state.

it is an unreferenced ‘joe’ instruction

After processing all control transfer paths from all initial states and, probably, some unreferenced states in an assembler program, there remained a block of joe instructions that did not receive control. The first instruction of the block becomes the beginning of an unreferenced state.

it is an unreferenced ‘jprob’ instruction

After processing all control transfer paths from all initial states and, probably, some unreferenced states in an assembler program, there remained a block of jprob instructions that did not receive control. The first instruction of the block becomes the beginning of an unreferenced state.

it is an unreferenced ‘choice’ instruction block

After processing all control transfer paths from all initial states and, probably, some unreferenced states in an assembler program, there remained the choice instruction block that did not receive control. The block becomes the beginning of an unreferenced state.