- main_mod_name = case mb_main_mod of
- Just mod_name -> mkModuleName mod_name
- Nothing -> mAIN_Name
- main_init_block
- | Module.moduleName this_mod /= main_mod_name
- = AbsCNop -- The normal case
- | otherwise -- this_mod contains the main function
- = CCodeBlock (mkPlainModuleInitLabel rOOT_MAIN)
- (CJump (CLbl (mkPlainModuleInitLabel this_mod) CodePtrRep))
-
- in
- mkAbstractCs [
- cc_decls,
- CModuleInitBlock (mkPlainModuleInitLabel this_mod)
- (mkModuleInitLabel this_mod way)
- (mkAbstractCs (register_foreign_exports ++
- cc_regs :
- register_mod_imports)),
- main_init_block
- ]
+ ; whenC (this_mod == main_mod)
+ (emitSimpleProc plain_main_init_lbl jump_to_init)
+ }
+ where
+ plain_init_lbl = mkPlainModuleInitLabel hmods this_mod
+ real_init_lbl = mkModuleInitLabel hmods this_mod way
+ plain_main_init_lbl = mkPlainModuleInitLabel hmods rOOT_MAIN
+
+ jump_to_init = stmtC (CmmJump (mkLblExpr real_init_lbl) [])
+
+ mod_reg_val = CmmLoad (mkLblExpr moduleRegdLabel) wordRep
+
+ -- Main refers to GHC.TopHandler.runIO, so make sure we call the
+ -- init function for GHC.TopHandler.
+ extra_imported_mods
+ | this_mod == main_mod = [pREL_TOP_HANDLER]
+ | otherwise = []
+
+ mod_init_code = do
+ { -- Set mod_reg to 1 to record that we've been here
+ stmtC (CmmStore (mkLblExpr moduleRegdLabel) (CmmLit (mkIntCLit 1)))
+
+ -- Now do local stuff
+ ; initCostCentres cost_centre_info
+ ; mapCs (registerModuleImport hmods way)
+ (imported_mods++extra_imported_mods)
+ }
+
+ -- The return-code pops the work stack by
+ -- incrementing Sp, and then jumpd to the popped item
+ ret_code = stmtsC [ CmmAssign spReg (cmmRegOffW spReg 1)
+ , CmmJump (CmmLoad (cmmRegOffW spReg (-1)) wordRep) [] ]
+
+-----------------------
+registerModuleImport :: HomeModules -> String -> Module -> Code
+registerModuleImport hmods way mod
+ | mod == gHC_PRIM
+ = nopC
+ | otherwise -- Push the init procedure onto the work stack
+ = stmtsC [ CmmAssign spReg (cmmRegOffW spReg (-1))
+ , CmmStore (CmmReg spReg) (mkLblExpr (mkModuleInitLabel hmods mod way)) ]