PR middle-end/77357 - strlen of constant strings not folded
[official-gcc.git] / gcc / testsuite / gcc.c-torture / execute / postmod-1.c
blobb56454f4170262dd2746a347080a0f5a78fad126
1 #define DECLARE_ARRAY(A) array##A[0x10]
2 #define DECLARE_COUNTER(A) counter##A = 0
3 #define DECLARE_POINTER(A) *pointer##A = array##A + x
4 /* Create a loop that allows post-modification of pointerA, followed by
5 a use of the post-modified address. */
6 #define BEFORE(A) counter##A += *pointer##A, pointer##A += 3
7 #define AFTER(A) counter##A += pointer##A[x]
9 /* Set up the arrays so that one iteration of the loop sets the counter
10 to 3.0f. */
11 #define INIT_ARRAY(A) array##A[1] = 1.0f, array##A[5] = 2.0f
13 /* Check that the loop worked correctly for all values. */
14 #define CHECK_ARRAY(A) exit_code |= (counter##A != 3.0f)
16 /* Having 6 copies triggered the bug for ARM and Thumb. */
17 #define MANY(A) A (0), A (1), A (2), A (3), A (4), A (5)
19 /* Each addendA should be allocated a register. */
20 #define INIT_VOLATILE(A) addend##A = vol
21 #define ADD_VOLATILE(A) vol += addend##A
23 /* Having 5 copies triggered the bug for ARM and Thumb. */
24 #define MANY2(A) A (0), A (1), A (2), A (3), A (4)
26 float MANY (DECLARE_ARRAY);
27 float MANY (DECLARE_COUNTER);
29 volatile int stop = 1;
30 volatile int vol;
32 void __attribute__((noinline))
33 foo (int x)
35 float MANY (DECLARE_POINTER);
36 int i;
40 MANY (BEFORE);
41 MANY (AFTER);
42 /* Create an inner loop that should ensure the code above
43 has registers free for reload inheritance. */
45 int MANY2 (INIT_VOLATILE);
46 for (i = 0; i < 10; i++)
47 MANY2 (ADD_VOLATILE);
50 while (!stop);
53 int
54 main (void)
56 int exit_code = 0;
58 MANY (INIT_ARRAY);
59 foo (1);
60 MANY (CHECK_ARRAY);
61 return exit_code;