ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition

Pseudocode Definition
UNPREDICTABLE
The statement:
UNPREDICTABLE;
indicates a special case that replaces the behavior defined by the current pseudocode (apart from behavior
required to determine that the special case applies). The replacement behavior is not architecturally defined
and must not be relied upon by software. It must not constitute a security hole or halt or hang the system,
and must not be promoted as providing any useful information to software.
SEE…
The statement:
SEE ;
indicates a special case that replaces the behavior defined by the current pseudocode (apart from behavior
required to determine that the special case applies). The replacement behavior is that nothing occurs as a
result of the current pseudocode because some other piece of pseudocode defines the required behavior. The
indicates where that other pseudocode can be found.
It usually refers to another instruction, but can also refer to another encoding or note of the same instruction.
IMPLEMENTATION_DEFINED
The statement:
IMPLEMENTATION_DEFINED ;
indicates a special case that specifies that the behavior is IMPLEMENTATION DEFINED. Following text can
give more information.
SUBARCHITECTURE_DEFINED
The statement:
SUBARCHITECTURE_DEFINED ;
indicates a special case that specifies that the behavior is SUBARCHITECTURE DEFINED. Following text can
give more information.
AppxI-18 Copyright © 1996-1998, 2000, 2004-2008 ARM Limited. All rights reserved. ARM DDI 0406B