Lines Matching defs:e0
780 tree e, te, e0, e1, e2, notcond;
792 e0 = tree_simplify_using_condition_1 (cond, TREE_OPERAND (expr, 0));
793 if (TREE_OPERAND (expr, 0) != e0)
812 expr = fold_build3 (code, boolean_type_node, e0, e1, e2);
814 expr = fold_build2 (code, boolean_type_node, e0, e1);
825 e0 = TREE_OPERAND (cond, 0);
828 /* We know that e0 == e1. Check whether we cannot simplify expr
830 e = simplify_replace_tree (expr, e0, e1);
834 e = simplify_replace_tree (expr, e1, e0);
840 e0 = TREE_OPERAND (expr, 0);
843 /* If e0 == e1 (EXPR) implies !COND, then EXPR cannot be true. */
844 e = simplify_replace_tree (cond, e0, e1);
847 e = simplify_replace_tree (cond, e1, e0);
853 e0 = TREE_OPERAND (expr, 0);
856 /* If e0 == e1 (!EXPR) implies !COND, then EXPR must be true. */
857 e = simplify_replace_tree (cond, e0, e1);
860 e = simplify_replace_tree (cond, e1, e0);
959 tree e, e0, e1, e2;
970 e0 = simplify_using_outer_evolutions (loop, TREE_OPERAND (expr, 0));
971 if (TREE_OPERAND (expr, 0) != e0)
990 expr = fold_build3 (code, boolean_type_node, e0, e1, e2);
992 expr = fold_build2 (code, boolean_type_node, e0, e1);