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/archs/x86-64-svid-fn.sml
ViewVC logotype

Diff of /MLRISC/trunk/c-call/archs/x86-64-svid-fn.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 140  Line 140 
140                          (* end case *))                          (* end case *))
141    
142    (* convert staged allocation locations to C locations *)    (* convert staged allocation locations to C locations *)
143      fun locToC (SA.REG (w, GPR, r)) = CCall.C_GPR (w, r)      fun locToC (SA.NARROW (SA.REG (_, GPR, r), w, GPR)) =
144        | locToC (SA.REG (w, FPR, r)) = CCall.C_FPR (w, r)            CCall.C_GPR (w, r)
145        | locToC (SA.BLOCK_OFFSET (w, (GPR | FPR | STK | FSTK), offB)) =        | locToC (SA.NARROW (SA.REG (_, FPR, r), w, FPR)) =
146              CCall.C_FPR (w, r)
147          | locToC (SA.NARROW (SA.BLOCK_OFFSET (_, (GPR | FPR | STK | FSTK), offB), w, (GPR | FPR | STK | FSTK))) =
148             CCall.C_STK (w, T.I.fromInt (wordTy, offB))             CCall.C_STK (w, T.I.fromInt (wordTy, offB))
       | locToC (SA.NARROW (loc, w, k)) = locToC loc  
149        | locToC _ = raise Fail "impossible"        | locToC _ = raise Fail "impossible"
150    
151    (* given a return type, return the locations for the return values *)    (* given a return type, return the locations for the return values *)

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