[thirdparty/gcc.git] / gcc / testsuite / gcc.target / aarch64 / sve / pcs / stack_clash_2_512.c

/* { dg-do compile } */
/* { dg-options "-O -fshrink-wrap -fstack-clash-protection -msve-vector-bits=512 -g" } */
/* { dg-final { check-function-bodies "**" "" } } */

#pragma GCC aarch64 "arm_sve.h"

svbool_t take_stack_args (volatile void *, void *, int, int, int,
			  int, int, int, int);

/*
** test_1:
**	sub	sp, sp, #80
**	str	z16, \[sp\]
**	...
**	ptrue	p0\.b, vl64
**	ldr	z16, \[sp\]
**	add	sp, sp, #?80
**	ret
*/
svbool_t
test_1 (void)
{
  volatile int x = 1;
  asm volatile ("" ::: "z16");
  return svptrue_b8 ();
}

/*
** test_2:
**	sub	sp, sp, #112
**	stp	x24, x25, \[sp, 64\]
**	str	x26, \[sp, 80\]
**	str	z16, \[sp\]
**	...
**	ptrue	p0\.b, vl64
**	ldr	z16, \[sp\]
**	ldp	x24, x25, \[sp, 64\]
**	ldr	x26, \[sp, 80\]
**	add	sp, sp, #?112
**	ret
*/
svbool_t
test_2 (void)
{
  volatile int x = 1;
  asm volatile ("" ::: "z16", "x24", "x25", "x26");
  return svptrue_b8 ();
}

/*
** test_3:
**	mov	x12, #?4192
**	sub	sp, sp, x12
**	stp	x24, x25, \[sp, 64\]
**	str	x26, \[sp, 80\]
**	str	z16, \[sp\]
**	...
**	ptrue	p0\.b, vl64
**	ldr	z16, \[sp\]
**	ldp	x24, x25, \[sp, 64\]
**	ldr	x26, \[sp, 80\]
**	add	sp, sp, x12
**	ret
*/
svbool_t
test_3 (void)
{
  volatile int x[1024];
  asm volatile ("" :: "r" (x) : "z16", "x24", "x25", "x26");
  return svptrue_b8 ();
}

/*
** test_4:
**	sub	sp, sp, #128
**	str	z16, \[sp\]
**	...
**	ptrue	p0\.h, vl32
**	ldr	z16, \[sp\]
**	add	sp, sp, #?128
**	ret
*/
svbool_t
test_4 (void)
{
  volatile svint32_t b;
  b = svdup_s32 (1);
  asm volatile ("" ::: "z16");
  return svptrue_b16 ();
}

/*
** test_5:
**	sub	sp, sp, #160
**	stp	x24, x25, \[sp, 64\]
**	str	x26, \[sp, 80\]
**	str	z16, \[sp\]
**	...
**	ptrue	p0\.h, vl32
**	ldr	z16, \[sp\]
**	ldp	x24, x25, \[sp, 64\]
**	ldr	x26, \[sp, 80\]
**	add	sp, sp, #?160
**	ret
*/
svbool_t
test_5 (void)
{
  volatile svint32_t b;
  b = svdup_s32 (1);
  asm volatile ("" ::: "z16", "x24", "x25", "x26");
  return svptrue_b16 ();
}

/*
** test_6:
**	stp	x29, x30, \[sp, -16\]!
**	mov	x29, sp
**	sub	sp, sp, #64
**	str	z16, \[sp\]
**	...
**	ptrue	p0\.b, vl64
**	add	sp, sp, #?16
**	ldr	z16, \[sp\]
**	add	sp, sp, #?64
**	ldp	x29, x30, \[sp\], 16
**	ret
*/
svbool_t
test_6 (void)
{
  take_stack_args (0, 0, 1, 2, 3, 4, 5, 6, 7);
  asm volatile ("" ::: "z16");
  return svptrue_b8 ();
}

