blob: 2f2e29578df9f68a6da1d5ef82226dc6b45942be (
plain)
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
|
/* { dg-do run { xfail { { cris-*-* sparc*-*-* } || { { ! lp64 } && hppa*-*-* } } } } */
/* { dg-options "-O2" } */
#include <inttypes.h>
#ifdef __CRIS__
#define OUTGOING_SP_OFFSET (-sizeof (void *))
/* Suggestion: append #elif defined(__<TARGET-IDENTIFIER>__) after this comment,
either defining OUTGOING_SP_OFFSET to whatever the pertinent amount is at -O2,
if that makes your target consistently fail this test, or define
DO_NOT_TAMPER for more complicated situations. Either way, compile with
-DDO_NO_TAMPER to avoid any meddling. */
#endif
#if defined (OUTGOING_SP_OFFSET) && !defined (DO_NOT_TAMPER)
extern int xmain () __attribute__ ((__noipa__));
int main ()
{
uintptr_t misalignment
= (OUTGOING_SP_OFFSET
+ (15 & (uintptr_t) __builtin_stack_address ()));
/* Allocate a minimal amount if the stack was accidentally aligned. */
void *q = __builtin_alloca (misalignment == 0);
xmain ();
/* Fake use to avoid the "allocation" being optimized out. */
asm volatile ("" : : "rm" (q));
return 0;
}
#define main xmain
#endif
struct U {
int M0;
int M1;
} __attribute ((aligned (16)));
volatile struct U p0 = {1, 0};
void __attribute__ ((noinline))
foo (struct U p)
{
volatile intptr_t mask = 0b1111;
volatile int dummy[2];
struct U p1 = p;
dummy[1] = p.M0;
if ((intptr_t)(&p1) & mask)
__builtin_abort ();
if ((intptr_t)(&p) & mask)
__builtin_abort ();
if (p1.M0 != dummy[1])
__builtin_abort ();
if (p1.M1 != p.M1)
__builtin_abort ();
}
int
main ()
{
foo (p0);
return 0;
}
|
