User manual

mikroPascal PRO for PIC32
MikroElektronika
163
;Example.mpas, 29 :: if (y+k) then
0x9D000000 0x033A1021 ADDU R2, R25, R26
0x9D000004 0x10400002 BEQ R2, R0, L__SSA_Test2
0x9D000008 0x70000000 NOP
Without SSA enabled, procedure SSA_Test is consisted of 5 asm instructions :
;Example.mpas, 29 :: if (y+k) then
0x9D000000 0x87A30002 LH R3, 2(SP)
0x9D000004 0x87A20000 LH R2, 0(SP)
0x9D000008 0x00431021 ADDU R2, R2, R3
0x9D00000C 0x10400002 BEQ R2, R0, L__SSA_Test2
0x9D000010 0x70000000 NOP
Proper Coding Recommendations
To get the maximum out of the SSA, user should regard the following rules during the coding process :
- Routines should not contain too many parameters (not more than 4 words).
- Don’t change the value of the parameter in the function body (it is better to use a new local variable).
- If the function1 parameters are passed as function2 parameters, then parameter order should remain
the same :
procedure f2(a: integer; b: integer;) { }
procedure f1(x: integer; y: integer;) {
// routine call
f2(x,y); // x->a and y->b (1 to 1 and 2 to 2) is far more efcient than :
f2(y,x); // y->a and x->b (1 to 2 and 2 to 1)
}
- Large amount of nested loops and complex structures as its members should be avoided.
- When writing a code in assembly, keep in mind that there are registers reserved exclusively for
routine parameters.
- Using goto and label statements in nested loops should be avoided.
- Obtaining address of the local variable with the global pointer and using it to alter the variable’s address
should be avoided.
Notes :
- emcl les compiled with or without SSA enabled are fully compatible and can be used and mixed without
any restrictions, except function pointers.
- All function prototypes and function pointers have to be built using the same optimizer because of different
calling conventions in different optimizers. In SSA, function parameters are passed via working registers,
and without SSA they end up on the function frame.
- This means that you cannot have a function implementation which is optimized using SSA optimizer, and to
call this function via function pointer in another module which is optimized using NON-SSA.
When using pointers to functions, compiler must know exactly how to pass function parameters and how to
execute function call.