-opt_AllDemanded = lookup SLIT("-fall-demanded")
-opt_AllStrict = lookup SLIT("-fall-strict")
-opt_AutoSccsOnAllToplevs = lookup SLIT("-fauto-sccs-on-all-toplevs")
-opt_AutoSccsOnExportedToplevs = lookup SLIT("-fauto-sccs-on-exported-toplevs")
-opt_AutoSccsOnIndividualCafs = lookup SLIT("-fauto-sccs-on-individual-cafs")
-opt_CompilingPrelude = lookup SLIT("-prelude")
-opt_D_dump_absC = lookup SLIT("-ddump-absC")
-opt_D_dump_asm = lookup SLIT("-ddump-asm")
-opt_D_dump_deforest = lookup SLIT("-ddump-deforest")
-opt_D_dump_deriv = lookup SLIT("-ddump-deriv")
-opt_D_dump_ds = lookup SLIT("-ddump-ds")
-opt_D_dump_flatC = lookup SLIT("-ddump-flatC")
-opt_D_dump_occur_anal = lookup SLIT("-ddump-occur-anal")
-opt_D_dump_rdr = lookup SLIT("-ddump-rdr")
-opt_D_dump_realC = lookup SLIT("-ddump-realC")
-opt_D_dump_rn = lookup SLIT("-ddump-rn")
-opt_D_dump_simpl = lookup SLIT("-ddump-simpl")
-opt_D_dump_spec = lookup SLIT("-ddump-spec")
-opt_D_dump_stg = lookup SLIT("-ddump-stg")
-opt_D_dump_stranal = lookup SLIT("-ddump-stranal")
-opt_D_dump_tc = lookup SLIT("-ddump-tc")
-opt_D_show_passes = lookup SLIT("-dshow-passes")
-opt_D_simplifier_stats = lookup SLIT("-dsimplifier-stats")
-opt_D_source_stats = lookup SLIT("-dsource-stats")
-opt_D_verbose_core2core = lookup SLIT("-dverbose-simpl")
-opt_D_verbose_stg2stg = lookup SLIT("-dverbose-stg")
-opt_DoCoreLinting = lookup SLIT("-dcore-lint")
-opt_DoSemiTagging = lookup SLIT("-fsemi-tagging")
-opt_DoTickyProfiling = lookup SLIT("-fticky-ticky")
-opt_EmitArityChecks = lookup SLIT("-darity-checks")
-opt_FoldrBuildOn = lookup SLIT("-ffoldr-build-on")
-opt_FoldrBuildTrace = lookup SLIT("-ffoldr-build-trace")
-opt_ForConcurrent = lookup SLIT("-fconcurrent")
-opt_GlasgowExts = lookup SLIT("-fglasgow-exts")
-opt_Haskell_1_3 = lookup SLIT("-fhaskell-1.3")
-opt_HideBuiltinNames = lookup SLIT("-fhide-builtin-names")
-opt_HideMostBuiltinNames = lookup SLIT("-fmin-builtin-names")
-opt_IgnoreStrictnessPragmas = lookup SLIT("-fignore-strictness-pragmas")
-opt_IrrefutableEverything = lookup SLIT("-firrefutable-everything")
-opt_IrrefutableTuples = lookup SLIT("-firrefutable-tuples")
-opt_WarnNameShadowing = lookup SLIT("-fwarn-name-shadowing")
-opt_NumbersStrict = lookup SLIT("-fnumbers-strict")
-opt_OmitBlackHoling = lookup SLIT("-dno-black-holing")
-opt_OmitDefaultInstanceMethods = lookup SLIT("-fomit-default-instance-methods")
-opt_OmitInterfacePragmas = lookup SLIT("-fomit-interface-pragmas")
-opt_OmitReexportedInstances = lookup SLIT("-fomit-reexported-instances")
-opt_PprStyle_All = lookup SLIT("-dppr-all")
-opt_PprStyle_Debug = lookup SLIT("-dppr-debug")
-opt_PprStyle_User = lookup SLIT("-dppr-user")
-opt_ReportWhyUnfoldingsDisallowed= lookup SLIT("-freport-disallowed-unfoldings")
-opt_SccProfilingOn = lookup SLIT("-fscc-profiling")
-opt_ShowImportSpecs = lookup SLIT("-fshow-import-specs")
-opt_ShowPragmaNameErrs = lookup SLIT("-fshow-pragma-name-errs")
-opt_SigsRequired = lookup SLIT("-fsignatures-required")
-opt_SpecialiseAll = lookup SLIT("-fspecialise-all")
-opt_SpecialiseImports = lookup SLIT("-fspecialise-imports")
-opt_SpecialiseOverloaded = lookup SLIT("-fspecialise-overloaded")
-opt_SpecialiseTrace = lookup SLIT("-ftrace-specialisation")
-opt_SpecialiseUnboxed = lookup SLIT("-fspecialise-unboxed")
-opt_StgDoLetNoEscapes = lookup SLIT("-flet-no-escape")
-opt_Verbose = lookup SLIT("-v")
-opt_AsmTarget = lookup_str "-fasm="
-opt_SccGroup = lookup_str "-G="
-opt_ProduceC = lookup_str "-C="
-opt_ProduceS = lookup_str "-S="
-opt_MustRecompile = lookup SLIT("-fmust-recompile")
-opt_ProduceHi = lookup_str "-hifile=" -- the one to produce this time
-opt_MyHi = lookup_str "-myhifile=" -- the one produced last time
-opt_EnsureSplittableC = lookup_str "-fglobalise-toplev-names="
-opt_UnfoldingUseThreshold = lookup_int "-funfolding-use-threshold"
-opt_UnfoldingCreationThreshold = lookup_int "-funfolding-creation-threshold"
-opt_UnfoldingOverrideThreshold = lookup_int "-funfolding-override-threshold"
-opt_ReturnInRegsThreshold = lookup_int "-freturn-in-regs-threshold"
-
-opt_NoImplicitPrelude = lookup SLIT("-fno-implicit-prelude")
-opt_IgnoreIfacePragmas = lookup SLIT("-fignore-interface-pragmas")
-
-opt_HiSuffix = case (lookup_str "-hisuffix=") of { Nothing -> ".hi" ; Just x -> x }
-opt_SysHiSuffix = case (lookup_str "-syshisuffix=") of { Nothing -> ".hi" ; Just x -> x }
-
-opt_HiDirList = get_dir_list "-i="
-opt_SysHiDirList = get_dir_list "-j="
-
-get_dir_list tag
- = case (lookup_str tag) of
- Nothing -> [{-no dirs to search???-}]
- Just xs -> colon_split xs "" [] -- character and dir accumulators, both reversed...
- where
- colon_split [] cacc dacc = reverse (reverse cacc : dacc)
- colon_split (':' : xs) cacc dacc = colon_split xs "" (reverse cacc : dacc)
- colon_split ( x : xs) cacc dacc = colon_split xs (x : cacc) dacc
-
--- -hisuf, -hisuf-prelude
--- -fno-implicit-prelude
--- -fignore-interface-pragmas
--- importdirs and sysimport dirs
+src_filename :: FAST_STRING
+src_filename = case argv of
+ filename : rest | headFS filename /= '-' -> filename
+ otherwise -> panic "no filename"
+\end{code}
+
+\begin{code}
+-- debugging opts
+opt_D_dump_all {- do not -} = lookUp SLIT("-ddump-all")
+opt_D_dump_most {- export -} = opt_D_dump_all || lookUp SLIT("-ddump-most")
+
+opt_D_dump_absC = opt_D_dump_all || lookUp SLIT("-ddump-absC")
+opt_D_dump_asm = opt_D_dump_all || lookUp SLIT("-ddump-asm")
+opt_D_dump_cpranal = opt_D_dump_most || lookUp SLIT("-ddump-cpranal")
+opt_D_dump_deriv = opt_D_dump_most || lookUp SLIT("-ddump-deriv")
+opt_D_dump_ds = opt_D_dump_most || lookUp SLIT("-ddump-ds")
+opt_D_dump_flatC = opt_D_dump_all || lookUp SLIT("-ddump-flatC")
+opt_D_dump_foreign = opt_D_dump_most || lookUp SLIT("-ddump-foreign-stubs")
+opt_D_dump_inlinings = opt_D_dump_all || lookUp SLIT("-ddump-inlinings")
+opt_D_dump_occur_anal = opt_D_dump_all || lookUp SLIT("-ddump-occur-anal")
+opt_D_dump_parsed = opt_D_dump_most || lookUp SLIT("-ddump-parsed")
+opt_D_dump_realC = opt_D_dump_all || lookUp SLIT("-ddump-realC")
+opt_D_dump_rn = opt_D_dump_most || lookUp SLIT("-ddump-rn")
+opt_D_dump_simpl = opt_D_dump_most || lookUp SLIT("-ddump-simpl")
+opt_D_dump_simpl_iterations = opt_D_dump_all || lookUp SLIT("-ddump-simpl-iterations")
+opt_D_dump_spec = opt_D_dump_most || lookUp SLIT("-ddump-spec")
+opt_D_dump_stg = opt_D_dump_most || lookUp SLIT("-ddump-stg")
+opt_D_dump_stranal = opt_D_dump_most || lookUp SLIT("-ddump-stranal")
+opt_D_dump_tc = opt_D_dump_most || lookUp SLIT("-ddump-tc")
+opt_D_dump_types = opt_D_dump_most || lookUp SLIT("-ddump-types")
+opt_D_dump_rules = opt_D_dump_most || lookUp SLIT("-ddump-rules")
+opt_D_dump_usagesp = opt_D_dump_most || lookUp SLIT("-ddump-usagesp")
+opt_D_dump_cse = opt_D_dump_most || lookUp SLIT("-ddump-cse")
+opt_D_dump_worker_wrapper = opt_D_dump_most || lookUp SLIT("-ddump-workwrap")
+opt_D_show_passes = opt_D_dump_most || lookUp SLIT("-dshow-passes")
+opt_D_dump_rn_trace = opt_D_dump_all || lookUp SLIT("-ddump-rn-trace")
+opt_D_dump_rn_stats = opt_D_dump_most || lookUp SLIT("-ddump-rn-stats")
+opt_D_dump_stix = opt_D_dump_all || lookUp SLIT("-ddump-stix")
+opt_D_dump_simpl_stats = opt_D_dump_most || lookUp SLIT("-ddump-simpl-stats")
+opt_D_source_stats = opt_D_dump_most || lookUp SLIT("-dsource-stats")
+opt_D_verbose_core2core = opt_D_dump_all || lookUp SLIT("-dverbose-simpl")
+opt_D_verbose_stg2stg = opt_D_dump_all || lookUp SLIT("-dverbose-stg")
+opt_D_dump_minimal_imports = lookUp SLIT("-ddump-minimal-imports")
+
+opt_DoCoreLinting = lookUp SLIT("-dcore-lint")
+opt_DoStgLinting = lookUp SLIT("-dstg-lint")
+opt_DoUSPLinting = lookUp SLIT("-dusagesp-lint")
+opt_PprStyle_NoPrags = lookUp SLIT("-dppr-noprags")
+opt_PprStyle_Debug = lookUp SLIT("-dppr-debug")
+opt_PprUserLength = lookup_def_int "-dppr-user-length" 5 --ToDo: give this a name
+
+-- warning opts
+opt_WarnDuplicateExports = lookUp SLIT("-fwarn-duplicate-exports")
+opt_WarnHiShadows = lookUp SLIT("-fwarn-hi-shadowing")
+opt_WarnIncompletePatterns = lookUp SLIT("-fwarn-incomplete-patterns")
+opt_WarnMissingFields = lookUp SLIT("-fwarn-missing-fields")
+opt_WarnMissingMethods = lookUp SLIT("-fwarn-missing-methods")
+opt_WarnMissingSigs = lookUp SLIT("-fwarn-missing-signatures")
+opt_WarnNameShadowing = lookUp SLIT("-fwarn-name-shadowing")
+opt_WarnOverlappingPatterns = lookUp SLIT("-fwarn-overlapping-patterns")
+opt_WarnSimplePatterns = lookUp SLIT("-fwarn-simple-patterns")
+opt_WarnTypeDefaults = lookUp SLIT("-fwarn-type-defaults")
+opt_WarnUnusedBinds = lookUp SLIT("-fwarn-unused-binds")
+opt_WarnUnusedImports = lookUp SLIT("-fwarn-unused-imports")
+opt_WarnUnusedMatches = lookUp SLIT("-fwarn-unused-matches")
+opt_WarnDeprecations = lookUp SLIT("-fwarn-deprecations")
+
+-- profiling opts
+opt_AutoSccsOnAllToplevs = lookUp SLIT("-fauto-sccs-on-all-toplevs")
+opt_AutoSccsOnExportedToplevs = lookUp SLIT("-fauto-sccs-on-exported-toplevs")
+opt_AutoSccsOnIndividualCafs = lookUp SLIT("-fauto-sccs-on-individual-cafs")
+opt_AutoSccsOnDicts = lookUp SLIT("-fauto-sccs-on-dicts")
+opt_SccProfilingOn = lookUp SLIT("-fscc-profiling")
+opt_DoTickyProfiling = lookUp SLIT("-fticky-ticky")
+
+-- language opts
+opt_AllStrict = lookUp SLIT("-fall-strict")
+opt_DictsStrict = lookUp SLIT("-fdicts-strict")
+opt_AllowOverlappingInstances = lookUp SLIT("-fallow-overlapping-instances")
+opt_AllowUndecidableInstances = lookUp SLIT("-fallow-undecidable-instances")
+opt_GlasgowExts = lookUp SLIT("-fglasgow-exts")
+opt_IrrefutableTuples = lookUp SLIT("-firrefutable-tuples")
+opt_MaxContextReductionDepth = lookup_def_int "-fcontext-stack" mAX_CONTEXT_REDUCTION_DEPTH
+opt_NumbersStrict = lookUp SLIT("-fnumbers-strict")
+opt_Parallel = lookUp SLIT("-fparallel")
+opt_SMP = lookUp SLIT("-fsmp")
+
+-- optimisation opts
+opt_DoEtaReduction = lookUp SLIT("-fdo-eta-reduction")
+opt_DoSemiTagging = lookUp SLIT("-fsemi-tagging")
+opt_FoldrBuildOn = lookUp SLIT("-ffoldr-build-on")
+opt_LiberateCaseThreshold = lookup_def_int "-fliberate-case-threshold" (10::Int)
+opt_StgDoLetNoEscapes = lookUp SLIT("-flet-no-escape")
+opt_UnfoldCasms = lookUp SLIT("-funfold-casms-in-hi-file")
+opt_UsageSPOn = lookUp SLIT("-fusagesp-on")
+opt_UnboxStrictFields = lookUp SLIT("-funbox-strict-fields")
+
+{-
+ The optional '-inpackage=P' flag tells what package
+ we are compiling this module for.
+ The Prelude, for example is compiled with '-package prelude'
+-}
+opt_InPackage = case lookup_str "-inpackage=" of
+ Just p -> _PK_ p
+ Nothing -> SLIT("Main") -- The package name if none is specified
+
+opt_EmitCExternDecls = lookUp SLIT("-femit-extern-decls")
+opt_EnsureSplittableC = lookUp SLIT("-fglobalise-toplev-names")
+opt_GranMacros = lookUp SLIT("-fgransim")
+opt_HiMap = lookup_str "-himap=" -- file saying where to look for .hi files
+opt_HiMapSep = lookup_def_char "-himap-sep=" ':'
+opt_HiVersion = lookup_def_int "-fhi-version=" 0 -- what version we're compiling.
+opt_HistorySize = lookup_def_int "-fhistory-size" 20
+opt_IgnoreAsserts = lookUp SLIT("-fignore-asserts")
+opt_IgnoreIfacePragmas = lookUp SLIT("-fignore-interface-pragmas")
+opt_NoHiCheck = lookUp SLIT("-fno-hi-version-check")
+opt_NoImplicitPrelude = lookUp SLIT("-fno-implicit-prelude")
+opt_OmitBlackHoling = lookUp SLIT("-dno-black-holing")
+opt_OmitInterfacePragmas = lookUp SLIT("-fomit-interface-pragmas")
+opt_ProduceExportCStubs = lookup_str "-F="
+opt_ProduceExportHStubs = lookup_str "-FH="
+
+-- where to generate the .hi file
+opt_HiFile = lookup_str "-hifile="
+opt_HiDir = lookup_str "-hidir="
+opt_HiSuf = lookup_str "-hisuf="
+
+-- Language for output: "C", "asm", "java", maybe more
+-- Nothing => don't output anything
+opt_OutputLanguage :: Maybe String
+opt_OutputLanguage = lookup_str "-olang="
+
+opt_OutputFile :: String
+opt_OutputFile = case lookup_str "-ofile=" of
+ Nothing -> panic "No output file specified (-ofile=xxx)"
+ Just f -> f
+
+-- Simplifier switches
+opt_SimplNoPreInlining = lookUp SLIT("-fno-pre-inlining")
+ -- NoPreInlining is there just to see how bad things
+ -- get if you don't do it!
+opt_SimplDoEtaReduction = lookUp SLIT("-fdo-eta-reduction")
+opt_SimplDoLambdaEtaExpansion = lookUp SLIT("-fdo-lambda-eta-expansion")
+opt_SimplCaseOfCase = lookUp SLIT("-fcase-of-case")
+opt_SimplCaseMerge = lookUp SLIT("-fcase-merge")
+opt_SimplPedanticBottoms = lookUp SLIT("-fpedantic-bottoms")
+opt_SimplStrictFP = lookUp SLIT("-fstrictfp")
+
+-- Unfolding control
+opt_UF_HiFileThreshold = lookup_def_int "-funfolding-interface-threshold" (45::Int)
+opt_UF_CreationThreshold = lookup_def_int "-funfolding-creation-threshold" (45::Int)
+opt_UF_UseThreshold = lookup_def_int "-funfolding-use-threshold" (8::Int) -- Discounts can be big
+opt_UF_ScrutConDiscount = lookup_def_int "-funfolding-con-discount" (2::Int)
+opt_UF_FunAppDiscount = lookup_def_int "-funfolding-fun-discount" (6::Int) -- It's great to inline a fn
+opt_UF_PrimArgDiscount = lookup_def_int "-funfolding-prim-discount" (1::Int)
+opt_UF_KeenessFactor = lookup_def_float "-funfolding-keeness-factor" (1.5::Float)
+
+opt_UF_CheapOp = ( 1 :: Int) -- Only one instruction; and the args are charged for
+opt_UF_DearOp = ( 4 :: Int)
+
+opt_ReportCompile = lookUp SLIT("-freport-compile")
+opt_NoPruneDecls = lookUp SLIT("-fno-prune-decls")
+opt_NoPruneTyDecls = lookUp SLIT("-fno-prune-tydecls")
+opt_SourceUnchanged = lookUp SLIT("-fsource-unchanged")
+opt_Static = lookUp SLIT("-static")
+opt_Unregisterised = lookUp SLIT("-funregisterised")
+opt_Verbose = lookUp SLIT("-v")
+
+opt_UseVanillaRegs | opt_Unregisterised = 0
+ | otherwise = mAX_Real_Vanilla_REG
+opt_UseFloatRegs | opt_Unregisterised = 0
+ | otherwise = mAX_Real_Float_REG
+opt_UseDoubleRegs | opt_Unregisterised = 0
+ | otherwise = mAX_Real_Double_REG
+opt_UseLongRegs | opt_Unregisterised = 0
+ | otherwise = mAX_Real_Long_REG