X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fcmm%2FCmmSpillReload.hs;h=a939d3dec18cb2a0fc308e3b39637a0b302e1e3a;hb=9d03becc597e5b1ab6c8466209a1263bf8ba6f29;hp=707a571b3fcbf7901dd3745011d49134038dc290;hpb=d3ff015a17804b31727b41e3e9dff03b6a654143;p=ghc-hetmet.git diff --git a/compiler/cmm/CmmSpillReload.hs b/compiler/cmm/CmmSpillReload.hs index 707a571..a939d3d 100644 --- a/compiler/cmm/CmmSpillReload.hs +++ b/compiler/cmm/CmmSpillReload.hs @@ -205,7 +205,8 @@ data AvailRegs = UniverseMinus RegSet availRegsLattice :: DataflowLattice AvailRegs -availRegsLattice = DataflowLattice "register gotten from reloads" empty add True +availRegsLattice = DataflowLattice "register gotten from reloads" empty add False + -- last True <==> debugging on where empty = UniverseMinus emptyRegSet -- | compute in the Tx monad to track whether anything has changed add new old = @@ -241,7 +242,7 @@ cmmAvailableReloads :: LGraph M Last -> BlockEnv AvailRegs cmmAvailableReloads g = env where env = runDFA availRegsLattice $ do run_f_anal avail_reloads_transfer (fact_bot availRegsLattice) g - allFacts + getAllFacts avail_reloads_transfer :: FAnalysis M Last AvailRegs avail_reloads_transfer = FComp "available-reloads analysis" first middle last exit