More codegen refactoring with simonpj
[ghc.git] / compiler / cmm / CmmLint.hs
1 -----------------------------------------------------------------------------
2 --
3 -- (c) The University of Glasgow 2011
4 --
5 -- CmmLint: checking the correctness of Cmm statements and expressions
6 --
7 -----------------------------------------------------------------------------
8
9 module CmmLint (
10 cmmLint
11 ) where
12
13 import Cmm
14
15 cmmLint :: CmmGraph -> IO ()
16 cmmLint g = pprTrace "ToDo! CmmLint" return ()
17
18 -- Things to check:
19 -- - invariant on CmmBlock in CmmExpr (see comment there)
20 -- - check for branches to blocks that don't exist
21 -- - check types