hipe/regalloc/hipe_coalescing_regalloc.erl

121 do_coloring(IG, Worklists, Moves, Alias, K, SpillLimit, Target) ->
123   Coalesce = not(hipe_moves:is_empty_worklist(Moves)),
131 		 Moves,
136 	coalesce(Moves, IG, Worklists, Alias, K, Target),
140 	freeze(K, Worklists, Moves, IG, Alias),
145 	selectSpill(Worklists, Moves, IG, K, Alias, SpillLimit),
148       {IG, Worklists, Moves, Alias}
187 simplify([], IG, Worklists, Moves, _K) ->
188   {IG, Worklists, Moves};
189 simplify([Node|Nodes], IG, Worklists, Moves, K) ->
195     decrement_degree(Adjacent, IG, Worklists01, Moves, K),
217 decrement_degree([], IG, Worklists, Moves, _K) ->
218   {IG, Worklists, Moves};
219 decrement_degree([Node|Nodes], IG, Worklists, Moves, K) ->
225       Moves00 = enable_moves_active_to_worklist(hipe_moves:node_movelist(Node, Moves),
226 						Moves),
238       decrement_degree(Nodes, IG0, Worklists, Moves, K)
255 enable_moves([], _Worklists, Moves) -> Moves;
256 enable_moves([Node|Nodes], Worklists, Moves) ->
258     true -> enable_moves(Nodes, Worklists, Moves);
261       Node_moves = hipe_moves:node_movelist(Node, Moves),
262       New_moves = enable_moves_active_to_worklist(Node_moves, Moves),
280 enable_moves_active_to_worklist([], Moves) -> Moves;
281 enable_moves_active_to_worklist([Node|Nodes], Moves) ->
283     case hipe_moves:member_active(Node, Moves) of
285 	hipe_moves:add_worklist(Node, hipe_moves:remove_active(Node, Moves));
287 	Moves
556 coalesce(Moves, IG, Worklists, Alias, K, Target) ->
557   case hipe_moves:worklist_get_and_remove(Moves) of
627 add_worklist(Worklists, U, K, Moves, IG, Target) ->
629 	andalso not(hipe_moves:move_related(U, Moves))
655 combine(U, V, IG, Worklists, Moves, Alias, K, Target) ->
671 				      ordsets:union(hipe_moves:node_moves(U, Moves),
672 						    hipe_moves:node_moves(V, Moves)),
673 				      Moves),
710 combine_edges([], _U, IG, Worklists, Moves, _K, _Target) ->
711   {IG, Worklists, Moves};
712 combine_edges([T|Ts], U, IG, Worklists, Moves, K, Target={TgtMod,TgtCtx}) ->
714     true -> combine_edges(Ts, U, IG, Worklists, Moves, K, Target);
746 	decrement_degree([T], IG1, Worklists0, Moves, K),
886 selectSpill(WorkLists, Moves, IG, K, Alias, SpillLimit) ->
896   {WorkLists2,Moves1} = freezeMoves(M, K, WorkLists1, Moves, IG, Alias),
943 freeze(K, WorkLists, Moves, IG, Alias) ->
950   {WorkLists1,Moves1} = freezeMoves(U,K,WorkLists0,Moves,IG,Alias),
974 freezeMoves(U, K, WorkLists, Moves, IG, Alias) ->
975   Nodes = hipe_moves:node_moves(U, Moves),
976   freezeEm(U, Nodes, K, WorkLists, Moves, IG, Alias).
981 moves(U, Move, Alias, Moves) ->
982   {X,Y} = hipe_moves:get_move(Move, Moves),
999 freezeEm(_U, [], _K, WorkLists, Moves, _IG, _Alias) ->
1000   {WorkLists,Moves};
1001 freezeEm(U,[M|Ms], K, WorkLists, Moves, IG, Alias) ->
1002   V = moves(U, M, Alias, Moves),
1003   {WorkLists2,Moves2} = freezeEm2(U, V, M, K, WorkLists, Moves, IG, Alias),
1006 freezeEm2(U, V, M, K, WorkLists, Moves, IG, Alias) ->
1007   case hipe_moves:member_active(M, Moves) of
1009       Moves1 = hipe_moves:remove_active(M, Moves),
1012       Moves1 = hipe_moves:remove_worklist(M, Moves),
1016 freezeEm3(_U, V, _M, K, WorkLists, Moves, IG, _Alias) ->
1017   Moves1 = Moves, % drop frozen move M