SCM Repository
Annotation of /sml/trunk/src/compiler/viscomp-core.cm
Parent Directory
| 
Revision Log
Revision 564 - (view) (download)
| 1 : | monnier | 496 | (* Copyright YALE FLINT PROJECT 1997 *) |
| 2 : | (* viscomp-core.cm *) | ||
| 3 : | |||
| 4 : | (* | ||
| 5 : | * This used to be called all-files.cm, then sources.cm, and even later | ||
| 6 : | * viscomp-lib.cm (at which point it became "just a library"). | ||
| 7 : | * It is now reduced to the machine-independent core part of the | ||
| 8 : | * library. Machine-dependent parts are in viscomp-<arch>.cm. | ||
| 9 : | * M.Blume (11/1999) | ||
| 10 : | *) | ||
| 11 : | |||
| 12 : | Library | ||
| 13 : | signature GENERIC_VC | ||
| 14 : | signature MACHDEP_VC | ||
| 15 : | |||
| 16 : | structure GenericVC | ||
| 17 : | |||
| 18 : | (* eventually we should export more of these guys... *) | ||
| 19 : | structure DynamicEnv | ||
| 20 : | structure PrettyPrint | ||
| 21 : | |||
| 22 : | structure PickleSymPid | ||
| 23 : | structure UnpickleSymPid | ||
| 24 : | structure PickMod | ||
| 25 : | structure UnpickMod | ||
| 26 : | structure CompBasic | ||
| 27 : | |||
| 28 : | monnier | 504 | structure FLINT |
| 29 : | |||
| 30 : | monnier | 496 | (* To make it possible to dynamically link in the optimizer, |
| 31 : | * we have to export the following to the library. | ||
| 32 : | * A.Leung. | ||
| 33 : | *) | ||
| 34 : | signature MACHINE_GEN | ||
| 35 : | signature INVOKE_GC | ||
| 36 : | signature CPSREGS | ||
| 37 : | |||
| 38 : | structure CPSRegions | ||
| 39 : | structure SMLGCType | ||
| 40 : | structure SMLGCMap | ||
| 41 : | |||
| 42 : | (* To be able to separate machine-dependent parts of viscomp-lib.cm | ||
| 43 : | * from machine-independent parts, we must also export the | ||
| 44 : | * the following things. | ||
| 45 : | * M.Blume (11/1999) *) | ||
| 46 : | |||
| 47 : | signature MACH_SPEC | ||
| 48 : | |||
| 49 : | structure ErrorMsg | ||
| 50 : | structure Control | ||
| 51 : | structure DefaultMachSpec | ||
| 52 : | structure SMLNJConstant | ||
| 53 : | george | 546 | structure SMLNJLabelExp |
| 54 : | george | 555 | structure SMLNJMLTreeExt |
| 55 : | functor SMLNJMLTreeExtComp | ||
| 56 : | monnier | 496 | structure CodeString |
| 57 : | |||
| 58 : | functor PseudoOpsBig | ||
| 59 : | functor PseudoOpsLittle | ||
| 60 : | functor MachineGen | ||
| 61 : | functor RegAlloc | ||
| 62 : | functor FLINTComp | ||
| 63 : | functor MachDepVCFun | ||
| 64 : | is | ||
| 65 : | |||
| 66 : | TopLevel/batch/batchconfig.sml | ||
| 67 : | TopLevel/batch/binfile.sig | ||
| 68 : | TopLevel/batch/binfile.sml | ||
| 69 : | TopLevel/batch/smlfile.sml | ||
| 70 : | TopLevel/batch/cmsa.sig | ||
| 71 : | TopLevel/batch/cmsa.sml | ||
| 72 : | TopLevel/batch/envcvt.sml | ||
| 73 : | TopLevel/environ/dynenv.sig | ||
| 74 : | TopLevel/environ/dynenv.sml | ||
| 75 : | TopLevel/environ/environ.sig | ||
| 76 : | TopLevel/environ/environ.sml | ||
| 77 : | TopLevel/environ/envref.sml | ||
| 78 : | TopLevel/environ/persmap.sml | ||
| 79 : | TopLevel/environ/cmenviron.sig | ||
| 80 : | TopLevel/environ/cmenviron.sml | ||
| 81 : | TopLevel/environ/symenv.sig | ||
| 82 : | TopLevel/environ/symenv.sml | ||
| 83 : | TopLevel/interact/evalloop.sig | ||
| 84 : | TopLevel/interact/evalloop.sml | ||
| 85 : | TopLevel/interact/intconfig.sml | ||
| 86 : | TopLevel/interact/interact.sig | ||
| 87 : | TopLevel/interact/interact.sml | ||
| 88 : | TopLevel/main/cconfig.sig | ||
| 89 : | TopLevel/main/code-generator.sig | ||
| 90 : | TopLevel/main/code-obj.sig | ||
| 91 : | TopLevel/main/code-obj.sml | ||
| 92 : | TopLevel/main/compbasic.sig | ||
| 93 : | TopLevel/main/compbasic.sml | ||
| 94 : | TopLevel/main/compile.sig | ||
| 95 : | TopLevel/main/compile.sml | ||
| 96 : | TopLevel/main/version.sml | ||
| 97 : | TopLevel/viscomp/control.sig | ||
| 98 : | TopLevel/viscomp/control.sml | ||
| 99 : | TopLevel/viscomp/generic-vc.sig | ||
| 100 : | TopLevel/viscomp/generic-vc.sml | ||
| 101 : | TopLevel/viscomp/machdep-vc.sig | ||
| 102 : | TopLevel/viscomp/machdep-vc.sml | ||
| 103 : | |||
| 104 : | Parse/ast/ast.sig | ||
| 105 : | Parse/ast/ast.sml | ||
| 106 : | Parse/ast/astutil.sig | ||
| 107 : | Parse/ast/astutil.sml | ||
| 108 : | Parse/ast/fixity.sml | ||
| 109 : | Parse/lex/ml.lex | ||
| 110 : | Parse/lex/tokentable.sml | ||
| 111 : | Parse/main/frontend.sig | ||
| 112 : | Parse/main/frontend.sml | ||
| 113 : | Parse/parse/ml.grm | ||
| 114 : | |||
| 115 : | Semant/basics/access.sig | ||
| 116 : | Semant/basics/access.sml | ||
| 117 : | Semant/basics/conrep.sml | ||
| 118 : | Semant/basics/env.sig | ||
| 119 : | Semant/basics/env.sml | ||
| 120 : | Semant/basics/inlinfo.sml | ||
| 121 : | Semant/basics/persstamps.sig | ||
| 122 : | Semant/basics/persstamps.sml | ||
| 123 : | Semant/basics/stamps.sig | ||
| 124 : | Semant/basics/stamps.sml | ||
| 125 : | Semant/basics/symbol.sig | ||
| 126 : | Semant/basics/symbol.sml | ||
| 127 : | Semant/basics/sympaths.sig | ||
| 128 : | Semant/basics/sympaths.sml | ||
| 129 : | Semant/elaborate/elabcore.sml | ||
| 130 : | Semant/elaborate/elabdebug.sml | ||
| 131 : | Semant/elaborate/elabmod.sml | ||
| 132 : | Semant/elaborate/elabsig.sml | ||
| 133 : | Semant/elaborate/elabtop.sml | ||
| 134 : | Semant/elaborate/elabtype.sig | ||
| 135 : | Semant/elaborate/elabtype.sml | ||
| 136 : | Semant/elaborate/elabutil.sig | ||
| 137 : | Semant/elaborate/elabutil.sml | ||
| 138 : | Semant/elaborate/include.sml | ||
| 139 : | Semant/elaborate/precedence.sml | ||
| 140 : | Semant/elaborate/tyvarset.sml | ||
| 141 : | Semant/syntax/absyn.sig | ||
| 142 : | Semant/syntax/absyn.sml | ||
| 143 : | Semant/syntax/varcon.sig | ||
| 144 : | Semant/syntax/varcon.sml | ||
| 145 : | Semant/modules/entityenv.sig | ||
| 146 : | Semant/modules/entityenv.sml | ||
| 147 : | Semant/modules/entpath.sml | ||
| 148 : | Semant/modules/epcontext.sml | ||
| 149 : | Semant/modules/evalent.sml | ||
| 150 : | Semant/modules/expandtycon.sml | ||
| 151 : | Semant/modules/instantiate.sml | ||
| 152 : | Semant/modules/moduleid.sml | ||
| 153 : | Semant/modules/modules.sig | ||
| 154 : | Semant/modules/modules.sml | ||
| 155 : | Semant/modules/moduleutil.sig | ||
| 156 : | Semant/modules/moduleutil.sml | ||
| 157 : | Semant/modules/sigmatch.sml | ||
| 158 : | |||
| 159 : | Semant/pickle/pickle-sym-pid.sml | ||
| 160 : | Semant/pickle/pickmod-new.sml | ||
| 161 : | Semant/pickle/unpickle-sym-pid.sml | ||
| 162 : | Semant/pickle/unpickmod-new.sml | ||
| 163 : | |||
| 164 : | Semant/statenv/bindings.sml | ||
| 165 : | Semant/statenv/lookup.sig | ||
| 166 : | Semant/statenv/lookup.sml | ||
| 167 : | Semant/statenv/prim.sml | ||
| 168 : | Semant/statenv/cmstatenv.sig | ||
| 169 : | Semant/statenv/cmstatenv.sml | ||
| 170 : | Semant/statenv/statenv.sig | ||
| 171 : | Semant/statenv/statenv.sml | ||
| 172 : | Semant/types/basictypes.sig | ||
| 173 : | Semant/types/basictypes.sml | ||
| 174 : | Semant/types/eqtypes.sml | ||
| 175 : | Semant/types/tuples.sml | ||
| 176 : | Semant/types/types.sig | ||
| 177 : | Semant/types/types.sml | ||
| 178 : | Semant/types/typesutil.sig | ||
| 179 : | Semant/types/typesutil.sml | ||
| 180 : | Semant/types/unify.sml | ||
| 181 : | Semant/types/overload.sml | ||
| 182 : | Semant/types/overloadlit.sml | ||
| 183 : | Semant/types/reconstruct.sml | ||
| 184 : | Semant/types/typecheck.sml | ||
| 185 : | |||
| 186 : | FLINT/clos/allocprof.sml | ||
| 187 : | FLINT/clos/cps-split.sml | ||
| 188 : | FLINT/clos/freemap.sml | ||
| 189 : | FLINT/clos/globalfix.sml | ||
| 190 : | FLINT/clos/closure.sml | ||
| 191 : | FLINT/clos/freeclose.sml | ||
| 192 : | FLINT/clos/staticprof.sml | ||
| 193 : | FLINT/clos/unrebind.sml | ||
| 194 : | FLINT/cps/convert.sml | ||
| 195 : | FLINT/cps/cps.sig | ||
| 196 : | FLINT/cps/cps.sml | ||
| 197 : | FLINT/cps/cpstrans.sml | ||
| 198 : | FLINT/cps/ppcps.sml | ||
| 199 : | FLINT/cps/switch.sml | ||
| 200 : | FLINT/cpsopt/contract.sml | ||
| 201 : | FLINT/cpsopt/cpsopt.sml | ||
| 202 : | FLINT/cpsopt/eta.sml | ||
| 203 : | FLINT/cpsopt/etasplit.sml | ||
| 204 : | FLINT/cpsopt/expand.sml | ||
| 205 : | FLINT/cpsopt/expandNEW.sml | ||
| 206 : | FLINT/cpsopt/flatten.sml | ||
| 207 : | FLINT/cpsopt/uncurry.sml | ||
| 208 : | FLINT/flint/chkflint.sml | ||
| 209 : | FLINT/flint/flint.sig | ||
| 210 : | FLINT/flint/flint.sml | ||
| 211 : | FLINT/flint/flintutil.sml | ||
| 212 : | FLINT/flint/ppflint.sig | ||
| 213 : | FLINT/flint/ppflint.sml | ||
| 214 : | monnier | 504 | FLINT/flint/tvarcvt.sml |
| 215 : | monnier | 496 | FLINT/kernel/debindex.sig |
| 216 : | FLINT/kernel/debindex.sml | ||
| 217 : | FLINT/kernel/lambdavar.sig | ||
| 218 : | FLINT/kernel/lambdavar.sml | ||
| 219 : | FLINT/kernel/ltybasic.sig | ||
| 220 : | FLINT/kernel/ltybasic.sml | ||
| 221 : | FLINT/kernel/ltydef.sig | ||
| 222 : | FLINT/kernel/ltydef.sml | ||
| 223 : | FLINT/kernel/ltydict.sml | ||
| 224 : | FLINT/kernel/ltyextern.sig | ||
| 225 : | FLINT/kernel/ltyextern.sml | ||
| 226 : | FLINT/kernel/ltykernel.sig | ||
| 227 : | FLINT/kernel/ltykernel.sml | ||
| 228 : | FLINT/kernel/primop.sig | ||
| 229 : | FLINT/kernel/primop.sml | ||
| 230 : | FLINT/kernel/primtyc.sig | ||
| 231 : | FLINT/kernel/primtyc.sml | ||
| 232 : | FLINT/main/flintcomp.sml | ||
| 233 : | monnier | 504 | FLINT/main/control.sml |
| 234 : | monnier | 496 | FLINT/main/literals.sml |
| 235 : | monnier | 504 | FLINT/opt/fixfix.sml |
| 236 : | FLINT/opt/collect.sml | ||
| 237 : | FLINT/opt/fcontract.sml | ||
| 238 : | FLINT/opt/optutils.sml | ||
| 239 : | monnier | 496 | FLINT/opt/lcontract.sml |
| 240 : | FLINT/opt/recover.sml | ||
| 241 : | FLINT/opt/specialize.sml | ||
| 242 : | monnier | 504 | FLINT/opt/loopify.sml |
| 243 : | FLINT/opt/split.sml | ||
| 244 : | FLINT/opt/lift.sml | ||
| 245 : | dtelle | 532 | FLINT/opt/switchoff.sml |
| 246 : | monnier | 496 | FLINT/plambda/chkplexp.sml |
| 247 : | FLINT/plambda/flintnm.sml | ||
| 248 : | FLINT/plambda/pflatten.sig | ||
| 249 : | FLINT/plambda/pflatten.sml | ||
| 250 : | FLINT/plambda/plambda.sig | ||
| 251 : | FLINT/plambda/plambda.sml | ||
| 252 : | FLINT/plambda/plambdatype.sml | ||
| 253 : | FLINT/plambda/pplexp.sml | ||
| 254 : | FLINT/plambda/reorder.sml | ||
| 255 : | FLINT/reps/coerce.sml | ||
| 256 : | FLINT/reps/equal.sml | ||
| 257 : | FLINT/reps/reify.sml | ||
| 258 : | FLINT/reps/rttype.sml | ||
| 259 : | FLINT/reps/typeoper.sml | ||
| 260 : | FLINT/reps/wrapping.sml | ||
| 261 : | FLINT/trans/matchcomp.sml | ||
| 262 : | FLINT/trans/mccommon.sml | ||
| 263 : | FLINT/trans/pequal.sml | ||
| 264 : | FLINT/trans/tempexpn.sml | ||
| 265 : | FLINT/trans/translate.sml | ||
| 266 : | FLINT/trans/transtypes.sml | ||
| 267 : | |||
| 268 : | FLINT/lsplit/ls-inline.sml | ||
| 269 : | |||
| 270 : | CodeGen/cpscompile/alignment.sml | ||
| 271 : | CodeGen/cpscompile/argPassing.sig | ||
| 272 : | CodeGen/cpscompile/argPassing.sml | ||
| 273 : | CodeGen/cpscompile/cluster.sml | ||
| 274 : | CodeGen/cpscompile/cps-aliasing.sml | ||
| 275 : | CodeGen/cpscompile/cps-treeify.sml | ||
| 276 : | CodeGen/cpscompile/cpsRegions.sig | ||
| 277 : | CodeGen/cpscompile/cpsRegions.sml | ||
| 278 : | CodeGen/cpscompile/cpsRegs.sig | ||
| 279 : | CodeGen/cpscompile/frag.sig | ||
| 280 : | CodeGen/cpscompile/frag.sml | ||
| 281 : | CodeGen/cpscompile/invokegc.sig | ||
| 282 : | CodeGen/cpscompile/invokegc.sml | ||
| 283 : | CodeGen/cpscompile/limit.sml | ||
| 284 : | CodeGen/cpscompile/memAliasing.sml | ||
| 285 : | CodeGen/cpscompile/memDisambig.sml | ||
| 286 : | CodeGen/cpscompile/mkRecord.sig | ||
| 287 : | CodeGen/cpscompile/mkRecord.sml | ||
| 288 : | CodeGen/cpscompile/pseudoOpType.sig | ||
| 289 : | CodeGen/cpscompile/pseudoOpsBig.sml | ||
| 290 : | CodeGen/cpscompile/pseudoOpsLittle.sml | ||
| 291 : | CodeGen/cpscompile/smlnj-const.sml | ||
| 292 : | CodeGen/cpscompile/smlnj-gctype.sig | ||
| 293 : | CodeGen/cpscompile/smlnj-gctype.sml | ||
| 294 : | george | 555 | CodeGen/cpscompile/smlnj-mltreeext.sml |
| 295 : | monnier | 496 | CodeGen/cpscompile/spill.sml |
| 296 : | CodeGen/main/code-string.sml | ||
| 297 : | CodeGen/main/machine.sig | ||
| 298 : | CodeGen/main/machine-gen.sig | ||
| 299 : | CodeGen/main/machine-gen.sml | ||
| 300 : | CodeGen/main/machspec.sig | ||
| 301 : | CodeGen/main/machspec.sml | ||
| 302 : | CodeGen/main/mlriscGen.sml | ||
| 303 : | CodeGen/main/object-desc.sig | ||
| 304 : | CodeGen/main/object-desc.sml | ||
| 305 : | CodeGen/main/regalloc.sig | ||
| 306 : | CodeGen/main/regalloc.sml | ||
| 307 : | |||
| 308 : | MiscUtil/bignums/bigint.sig | ||
| 309 : | MiscUtil/bignums/bigint.sml | ||
| 310 : | MiscUtil/bignums/realconst.sml | ||
| 311 : | MiscUtil/bignums/ieeereal.sml | ||
| 312 : | MiscUtil/print/ppabsyn.sml | ||
| 313 : | MiscUtil/print/ppdec.sml | ||
| 314 : | MiscUtil/print/ppmod.sml | ||
| 315 : | MiscUtil/print/ppobj.sml | ||
| 316 : | MiscUtil/print/pptable.sml | ||
| 317 : | MiscUtil/print/pptype.sml | ||
| 318 : | MiscUtil/print/pputil.sig | ||
| 319 : | MiscUtil/print/pputil.sml | ||
| 320 : | MiscUtil/print/ppval.sml | ||
| 321 : | MiscUtil/print/pp-wrapper.sml | ||
| 322 : | MiscUtil/print/printutil.sig | ||
| 323 : | MiscUtil/print/printutil.sml | ||
| 324 : | MiscUtil/profile/prof-env.sml | ||
| 325 : | MiscUtil/profile/profile-fn.sml | ||
| 326 : | MiscUtil/profile/profile.sig | ||
| 327 : | MiscUtil/profile/profile.sml | ||
| 328 : | MiscUtil/profile/sprof.sml | ||
| 329 : | MiscUtil/profile/tell-env.sml | ||
| 330 : | MiscUtil/profile/tprof.sml | ||
| 331 : | |||
| 332 : | MiscUtil/util/errormsg.sig | ||
| 333 : | MiscUtil/util/errormsg.sml | ||
| 334 : | MiscUtil/util/feedback.sml | ||
| 335 : | MiscUtil/util/intstrmap.sig | ||
| 336 : | MiscUtil/util/intstrmap.sml | ||
| 337 : | MiscUtil/util/literal-to-num.sml | ||
| 338 : | MiscUtil/util/pathnames.sig | ||
| 339 : | MiscUtil/util/pathnames.sml | ||
| 340 : | MiscUtil/util/source.sig | ||
| 341 : | MiscUtil/util/source.sml | ||
| 342 : | MiscUtil/util/sourcemap.sig | ||
| 343 : | MiscUtil/util/sourcemap.sml | ||
| 344 : | MiscUtil/util/stats.sml | ||
| 345 : | |||
| 346 : | basis.cm | ||
| 347 : | ml-yacc-lib.cm | ||
| 348 : | smlnj-lib.cm | ||
| 349 : | comp-lib.cm | ||
| 350 : | pp-lib.cm | ||
| 351 : | george | 546 | MLRISC-Control.cm |
| 352 : | monnier | 496 | MLRISC.cm |
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
