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 /sml/trunk/compiler/FLINT/main/literals.sml
ViewVC logotype

Diff of /sml/trunk/compiler/FLINT/main/literals.sml

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

revision 4512, Sun Oct 22 14:23:27 2017 UTC revision 4516, Sat Oct 28 17:51:15 2017 UTC
# Line 97  Line 97 
97     *                               from them and push a pointer.     *                               from them and push a pointer.
98     *    RETURN                  -- return the literal that is on the top of the     *    RETURN                  -- return the literal that is on the top of the
99     *                               stack.     *                               stack.
100       *
101       * Encoding:
102       *   INT(i)           0x01 <i>
103       *   RAW32[i]         0x02 <i>
104       *   RAW32[i1,..,in]  0x03 <n> <i1> ... <in>
105       *   RAW64[r]         0x04 <r>
106       *   RAW64[r1,..,rn]  0x05 <n> <r1> ... <rn>
107       *   STR[c1,..,cn]    0x06 <n> <c1> ... <cn>
108       *   LIT(k)           0x07 <k>
109       *   VECTOR(n)        0x08 <n>
110       *   RECORD(n)        0x09 <n>
111       *   RETURN           0xff
112     *)     *)
113    
114      fun w32ToBytes' (w, l) =      fun w32ToBytes' (w, l) =

Legend:
Removed from v.4512  
changed lines
  Added in v.4516

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