Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/opt/loopify.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/opt/loopify.sml

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

revision 2013, Fri Aug 11 04:09:23 2006 UTC revision 2014, Fri Aug 11 20:42:24 2006 UTC
# Line 15  Line 15 
15      structure M  = IntRedBlackMap      structure M  = IntRedBlackMap
16      structure S  = IntRedBlackSet      structure S  = IntRedBlackSet
17      structure OU = OptUtils      structure OU = OptUtils
18        structure LT = Lty
19      structure LK = LtyKernel      structure LK = LtyKernel
20      structure CTRL = FLINT_Control      structure CTRL = FLINT_Control
21  in  in
# Line 148  Line 149 
149                    else                    else
150                        let val cconv' =                        let val cconv' =
151                                case cconv                                case cconv
152                                 of (F.CC_FCT | F.CC_FUN(LK.FF_FIXED)) => cconv                                 of (F.CC_FCT | F.CC_FUN(LT.FF_FIXED)) => cconv
153                                  | F.CC_FUN(LK.FF_VAR(f1,f2)) =>                                  | F.CC_FUN(LT.FF_VAR(f1,f2)) =>
154                                    F.CC_FUN(LK.FF_VAR(true,f2))                                    F.CC_FUN(LT.FF_VAR(true,f2))
155    
156                            (* figure out what arguments of the tail loop                            (* figure out what arguments of the tail loop
157                             * are invariants and create the corresponding                             * are invariants and create the corresponding

Legend:
Removed from v.2013  
changed lines
  Added in v.2014

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