--TEST--
001: type conversion SEXT
--ARGS--
--emit-c
--CODE--
{
	l_1 = START(l_4);
	int32_t x = PARAM(l_1, "x", 1);
	int64_t ret = SEXT(x);
	l_4 = RETURN(l_1, ret);
}
--EXPECT--
int64_t test(int32_t x)
{
	int32_t d_1 = x;
	int64_t d_2;
	d_2 = (int64_t)(int32_t)d_1;
	return d_2;
}