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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-to-mid/handleEin.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-to-mid/handleEin.sml

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

revision 3460, Mon Nov 23 20:27:35 2015 UTC revision 3472, Tue Dec 1 18:45:25 2015 UTC
# Line 17  Line 17 
17      structure L=LiftEin      structure L=LiftEin
18      in      in
19    
20      val liftflag=false      val liftflag=true
21      val splitflag=true      val splitflag=true
22      val splitlimit=SOME 1100      val splitlimit=SOME 2600
23    
24      val testinitial=0      val testinitial=0
25      val testing=0      val testing=0
# Line 33  Line 33 
33      fun toStringBind e= MidToS.toStringBind e      fun toStringBind e= MidToS.toStringBind e
34      fun useCount (HighIL.V{useCnt, ...}) = !useCnt      fun useCount (HighIL.V{useCnt, ...}) = !useCnt
35      fun expandEinOp (srcy,bind00)=let      fun expandEinOp (srcy,bind00)=let
36          (*val _= raise Fail"development branch- do not use"*)          val _= raise Fail"development branch- do not use"
37                    k
38          val star="************"          val star="************"
39          val _= ("\n Start"^star)          val _= ("\n Start"^star)
40          val _ =test0[star,"\n Original EinApp",star,"\n\n","start get test",toStringBind bind00]          val _ =test0[star,"\n Original EinApp",star,"\n\n","start get test",toStringBind bind00]
# Line 53  Line 54 
54    
55       (* **************** lift - split ************* *)       (* **************** lift - split ************* *)
56          val newbies5=  (case (splitflag,liftflag,splitlimit)          val newbies5=  (case (splitflag,liftflag,splitlimit)
57              of (true,false,_) => Split.splitEinApp bind3              of (true,false,NONE) => Split.splitEinApp bind3
58                  (* **************** split phase ************* *)                  (* **************** split phase ************* *)
59                | (true,false,SOME limit) =>let
60                    val _ =print (String.concat["\nSPLit with limit",Int.toString(limit)])
61                    in Split.limitSplit(bind3,limit) end
62              | (true,true,SOME limit) =>  let              | (true,true,SOME limit) =>  let
63                  (* **************** lift and split Limit ************* *)                  (* **************** lift and split Limit ************* *)
64                  val (einapp1,e2)=L.testLift  bind3                  val (einapp1,e2)=L.testLift  bind3
65                  val _ =print (String.concat["\nSPLit with limit",Int.toString(limit),"\n **** lift Length:",Int.toString(length(e2))])                  val _ =print (String.concat["\nSPLit with limit",Int.toString(limit),"\n **** lift Length:",Int.toString(length(e2))])
66                  val newbies4=Split.limitSplit(einapp1,650)                  val newbies4=Split.limitSplit(einapp1,limit)
67                  in (e2@newbies4) end                  in (e2@newbies4) end
68              | (true,true, NONE) => let              | (true,true, NONE) => let
69                  (* **************** lift and split All ************* *)                  (* **************** lift and split All ************* *)
# Line 73  Line 77 
77                  in (e2@[einapp1]) end                  in (e2@[einapp1]) end
78              |  (false,false,_)=>Split.splitEinApp bind3              |  (false,false,_)=>Split.splitEinApp bind3
79          (* end case *))          (* end case *))
80            val _ =print"************** TASH"
81          (**************** printing result ***************)          (**************** printing result ***************)
82          val _ =testp["\n\n Returning \n\n =>",          val _ =testp["\n\n Returning \n\n =>",
83          String.concatWith",\n\t"(List.map toStringBind newbies5)]          String.concatWith",\n\t"(List.map toStringBind newbies5)]

Legend:
Removed from v.3460  
changed lines
  Added in v.3472

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