procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR rtl-optimization/47166 (SpecCpu2000 Ammp segfaults for ARM with -O3 -mthumb)

Browse source 
gcc/testsuite/
	PR rtl-optimization/47166
	* gcc.c-torture/execute/postmod-1.c: New test.

From-SVN: r170939
This commit is contained in:
Richard Sandiford 2011-03-14 13:46:12 +00:00 • committed by Richard Sandiford
parent 6bd73dd889
commit b03bdade7a
2 changed files with 67 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2011-03-14 Richard Sandiford <richard.sandiford@linaro.org>
PR rtl-optimization/47166
* gcc.c-torture/execute/postmod-1.c: New test.
2011-03-14 Richard Guenther <rguenther@suse.de>
PR middle-end/48098

62
gcc/testsuite/gcc.c-torture/execute/postmod-1.c Normal file
View file

@ -0,0 +1,62 @@
#define DECLARE_ARRAY(A) array##A[0x10]
#define DECLARE_COUNTER(A) counter##A = 0
#define DECLARE_POINTER(A) *pointer##A = array##A + x
/* Create a loop that allows post-modification of pointerA, followed by
a use of the post-modified address. */
#define BEFORE(A) counter##A += *pointer##A, pointer##A += 3
#define AFTER(A) counter##A += pointer##A[x]
/* Set up the arrays so that one iteration of the loop sets the counter
to 3.0f. */
#define INIT_ARRAY(A) array##A[1] = 1.0f, array##A[5] = 2.0f
/* Check that the loop worked correctly for all values. */
#define CHECK_ARRAY(A) exit_code |= (counter##A != 3.0f)
/* Having 6 copies triggered the bug for ARM and Thumb. */
#define MANY(A) A (0), A (1), A (2), A (3), A (4), A (5)
/* Each addendA should be allocated a register. */
#define INIT_VOLATILE(A) addend##A = vol
#define ADD_VOLATILE(A) vol += addend##A
/* Having 5 copies triggered the bug for ARM and Thumb. */
#define MANY2(A) A (0), A (1), A (2), A (3), A (4)
float MANY (DECLARE_ARRAY);
float MANY (DECLARE_COUNTER);
volatile int stop = 1;
volatile int vol;
void __attribute__((noinline))
foo (int x)
{
float MANY (DECLARE_POINTER);
int i;
do
{
MANY (BEFORE);
MANY (AFTER);
/* Create an inner loop that should ensure the code above
has registers free for reload inheritance. */
{
int MANY2 (INIT_VOLATILE);
for (i = 0; i < 10; i++)
MANY2 (ADD_VOLATILE);
}
}
while (!stop);
}
int
main (void)
{
int exit_code = 0;
MANY (INIT_ARRAY);
foo (1);
MANY (CHECK_ARRAY);
return exit_code;
}