/*
** test_7:
**	mov	x12, #?4176
**	sub	sp, sp, x12
**	stp	x29, x30, \[sp, 64\]
**	add	x29, sp, #?64
**	str	z16, \[sp\]
**	sub	sp, sp, #16
**	...
**	ptrue	p0\.b, vl64
**	add	sp, sp, #?16
**	ldr	z16, \[sp\]
**	add	sp, sp, #?64
**	ldp	x29, x30, \[sp\]
**	mov	x12, #?4112
**	add	sp, sp, x12
**	ret
*/
svbool_t
test_7 (void)
{
  volatile int x[1024];
  take_stack_args (x, 0, 1, 2, 3, 4, 5, 6, 7);
  asm volatile ("" ::: "z16");
  return svptrue_b8 ();
}

/*
** test_8:
**	mov	x12, #?4208
**	sub	sp, sp, x12
**	stp	x29, x30, \[sp, 64\]
**	add	x29, sp, #?64
**	stp	x24, x25, \[sp, 80\]
**	str	x26, \[sp, 96\]
**	str	z16, \[sp\]
**	sub	sp, sp, #16
**	...
**	ptrue	p0\.b, vl64
**	add	sp, sp, #?16
**	ldr	z16, \[sp\]
**	add	sp, sp, #?64
**	ldp	x24, x25, \[sp, 16\]
**	ldr	x26, \[sp, 32\]
**	ldp	x29, x30, \[sp\]
**	mov	x12, #?4144
**	add	sp, sp, x12
**	ret
*/
svbool_t
test_8 (void)
{
  volatile int x[1024];
  take_stack_args (x, 0, 1, 2, 3, 4, 5, 6, 7);
  asm volatile ("" ::: "z16", "x24", "x25", "x26");
  return svptrue_b8 ();
}

/*
** test_9:
**	mov	x12, #?4176
**	sub	sp, sp, x12
**	stp	x29, x30, \[sp, 64\]
**	add	x29, sp, #?64
**	str	z16, \[sp\]
**	sub	sp, sp, #16
**	...
**	ptrue	p0\.b, vl64
**	sub	sp, x29, #64
**	ldr	z16, \[sp\]
**	add	sp, sp, #?64
**	ldp	x29, x30, \[sp\]
**	mov	x12, #?4112
**	add	sp, sp, x12
**	ret
*/
svbool_t
test_9 (int n)
{
  volatile int x[1024];
  take_stack_args (x, __builtin_alloca (n), 1, 2, 3, 4, 5, 6, 7);
  asm volatile ("" ::: "z16");
  return svptrue_b8 ();
}

/*
** test_10:
**	mov	x12, #?4208
**	sub	sp, sp, x12
**	stp	x29, x30, \[sp, 64\]
**	add	x29, sp, #?64
**	stp	x24, x25, \[sp, 80\]
**	str	x26, \[sp, 96\]
**	str	z16, \[sp\]
**	sub	sp, sp, #16
**	...
**	ptrue	p0\.b, vl64
**	sub	sp, x29, #64
**	ldr	z16, \[sp\]
**	add	sp, sp, #?64
**	ldp	x24, x25, \[sp, 16\]
**	ldr	x26, \[sp, 32\]
**	ldp	x29, x30, \[sp\]
**	mov	x12, #?4144
**	add	sp, sp, x12
**	ret
*/
svbool_t
test_10 (int n)
{
  volatile int x[1024];
  take_stack_args (x, __builtin_alloca (n), 1, 2, 3, 4, 5, 6, 7);
  asm volatile ("" ::: "z16", "x24", "x25", "x26");
  return svptrue_b8 ();
}

