OpenE2K/binutils-gdb
12
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

* gdb.arch/powerpc-aix-prologue.c (stack_check_probe_1)

Browse Source 
(stack_check_probe_2, stack_check_probe_loop_1)
	(stack_check_probe_loop_2): New functions.
	(main): Add call to these new functions.
	* gdb.arch/powerpc-aix-prologue.exp: When breaking on these
	functions, check that the breakpoint is inserted at the appropriate
	location.
	(insert_breakpoint): Slightly refine this procedure so that it can
	be called several times in the test.
This commit is contained in:
Jerome Guitton 2008-09-08 16:03:14 +00:00
parent 96cc0ae8e0
commit 3b8a7fc087
3 changed files with 149 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gdb/testsuite/ChangeLog
View File

@ -1,3 +1,15 @@
2008-09-08 Jerome Guitton <guitton@adacore.com>
* gdb.arch/powerpc-aix-prologue.c (stack_check_probe_1)
(stack_check_probe_2, stack_check_probe_loop_1)
(stack_check_probe_loop_2): New functions.
(main): Add call to these new functions.
* gdb.arch/powerpc-aix-prologue.exp: When breaking on these
functions, check that the breakpoint is inserted at the appropriate
location.
(insert_breakpoint): Slightly refine this procedure so that it can
be called several times in the test.
2008-09-08 Jerome Guitton <guitton@adacore.com>
* gdb.base/stack-checking.c: New file.

131
gdb/testsuite/gdb.arch/powerpc-aix-prologue.c
View File

@ -17,10 +17,19 @@
void li_stw (void);
void stack_check_probe_1 (void);
void stack_check_probe_2 (void);
void stack_check_probe_loop_1 (void);
void stack_check_probe_loop_2 (void);
int
main (void)
{
li_stw ();
stack_check_probe_1 ();
stack_check_probe_2 ();
stack_check_probe_loop_1 ();
stack_check_probe_loop_2 ();
return 0;
}
@ -51,3 +60,125 @@ asm (" .csect .text[PR]\n"
" lwz 31,-4(1)\n"
" blr\n");
/* Asm for procedure stack_check_probe_1().
The purpose of this function is to verify that GDB can skip the stack
checking probing at the beginning of the prologue. */
asm (" .csect .text[PR]\n"
" .align 2\n"
" .globl stack_check_probe_1\n"
" .globl .stack_check_probe_1\n"
" .csect stack_check_probe_1[DS]\n"
"stack_check_probe_1:\n"
" .long .stack_check_probe_1, TOC[tc0], 0\n"
" .csect .text[PR]\n"
".stack_check_probe_1:\n"
" stw 0,-12336(1)\n"
" stw 31,-4(1)\n"
" stwu 1,-48(1)\n"
" mr 31,1\n"
" lwz 1,0(1)\n"
" lwz 31,-4(1)\n"
" blr\n");
/* Asm for procedure stack_check_probe_2 ().
Similar to stack_check_probe_1, but with a different probing sequence
(several probes). */
asm (" .csect .text[PR]\n"
" .align 2\n"
" .globl stack_check_probe_2\n"
" .globl .stack_check_probe_2\n"
" .csect stack_check_probe_2[DS]\n"
"stack_check_probe_2:\n"
" .long .stack_check_probe_2, TOC[tc0], 0\n"
" .csect .text[PR]\n"
".stack_check_probe_2:\n"
" stw 0,-16384(1)\n"
" stw 0,-20480(1)\n"
" stw 0,-24576(1)\n"
" stw 0,-28672(1)\n"
" stw 0,-28752(1)\n"
" mflr 0\n"
" stw 31,-4(1)\n"
" stw 0,8(1)\n"
" stwu 1,-16464(1)\n"
" mr 31,1\n"
" lwz 1,0(1)\n"
" lwz 0,8(1)\n"
" mtlr 0\n"
" lwz 31,-4(1)\n"
" blr\n");
/* Asm for procedure stack_check_probe_loop_1() and stack_check_probe_loop_2().
Similar to stack_check_probe_1, but with a different probing sequence
(probing loop). */
asm (" .csect .text[PR]\n"
" .align 2\n"
" .globl stack_check_probe_loop_1\n"
" .globl .stack_check_probe_loop_1\n"
" .csect stack_check_probe_loop_1[DS]\n"
"stack_check_probe_loop_1:\n"
" .long .stack_check_probe_loop_1, TOC[tc0], 0\n"
" .csect .text[PR]\n"
".stack_check_probe_loop_1:\n"
" addi 12,1,-12288\n"
" lis 0,-8\n"
" ori 0,0,4096\n"
" add 0,12,0\n"
"LPSRL1..0:\n"
" cmpw 0,12,0\n"
" beq 0,LPSRE1..0\n"
" addi 12,12,-4096\n"
" stw 0,0(12)\n"
" b LPSRL1..0\n"
"LPSRE1..0:\n"
" stw 0,-4080(12)\n"
" mflr 0\n"
" stw 31,-4(1)\n"
" stw 0,8(1)\n"
" lis 0,0xfff8\n"
" ori 0,0,16\n"
" stwux 1,1,0\n"
" mr 31,1\n"
" lwz 1,0(1)\n"
" lwz 0,8(1)\n"
" mtlr 0\n"
" lwz 31,-4(1)\n"
" blr\n");
asm (" .csect .text[PR]\n"
" .align 2\n"
" .globl stack_check_probe_loop_2\n"
" .globl .stack_check_probe_loop_2\n"
" .csect stack_check_probe_loop_2[DS]\n"
"stack_check_probe_loop_2:\n"
" .long .stack_check_probe_loop_2, TOC[tc0], 0\n"
" .csect .text[PR]\n"
".stack_check_probe_loop_2:\n"
" addi 12,1,-12288\n"
" lis 0,-8\n"
" add 0,12,0\n"
"LPSRL2..0:\n"
" cmpw 0,12,0\n"
" beq 0,LPSRE2..0\n"
" addi 12,12,-4096\n"
" stw 0,0(12)\n"
" b LPSRL2..0\n"
"LPSRE2..0:\n"
" mflr 0\n"
" stw 31,-4(1)\n"
" stw 0,8(1)\n"
" lis 0,0xfff8\n"
" ori 0,0,16\n"
" stwux 1,1,0\n"
" mr 31,1\n"
" lwz 1,0(1)\n"
" lwz 0,8(1)\n"
" mtlr 0\n"
" lwz 31,-4(1)\n"
" blr\n");

7
gdb/testsuite/gdb.arch/powerpc-aix-prologue.exp
View File

@ -55,7 +55,7 @@ proc insert_breakpoint {function expected_location} {
# Insert a breakpoint using the given function name, and extract
# the breakpoint address for the output.
gdb_test_multiple "break $function" "set breakpoint in $function" {
-re "Breakpoint 1 at ($hex).*$gdb_prompt $" {
-re "Breakpoint .* at ($hex).*$gdb_prompt $" {
set address $expect_out(1,string)
}
default {
@ -79,3 +79,8 @@ proc insert_breakpoint {function expected_location} {
}
insert_breakpoint "li_stw" 12
insert_breakpoint "stack_check_probe_1" 16
insert_breakpoint "stack_check_probe_2" 40
insert_breakpoint "stack_check_probe_loop_1" 68
insert_breakpoint "stack_check_probe_loop_2" 60