--TEST--
009: add function
--TARGET--
x86
--XFAIL--
64-bit integers are not implemented on 32-bit systems
--ARGS--
-S
--CODE--
{
	uint64_t c = 0x100000000;
	l_1 = START(l_4);
	uint64_t x = PARAM(l_1, "x", 1);
	uint64_t ret = ADD(x, c);
	l_4 = RETURN(l_1, ret);
}
--EXPECT--
test:
	movq %rdi, %rax
	movabsq $0x100000000, %rcx
	addq %rcx, %rax
	retq