-----------------------------------------------------------------------------
--- $Id: DriverPhases.hs,v 1.2 2000/11/13 14:34:37 sewardj Exp $
+-- $Id: DriverPhases.hs,v 1.25 2003/06/04 15:47:59 simonmar Exp $
--
-- GHC Driver
--
--- (c) Simon Marlow 2000
+-- (c) The University of Glasgow 2002
--
-----------------------------------------------------------------------------
+#include "../includes/config.h"
+
module DriverPhases (
Phase(..),
+ happensBefore,
startPhase, -- :: String -> Phase
phaseInputExt, -- :: Phase -> String
- haskellish_file,
- haskellish_suffix,
- cish_file,
- cish_suffix
+ haskellish_file, haskellish_suffix,
+ haskellish_src_file, haskellish_src_suffix,
+ objish_file, objish_suffix,
+ cish_file, cish_suffix,
+ isExtCore_file, extcoreish_suffix,
+ isSourceFile -- :: FilePath -> Bool
) where
import DriverUtil
-}
data Phase
- = MkDependHS -- haskell dependency generation
- | Unlit
+ = Unlit
| Cpp
+ | HsPp
| Hsc
| Cc
| HCc -- Haskellised C (as opposed to vanilla C) compilation
| SplitMangle -- after mangler if splitting
| SplitAs
| As
- | Ln
- deriving (Eq)
+ | Ln
+#ifdef ILX
+ | Ilx2Il
+ | Ilasm
+#endif
+ deriving (Eq, Show)
+
+-- Partial ordering on phases: we want to know which phases will occur before
+-- which others. This is used for sanity checking, to ensure that the
+-- pipeline will stop at some point (see DriverPipeline.runPipeline).
+x `happensBefore` y
+ | x `elem` haskell_pipe = y `elem` tail (dropWhile (/= x) haskell_pipe)
+ | x `elem` c_pipe = y `elem` tail (dropWhile (/= x) c_pipe)
+ | otherwise = False
+
+haskell_pipe = [Unlit,Cpp,HsPp,Hsc,HCc,Mangle,As,Ln]
+c_pipe = [Cc,As,Ln]
-- the first compilation phase for a given file is determined
-- by its suffix.
startPhase "lhs" = Unlit
startPhase "hs" = Cpp
-startPhase "hspp" = Hsc -- not sure this will work ...
+startPhase "hscpp" = HsPp
+startPhase "hspp" = Hsc
+startPhase "hcr" = Hsc
startPhase "hc" = HCc
startPhase "c" = Cc
+startPhase "cpp" = Cc
+startPhase "C" = Cc
+startPhase "cc" = Cc
+startPhase "cxx" = Cc
startPhase "raw_s" = Mangle
startPhase "s" = As
startPhase "S" = As
-- the input requirements of the next phase.
phaseInputExt Unlit = "lhs"
phaseInputExt Cpp = "lpp" -- intermediate only
-phaseInputExt Hsc = "hspp" -- intermediate only
+phaseInputExt HsPp = "hscpp"
+phaseInputExt Hsc = "hspp"
phaseInputExt HCc = "hc"
phaseInputExt Cc = "c"
phaseInputExt Mangle = "raw_s"
phaseInputExt As = "s"
phaseInputExt SplitAs = "split_s" -- not really generated
phaseInputExt Ln = "o"
-phaseInputExt MkDependHS = "dep"
+#ifdef ILX
+phaseInputExt Ilx2Il = "ilx"
+phaseInputExt Ilasm = "il"
+#endif
+
+haskellish_suffix = (`elem` [ "hs", "lhs", "hspp", "hscpp", "hcr", "hc", "raw_s" ])
+haskellish_src_suffix = (`elem` [ "hs", "lhs", "hspp", "hscpp", "hcr"])
+cish_suffix = (`elem` [ "c", "cpp", "C", "cc", "cxx", "s", "S" ])
+extcoreish_suffix = (`elem` [ "hcr" ])
-haskellish_suffix = (`elem` [ "hs", "lhs", "hc" ])
-cish_suffix = (`elem` [ "c", "s", "S" ]) -- maybe .cc et al.??
+-- Use the appropriate suffix for the system on which
+-- the GHC-compiled code will run
+#if mingw32_TARGET_OS || cygwin32_TARGET_OS
+objish_suffix = (`elem` [ "o", "O", "obj", "OBJ" ])
+#else
+objish_suffix = (`elem` [ "o" ])
+#endif
-haskellish_file f = haskellish_suffix suf where (_,suf) = splitFilename f
-cish_file f = cish_suffix suf where (_,suf) = splitFilename f
+haskellish_file = haskellish_suffix . getFileSuffix
+haskellish_src_file = haskellish_src_suffix . getFileSuffix
+cish_file = cish_suffix . getFileSuffix
+isExtCore_file = extcoreish_suffix . getFileSuffix
+objish_file = objish_suffix . getFileSuffix
+isSourceFile :: FilePath -> Bool
+isSourceFile f =
+ haskellish_file f ||
+ cish_file f