Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/high-ir/high-ir.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/high-ir/high-ir.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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)
   

Legend:
Removed from v.3474  
changed lines
  Added in v.3475

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0