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

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/demo/eg-alpha.sml
ViewVC logotype

View of /sml/trunk/src/MLRISC/demo/eg-alpha.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 713 - (download) (annotate)
Mon Oct 23 23:38:38 2000 UTC (20 years ago) by leunga
File size: 940 byte(s)

Minor changes to RA.  Added MLRISC demo files.
Tag: leunga-20001023-demo-ra
(*---------------------------------------------------------------------------
 * Here's an example: factorial for alpha.
 *---------------------------------------------------------------------------*)
fun eg2() = (* fact(n) *)
let open AlphaBackEnd
    val fact  = C.newReg()
    val i     = C.newReg()
    val n     = C.GPReg 0  (* let's say r0 is the input/output parameter *)
    val loop  = Label.newLabel "loop"
    val exit  = Label.newLabel "exit"
in  codegen
      (Label.newLabel "factorial",
       [T.MV(64, i,    T.REG(64, n)),
        T.MV(64, fact, T.LI 1),
        T.DEFINE loop,
        T.BCC([], T.CMP(64, T.LE, T.REG(64, n), T.LI 0), exit),
        T.MV(64, fact, T.MULS(64, T.REG(64, i), T.REG(64, fact))),
        T.MV(64, i,    T.SUB(64, T.REG(64, i), T.LI 1)),
        T.JMP([], T.LABEL(LabelExp.LABEL loop), []),
        T.DEFINE exit,
        T.MV(64, n, T.REG(64, fact)),
        T.RET([], [])
       ]
      )
end

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