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

SCM Repository

[diderot] Diff of /branches/charisee/src/compiler/tree-il/getTypes.sml
ViewVC logotype

Diff of /branches/charisee/src/compiler/tree-il/getTypes.sml

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

revision 2646, Thu May 29 15:52:23 2014 UTC revision 2662, Fri May 30 16:55:05 2014 UTC
# Line 30  Line 30 
30    
31    
32      fun peel(IL.E_Lit( offset))=offset      fun peel(IL.E_Lit( offset))=offset
33      fun mkFnC(IL.E_LoadVec(fTy, oTy,_, offset))=[ILF.LD(fTy,oTy,peel offset)]      fun mkFnC(IL.E_LoadVec(fTy, oTy,_, offset))=[ILF.LD(fTy,oTy)]
34        | mkFnC(IL.E_mkVec(_,oTy,_,_))= [ILF.MKVEC oTy]        | mkFnC(IL.E_mkVec(_,oTy,pieces,_))= [ILF.MKVEC(oTy,pieces)]
35        | mkFnC(IL.E_Cons (ty , exps))= [ILF.CONS ty]        | mkFnC(IL.E_Cons (ty , exps))= [ILF.CONS ty]
36        | mkFnC(IL.E_FillVec(fTy, oTy,_, offset))= [ILF.FVEC(fTy,oTy)]       (* | mkFnC(IL.E_FillVec(fTy, oTy,_, offset))= [ILF.FVEC(fTy,oTy)]
37        | mkFnC(IL.E_SliceVec(fTy, oTy,_, offset))=[ILF.SVEC(fTy)]        | mkFnC(IL.E_SliceVec(fTy, oTy,_, offset))=[ILF.SVEC(fTy)]*)
38    
39    
40      (*Get types of Exp*)      (*Get types of Exp*)
# Line 65  Line 65 
65              | IL.E_Cons (ty , exps)     => add((SOME ty,mkFnC exp),exps)              | IL.E_Cons (ty , exps)     => add((SOME ty,mkFnC exp),exps)
66              | IL.E_LoadVec(ty,_,exps,_) => add((vecTy ty,mkFnC exp),[exps])              | IL.E_LoadVec(ty,_,exps,_) => add((vecTy ty,mkFnC exp),[exps])
67              | IL.E_mkVec(_,ty,_,exps)   => add((vecTy ty,mkFnC exp), exps)              | IL.E_mkVec(_,ty,_,exps)   => add((vecTy ty,mkFnC exp), exps)
68              | IL.E_FillVec(ty,_,exps,_) => add((vecTy ty,mkFnC exp),[exps])             (* | IL.E_FillVec(ty,_,exps,_) => add((vecTy ty,mkFnC exp),[exps])
69              | IL.E_SliceVec(ty,_,exps,_)=> add((vecTy ty,mkFnC exp),[exps])              | IL.E_SliceVec(ty,_,exps,_)=> add((vecTy ty,mkFnC exp),[exps])*)
70              | IL.E_Op(Op, exps)         => add(TypeofOp Op, exps)              | IL.E_Op(Op, exps)         => add(TypeofOp Op, exps)
71              (*end case*))              (*end case*))
72          end          end

Legend:
Removed from v.2646  
changed lines
  Added in v.2662

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