-----------------------------------------------------------------------------
--
--- CmmLint: checking the correctness of Cmm statements and expressions
+-- (c) The University of Glasgow 2004-2006
--
--- (c) The University of Glasgow 2004
+-- CmmLint: checking the correctness of Cmm statements and expressions
--
-----------------------------------------------------------------------------
#include "HsVersions.h"
import Cmm
-import CLabel ( pprCLabel )
+import CLabel
import MachOp
import Outputable
import PprCmm
-import Unique ( getUnique )
-import Constants ( wORD_SIZE )
+import Unique
+import Constants
-import Monad ( when )
+import Control.Monad
-- -----------------------------------------------------------------------------
-- Exported entry points:
lintCmmExpr r
return ()
lintCmmStmt (CmmCall _target _res args _vols) = mapM_ (lintCmmExpr.fst) args
-lintCmmStmt (CmmCondBranch e _id) = lintCmmExpr e >> return ()
+lintCmmStmt (CmmCondBranch e _id) = lintCmmExpr e >> checkCond e >> return ()
lintCmmStmt (CmmSwitch e _branches) = lintCmmExpr e >> return ()
lintCmmStmt (CmmJump e _args) = lintCmmExpr e >> return ()
lintCmmStmt _other = return ()
+checkCond (CmmMachOp mop _) | isComparisonMachOp mop = return ()
+checkCond expr = cmmLintErr (hang (text "expression is not a conditional:") 2
+ (ppr expr))
+
-- -----------------------------------------------------------------------------
-- CmmLint monad