CmmLint.hs 565 Bytes
Newer Older
1 2
-----------------------------------------------------------------------------
--
3
-- (c) The University of Glasgow 2011
4
--
Simon Marlow's avatar
Simon Marlow committed
5
-- CmmLint: checking the correctness of Cmm statements and expressions
6 7 8 9
--
-----------------------------------------------------------------------------

module CmmLint (
10
    cmmLint
11 12
  ) where

13
import Cmm
Simon Marlow's avatar
Simon Marlow committed
14
import Outputable
15

16
cmmLint :: CmmGraph -> IO ()
Simon Marlow's avatar
Simon Marlow committed
17
cmmLint g = return () -- TODO!!
18

19 20 21 22
-- Things to check:
--     - invariant on CmmBlock in CmmExpr (see comment there)
--     - check for branches to blocks that don't exist
--     - check types