SCM Repository
Diff of /branches/vis15/src/compiler/gen/ir/mid-ir.in
Parent Directory
|
Revision Log
|
Patch
revision 3474, Wed Dec 2 18:26:40 2015 UTC | revision 3475, Wed Dec 2 18:48:58 2015 UTC | |
---|---|---|
# | Line 1 | Line 1 |
1 | (* mid-il.sml | (* mid-ir.sml |
2 | * | * |
3 | * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu) | * This code is part of the Diderot Project (http://diderot-language.cs.uchicago.edu) |
4 | * | * |
5 | * COPYRIGHT (c) 2015 The University of Chicago | * COPYRIGHT (c) 2015 The University of Chicago |
6 | * All rights reserved. | * All rights reserved. |
7 | * | * |
8 | * Middle-level version of the Diderot IL. | * Middle-level version of the Diderot CFG IR |
9 | * | * |
10 | * Note: this file is generated from gen/mid-il.spec and gen/mid-il.in. | * Note: this file is generated from gen/ir/mid-ir.spec and gen/ir/mid-ir.in. |
11 | *) | *) |
12 | ||
13 | structure MidOps = | structure MidOps = |
14 | struct | struct |
15 | ||
16 | (* required helper functions for types *) | (* required helper functions for types *) |
17 | type ty = MidILTypes.ty | type ty = MidTypes.ty |
18 | val samety = MidILTypes.same | val samety = MidTypes.same |
19 | val hashty = MidILTypes.hash | val hashty = MidTypes.hash |
20 | val tyToString = MidILTypes.toString | val tyToString = MidTypes.toString |
21 | ||
22 | (* required helper functions for type lists *) | (* required helper functions for type lists *) |
23 | type tys = ty list | type tys = ty list |
# | Line 60 | Line 60 |
60 | ||
61 | end | end |
62 | ||
63 | structure MidIL = SSAFn( | structure MidIR = SSAFn( |
64 | val ilName = "mid-il" | val ilName = "mid-ir" |
65 | structure Ty = MidILTypes | structure Ty = MidTypes |
66 | structure Op = MidOps) | structure Op = MidOps) |
67 | ||
68 | structure MidILCensus = CensusFn(MidIL) | structure MidCensus = CensusFn(MidIR) |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |