Annotated resources - about registers

Registers are resources that store data.

You can specify a bit width and type for the register. The default data type is unsigned int and the default bit width is 32.
Register resource definition
Register set R consists of 32 registers that are 32 bits wide and a register file using the default types.
resources
{
    REGISTER { bitwidth(32) } R[32];
    int a, b; // not visible in a debugger
    REGISTER { is_program_counter(true) } pc;
    REGISTER gpr[32];
    REGISTER { bitwidth(64), type(int) } accu;
    REGISTER { type(float) } fpr[16];
}
Related information
ARM® Profiler User Guide
Non-ConfidentialPDF file icon PDF versionARM DUI0370S
Copyright © 2007-2014 ARM. All rights reserved.