projects / ghc-hetmet.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
[project @ 2001-09-04 18:29:20 by ken]
[ghc-hetmet.git] / ghc / compiler / main / DriverPipeline.hs
diff --git a/ghc/compiler/main/DriverPipeline.hs b/ghc/compiler/main/DriverPipeline.hs
index 99e34db..4ab9f55 100644 (file)
--- a/ghc/compiler/main/DriverPipeline.hs
+++ b/ghc/compiler/main/DriverPipeline.hs
@@ -1,5 +1,4 @@
 -----------------------------------------------------------------------------
--- $Id: DriverPipeline.hs,v 1.96 2001/08/10 23:08:25 sof Exp $
 --
 -- GHC Driver
 --
@@ -174,8 +173,11 @@ genPipeline todo stop_flag persistent_output lang (filename,suffix)
 
        HscJava | split           -> not_valid
                | otherwise       -> error "not implemented: compiling via Java"
+#ifdef ILX
        HscILX  | split           -> not_valid
-               | otherwise       -> [ Unlit, Cpp, Hsc ]
+               | otherwise       -> [ Unlit, Cpp, Hsc, Ilx2Il, Ilasm ]
+#endif
+       HscNothing                -> [ Unlit, Cpp, Hsc ]
 
       | cish      = [ Cc, As ]
 
@@ -264,7 +266,7 @@ runPipeline pipeline (input_fn,suffix) do_linking use_ofile
   where (basename, _) = splitFilename input_fn
 
 pipeLoop [] input_fn _ _ _ _ = return input_fn
-pipeLoop ((phase, keep, o_suffix):phases) 
+pipeLoop (all_phases@((phase, keep, o_suffix):phases))
        (input_fn,real_suff) do_linking use_ofile orig_basename orig_suffix
   = do
 
@@ -275,7 +277,7 @@ pipeLoop ((phase, keep, o_suffix):phases)
        -- checker has determined that recompilation isn't necessary.
      case mbCarryOn of
        Nothing -> do
-             let (_,keep,final_suffix) = last phases
+             let (_,keep,final_suffix) = last all_phases
              ofile <- outputFileName True keep final_suffix
              return (ofile, final_suffix)
           -- carry on ...
@@ -330,8 +332,8 @@ run_phase Unlit _basename _suff input_fn output_fn
        SysTools.runUnlit (map SysTools.Option unlit_flags ++
                                  [ SysTools.Option     "-h"
                          , SysTools.Option     input_fn
-                         , SysTools.FileOption input_fn
-                         , SysTools.FileOption output_fn
+                         , SysTools.FileOption "" input_fn
+                         , SysTools.FileOption "" output_fn
                          ])
        return (Just output_fn)
 
@@ -365,10 +367,11 @@ run_phase Cpp basename suff input_fn output_fn
                            ++ map SysTools.Option hs_src_cpp_opts
                            ++ map SysTools.Option hscpp_opts
                            ++ map SysTools.Option md_c_flags
-                           ++ [ SysTools.Option     "-x c"
-                              , SysTools.FileOption input_fn
+                           ++ [ SysTools.Option     "-x"
+                              , SysTools.Option     "c"
+                              , SysTools.FileOption "" input_fn
                               , SysTools.Option     "-o"
-                              , SysTools.FileOption output_fn
+                              , SysTools.FileOption "" output_fn
                               ])
            return (Just output_fn)
 
