--TEST--
001: EQ(ADD(_,_), 0) -> SETCC
--TARGET--
x86
--ARGS--
-S
--CODE--
{
	int32_t c1 = 0;
	int32_t c2 = 1;
	l_1 = START(l_2);
	int32_t x = PARAM(l_1, "x", 1);
	int32_t d_1 = ADD(x, c2);
	bool d_2 = EQ(d_1, c1);
	l_2 = RETURN(l_1, d_2);
}
--EXPECT--
test:
	movl 4(%esp), %eax
	addl $1, %eax
	sete %al
	retl