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

SCM Repository

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

Diff of /branches/pure-cfg/src/compiler/high-to-mid/high-to-mid.sml

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

revision 1272, Mon Jun 6 09:19:11 2011 UTC revision 1273, Mon Jun 6 10:46:20 2011 UTC
# Line 137  Line 137 
137                    fun colLp (j, colVars, code) = if (j < d2)                    fun colLp (j, colVars, code) = if (j < d2)
138                          then let                          then let
139                            val a = DstIL.Var.new("a", DstTy.realTy)                            val a = DstIL.Var.new("a", DstTy.realTy)
                           val ix = DstIL.Var.new("i", DstTy.intTy)  
140                            val b = DstIL.Var.new("b", DstTy.realTy)                            val b = DstIL.Var.new("b", DstTy.realTy)
                           val jx = DstIL.Var.new("j", DstTy.intTy)  
141                            val x = mkVar (i, j)                            val x = mkVar (i, j)
142                            val code = (x, DstIL.OP(DstOp.Mul DstTy.realTy, [a, b]))                            val code = (x, DstIL.OP(DstOp.Mul DstTy.realTy, [a, b]))
143                                  :: (b, DstIL.OP(DstOp.Subscript colTy, [v2, jx]))                                  :: (b, DstIL.OP(DstOp.Select(colTy, j), [v2]))
144                                  :: (jx, DstIL.LIT(Literal.intLit j))                                  :: (a, DstIL.OP(DstOp.Select(rowTy, i), [v1]))
                                 :: (a, DstIL.OP(DstOp.Subscript rowTy, [v1, ix]))  
                                 :: (ix, DstIL.LIT(Literal.intLit i))  
145                                  :: code                                  :: code
146                            in                            in
147                              colLp (j+1, x::colVars, code)                              colLp (j+1, x::colVars, code)

Legend:
Removed from v.1272  
changed lines
  Added in v.1273

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