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

SCM Repository

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

Diff of /branches/pure-cfg/src/compiler/c-target/c-target.sml

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

revision 616, Sun Mar 13 14:52:11 2011 UTC revision 617, Sun Mar 13 16:51:09 2011 UTC
# Line 327  Line 327 
327          val block = CL.mkBlock          val block = CL.mkBlock
328          fun ifthen ((e, T_Bool), s1) = CL.mkIfThen(e, s1)          fun ifthen ((e, T_Bool), s1) = CL.mkIfThen(e, s1)
329          fun ifthenelse ((e, T_Bool), s1, s2) = CL.mkIfThenElse(e, s1, s2)          fun ifthenelse ((e, T_Bool), s1, s2) = CL.mkIfThenElse(e, s1, s2)
330          fun for (init, cond, incr, body) = raise Fail "Stmt.for"          fun for ((ty, x), (lo, _), (hi, _), body) = CL.mkFor(
331                    [(cvtTy ty, x, lo)],
332                    CL.mkBinOp(CL.mkVar x, CL.#<=, hi),
333                    [CL.mkPostOp(CL.mkVar x, CL.^++)],
334                    body)
335        (* special Diderot forms *)        (* special Diderot forms *)
336          fun cons ((T_Vec n, x), args : exp list) =          fun cons ((T_Vec n, x), args : exp list) =
337                CL.mkAssign(CL.mkVar x, CL.mkApply(RN.mkVec n, List.map #1 args))                CL.mkAssign(CL.mkVar x, CL.mkApply(RN.mkVec n, List.map #1 args))
Legend:
Removed from v.616  
changed lines
  Added in v.617
root@smlnj-gforge.cs.uchicago.edu
 ViewVC Help
Powered by ViewVC 1.0.0  
Powered By FusionForge