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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/c-target/c-target.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/c-target/c-target.sml

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

revision 2796, Thu Nov 6 04:17:54 2014 UTC revision 2797, Thu Nov 6 04:28:54 2014 UTC
# Line 248  Line 248 
248                        CL.mkDeclInit(globTy, "glob", CL.mkIndirect(wrldV, "globals")) ::                        CL.mkDeclInit(globTy, "glob", CL.mkIndirect(wrldV, "globals")) ::
249                        CL.unBlock init @ [CL.mkReturn(SOME(CL.mkVar "false"))]                        CL.unBlock init @ [CL.mkReturn(SOME(CL.mkVar "false"))]
250                (* for libraries, we need to make sure that the inputs are initialized *)                (* for libraries, we need to make sure that the inputs are initialized *)
251                  val initStms = if not(#exec props)                  val initStms = if not(#exec props) andalso #hasInputs props
252                        then CL.mkIfThen(                        then CL.mkIfThen(
253                          CL.mkApply(N.checkDefined props, [wrldV]),                          CL.mkApply(N.checkDefined props, [wrldV]),
254                          CL.mkReturn(SOME(CL.mkBool true))) :: initStms                          CL.mkReturn(SOME(CL.mkBool true))) :: initStms
# Line 462  Line 462 
462                      then (CL.T_Ptr(CL.T_Named(N.globalsTy props)), "globals") :: extras                      then (CL.T_Ptr(CL.T_Named(N.globalsTy props)), "globals") :: extras
463                      else extras                      else extras
464                val extras = (CL.T_Ptr CL.uint8, "status") :: extras                val extras = (CL.T_Ptr CL.uint8, "status") :: extras
465                val extras = if #exec props                val extras = if #exec props orelse not(#hasInputs props)
466                      then extras                      then extras
467                      else (CL.T_Named(N.definedInpTy props), "definedInp") :: extras                      else (CL.T_Named(N.definedInpTy props), "definedInp") :: extras
468                val extras = if #parallel props                val extras = if #parallel props

Legend:
Removed from v.2796  
changed lines
  Added in v.2797

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