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

SCM Repository

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

Diff of /branches/vis15/src/compiler/gen/ir/high-ir.in

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3475, Wed Dec 2 18:48:58 2015 UTC revision 3652, Tue Feb 2 20:23:12 2016 UTC
# Line 23  Line 23 
23      type tys = ty list      type tys = ty list
24      fun sametys (tys1, tys2) = ListPair.allEq samety (tys1, tys2)      fun sametys (tys1, tys2) = ListPair.allEq samety (tys1, tys2)
25      fun hashtys tys = List.foldl (fn (ty, s) => hashty ty + 0w3 * s) 0w0 tys      fun hashtys tys = List.foldl (fn (ty, s) => hashty ty + 0w3 * s) 0w0 tys
26      fun tysToString tys = String.concat["[", String.concatWith "," (List.map tyToString tys), "]" ]      fun tysToString tys = String.concat["[", String.concatWithMap "," tyToString tys, "]" ]
27    
28    (* required helper functions for the int type *)    (* required helper functions for the int type *)
29      fun sameint (i1 : int, i2) = (i1 = i2)      fun sameint (i1 : int, i2) = (i1 = i2)
# Line 44  Line 44 
44      fun maskToString m =      fun maskToString m =
45            String.concat(List.map (fn true => "_" | false => ":") m)            String.concat(List.map (fn true => "_" | false => ":") m)
46    
   (* required helper functions for the input type *)  
     type input = ty Inputs.input  
     val sameinput = Inputs.same  
     val hashinput = Inputs.hash  
     val inputToString = Inputs.toString  
   
47  @BODY@  @BODY@
48    
49    end    end
50    
51  structure HighIR = SSAFn(  structure HighIR = SSAFn(
52    val ilName = "high-ir"    val irName = "high-ir"
53    structure Ty = HighTypes    structure Ty = HighTypes
54    structure Op = HighOps)    structure Op = HighOps)
55    

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

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