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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/mid-to-low/lowSet.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/mid-to-low/lowSet.sml

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

revision 3190, Sat Apr 4 00:18:24 2015 UTC revision 3259, Mon Sep 21 15:14:52 2015 UTC
# Line 8  Line 8 
8    
9      local      local
10    
   
11      structure DstIL =LowIL      structure DstIL =LowIL
12      structure DstOp = LowOps      structure DstOp = LowOps
13      structure DstV  = DstIL.Var      structure DstV  = DstIL.Var
14    
15      in      in
16    
 (*  
  previous2654replaced47  
  previous71198replaced1295  
  previous23396replaced431  
   
  previous2654replaced606  
  previous7880replaced1818  
  previous23396replaced5416  
   
   count  
   previous  
  2654,7880,71198,23396,635198  
  3*3*3*3*3*6*6*6  
  3^5 * 6^3  
  tensor[3,3]-sumprod_l_6_7235D78=-EIN-0:IMG(3)< 3>, 1:KRN 2:TEN <>, 3:TEN <3>, 4:TEN <3>, 5:TEN <3,3>,  < Σ_2[0-2],3[0-2]⋐(ϵ_023*  Σ_4[0-2],5[0-2]⋐( Σ_6[~2-3],7[~2-3],8[~2-3]⋐( V0_3[( T3_'0'+_6_),( T3_'1'+_7_),( T3_'2'+_8_)]*  H1^{δ_('0',4)δ_('0',5)} [( T4_'0'---- _6_]*  H1^{δ_('1',4)δ_('1',5)} [( T4_'1'---- _7_]*  H1^{δ_('2',4)δ_('2',5)} [( T4_'2'---- _8_])⋑*  T5_2,4*  T5_1,5)⋑)⋑> _{(0 DIM:3)(1 DIM:3)} _t14C0,_t14BE,x1881,n18CA,f18C6,P18A8,  
     previous635198  
   
 *)  
   
17      fun hash (_,DstIL.OP(op1,_))=DstOp.hash op1      fun hash (_,DstIL.OP(op1,_))=DstOp.hash op1
18      | hash(_,DstIL.LIT m)=Literal.hash m      | hash(_,DstIL.LIT m)=Literal.hash m
19    
   
20     fun cmp(e1,e2)=Word.compare(hash e1, hash e2)     fun cmp(e1,e2)=Word.compare(hash e1, hash e2)
21    
   
22     structure OprKey =     structure OprKey =
23          struct          struct
24          type ord_key =DstIL.var*LowIL.rhs          type ord_key =DstIL.var*LowIL.rhs
# Line 48  Line 26 
26      end;      end;
27      structure  LowSet= RedBlackSetFn(OprKey);      structure  LowSet= RedBlackSetFn(OprKey);
28    
   
   
29      fun allEq([], []) = true      fun allEq([], []) = true
30        | allEq(x::xs, y::ys) = DstIL.Var.same(x,y) andalso allEq (xs,ys)        | allEq(x::xs, y::ys) = DstIL.Var.same(x,y) andalso allEq (xs,ys)
31        | allEq _ = false        | allEq _ = false

Legend:
Removed from v.3190  
changed lines
  Added in v.3259

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