/*
** test_11:
**	sub	sp, sp, #65536
**	str	xzr, \[sp, 1024\]
**	mov	x12, #?64512
**	sub	sp, sp, x12
**	str	xzr, \[sp, 1024\]
**	stp	x29, x30, \[sp, 64\]
**	add	x29, sp, #?64
**	stp	x24, x25, \[sp, 80\]
**	str	x26, \[sp, 96\]
**	str	z16, \[sp\]
**	sub	sp, sp, #16
**	...
**	ptrue	p0\.b, vl64
**	sub	sp, x29, #64
**	ldr	z16, \[sp\]
**	add	sp, sp, #?64
**	ldp	x24, x25, \[sp, 16\]
**	ldr	x26, \[sp, 32\]
**	ldp	x29, x30, \[sp\]
**	add	sp, sp, #?3008
**	add	sp, sp, #?126976
**	ret
*/
svbool_t
test_11 (int n)
{
  volatile int x[0x7ee4];
  take_stack_args (x, __builtin_alloca (n), 1, 2, 3, 4, 5, 6, 7);
  asm volatile ("" ::: "z16", "x24", "x25", "x26");
  return svptrue_b8 ();
}
Commit	Line	Data
c600df9a RS	1	/* { dg-do compile } */
	2	/* { dg-options "-O -fshrink-wrap -fstack-clash-protection -msve-vector-bits=512 -g" } */
	3	/* { dg-final { check-function-bodies "*" "" } } /
	4
	5	#pragma GCC aarch64 "arm_sve.h"
	6
	7	svbool_t take_stack_args (volatile void , void , int, int, int,
	8	int, int, int, int);
	9
	10	/*
	11	** test_1:
	12	** sub sp, sp, #80
cb26919c	13	** str z16, \[sp\]
c600df9a RS	14	** ...
c600df9a RS	15	** ptrue p0\.b, vl64
cb26919c	16	** ldr z16, \[sp\]
c600df9a RS	17	** add sp, sp, #?80
	18	** ret
	19	*/
	20	svbool_t
	21	test_1 (void)
	22	{
	23	volatile int x = 1;
cb26919c	24	asm volatile ("" ::: "z16");
c600df9a RS	25	return svptrue_b8 ();
	26	}
	27
	28	/*
	29	** test_2:
	30	** sub sp, sp, #112
	31	** stp x24, x25, \[sp, 64\]
	32	** str x26, \[sp, 80\]
cb26919c	33	** str z16, \[sp\]
c600df9a RS	34	** ...
c600df9a RS	35	** ptrue p0\.b, vl64
cb26919c	36	** ldr z16, \[sp\]
c600df9a RS	37	** ldp x24, x25, \[sp, 64\]
	38	** ldr x26, \[sp, 80\]
	39	** add sp, sp, #?112
	40	** ret
	41	*/
	42	svbool_t
	43	test_2 (void)
	44	{
	45	volatile int x = 1;
cb26919c	46	asm volatile ("" ::: "z16", "x24", "x25", "x26");
c600df9a RS	47	return svptrue_b8 ();
	48	}
	49
	50	/*
	51	** test_3:
	52	** mov x12, #?4192
	53	** sub sp, sp, x12
	54	** stp x24, x25, \[sp, 64\]
	55	** str x26, \[sp, 80\]
cb26919c	56	** str z16, \[sp\]
c600df9a RS	57	** ...
c600df9a RS	58	** ptrue p0\.b, vl64
cb26919c	59	** ldr z16, \[sp\]
c600df9a RS	60	** ldp x24, x25, \[sp, 64\]
	61	** ldr x26, \[sp, 80\]
	62	** add sp, sp, x12
	63	** ret
	64	*/
	65	svbool_t
	66	test_3 (void)
	67	{
	68	volatile int x[1024];
cb26919c	69	asm volatile ("" :: "r" (x) : "z16", "x24", "x25", "x26");
c600df9a RS	70	return svptrue_b8 ();
	71	}
	72
	73	/*
	74	** test_4:
	75	** sub sp, sp, #128
cb26919c	76	** str z16, \[sp\]
c600df9a RS	77	** ...
c600df9a RS	78	** ptrue p0\.h, vl32
cb26919c	79	** ldr z16, \[sp\]
c600df9a RS	80	** add sp, sp, #?128
	81	** ret
	82	*/
	83	svbool_t
	84	test_4 (void)
	85	{
	86	volatile svint32_t b;
	87	b = svdup_s32 (1);
cb26919c	88	asm volatile ("" ::: "z16");
c600df9a RS	89	return svptrue_b16 ();
	90	}
	91
	92	/*
	93	** test_5:
	94	** sub sp, sp, #160
	95	** stp x24, x25, \[sp, 64\]
	96	** str x26, \[sp, 80\]
cb26919c	97	** str z16, \[sp\]
c600df9a RS	98	** ...
c600df9a RS	99	** ptrue p0\.h, vl32
cb26919c	100	** ldr z16, \[sp\]
c600df9a RS	101	** ldp x24, x25, \[sp, 64\]
	102	** ldr x26, \[sp, 80\]
	103	** add sp, sp, #?160
	104	** ret
	105	*/
	106	svbool_t
	107	test_5 (void)
	108	{
	109	volatile svint32_t b;
	110	b = svdup_s32 (1);
cb26919c	111	asm volatile ("" ::: "z16", "x24", "x25", "x26");
c600df9a RS	112	return svptrue_b16 ();
	113	}
	114
	115	/*
	116	** test_6:
	117	** stp x29, x30, \[sp, -16\]!
	118	** mov x29, sp
	119	** sub sp, sp, #64
cb26919c	120	** str z16, \[sp\]
c600df9a RS	121	** ...
	122	** ptrue p0\.b, vl64
	123	** add sp, sp, #?16
cb26919c	124	** ldr z16, \[sp\]
c600df9a RS	125	** add sp, sp, #?64
	126	** ldp x29, x30, \[sp\], 16
	127	** ret
	128	*/
	129	svbool_t
	130	test_6 (void)
	131	{
	132	take_stack_args (0, 0, 1, 2, 3, 4, 5, 6, 7);
cb26919c	133	asm volatile ("" ::: "z16");
c600df9a RS	134	return svptrue_b8 ();
	135	}
	136
	137	/*
	138	** test_7:
	139	** mov x12, #?4176
	140	** sub sp, sp, x12
	141	** stp x29, x30, \[sp, 64\]
	142	** add x29, sp, #?64
cb26919c	143	** str z16, \[sp\]
c600df9a RS	144	** sub sp, sp, #16
	145	** ...
	146	** ptrue p0\.b, vl64
	147	** add sp, sp, #?16
cb26919c	148	** ldr z16, \[sp\]
c600df9a RS	149	** add sp, sp, #?64
	150	** ldp x29, x30, \[sp\]
	151	** mov x12, #?4112
	152	** add sp, sp, x12
	153	** ret
	154	*/
	155	svbool_t
	156	test_7 (void)
	157	{
	158	volatile int x[1024];
	159	take_stack_args (x, 0, 1, 2, 3, 4, 5, 6, 7);
cb26919c	160	asm volatile ("" ::: "z16");
c600df9a RS	161	return svptrue_b8 ();
	162	}
	163
	164	/*
	165	** test_8:
	166	** mov x12, #?4208
	167	** sub sp, sp, x12
	168	** stp x29, x30, \[sp, 64\]
	169	** add x29, sp, #?64
	170	** stp x24, x25, \[sp, 80\]
	171	** str x26, \[sp, 96\]
cb26919c	172	** str z16, \[sp\]
c600df9a RS	173	** sub sp, sp, #16
	174	** ...
	175	** ptrue p0\.b, vl64
	176	** add sp, sp, #?16
cb26919c	177	** ldr z16, \[sp\]
c600df9a RS	178	** add sp, sp, #?64
	179	** ldp x24, x25, \[sp, 16\]
	180	** ldr x26, \[sp, 32\]
	181	** ldp x29, x30, \[sp\]
	182	** mov x12, #?4144
	183	** add sp, sp, x12
	184	** ret
	185	*/
	186	svbool_t
	187	test_8 (void)
	188	{
	189	volatile int x[1024];
	190	take_stack_args (x, 0, 1, 2, 3, 4, 5, 6, 7);
cb26919c	191	asm volatile ("" ::: "z16", "x24", "x25", "x26");
c600df9a RS	192	return svptrue_b8 ();
	193	}
	194
	195	/*
	196	** test_9:
	197	** mov x12, #?4176
	198	** sub sp, sp, x12
	199	** stp x29, x30, \[sp, 64\]
	200	** add x29, sp, #?64
cb26919c	201	** str z16, \[sp\]
c600df9a RS	202	** sub sp, sp, #16
	203	** ...
	204	** ptrue p0\.b, vl64
	205	** sub sp, x29, #64
cb26919c	206	** ldr z16, \[sp\]
c600df9a RS	207	** add sp, sp, #?64
	208	** ldp x29, x30, \[sp\]
	209	** mov x12, #?4112
	210	** add sp, sp, x12
	211	** ret
	212	*/
	213	svbool_t
	214	test_9 (int n)
	215	{
	216	volatile int x[1024];
	217	take_stack_args (x, __builtin_alloca (n), 1, 2, 3, 4, 5, 6, 7);
cb26919c	218	asm volatile ("" ::: "z16");
c600df9a RS	219	return svptrue_b8 ();
	220	}
	221
	222	/*
	223	** test_10:
	224	** mov x12, #?4208
	225	** sub sp, sp, x12
	226	** stp x29, x30, \[sp, 64\]
	227	** add x29, sp, #?64
	228	** stp x24, x25, \[sp, 80\]
	229	** str x26, \[sp, 96\]
cb26919c	230	** str z16, \[sp\]
c600df9a RS	231	** sub sp, sp, #16
	232	** ...
	233	** ptrue p0\.b, vl64
	234	** sub sp, x29, #64
cb26919c	235	** ldr z16, \[sp\]
c600df9a RS	236	** add sp, sp, #?64
	237	** ldp x24, x25, \[sp, 16\]
	238	** ldr x26, \[sp, 32\]
	239	** ldp x29, x30, \[sp\]
	240	** mov x12, #?4144
	241	** add sp, sp, x12
	242	** ret
	243	*/
	244	svbool_t
	245	test_10 (int n)
	246	{
	247	volatile int x[1024];
	248	take_stack_args (x, __builtin_alloca (n), 1, 2, 3, 4, 5, 6, 7);
cb26919c	249	asm volatile ("" ::: "z16", "x24", "x25", "x26");
c600df9a RS	250	return svptrue_b8 ();
	251	}
	252
	253	/*
	254	** test_11:
	255	** sub sp, sp, #65536
	256	** str xzr, \[sp, 1024\]
	257	** mov x12, #?64512
	258	** sub sp, sp, x12
	259	** str xzr, \[sp, 1024\]
	260	** stp x29, x30, \[sp, 64\]
	261	** add x29, sp, #?64
	262	** stp x24, x25, \[sp, 80\]
	263	** str x26, \[sp, 96\]
cb26919c	264	** str z16, \[sp\]
c600df9a RS	265	** sub sp, sp, #16
	266	** ...
	267	** ptrue p0\.b, vl64
	268	** sub sp, x29, #64
cb26919c	269	** ldr z16, \[sp\]
c600df9a RS	270	** add sp, sp, #?64
	271	** ldp x24, x25, \[sp, 16\]
	272	** ldr x26, \[sp, 32\]
	273	** ldp x29, x30, \[sp\]
	274	** add sp, sp, #?3008
	275	** add sp, sp, #?126976
	276	** ret
	277	*/
	278	svbool_t
	279	test_11 (int n)
	280	{
	281	volatile int x[0x7ee4];
	282	take_stack_args (x, __builtin_alloca (n), 1, 2, 3, 4, 5, 6, 7);
cb26919c	283	asm volatile ("" ::: "z16", "x24", "x25", "x26");
c600df9a RS	284	return svptrue_b8 ();
c600df9a RS	285	}