ARM assembler in Raspberry Pi – Chapter 17
In chapter 10 we saw the basics to call a function. In this chapter we will cover more topics related to functions.
Passing data to functions
We already know how to call a function and pass them parameters. We also know how to return data from a function. Nevertheless, there are some issues which we have not fully solved yet.
- Passing large amounts of data
- Returning more than one piece of data
There are several ways to tackle this problem, but most of them involve pointers. Pointers are dreaded by many people, who do not fully understand them, but they are a crucial part in the way computers work. That said, most of the troubles with pointers are actually related to dynamic memory rather than the pointers themselves. We will not consider dynamic memory here.
So what is a pointer?
A pointer is some location in the memory the contents of which are simply an address of the memory.
This definition may be confusing, but we have already been using pointers in previous chapters. It is just that we did not name them this way. We usually talked about addresses and/or labels in the assembler. Consider this very simple program:
/* first_pointer.s */ .data .align 4 number_1 : .word 3 .text .globl main main: ldr r0, pointer_to_number /* r0 ← &number */ ldr r0, [r0] /* r0 ← *r0. So r0 ← number_1 */ bx lr pointer_to_number: .word number_1 |
.data
.align 4 number_1 : .word 3
.text .globl main
main: ldr r0, pointer_to_number /* r0 ← &number / ldr r0, [r0] / r0 ← *r0. So r0 ← number_1 */
bx lr
pointer_to_number: .word number_1
As you can see, I deliberatedly used the name pointer_to_number to express the fact that this location in memory is actually a pointer. It is a pointer to number_1 because it holds its address.
Imagine we add another number, let’s call it number_2 and want pointer_to_number to be able to point to number_2, this is, contain the address of number_2 as well. Let’s make a first attempt.
.data .align 4 number_1 : .word 3 number_2 : .word 4 .text .globl main main: ldr r1, address_of_number_2 /* r1 ← &number_2 */ str r1, pointer_to_number /* pointer_to_number ← r1, this is pointer_to_number ← &number_2 */ bx lr pointer_to_number: .word number_1 address_of_number_2: .word number_2 |
.align 4 number_1 : .word 3 number_2 : .word 4
.text .globl main
main: ldr r1, address_of_number_2 /* r1 ← &number_2 / str r1, pointer_to_number / pointer_to_number ← r1, this is pointer_to_number ← &number_2 */
bx lr
pointer_to_number: .word number_1 address_of_number_2: .word number_2
But if you run this you will get a rude Segmentation fault. We cannot actually modify pointer_to_number because, even if it is a location of memory that contains an address (and it would contain another address after the store) it is not in the data section, but in the text section. So this is a statically defined pointer, whose value (i.e. the address it contains) cannot change. So, how can we have a pointer that can change? Well, we will have to put it in the data section, where we usually put all the data of our program.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 |
.data .align 4 number_1 : .word 3 number_2 : .word 4 pointer_to_number: .word 0 .text .globl main main: ldr r0, addr_of_pointer_to_number /* r0 ← &pointer_to_number */ ldr r1, addr_of_number_2 /* r1 ← &number_2 */ str r1, [r0] /* *r0 ← r1. This is actually pointer_to_number ← &number_2 */ ldr r1, [r0] /* r1 ← *r0. This is actually r1 ← pointer_to_number Since pointer_to_number has the value &number_2 then this is like r1 ← &number_2 */ ldr r0, [r1] /* r0 ← *r1 Since r1 had as value &number_2 then this is like r0 ← number_2 */ bx lr addr_of_number_1: .word number_1 addr_of_number_2: .word number_2 addr_of_pointer_to_number: .word pointer_to_number |
.align 4 number_1 : .word 3 number_2 : .word 4 pointer_to_number: .word 0
.text .globl main
main: ldr r0, addr_of_pointer_to_number /* r0 ← &pointer_to_number */
ldr r1, addr_of_number_2 /* r1 ← &number_2 */
str r1, [r0] /* *r0 ← r1.
This is actually
pointer_to_number ← &number_2 */
ldr r1, [r0] /* r1 ← *r0.
This is actually
r1 ← pointer_to_number
Since pointer_to_number has the value &number_2
then this is like
r1 ← &number_2
*/
ldr r0, [r1] /* r0 ← *r1
Since r1 had as value &number_2
then this is like
r0 ← number_2
*/
bx lr
addr_of_number_1: .word number_1 addr_of_number_2: .word number_2 addr_of_pointer_to_number: .word pointer_to_number
From this last example several things should be clear. We have static pointers to number_1, number_2 and pointer_to_number (respectively called addr_of_number_1, addr_of_number_2 and addr_of_pointer_to_number). Note that addr_of_pointer_to_number is actually a pointer to a pointer! Why these pointers are statically defined? Well, we can name locations of memory (i.e. addresses) using labels (this way we do not have to really know the exact address and at the same time we can use a descriptive name). These locations of memory, named through labels, will never change during the execution of the program so they are somehow predefined before the program starts. This why the addresses of number_1, number_2 and addr_of_pointer_to_number are statically defined and stored in a part of the program that cannot change (the .text section cannot be modified when the program runs).
This means that accessing to pointer_to_number using addr_of_pointer_to_number involves using a pointer to a pointer. Nothing fancy here, a pointer to a pointer is just a location of memory that contains the address of another location of memory that we know is a pointer too.
The program simply loads the value 4, stored in number_2 using pointer_to_number. We first load the address of the pointer (this is, the pointer to the pointer, but the address of the pointer may be clearer) into r0 in line 13. Then we do the same with the address of number_2, storing it in r1, line 16. Then in line 18 we update the value pointer_to_number (remember, the value of a pointer will always be an address) with the address of number_2. In line 22 we actually get the value of pointer_to_number loading it into r1. I insist again: the value of pointer_to_number is an address, so now r1 contains an address. This is the reason why in line 31 we load into r0 the value of the in r1.
Passing large amounts of data
When we pass data to functions we follow the conventions defined in the AAPCS. We try to fill the first 4 registers r0 to r3. If more data is expected we must use the stack. This means that if we were to pass a big chunk of data to a function we may end spending a lot of time just preparing the call (setting registers r0 to r3 and then pushing all the data on top of the stack, and remember, in reverse order!) than running the code of the function itself.
There are several cases when this situation arises. In a language like C, all parameters are passed by value. This means that the function receives a copy of the value. This way the function may freely modify this value and the caller will not see any changes in it. This may seem inefficient but from a productivity point of view, a function that does not cause any side effect to its inputs may be regarded as easier to understand than one that does.
struct A { // big structure }; // This function computes a 'thing_t' using a 'struct A' thing_t compute_something(struct A); void my_code(void) { struct A a; thing_t something; a = ...; something = compute_something(a) // a is unchanged here! } |
// This function computes a 'thing_t' using a 'struct A' thing_t compute_something(struct A);
void my_code(void) { struct A a; thing_t something;
a = ...; something = compute_something(a) // a is unchanged here! }
Note that in C, array types are not passed by value but this is by design: there are no array values in C although there are array types (you may need to repeat to yourself this last sentence several times before fully understanding it 
If our function is going to modify the parameter and we do not want to see the changes after the call, there is little that we can do. We have to invest some time in the parameter passing.
But what if our function does not actually modify the data? Or, what if we are interested in the changes the function did? Or even better, what if the parameter being modified is actually another output of the function?
Well, all these scenarios involve pointers.
Passing a big array by value
Consider an array of 32-bit integers and we want to sum all the elements. Our array will be in memory, it is just a contiguous sequence of 32-bit integers. We want to pass, somehow, the array
to the function (together with the length of the array if the length may not be constant), sum all the integers and return the sum. Note that in this case the function does not modify the array it just reads it.
Let’s make a function sum_array_value that must have the array of integers passed by value. The first parameter, in r0 will be the number of items of the integer array. Registers r1 to r3 may (or may not) have value depending on the number of items in the array. So the first three elements must be handled differently. Then, if there are still items left, they must be loaded from the stack.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 |
sum_array_value : push {r4, r5, r6, lr} /* We have passed all the data by value */ /* r4 will hold the sum so far */ mov r4, #0 /* r4 ← 0 */ /* In r0 we have the number of items of the array */ cmp r0, #1 /* r0 - #1 and update cpsr */ blt .Lend_of_sum_array /* if r0 < 1 branch to end_of_sum_array */ add r4, r4, r1 /* add the first item */ cmp r0, #2 /* r0 - #2 and update cpsr */ blt .Lend_of_sum_array /* if r0 < 2 branch to end_of_sum_array */ add r4, r4, r2 /* add the second item */ cmp r0, #3 /* r0 - #3 and update cpsr */ blt .Lend_of_sum_array /* if r0 < 3 branch to end_of_sum_array */ add r4, r4, r3 /* add the third item */ /* The stack at this point looks like this | | (lower addresses) | | | lr | <- sp points here | r6 | <- this is sp + 4 | r5 | <- this is sp + 8 | r4 | <- this is sp + 12 | big_array[3] | <- this is sp + 16 (we want r5 to point here) | big_array[4] | | ... | | big_array[255] | | | | | (higher addresses) keep in r5 the address where the stack-passed portion of the array starts */ add r5, sp, #16 /* r5 ← sp + 16 */ /* in register r3 we will count how many items we have read from the stack. */ mov r3, #0 /* in the stack there will always be 3 less items because the first 3 were already passed in registers (recall that r0 had how many items were in the array) */ sub r0, r0, #3 b .Lcheck_loop_sum_array .Lloop_sum_array: ldr r6, [r5, r3, LSL #2] /* r6 ← *(r5 + r3 * 4) load the array item r3 from the stack */ add r4, r4, r6 /* r4 ← r4 + r6 accumulate in r4 */ add r3, r3, #1 /* r3 ← r3 + 1 move to the next item */ .Lcheck_loop_sum_array: cmp r3, r0 /* r0 - r3 and update cpsr */ blt .Lloop_sum_array /* if r3 < r0 branch to loop_sum_array */ .Lend_of_sum_array: mov r0, r4 /* r0 ← r4, to return the value of the sum */ pop {r4, r5, r6, lr} bx lr |
/* We have passed all the data by value */
/* r4 will hold the sum so far */
mov r4, #0 /* r4 ← 0 */
/* In r0 we have the number of items of the array */
cmp r0, #1 /* r0 - #1 and update cpsr */
blt .Lend_of_sum_array /* if r0 < 1 branch to end_of_sum_array */
add r4, r4, r1 /* add the first item */
cmp r0, #2 /* r0 - #2 and update cpsr */
blt .Lend_of_sum_array /* if r0 < 2 branch to end_of_sum_array */
add r4, r4, r2 /* add the second item */
cmp r0, #3 /* r0 - #3 and update cpsr */
blt .Lend_of_sum_array /* if r0 < 3 branch to end_of_sum_array */
add r4, r4, r3 /* add the third item */
/*
The stack at this point looks like this
| | (lower addresses)
| |
| lr | <- sp points here
| r6 | <- this is sp + 4
| r5 | <- this is sp + 8
| r4 | <- this is sp + 12
| big_array[3] | <- this is sp + 16 (we want r5 to point here)
| big_array[4] |
| ... |
| big_array[255] |
| |
| | (higher addresses)
keep in r5 the address where the stack-passed portion of the array starts */
add r5, sp, #16 /* r5 ← sp + 16 */
/* in register r3 we will count how many items we have read
from the stack. */
mov r3, #0
/* in the stack there will always be 3 less items because
the first 3 were already passed in registers
(recall that r0 had how many items were in the array) */
sub r0, r0, #3
b .Lcheck_loop_sum_array
.Lloop_sum_array:
ldr r6, [r5, r3, LSL #2] /* r6 ← *(r5 + r3 * 4) load
the array item r3 from the stack */
add r4, r4, r6 /* r4 ← r4 + r6
accumulate in r4 */
add r3, r3, #1 /* r3 ← r3 + 1
move to the next item */
.Lcheck_loop_sum_array:
cmp r3, r0 /* r0 - r3 and update cpsr */
blt .Lloop_sum_array /* if r3 < r0 branch to loop_sum_array */
.Lend_of_sum_array: mov r0, r4 /* r0 ← r4, to return the value of the sum */ pop {r4, r5, r6, lr}
bx lr</p></div>
The function is not particularly complex except for the special handling of the first 3 items (stored in r1 to r3) and that we have to be careful when locating inside the stack the array. Upon entering the function the items of the array passed through the stack are laid out consecutively starting from sp. The push instruction at the beginning pushes onto the stack four registers (r4, r5, r6 and lr) so our array is now in sp + 16 (see lines 30 and 38). Besides of these details, we just loop the items of the array and accumulate the sum in the register r4. Finally, we move r4 into r0 for the return value of the function.
In order to call this function we have to put an array into the stack. Consider the following program.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 |
.data .align 4 big_array : .word 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 .word 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41 .word 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61 .word 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81 .word 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100 .word 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116 .word 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132 .word 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148 .word 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164 .word 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180 .word 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196 .word 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212 .word 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228 .word 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244 .word 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255 .align 4 message: .asciz "The sum of 0 to 255 is %d\n" .text .globl main sum_array_value : /* code shown above */ main: push {r4, r5, r6, r7, r8, lr} /* we will not use r8 but we need to keep the function 8-byte aligned */ ldr r4, address_of_big_array /* Prepare call */ mov r0, #256 /* Load in the first parameter the number of items r0 ← 256 */ ldr r1, [r4] /* load in the second parameter the first item of the array */ ldr r2, [r4, #4] /* load in the third parameter the second item of the array */ ldr r3, [r4, #8] /* load in the fourth parameter the third item of the array */ /* before pushing anything in the stack keep its position */ mov r7, sp /* We cannot use more registers, now we have to push them onto the stack (in reverse order) */ mov r5, #255 /* r5 ← 255 This is the last item position (note that the first would be in position 0) */ b .Lcheck_pass_parameter_loop .Lpass_parameter_loop: ldr r6, [r4, r5, LSL #2] /* r6 ← *(r4 + r5 * 4). loads the item in position r5 into r6. Note that we have to multiply by 4 because this is the size of each item in the array */ push {r6} /* push the loaded value to the stack */ sub r5, r5, #1 /* we are done with the current item, go to the previous index of the array */ .Lcheck_pass_parameter_loop: cmp r5, #2 /* compute r5 - #2 and update cpsr */ bne .Lpass_parameter_loop /* if r5 != #2 branch to pass_parameter_loop */ /* We are done, we have passed all the values of the array, now call the function */ bl sum_array_value /* restore the stack position */ mov sp, r7 /* prepare the call to printf */ mov r1, r0 /* second parameter, the sum itself */ ldr r0, address_of_message /* first parameter, the message */ bl printf pop {r4, r5, r6, r7, r8, lr} bx lr address_of_big_array : .word big_array address_of_message : .word message |
.align 4
big_array : .word 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 .word 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41 .word 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61 .word 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81 .word 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100 .word 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116 .word 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132 .word 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148 .word 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164 .word 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180 .word 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196 .word 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212 .word 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228 .word 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244 .word 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255
.align 4
message: .asciz "The sum of 0 to 255 is %d\n"
.text .globl main
sum_array_value : /* code shown above */
main: push {r4, r5, r6, r7, r8, lr} /* we will not use r8 but we need to keep the function 8-byte aligned */
ldr r4, address_of_big_array
/* Prepare call */
mov r0, #256 /* Load in the first parameter the number of items
r0 ← 256
*/
ldr r1, [r4] /* load in the second parameter the first item of the array */
ldr r2, [r4, #4] /* load in the third parameter the second item of the array */
ldr r3, [r4, #8] /* load in the fourth parameter the third item of the array */
/* before pushing anything in the stack keep its position */
mov r7, sp
/* We cannot use more registers, now we have to push them onto the stack
(in reverse order) */
mov r5, #255 /* r5 ← 255
This is the last item position
(note that the first would be in position 0) */
b .Lcheck_pass_parameter_loop
.Lpass_parameter_loop:
ldr r6, [r4, r5, LSL #2] /* r6 ← *(r4 + r5 * 4).
loads the item in position r5 into r6. Note that
we have to multiply by 4 because this is the size
of each item in the array */
push {r6} /* push the loaded value to the stack */
sub r5, r5, #1 /* we are done with the current item,
go to the previous index of the array */
.Lcheck_pass_parameter_loop:
cmp r5, #2 /* compute r5 - #2 and update cpsr */
bne .Lpass_parameter_loop /* if r5 != #2 branch to pass_parameter_loop */
/* We are done, we have passed all the values of the array,
now call the function */
bl sum_array_value
/* restore the stack position */
mov sp, r7
/* prepare the call to printf */
mov r1, r0 /* second parameter, the sum itself */
ldr r0, address_of_message /* first parameter, the message */
bl printf
pop {r4, r5, r6, r7, r8, lr}
bx lr
address_of_big_array : .word big_array address_of_message : .word message
In line 40 we start preparing the call to sum_array_value. The first parameter, passed in register r0, is the number of items of this array (in the example hardcoded to 256 items). Then we pass the first three items of the array in registers r1 to r3. Remaining items must be passed on the stack. Remember that in a stack the last item pushed will be the first popped, so if we want our array be laid in the same order we have to push it backwards. So we start from the last item, line 53, and then we load every item and push it onto the stack. Once all the elements have been pushed onto the stack we can call sum_array_value (line 73).
An important caveat when manipulating the stack in this way is that it is very important to restore it and leave it in the same state as it was before preparing the call. This is the reason we keep sp in r7 in line 49 and we restore it right after the call in line 76. Forgetting to do this will make further operations on the stack push data onto the wrong place or pop from the stack wrong data. Keeping the stack synched is essential when calling functions.
Passing a big array by reference
Now you are probably thinking that passing a big array through the stack (along with all the boilerplate that this requires) to a function that does not modify it, is, to say the least, wasteful.
Note that, when the amount of data is small, registers r0 to r3 are usually enough, so pass by value is affordable. Passing some data in the stack is fine too, but passing big structures on the stack may harm the performance (especially if our function is being called lots of times).
Can we do better? Yes. Instead of passing copies of the values of the array, would it be possible to pass the address to the array? The answer is, again, yes. This is the concept of pass by reference. When we pass by value, the value of the data passed is somehow copied (either in a register or a stack). Here we will pass a reference (i.e. an address) to the data. So now we are done by just passing the number of items and then the address of the array, and let the function use this address to perform its computation.
Consider the following program, which also sums an array of integers but now passing the array by reference.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 |
.data .align 4 big_array : /* Same as above */ .align 4 message: .asciz "The sum of 0 to 255 is %d\n" .text .globl main sum_array_ref : /* Parameters: r0 Number of items r1 Address of the array */ push {r4, r5, r6, lr} /* We have passed all the data by reference */ /* r4 will hold the sum so far */ mov r4, #0 /* r4 ← 0 */ mov r5, #0 /* r5 ← 0 */ b .Lcheck_loop_array_sum .Lloop_array_sum: ldr r6, [r1, r5, LSL #2] /* r6 ← *(r1 + r5 * 4) */ add r4, r4, r6 /* r4 ← r4 + r6 */ add r5, r5, #1 /* r5 ← r5 + 1 */ .Lcheck_loop_array_sum: cmp r5, r0 /* r5 - r0 and update cpsr */ bne .Lloop_array_sum /* if r5 != r0 go to .Lloop_array_sum */ mov r0, r4 /* r0 ← r4, to return the value of the sum */ pop {r4, r5, r6, lr} bx lr main: push {r4, lr} /* we will not use r4 but we need to keep the function 8-byte aligned */ mov r0, #256 ldr r1, address_of_big_array bl sum_array_ref /* prepare the call to printf */ mov r1, r0 /* second parameter, the sum itself */ ldr r0, address_of_message /* first parameter, the message */ bl printf pop {r4, lr} bx lr address_of_big_array : .word big_array address_of_message : .word message |
.align 4
big_array : /* Same as above */
.align 4
message: .asciz "The sum of 0 to 255 is %d\n"
.text .globl main
sum_array_ref : /* Parameters: r0 Number of items r1 Address of the array */ push {r4, r5, r6, lr}
/* We have passed all the data by reference */
/* r4 will hold the sum so far */
mov r4, #0 /* r4 ← 0 */
mov r5, #0 /* r5 ← 0 */
b .Lcheck_loop_array_sum
.Lloop_array_sum:
ldr r6, [r1, r5, LSL #2] /* r6 ← *(r1 + r5 * 4) */
add r4, r4, r6 /* r4 ← r4 + r6 */
add r5, r5, #1 /* r5 ← r5 + 1 */
.Lcheck_loop_array_sum:
cmp r5, r0 /* r5 - r0 and update cpsr */
bne .Lloop_array_sum /* if r5 != r0 go to .Lloop_array_sum */
mov r0, r4 /* r0 ← r4, to return the value of the sum */
pop {r4, r5, r6, lr}
bx lr
main: push {r4, lr} /* we will not use r4 but we need to keep the function 8-byte aligned */
mov r0, #256
ldr r1, address_of_big_array
bl sum_array_ref
/* prepare the call to printf */
mov r1, r0 /* second parameter, the sum itself */
ldr r0, address_of_message /* first parameter, the message */
bl printf
pop {r4, lr}
bx lr
address_of_big_array : .word big_array address_of_message : .word message
Now the code is much simpler as we avoid copying the values of the array in the stack. We simply pass the address of the array as the second parameter of the function and
then we use it to access the array and compute the sum. Much simpler, isn’t it?
Modifying data through pointers
We saw at the beginning of the post that we could modify data through pointers. If we pass a pointer to a function we can let the function modify it as well. Imagine a function that takes an integer and increments its. We could do this by returning the value, for instance.
increment: add r0, r0, #1 /* r0 ← r0 + 1 */ |
This takes the first parameter (in r0) increments it and returns it (recall that we return integers in r0).
An alternative approach, could be receiving a pointer to some data and let the function increment the data at the position defined by the pointer.
increment_ptr: ldr r1, [r0] /* r1 ← *r0 */ add r1, r1, #1 /* r1 ← r1 + 1 */ str r1, [r0] /* *r0 ← r1 */ |
For a more elaborated example, let’s retake the array code but this time instead of computing the sum of all the values, we will multiply each item by two and keep it in the same array. To prove that we have modified it, we will also print each item.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 |
/* double_array.s */ .data .align 4 big_array : /* Same as above */ .align 4 message: .asciz "Item at position %d has value %d\n" .text .globl main double_array : /* Parameters: r0 Number of items r1 Address of the array */ push {r4, r5, r6, lr} mov r4, #0 /* r4 ← 0 */ b .Lcheck_loop_array_double .Lloop_array_double: ldr r5, [r1, r4, LSL #2] /* r5 ← *(r1 + r4 * 4) */ mov r5, r5, LSL #1 /* r5 ← r5 * 2 */ str r5, [r1, r4, LSL #2] /* *(r1 + r4 * 4) ← r5 */ add r4, r4, #1 /* r4 ← r4 + 1 */ .Lcheck_loop_array_double: cmp r4, r0 /* r4 - r0 and update cpsr */ bne .Lloop_array_double /* if r4 != r0 go to .Lloop_array_double */ pop {r4, r5, r6, lr} bx lr print_each_item: push {r4, r5, r6, r7, r8, lr} /* r8 is unused */ mov r4, #0 /* r4 ← 0 */ mov r6, r0 /* r6 ← r0. Keep r0 because we will overwrite it */ mov r7, r1 /* r7 ← r1. Keep r1 because we will overwrite it */ b .Lcheck_loop_print_items .Lloop_print_items: ldr r5, [r7, r4, LSL #2] /* r5 ← *(r7 + r4 * 4) */ /* Prepare the call to printf */ ldr r0, address_of_message /* first parameter of the call to printf below */ mov r1, r4 /* second parameter: item position */ mov r2, r5 /* third parameter: item value */ bl printf /* call printf */ add r4, r4, #1 /* r4 ← r4 + 1 */ .Lcheck_loop_print_items: cmp r4, r6 /* r4 - r6 and update cpsr */ bne .Lloop_print_items /* if r4 != r6 goto .Lloop_print_items */ pop {r4, r5, r6, r7, r8, lr} bx lr main: push {r4, lr} /* we will not use r4 but we need to keep the function 8-byte aligned */ /* first call print_each_item */ mov r0, #256 /* first_parameter: number of items */ ldr r1, address_of_big_array /* second parameter: address of the array */ bl print_each_item /* call to print_each_item */ /* call to double_array */ mov r0, #256 /* first_parameter: number of items */ ldr r1, address_of_big_array /* second parameter: address of the array */ bl double_array /* call to double_array */ /* second call print_each_item */ mov r0, #256 /* first_parameter: number of items */ ldr r1, address_of_big_array /* second parameter: address of the array */ bl print_each_item /* call to print_each_item */ pop {r4, lr} bx lr address_of_big_array : .word big_array address_of_message : .word message |
.data
.align 4 big_array : /* Same as above */
.align 4 message: .asciz "Item at position %d has value %d\n"
.text .globl main
double_array : /* Parameters: r0 Number of items r1 Address of the array */ push {r4, r5, r6, lr}
mov r4, #0 /* r4 ← 0 */
b .Lcheck_loop_array_double
.Lloop_array_double:
ldr r5, [r1, r4, LSL #2] /* r5 ← *(r1 + r4 * 4) */
mov r5, r5, LSL #1 /* r5 ← r5 * 2 */
str r5, [r1, r4, LSL #2] /* *(r1 + r4 * 4) ← r5 */
add r4, r4, #1 /* r4 ← r4 + 1 */
.Lcheck_loop_array_double:
cmp r4, r0 /* r4 - r0 and update cpsr */
bne .Lloop_array_double /* if r4 != r0 go to .Lloop_array_double */
pop {r4, r5, r6, lr}
bx lr
print_each_item: push {r4, r5, r6, r7, r8, lr} /* r8 is unused */
mov r4, #0 /* r4 ← 0 */
mov r6, r0 /* r6 ← r0. Keep r0 because we will overwrite it */
mov r7, r1 /* r7 ← r1. Keep r1 because we will overwrite it */
b .Lcheck_loop_print_items
.Lloop_print_items:
ldr r5, [r7, r4, LSL #2] /* r5 ← *(r7 + r4 * 4) */
/* Prepare the call to printf */
ldr r0, address_of_message /* first parameter of the call to printf below */
mov r1, r4 /* second parameter: item position */
mov r2, r5 /* third parameter: item value */
bl printf /* call printf */
add r4, r4, #1 /* r4 ← r4 + 1 */
.Lcheck_loop_print_items:
cmp r4, r6 /* r4 - r6 and update cpsr */
bne .Lloop_print_items /* if r4 != r6 goto .Lloop_print_items */
pop {r4, r5, r6, r7, r8, lr}
bx lr
main: push {r4, lr} /* we will not use r4 but we need to keep the function 8-byte aligned */
/* first call print_each_item */
mov r0, #256 /* first_parameter: number of items */
ldr r1, address_of_big_array /* second parameter: address of the array */
bl print_each_item /* call to print_each_item */
/* call to double_array */
mov r0, #256 /* first_parameter: number of items */
ldr r1, address_of_big_array /* second parameter: address of the array */
bl double_array /* call to double_array */
/* second call print_each_item */
mov r0, #256 /* first_parameter: number of items */
ldr r1, address_of_big_array /* second parameter: address of the array */
bl print_each_item /* call to print_each_item */
pop {r4, lr}
bx lr
address_of_big_array : .word big_array address_of_message : .word message
If you run this program you will see that the items of the array have been effectively doubled.
... Item at position 248 has value 248 Item at position 249 has value 249 Item at position 250 has value 250 Item at position 251 has value 251 Item at position 252 has value 252 Item at position 253 has value 253 Item at position 254 has value 254 Item at position 255 has value 255 Item at position 0 has value 0 Item at position 1 has value 2 Item at position 2 has value 4 Item at position 3 has value 6 Item at position 4 has value 8 Item at position 5 has value 10 Item at position 6 has value 12 Item at position 7 has value 14 Item at position 8 has value 16 Item at position 9 has value 18 ...
Returning more than one piece of data
Functions, per the AAPCS convention, return their values in register r0 (and r1 if the returned item is 8 bytes long). We can return more than one thing if we just pass a pointer to some storage (possibly in the stack) as a parameter to the function. More on this topic in a next chapter.
That’s all for today.
This work by Roger Ferrer Ibáñez is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International
Create a temporary zip file to send as response in Rails Check progress of a mysql database import
I just have a couple of questions:
The first, regarding the prohibition of modifying anything inside the “.text” section, I asume that this only applies when compiling under an OS, as it will set the proper MMU rules, but not while in bare-metal, as there is nothing that limits you to accessing any section of memory. Am I right?
The other thing is regarding the stack: in the program in which you pass a big chunk of data via the stack, after returning you restore the previous value of the “stack pointer”. I assume that that is done because you cannot guarantee that all the data is going to be popped inside the callee function, and you need to be able to correctly pop out the other registers before exiting (r3, …, lr). Am I right?
P.S: One typo, on line 59, where it says ” /* if r3 < r3 branch to loop_sum_array */" I think it has to be "r0 < r3".
yes, the OS enforces this restrictions (by setting the MMU) when it loads the programs.
Having several sections is not strictly mandatory and is more a convention to predefine some properties and attributes (read-only code, read-write data) to the different parts of the program.
Note that the assumption «the code does not change» is true 99% of the time. The remaining 1% happens in very rare cases.
Other than that (the MMU and the OS), in principle nothing prevents you from accessing any position of the memory.
Regarding your question on the program that passes the array by value, I assume you wonder why it is the caller (and not the callee, the function) who frees the stack.
In this example, the function could free the stack. But to successfully achieve this it should do that between the
pop {r4, r5, r6, lr}and thebx lr. This means that we should move the value ofr5into some available scratch register (i.e. r1 to r3, r0 is already taken for the result) and then use it to adjustsp.While in this case it would be feasible, it could become close to impossible to do if, for instance, we are passing several arrays by value: the number of items of the arrays after the first one will be in the stack, we will have to load these values in the stack into
r1tor3… etc.It is much easier to adjust the stack when the callee returns. And not only this, it seems sensible that the one who pushed everything onto the stack (the caller) must be the responsible to clean it up. Luckily this is just as simple to restore the
spto a previously stored value prior the preparation of the call.I have fixed the typo you mentioned, you are right it must be
r0 < r3. Thanks.Kind regards,
Please, can you tell us in advance which ones are going to be the topics of your next posts? Really looking forward to reading them!
well, I have not a plan fully laid out. It is more of a set of topics I feel like to talk about. I can say that the next chapter (still in the works) will be about using a frame pointer in a function.
About topics I still want to talk about: pointers to functions, and pointers to functions with lexical scopes (known as closures). I also want to talk about some more lower level stuff, probably caches, system calls, exceptions, etc.
I’m quite slow writing the posts because I like to have interesting examples. Usually I am only able to come up with very simple and boring examples so I try hard to devise more interesting ones.
Thanks for your interest!
/* Many thanks * /
To use the interface ex,i2c or spi with assembler,you have any idea ?
about cubieboard (arm7) we can use this Tutorial,but CPU architecture is different,where I can learn that architecture؟
/* Thanks ,Ahrovan */
I’m not familiar with ex, i2c or spi. So I cannot help you much here. Sorry.
Regarding ARMv7, your Cubieboard comes with an ARM Cortex-A8 which implements the ARMv7-A architecture. The detailed document of that architecture is not available in the ARM website but a google search of “armv7-a architecture reference manual issue C” should show some links to a large PDF. Make sure it is the document that describes “ARMv7-A and ARMv7-R” and not the one that describes “ARMv7-M”.
That said, the Cubieboard processor is binary compatible with the processor of the Raspberry Pi so there are very small differences, actually.
Kind regards,
I’ll download the document
/* http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0406c/index.html */
During the test & programming, I will ask you to help
thanks
I’ve been following along, and everything is going great! I know you’ve said you weren’t concerned with efficiency, or minimizing redundant statements, but I’m just wondering why line #56 in double_array.s? Why do we need to store the item value back into the array in the print function? I commented this line out and the program still works as expected. Was this an oversight, or do you have any thoughts why you had that line? I’m really interested in learning as much as I can.
yes, you’re right, this is an oversight by my side.
I don’t remember but probably copied and pasted the code of function
double_arrayand when adapting it to print the values I forgot to remove this useless store.I have updated the code.
Thank you very much for spotting it!
Kind regards,
thank you very much for your kind words! I’m glad to see that this tutorial is useful.
Kind regards,
addr_of_number_1 and addr_of_number_2 should be also pointers to pointers, or not? :O
as labels “addr_of_number_1” and “addr_of_number_2” designate addresses but do not have a location. The addresses designated by the labels are encoded in the program of course, but not in a useable way as a pointer.
Then we use these addresses to find a location. This location contains the real address of
number. This location in memory can be understood as a pointer. Not one that we can change as being able to change the address of a variable would be dangerous!So in principle, there is only one pointer involved here. Here pointer meaning “location of memory containing an address”.
Hope it is clear.
Kind regards,
Roger