/* { dg-do run } */
/* { dg-require-effective-target fstack_protector } */
/* { dg-options "-fstack-protector-all -O2" } */

extern volatile long *stack_chk_guard_ptr;

volatile long *
get_ptr (void)
{
  return stack_chk_guard_ptr;
}

void __attribute__ ((noipa))
f (void)
{
  volatile int x;
  x = 1;
  x += 1;
}

#define CHECK(REG) "\tcmp\tx0, " #REG "\n\tbeq\t1f\n"

asm (
"	.pushsection .data\n"
"	.align	3\n"
"	.globl	stack_chk_guard_ptr\n"
"stack_chk_guard_ptr:\n"
#if __ILP32__
"	.word	__stack_chk_guard\n"
#else
"	.xword	__stack_chk_guard\n"
#endif
"	.weak	__stack_chk_guard\n"
"__stack_chk_guard:\n"
"	.word	0xdead4321\n"
"	.word	0xbeef8765\n"
"	.text\n"
"	.globl	main\n"
"	.type	main, %function\n"
"main:\n"
"	bl	get_ptr\n"
"	str	x0, [sp, #-16]!\n"
"	bl	f\n"
"	str	x0, [sp, #8]\n"
"	ldr	x0, [sp]\n"
#if __ILP32__
"	ldr     w0, [x0]\n"
#else
"	ldr     x0, [x0]\n"
#endif
	CHECK (x1)
	CHECK (x2)
	CHECK (x3)
	CHECK (x4)
	CHECK (x5)
	CHECK (x6)
	CHECK (x7)
	CHECK (x8)
	CHECK (x9)
	CHECK (x10)
	CHECK (x11)
	CHECK (x12)
	CHECK (x13)
	CHECK (x14)
	CHECK (x15)
	CHECK (x16)
	CHECK (x17)
	CHECK (x18)
	CHECK (x19)
	CHECK (x20)
	CHECK (x21)
	CHECK (x22)
	CHECK (x23)
	CHECK (x24)
	CHECK (x25)
	CHECK (x26)
	CHECK (x27)
	CHECK (x28)
	CHECK (x29)
	CHECK (x30)
"	ldr	x1, [sp]\n"
	CHECK (x1)
"	mov	x0, #0\n"
"	b	exit\n"
"1:\n"
"	b	abort\n"
"	.size	main, .-main\n"
"	.popsection"
);