Skip to content

Commit

Permalink
tests/tcg: add HeapInfo checking to semihosting test
Browse files Browse the repository at this point in the history
Query the SYS_HEAPINFO semicall and do some basic verification of the
information via libc calls.

Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Reviewed-by: Thomas Huth <thuth@redhat.com>
Message-Id: <20210323165308.15244-10-alex.bennee@linaro.org>
  • Loading branch information
stsquad committed Mar 24, 2021
1 parent 7967d1d commit 4593f4d
Showing 1 changed file with 54 additions and 1 deletion.
55 changes: 54 additions & 1 deletion tests/tcg/multiarch/arm-compat-semi/semihosting.c
Expand Up @@ -8,9 +8,13 @@
*/

#define SYS_WRITE0 0x04
#define SYS_HEAPINFO 0x16
#define SYS_REPORTEXC 0x18

#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include "semicall.h"

int main(int argc, char *argv[argc])
Expand All @@ -21,8 +25,57 @@ int main(int argc, char *argv[argc])
uintptr_t exit_block[2] = {0x20026, 0};
uintptr_t exit_code = (uintptr_t) &exit_block;
#endif
struct {
void *heap_base;
void *heap_limit;
void *stack_base;
void *stack_limit;
} info;
void *ptr_to_info = (void *) &info;

__semi_call(SYS_WRITE0, (uintptr_t) "Hello World");
__semi_call(SYS_WRITE0, (uintptr_t) "Checking HeapInfo\n");

memset(&info, 0, sizeof(info));
__semi_call(SYS_HEAPINFO, (uintptr_t) &ptr_to_info);

if (info.heap_base == NULL || info.heap_limit == NULL) {
printf("null heap: %p -> %p\n", info.heap_base, info.heap_limit);
exit(1);
}

/* Error if heap base is above limit */
if ((uintptr_t) info.heap_base >= (uintptr_t) info.heap_limit) {
printf("heap base %p >= heap_limit %p\n",
info.heap_base, info.heap_limit);
exit(2);
}

if (info.stack_base == NULL || info.stack_limit) {
printf("null stack: %p -> %p\n", info.stack_base, info.stack_limit);
exit(3);
}

/* check our local variables are indeed inside the reported stack */
if (ptr_to_info > info.stack_base) {
printf("info appears to be above stack: %p > %p\n", ptr_to_info,
info.stack_base);
exit(4);
} else if (ptr_to_info < info.stack_limit) {
printf("info appears to be outside stack: %p < %p\n", ptr_to_info,
info.stack_limit);
exit(5);
}

if (ptr_to_info > info.heap_base && ptr_to_info < info.heap_limit) {
printf("info appears to be inside the heap: %p in %p:%p\n",
ptr_to_info, info.heap_base, info.heap_limit);
exit(6);
}

printf("heap: %p -> %p\n", info.heap_base, info.heap_limit);
printf("stack: %p -> %p\n", info.stack_base, info.stack_limit);

__semi_call(SYS_WRITE0, (uintptr_t) "Passed HeapInfo checks");
__semi_call(SYS_REPORTEXC, exit_code);
/* if we get here we failed */
return -1;
Expand Down

0 comments on commit 4593f4d

Please sign in to comment.