Lines Matching defs:chrec1
773 chrec_merge (tree chrec1,
776 if (chrec1 == chrec_dont_know
780 if (chrec1 == chrec_known
784 if (chrec1 == chrec_not_analyzed_yet)
787 return chrec1;
789 if (eq_evolutions_p (chrec1, chrec2))
790 return chrec1;
1358 tree chrec1)
1361 || chrec1 == NULL_TREE
1362 || TREE_CODE (chrec0) != TREE_CODE (chrec1))
1365 if (chrec0 == chrec1)
1371 return operand_equal_p (chrec0, chrec1, 0);
1374 return (CHREC_VARIABLE (chrec0) == CHREC_VARIABLE (chrec1)
1375 && eq_evolutions_p (CHREC_LEFT (chrec0), CHREC_LEFT (chrec1))
1376 && eq_evolutions_p (CHREC_RIGHT (chrec0), CHREC_RIGHT (chrec1)));