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