@@ -468,7 +471,7 @@ run_phase Hsc basename suff input_fn output_fn
 
   -- build a ModuleLocation to pass to hscMain.
        (mod, location')
-          <- mkHomeModuleLocn mod_name basename (Just (basename ++ '.':suff))
+          <- mkHomeModuleLocn mod_name basename (basename ++ '.':suff)
 
   -- take -ohi into account if present
        ohi <- readIORef v_Output_hi
@@ -533,13 +536,14 @@ run_phase Hsc basename suff input_fn output_fn
            HscRecomp pcs details iface stub_h_exists stub_c_exists
                      _maybe_interpreted_code -> do
 
-           -- deal with stubs
-       maybe_stub_o <- compileStub dyn_flags' stub_c_exists
-       case maybe_stub_o of
-               Nothing -> return ()
-               Just stub_o -> add v_Ld_inputs stub_o
-
-       return (Just output_fn)
+                           -- deal with stubs
+                           maybe_stub_o <- compileStub dyn_flags' stub_c_exists
+                           case maybe_stub_o of
+                             Nothing -> return ()
+                             Just stub_o -> add v_Ld_inputs stub_o
+                           case hscLang dyn_flags of
+                              HscNothing -> return Nothing
+                             _ -> return (Just output_fn)
     }
 
 -----------------------------------------------------------------------------
@@ -578,10 +582,10 @@ run_phase cc_phase basename suff input_fn output_fn
                      | otherwise         = [ ]
 
        excessPrecision <- readIORef v_Excess_precision
