diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2012-03-13 13:23:41 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2012-03-15 13:25:15 +0000 |
| commit | b7a8f31caf97d11fd648975448bc3aaacea83ef3 (patch) | |
| tree | 709964b668e020fc8886c52b132aca7ddd85e9af /compiler/cmm/CmmLive.hs | |
| parent | 0dba52a5d1304437529e2fd14d79b01508990806 (diff) | |
| download | haskell-b7a8f31caf97d11fd648975448bc3aaacea83ef3.tar.gz | |
take the analyses out of the FuelUniqSM monad
Diffstat (limited to 'compiler/cmm/CmmLive.hs')
| -rw-r--r-- | compiler/cmm/CmmLive.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/cmm/CmmLive.hs b/compiler/cmm/CmmLive.hs index 82234f8dc5..ac9c38b448 100644 --- a/compiler/cmm/CmmLive.hs +++ b/compiler/cmm/CmmLive.hs @@ -44,9 +44,9 @@ type BlockEntryLiveness = BlockEnv CmmLive -- | Calculated liveness info for a CmmGraph ----------------------------------------------------------------------------- -cmmLiveness :: CmmGraph -> FuelUniqSM BlockEntryLiveness +cmmLiveness :: CmmGraph -> BlockEntryLiveness cmmLiveness graph = - liftM check $ dataflowAnalBwd graph [] $ analBwd liveLattice xferLive + check $ dataflowAnalBwd graph [] $ analBwd liveLattice xferLive where entry = g_entry graph check facts = noLiveOnEntry entry (expectJust "check" $ mapLookup entry facts) facts |