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

I.6 Statements and program structure
This section describes the control statements used in the pseudocode.
I.6.1 Simple statements
The following simple statements must all be terminated with a semicolon, as shown.
Assignments
An assignment statement takes the form:
= ;
Procedure calls
A procedure call takes the form:
();
Return statements
A procedure return takes the form:
return;
and a function return takes the form:
return ;
where is of the type the function prototype line declared.
UNDEFINED
The statement:
UNDEFINED;
Pseudocode Definition
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 the Undefined
Instruction exception is taken.
ARM DDI 0406B Copyright © 1996-1998, 2000, 2004-2008 ARM Limited. All rights reserved. AppxI-17