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

SCM Repository

[smlnj] Diff of /MLRISC/trunk/c-call/test/c-x86-64-test.sml
ViewVC logotype

Diff of /MLRISC/trunk/c-call/test/c-x86-64-test.sml

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

revision 3165, Wed Jul 30 00:02:25 2008 UTC revision 3166, Wed Jul 30 00:03:25 2008 UTC
# Line 105  Line 105 
105      val eqCCext = eq val eqSext = eq)      val eqCCext = eq val eqSext = eq)
106    
107  (*  (*
 structure AMD64PseudoOps  =  
   struct  
     structure Client =  
       struct  
         datatype pseudo_op_ext = COMM of (Label.label * int)  
         structure AsmPseudoOps = AMD64GasPseudoOps (  
                              structure T = AMD64MLTree  
                              structure MLTreeEval = AMD64MLTreeEval)  
         type pseudo_op = pseudo_op_ext  
         fun toString (COMM(lab, sz)) = concat[  
             "\t.comm\t"(*, P.lexpToString(P.T.LABEL lab)*),  
             ",", Int.toString sz]  
         fun emitValue {pOp, loc, emit} = raise Fail "emitValue"  
         fun sizeOf _ = 0  
         fun adjustLabels _ = false  
       end (* Client *)  
   
     structure T = AMD64MLTree  
     type pseudo_op = (T.labexp, Client.pseudo_op) PseudoOpsBasisTyp.pseudo_op  
     fun toString _ = ""  
     fun emitValue _ = ()  
     fun sizeOf _ = 0  
     fun adjustLabels _ = false  
 end (* AMD64PseudoOps *)  
 *)  
   
   
108  functor AMD64PseudoOpsFn (  functor AMD64PseudoOpsFn (
109      structure T : MLTREE      structure T : MLTREE
110      structure MLTreeEval : MLTREE_EVAL where T = T      structure MLTreeEval : MLTREE_EVAL where T = T
111    ) : PSEUDO_OPS_BASIS = AMD64GasPseudoOps (    ) : PSEUDO_OPS_BASIS = AMD64GasPseudoOps (
112      structure T = T      structure T = T
113      structure MLTreeEval = MLTreeEval)      structure MLTreeEval = MLTreeEval)
114    *)
115    
 (*  
116  functor AMD64PseudoOpsFn (  functor AMD64PseudoOpsFn (
117      structure T : MLTREE      structure T : MLTREE
118      structure MLTreeEval : MLTREE_EVAL where T = T      structure MLTreeEval : MLTREE_EVAL where T = T
119    ) : PSEUDO_OPS_BASIS = AMD64DarwinPseudoOps (    ) : PSEUDO_OPS_BASIS = AMD64DarwinPseudoOps (
120      structure T = T      structure T = T
121      structure MLTreeEval = MLTreeEval)      structure MLTreeEval = MLTreeEval)
122  *)  
123    
124  structure AMD64PseudoOps = AMD64PseudoOpsFn(  structure AMD64PseudoOps = AMD64PseudoOpsFn(
125              structure T = AMD64MLTree              structure T = AMD64MLTree
# Line 551  Line 524 
524                     callseq,                     callseq,
525                     [T.EXT(AMD64InstrExt.LEAVE)],                     [T.EXT(AMD64InstrExt.LEAVE)],
526                     [T.RET []]]                     [T.RET []]]
527  (*  
528          val _ = List.all (fn stm => ChkTy.check stm          val _ = List.all (fn stm => ChkTy.check stm
529                                      orelse raise Fail ("typechecking error: "^AMD64MTC.AMD64MLTreeUtils.stmToString stm))                                      orelse raise Fail ("typechecking error: "^AMD64MTC.AMD64MLTreeUtils.stmToString stm))
530                  stms                  stms
531  *)  
532          in          in
533             dumpOutput(gen (functionName, stms, result))             dumpOutput(gen (functionName, stms, result))
534          end          end

Legend:
Removed from v.3165  
changed lines
  Added in v.3166

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