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

Parent Directory | Revision Log | 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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