Lines Matching refs:evolution_of_loop
887 gphi *halting_phi, tree *evolution_of_loop, in follow_ssa_edge_binary() argument
909 evol = *evolution_of_loop; in follow_ssa_edge_binary()
917 *evolution_of_loop = evol; in follow_ssa_edge_binary()
920 *evolution_of_loop = add_to_evolution in follow_ssa_edge_binary()
922 chrec_convert (type, *evolution_of_loop, at_stmt), in follow_ssa_edge_binary()
926 evolution_of_loop, limit); in follow_ssa_edge_binary()
938 *evolution_of_loop = add_to_evolution in follow_ssa_edge_binary()
939 (loop->num, chrec_convert (type, *evolution_of_loop, in follow_ssa_edge_binary()
944 evolution_of_loop, limit); in follow_ssa_edge_binary()
1032 tree *evolution_of_loop, int limit) in follow_ssa_edge_in_condition_phi() argument
1035 tree init = *evolution_of_loop; in follow_ssa_edge_in_condition_phi()
1044 *evolution_of_loop = evolution_of_branch; in follow_ssa_edge_in_condition_phi()
1051 if (*evolution_of_loop == chrec_dont_know) in follow_ssa_edge_in_condition_phi()
1063 *evolution_of_loop = chrec_merge (*evolution_of_loop, in follow_ssa_edge_in_condition_phi()
1079 tree *evolution_of_loop, int limit) in follow_ssa_edge_inner_loop_phi() argument
1101 evolution_of_loop, limit); in follow_ssa_edge_inner_loop_phi()
1108 *evolution_of_loop = chrec_dont_know; in follow_ssa_edge_inner_loop_phi()
1116 evolution_of_loop, limit); in follow_ssa_edge_inner_loop_phi()
1124 gphi *halting_phi, tree *evolution_of_loop, in follow_ssa_edge_expr() argument
1153 *evolution_of_loop = chrec_dont_know; in follow_ssa_edge_expr()
1165 (loop, phi, halting_phi, evolution_of_loop, limit); in follow_ssa_edge_expr()
1183 (loop, phi, halting_phi, evolution_of_loop, in follow_ssa_edge_expr()
1239 evolution_of_loop, limit); in follow_ssa_edge_expr()
1240 *evolution_of_loop = chrec_convert (type, *evolution_of_loop, at_stmt); in follow_ssa_edge_expr()
1271 *evolution_of_loop = add_to_evolution in follow_ssa_edge_expr()
1272 (loop->num, chrec_convert (type, *evolution_of_loop, in follow_ssa_edge_expr()
1280 halting_phi, evolution_of_loop, limit); in follow_ssa_edge_expr()