hipe/regalloc/hipe_optimistic_regalloc.erl

348 do_coloring(IG, Worklists, Moves, Alias, K, SpillLimit, Target) ->
350   Coalesce = not(hipe_moves:is_empty_worklist(Moves)),
358 		   Moves,
363 	coalesce_O(Moves, IG, Worklists, Alias, K, Target),
367 	freeze(K, Worklists, Moves, IG, Alias),
371 	selectSpill_O(Worklists, Moves, IG, K, Alias, SpillLimit),
374       {IG, Worklists, Moves, Alias}
397 do_coalescing(IG, Worklists, Moves, Alias, K, Target) ->
398   case hipe_moves:is_empty_worklist(Moves) of
400       {IG, Moves, Alias, Worklists};
403 	coalesce(Moves, IG, Worklists, Alias, K, Target),
428 do_simplify_or_spill(IG, Worklists, Moves, Alias, K, SpillLimit, Target) ->
436 		 Moves,
443       do_simplify_or_spill(IG, Worklists0, Moves, Alias,
446       {IG, Worklists, Moves, Alias}
486 simplify_O([], IG, Worklists, Moves, _K) ->
487   {IG, Worklists, Moves};
488 simplify_O([Node|Nodes], IG, Worklists, Moves, K) ->
494     decrement_degree_O(Adjacent, IG, Worklists01, Moves, K),
516 simplify([], IG, Worklists, Moves, _K) ->
517   {IG, Worklists, Moves};
518 simplify([Node|Nodes], IG, Worklists, Moves, K) ->
524   simplify(Nodes, New_ig, Worklists1, Moves, K).
546 decrement_degree_O([], IG, Worklists, Moves, _K) ->
547   {IG, Worklists, Moves};
548 decrement_degree_O([Node|Nodes], IG, Worklists, Moves, K) ->
555       Moves00 = enable_moves_active_to_worklist(hipe_moves:node_movelist(Node, Moves),
556 						Moves),
568       decrement_degree_O(Nodes, IG0, Worklists, Moves, K)
620 enable_moves([], _Worklists, Moves) -> Moves;
621 enable_moves([Node|Nodes], Worklists, Moves) ->
623     true -> enable_moves(Nodes, Worklists, Moves);
626       Node_moves = hipe_moves:node_movelist(Node, Moves),
627       New_moves = enable_moves_active_to_worklist(Node_moves, Moves),
647 enable_moves_active_to_worklist([], Moves) -> Moves;
648 enable_moves_active_to_worklist([Node|Nodes], Moves) ->
649   case hipe_moves:member_active(Node, Moves) of
652 	hipe_moves:add_worklist(Node, hipe_moves:remove_active(Node, Moves)),
655       enable_moves_active_to_worklist(Nodes, Moves)
1279 coalesce(Moves, IG, Worklists, Alias, K, Target) ->
1280   case hipe_moves:worklist_get_and_remove(Moves) of
1346 coalesce_O(Moves, IG, Worklists, Alias, K, Target) ->
1347   case hipe_moves:worklist_get_and_remove(Moves) of
1421 add_worklist(Worklists, U, K, Moves, IG, Target) ->
1423 	andalso not(hipe_moves:move_related(U, Moves))
1451 combine_O(U, V, IG, Worklists, Moves, Alias, K, Target) ->
1467 				      ordsets:union(hipe_moves:node_moves(U, Moves),
1468 						    hipe_moves:node_moves(V, Moves)),
1469 				      Moves),
1566 combine_edges_O([], _U, IG, Worklists, Moves, _K, _Target) ->
1567   {IG, Worklists, Moves};
1568 combine_edges_O([T|Ts], U, IG, Worklists, Moves, K, Target={TgtMod,TgtCtx}) ->
1570     true -> combine_edges_O(Ts, U, IG, Worklists, Moves, K, Target);
1602 	decrement_degree_O([T], IG1, Worklists0, Moves, K),
1904 selectSpill_O(WorkLists, Moves, IG, K, Alias, SpillLimit) ->
1914   {WorkLists2,Moves1} = freezeMoves(M, K, WorkLists1, Moves, IG, Alias),
1966 freeze(K, WorkLists, Moves, IG, Alias) ->
1973   {WorkLists1, Moves1} = freezeMoves(U, K, WorkLists0, Moves, IG, Alias),
1999 freezeMoves(U, K, WorkLists, Moves, IG, Alias) ->
2000   Nodes = hipe_moves:node_moves(U, Moves),
2001   freezeEm(U, Nodes, K, WorkLists, Moves, IG, Alias).
2006 moves(U, Move, Alias, Moves) ->
2007   {X,Y} = hipe_moves:get_move(Move, Moves),
2024 freezeEm(_U, [], _K, WorkLists, Moves, _IG, _Alias) ->
2025   {WorkLists,Moves};
2026 freezeEm(U, [M|Ms], K, WorkLists, Moves, IG, Alias) ->
2027   V = moves(U, M, Alias, Moves),
2028   {WorkLists2,Moves2} = freezeEm2(U, V, M, K, WorkLists, Moves, IG, Alias),
2031 freezeEm2(U, V, M, K, WorkLists, Moves, IG, Alias) ->
2032   case hipe_moves:member_active(M, Moves) of
2034       Moves1 = hipe_moves:remove_active(M, Moves),
2037       Moves1 = hipe_moves:remove_worklist(M, Moves),
2041 freezeEm3(_U,V,_M,K,WorkLists,Moves,IG,_Alias) ->
2042   Moves1 = Moves, % drop frozen move M