---

5.7.3 Possible Warning Messages ¶

The functions qsmm_node_asm and qsmm_get_prg_nstate_v2 can generate the following warning messages.

‘stt’ instruction expected

The assembler expects the beginning of a state in the assembler program, but there is no stt instruction at that location. The assembler defines the state implicitly. The assembler does not generate this warning if the state transition matrix has the restriction to define only deterministic state transitions, or the action emission matrix has the restriction to define only deterministic action emissions. The assembler can generate note messages after this warning explaining why the state begins there.

all valid outcomes already tested

Control never reaches an instruction after a joe instruction block because the block contains tests for all possible outcomes of a user or mixed-type instruction.

ignoring the test for outcome num because such test already exists

The assembler ignores the joe instruction performing a jump on outcome num because there was an earlier joe instruction also performing a jump on outcome num.

ignoring the test for outcome num because the outcome is out of range

The assembler ignores the joe instruction performing a jump on outcome num because that joe instruction tests the outcome of a user or mixed-type instruction with the number of possible outcomes less than or equal to num.

instruction has no effect because jump probability is 0

The assembler ignores the jprob or case instruction because it specifies a jump with probability 0.

instruction has no effect because of a jump beneath the ‘choice’ block

The assembler ignores the case instruction because it specifies a jump beneath a containing choice instruction block.

instruction has no effect because of a jump to the next instruction

The assembler ignores the jprob or joe instruction because it specifies a jump to the next instruction.

instruction has no effect because of a possible jump to itself

The assembler ignores the jprob instruction because it specifies a jump to itself with probability less than 1.

instruction is replaceable with a ‘jmp’ instruction

Beneath the jprob instruction with jump probability greater than 0 there is a jmp instruction transferring control to that jprob instruction, and the jprob instruction does not specify a possible jump to the jmp instruction. You can replace the jprob instruction and the jmp instruction with a single jmp instruction transferring control to jump target of the jprob instruction.

unreachable state

Control never reaches the state. The assembler can generate note messages after this warning explaining why the state begins there.