From: Simon Marlow Date: Tue, 20 Jun 2006 14:12:04 +0000 (+0000) Subject: check that the argument to CmmCondBranch is really a conditional X-Git-Tag: Before_FC_branch_merge~359 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=ba40c9828ce8ce18e834af4f832792365d82e319 check that the argument to CmmCondBranch is really a conditional --- diff --git a/compiler/cmm/CmmLint.hs b/compiler/cmm/CmmLint.hs index fbfb14c..83444e5 100644 --- a/compiler/cmm/CmmLint.hs +++ b/compiler/cmm/CmmLint.hs @@ -118,11 +118,15 @@ lintCmmStmt (CmmStore l r) = do 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