SCM Repository
Diff of /branches/vis15/src/compiler/high-ir/high-ir.sml
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 | (* high-il.sml | (* high-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 | * High-level version of the Diderot IL. | * High-level version of the Diderot CFG IR |
| 9 | * | * |
| 10 | * Note: this file is generated from gen/high-il.spec and gen/high-il.in. | * Note: this file is generated from gen/ir/high-ir.spec and gen/ir/high-ir.in. |
| 11 | *) | *) |
| 12 | ||
| 13 | structure HighOps = | structure HighOps = |
| 14 | struct | struct |
| 15 | ||
| 16 | (* required helper functions for types *) | (* required helper functions for types *) |
| 17 | type ty = HighILTypes.ty | type ty = HighTypes.ty |
| 18 | val samety = HighILTypes.same | val samety = HighTypes.same |
| 19 | val hashty = HighILTypes.hash | val hashty = HighTypes.hash |
| 20 | val tyToString = HighILTypes.toString | val tyToString = HighTypes.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 417 | Line 417 |
| 417 | ||
| 418 | end | end |
| 419 | ||
| 420 | structure HighIL = SSAFn( | structure HighIR = SSAFn( |
| 421 | val ilName = "high-il" | val ilName = "high-ir" |
| 422 | structure Ty = HighILTypes | structure Ty = HighTypes |
| 423 | structure Op = HighOps) | structure Op = HighOps) |
| 424 | ||
| 425 | structure HighILCensus = CensusFn(HighIL) | structure HighCensus = CensusFn(HighIR) |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
