diff options
author | Michael Schmidt <github@mschmidt.me> | 2015-10-14 15:07:48 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2015-10-14 15:07:48 +0200 |
commit | 60ab550a952c3d9719b2a91ec90c9b58769f6717 (patch) | |
tree | 523cf4eb5a35594b16a297b4bd7e29157f42b0fc /backend/IRC.ml | |
parent | a479c280441b91007c379b0b63b907926d54f930 (diff) | |
download | compcert-60ab550a952c3d9719b2a91ec90c9b58769f6717.tar.gz compcert-60ab550a952c3d9719b2a91ec90c9b58769f6717.zip |
bug 17392: remove trailing whitespace in source files
Diffstat (limited to 'backend/IRC.ml')
-rw-r--r-- | backend/IRC.ml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/backend/IRC.ml b/backend/IRC.ml index dcd8624a..eb677069 100644 --- a/backend/IRC.ml +++ b/backend/IRC.ml @@ -163,7 +163,7 @@ module DLinkMove = struct type t = move let make state = let rec empty = - { src = DLinkNode.dummy; dst = DLinkNode.dummy; + { src = DLinkNode.dummy; dst = DLinkNode.dummy; mstate = state; mprev = empty; mnext = empty } in empty let dummy = make CoalescedMoves @@ -301,7 +301,7 @@ let init costs = worklistMoves = DLinkMove.make WorklistMoves; activeMoves = DLinkMove.make ActiveMoves } - + (* Create nodes corresponding to XTL variables *) let weightedSpillCost st = @@ -312,7 +312,7 @@ let weightedSpillCost st = let newNodeOfReg g r ty = let st = g.stats_of_reg r in g.nextIdent <- g.nextIdent + 1; - { ident = g.nextIdent; typ = ty; + { ident = g.nextIdent; typ = ty; var = V(r, ty); regclass = if st.cost >= 0 then class_of_type ty else no_spill_class; accesses = st.usedefs; @@ -328,7 +328,7 @@ let newNodeOfReg g r ty = let newNodeOfLoc g l = let ty = Loc.coq_type l in g.nextIdent <- g.nextIdent + 1; - { ident = g.nextIdent; typ = ty; + { ident = g.nextIdent; typ = ty; var = L l; regclass = class_of_type ty; accesses = 0; spillcost = 0.0; adjlist = []; degree = 0; movelist = []; extra_adj = []; extra_pref = []; @@ -608,9 +608,9 @@ let canCoalesceGeorge g u v = - If [u] is precolored, use George's criterion. - If [u] is not precolored, use Briggs's criterion. - As noted by Hailperin, for non-precolored nodes, George's criterion + As noted by Hailperin, for non-precolored nodes, George's criterion is incomparable with Briggs's: there are cases where G says yes - and B says no. Typically, [u] is a long-lived variable with many + and B says no. Typically, [u] is a long-lived variable with many interferences, and [v] is a short-lived temporary copy of [u] that has no more interferences than [u]. Coalescing [u] and [v] is "weakly safe" in Hailperin's terminology: [u] is no harder to color, @@ -690,7 +690,7 @@ let coalesce g = combine g u v; addWorkList g u end else begin - DLinkMove.insert m g.activeMoves + DLinkMove.insert m g.activeMoves end (* Freeze moves associated with node [u] *) |