On Thu, 6 Nov 2003 15:36:46 +0100, Jan Hubicka <jh@suse.cz> wrote: > + /* We know that at least one operand is nonzero. > + If both are positive, we win. */ > + if (tree_expr_nonnegative_p (TREE_OPERAND (t, 0) > + && TREE_OPERAND (1, 1))) I think this isn't what you mean. Jason