--TEST--
Simple CALL with ALLOCA
--TARGET--
x86_64
--ARGS--
-S --run
--CODE--
{
	uintptr_t c_1 = 0;
	bool c_2 = 0;
	bool c_3 = 1;
	int32_t c_4 = 42;
	char h = 'h';
	char i = 'i';
	char sp = ' ';
	char pc = '%';
	char d = 'd';
	char nl = '\n';
	char zero = 0;
	uint32_t len = 7;
	uintptr_t one = 1;
	uintptr_t c_5 = func(printf);
	l_1 = START(l_4);
	uintptr_t a_0, s_0 = ALLOCA(l_1, len);
	s_1 = STORE(s_0, a_0, h);
	uintptr_t a_1 = ADD(a_0, one);
	s_2 = STORE(s_1, a_1, i);
	uintptr_t a_2 = ADD(a_1, one);
	s_3 = STORE(s_2, a_2, sp);
	uintptr_t a_3 = ADD(a_2, one);
	s_4 = STORE(s_3, a_3, pc);
	uintptr_t a_4 = ADD(a_3, one);
	s_5 = STORE(s_4, a_4, d);
	uintptr_t a_5 = ADD(a_4, one);
	s_6 = STORE(s_5, a_5, nl);
	uintptr_t a_6 = ADD(a_5, one);
	s_7 = STORE(s_6, a_6, zero);
	int32_t d_2, l_2 = CALL/2(s_7, c_5, a_0, c_4);
	l_4 = RETURN(l_2, d_2);
}
--EXPECT--
test:
	pushq %rbp
	movq %rsp, %rbp
	subq $0x10, %rsp
	movq %rsp, %rdi
	movb $0x68, (%rdi)
	leaq 1(%rdi), %rax
	movb $0x69, (%rax)
	leaq 2(%rdi), %rax
	movb $0x20, (%rax)
	leaq 3(%rdi), %rax
	movb $0x25, (%rax)
	leaq 4(%rdi), %rax
	movb $0x64, (%rax)
	leaq 5(%rdi), %rax
	movb $0xa, (%rax)
	leaq 6(%rdi), %rax
	movb $0, (%rax)
	movl $0x2a, %esi
	movabsq $_IO_printf, %rax
	callq *%rax
	movq %rbp, %rsp
	popq %rbp
	retq

hi 42

exit code = 6