-       SysTools.runCc ([ SysTools.Option "-x c"
-                       , SysTools.FileOption input_fn
+       SysTools.runCc ([ SysTools.Option "-x", SysTools.Option "c"
+                       , SysTools.FileOption "" input_fn
                        , SysTools.Option "-o"
-                       , SysTools.FileOption output_fn
+                       , SysTools.FileOption "" output_fn
                        ]
                       ++ map SysTools.Option (
                          md_c_flags
@@ -611,8 +615,8 @@ run_phase Mangle _basename _suff input_fn output_fn
                       else return []
 
        SysTools.runMangle (map SysTools.Option mangler_opts
-                         ++ [ SysTools.FileOption input_fn
-                            , SysTools.FileOption output_fn
+                         ++ [ SysTools.FileOption "" input_fn
+                            , SysTools.FileOption "" output_fn
                             ]
                          ++ map SysTools.Option machdep_opts)
        return (Just output_fn)
@@ -626,9 +630,9 @@ run_phase SplitMangle _basename _suff input_fn output_fn
        split_s_prefix <- SysTools.newTempName "split"
        let n_files_fn = split_s_prefix
 
-       SysTools.runSplit [ SysTools.FileOption input_fn
-                         , SysTools.FileOption split_s_prefix
-                         , SysTools.FileOption n_files_fn
+       SysTools.runSplit [ SysTools.FileOption "" input_fn
+                         , SysTools.FileOption "" split_s_prefix
+                         , SysTools.FileOption "" n_files_fn
                          ]
 
        -- Save the number of split files for future references
@@ -652,9 +656,9 @@ run_phase As _basename _suff input_fn output_fn
        SysTools.runAs (map SysTools.Option as_opts
                       ++ [ SysTools.Option ("-I" ++ p) | p <- cmdline_include_paths ]
                       ++ [ SysTools.Option "-c"
-                         , SysTools.FileOption input_fn
+                         , SysTools.FileOption "" input_fn
                          , SysTools.Option "-o"
-                         , SysTools.FileOption output_fn
+                         , SysTools.FileOption "" output_fn
                          ])
        return (Just output_fn)
 
@@ -676,13 +680,43 @@ run_phase SplitAs basename _suff _input_fn output_fn
                    SysTools.runAs (map SysTools.Option as_opts ++
                                    [ SysTools.Option "-c"
                                    , SysTools.Option "-o"
-                                   , SysTools.FileOption real_o
-                                   , SysTools.FileOption input_s
+                                   , SysTools.FileOption "" real_o
+                                   , SysTools.FileOption "" input_s
                                    ])
        
        mapM_ assemble_file [1..n]
        return (Just output_fn)
 
+#ifdef ILX
+-----------------------------------------------------------------------------
+-- Ilx2Il phase
+-- Run ilx2il over the ILX output, getting an IL file
+
+run_phase Ilx2Il _basename _suff input_fn output_fn
+  = do ilx2il_opts <- getOpts opt_I
+        SysTools.runIlx2il (map SysTools.Option ilx2il_opts
+                           ++ [ SysTools.Option "--no-add-suffix-to-assembly",
+                               SysTools.Option "mscorlib",
+                               SysTools.Option "-o",
+                               SysTools.FileOption "" output_fn,
+                               SysTools.FileOption "" input_fn ])
+       return (Just output_fn)
+
+-----------------------------------------------------------------------------
+-- Ilasm phase
+-- Run ilasm over the IL, getting a DLL
+
+run_phase Ilasm _basename _suff input_fn output_fn
+  = do ilasm_opts <- getOpts opt_i
+        SysTools.runIlasm (map SysTools.Option ilasm_opts
+                          ++ [ SysTools.Option "/QUIET",
+                               SysTools.Option "/DLL",
+                               SysTools.FileOption "/OUT=" output_fn,
+                               SysTools.FileOption "" input_fn ])
+       return (Just output_fn)
+
+#endif -- ILX
+
 -----------------------------------------------------------------------------
 -- MoveBinary sort-of-phase
 -- After having produced a binary, move it somewhere else and generate a
@@ -820,7 +854,7 @@ doLink o_files = do
     (md_c_flags, _) <- machdepCCOpts
     SysTools.runLink ( [ SysTools.Option verb
                       , SysTools.Option "-o"
-                      , SysTools.FileOption output_fn
+                      , SysTools.FileOption "" output_fn
                       ]
                      ++ map SysTools.Option (
                         md_c_flags
@@ -834,13 +868,8 @@ doLink o_files = do
                      ++ pkg_extra_ld_opts
                      ++ extra_ld_opts
                      ++ if static && not no_hs_main then
-#ifdef LEADING_UNDERSCORE
-                           [ "-u", "_PrelMain_mainIO_closure" ,
-                             "-u", "___init_PrelMain"] 
-#else
-                           [ "-u", prefixUnderscore "PrelMain_mainIO_closure" ,
-                             "-u", prefixUnderscore "__init_PrelMain"] 
-#endif
+                           [ "-u", prefixUnderscore "PrelMain_mainIO_closure",
+                             "-u", prefixUnderscore "__stginit_PrelMain"] 
                         else []))
 
     -- parallel only: move binary to another dir -- HWL
@@ -896,7 +925,7 @@ doMkDLL o_files = do
     SysTools.runMkDLL
         ([ SysTools.Option verb
          , SysTools.Option "-o"
-         , SysTools.FileOption output_fn
+         , SysTools.FileOption "" output_fn
          ]
         ++ map SysTools.Option (
            md_c_flags
@@ -998,9 +1027,11 @@ compile ghci_mode summary source_unchanged have_object
           HscC    | keep_hc   -> return (basename ++ '.':phaseInputExt HCc)
                   | otherwise -> newTempName (phaseInputExt HCc)
            HscJava             -> newTempName "java" -- ToDo
-          HscILX              -> return (basename ++ ".ilx")   
-                                   -- newTempName "ilx"        -- ToDo
+#ifdef ILX
+          HscILX              -> return (phaseInputExt Ilx2Il)         
+#endif
           HscInterpreted      -> return (error "no output file")
+           HscNothing         -> return (error "no output file")
 
    let dyn_flags' = dyn_flags { hscOutName = output_fn,
                                hscStubCOutName = basename ++ "_stub.c",
@@ -1021,10 +1052,14 @@ compile ghci_mode summary source_unchanged have_object
 
    writeIORef v_HCHeader cc_injects
 
+   -- -no-recomp should also work with --make
+   do_recomp <- readIORef v_Recomp
+   let source_unchanged' = source_unchanged && do_recomp
+
    -- run the compiler
    hsc_result <- hscMain ghci_mode dyn_flags'
                         (ms_mod summary) location
-                        source_unchanged have_object old_iface hst hit pcs
+                        source_unchanged' have_object old_iface hst hit pcs
 
    case hsc_result of
       HscFail pcs -> return (CompErrs pcs)
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)