This is a summary of the latest features and changes introduced in Astrobe for Cortex-M0, M3, M4 and M7.
Code Generation
The following details are of interest if you are using the Module and Application Disassemblers:
Instruction Sets
There are two instruction sets, called Thumb-1 and Thumb-2, used in Cortex-M processors Thumb-1 instructions are 16-bit and most can only access the low general purpose registers r0 .. r7 The equivalent 32-bit Thumb-2 instructions can be used to access additional general purpose registers r8 .. r11. In general Thumb-1 results in smaller code size and Thumb-2 results in better performance.
Most Thumb-1, but only a few Thumb-2, instructions can be used in Cortex-M0. All Thumb-1 and most Thumb-2 instructions can be used in Cortex-M3, M4 and M7.
Additional instructions are used in Cortex-M4 and M7 for the hardware floating point operations: add, multiply, divide and square root. These are implemented in software (the FPU library module) in Cortex-M0 and M3.
Register Usage
Cortex-M0:
- The compiler allocates registers in sequence from r0 up to r7.
- Local variables in leaf procedures are not stored in registers due to the limited availabity of general purpose registers.
- The maximum number of parameters that can be passed to a procedure is eight. Some parameters, e.g. arrays and records, require two registers.
Cortex-M3, M4 and M7:
- The compiler now allocates registers from r0 up to r11 instead of from r11 down to r0.
- A configuration option allows more use of 16-bit Thumb-1 instructions with an associated reduction in executable code size of about 30%.
- The maximum number of parameters that can be passed to a procedure is eleven. Some parameters, e.g. arrays and records, require two registers.
Frame Pointer
The frame pointer (FP = r12) is no longer required resulting in less overhead on procedure entry code. The register is reserved for future use.
Numeric Case Statements
- Cortex-M0: The Thumb-1 Branch and Exchange (BX) instruction is used. The size limit of the CASE statement is 32KB.
- M3, M4 and M7: The Thumb-2 Table Branch (TBH) instruction is used resulting in more compact code. The size limit of the CASE statement is 64KB.
Miscellaneous Optimisations
- Strings now immediately follow the code that accesses them.
- Shifts involving two constants are evaluated at compile time.
Built-in Procedures
CLEAR
The built-in procedure CLEAR replaces the FILL procedure of previous versions of Astrobe. CLEAR initialises every word in a record or an array variable v to zero.
CLEAR(VAR v: <record or array type>)
It is designed to be used to simplify and optimise the code required to initialise complex data structures. Its use can be seen in the Performance example and procedure InitHeader in the HCFiler library module HCDir.
ORD
The expression which is passed as a parameter to ORD can be a BYTE expression as well as a CHAR, BOOLEAN or SET.
BITS
BITS will report an error if its actual parameter is a BYTE expression. However, ORD can be used to convert the expression to an INTEGER e.g.
setvar := BITS(ORD(bytevar))
SYSTEM Procedures
SYSTEM.ALIGN
PROCEDURE ALIGN()
ALIGN can be used to ensure that the following instruction is aligned on a word boundary. It will insert a NOP instruction at the current code location if necessary.
SYSTEM.EMITH
PROCEDURE EMITH(instruction: INTEGER)
EMITH (EMIT Halfword) inserts the constant value instruction, which represents a 16-bit ARM Thumb instruction, at the current code location. A compilation error results if the value is not a valid 16-bit positive integer.
SYSTEM.VAL
The read-only restriction for SYSTEM.VAL has been removed e.g. the following (where x is a word-length variable of any type) is a valid statement :
INC(SYSTEM.VAL(INTEGER, x))
SYSTEM Variables
SYSTEM.FP is no longer supported because the frame pointer is no longer used. References to SYSTEM.SP, SYSTEM.LNK and SYSTEM.PC other than in direct assignments to and from global variables can result in unpredictable behaviour. Consequently, SYSTEM variables are now deprecated and will be removed in the next feature release in 2024. SYSTEM.LDREG and SYSTEM.REG should be used instead.
Oberon Language Extensions
ARRAY OF BYTE
An existing Oberon language extension allows a procedure with a formal parameter which is an array of bytes with a fixed size to accept actual parameters of any type, except POINTER, whose size is the same number of bytes.
The converse situation is now also catered for i.e. a procedure with a formal parameter of any type, except POINTER, can accept an actual parameter which is an array of bytes of the same size.
These extensions are primarily designed to simplify and optimise the code required for tasks such as de-serialising / serialising complex data structures for Input / Output operations. An example of its use, ByteArrays.mod, is included with the General examples supplied with Astrobe.
Dynamic Local Array Variables
Eliminating the frame pointer resulted in the removal of support for dynamic local array variables. These can be replaced by local array variables with a fixed size.
Configuration
Thumb Code is a new configuration option which directs the compiler to make more use of 16-bit Thumb-1 instructions instead of equivalent 32-bit Thumb-2 instructions when generating code. The typical result is a reduction in code size of about 30%. It is permanently checked on for Cortex-M0.
Configuration ID is a new configuration option which can be used for any purpose by the programmer. It is an INTEGER value that can be accessed within an application by reading the value of the variable LinkOptions.ConfigID.
The Line Numbers configuration option has been renamed to Stack Trace to avoid confusion with the Tools > Preferences > Line Numbers option.
The obsolete Crystal Frequency configuration option has been removed.
Project Menu
Disassemble Module
The Module Disassembler has been rewritten to disassemble the code after it has been generated not while it is being generated. The resulting disassembly is more accurate as it can show resolved internal backward and forward references.
Compile, Build and Rebuild
The summaries include the number of lines compiled and the compilation time in milliseconds for each module and totals for all modules.
Link
The options shown in the linker map for each module now include t+ or t- corresponding to whether the Thumb Code configuration option was checked on or off when that module was last compiled
Run
Astrobe Terminal displays error messages instead of exceptions in the following situations:
- A serial port is not specified when Reset is pressed.
- A serial port is already in use when Reset is pressed.
- An attempt is made to write in the input area before Reset has been pressed.
Preferences
The default Editor Font is Consolas, Size: 9.
Library Modules
GPIO
Additional procedures Set and Reset are more efficient substitutes for Put with a constant state parameter equal to TRUE or FALSE respectively.
Examples
Info
Info includes additional information related to the status of the various clocks and PLL.
ByteArrays
ByteArrays is a new example which shows how structured variables can be interpreted as arrays of bytes and vice versa.
Performance
Performance is a new example which uses the instruction counting feature of Cortex-M3, M4 and M7 to measure the performance of sections of code.
Supported Development Boards
Library modules, example source code and configuration files are included for use with the currently supported development boards. Support has been discontinued for the NXP LPC boards as they are no longer in production.
Problems fixed since v9.0.0
- Corrected several errors in the Traps library module. The Stack Trace now includes the stacked r12 (not r11) and PSR values, and calls to procedure variables. Corrected the module/procedure returned by GetName when a trap is reported in the initialisation of a module.
- stackLimit is now initialised to the same value as heapLimit in the Storage library module.
- Correct code is now generated when SYSTEM.REG(x) is passed as a parameter to both normal and built-in procedures.
- Removed the obsolete NXP checksum from the target executable (.bin) file.
- Only save / restore the registers if necessary when entering / exiting interrupt handlers.
- Removed unnecessary NOP instructions e.g. associated with PUSH and POP.
- Cortex-M0: Corrected SYSTEM.COPY when the number of words is a constant equal to 2.
- Corrected CLEAR when used with BYTE arrays.
- SYSTEM.ALIGN can be called without parentheses and is implemented for Cortex-M0.