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/branches/arith64/compiler/DEVNOTES/Primops/primop-list
ViewVC logotype

Diff of /sml/branches/arith64/compiler/DEVNOTES/Primops/primop-list

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

revision 4873, Thu Oct 4 21:39:53 2018 UTC revision 4874, Fri Oct 5 14:33:11 2018 UTC
# Line 461  Line 461 
461          InlineT.Int31.+ :               int * int -> int          InlineT.Int31.+ :               int * int -> int
462          Core.iadd :                     int * int -> int          Core.iadd :                     int * int -> int
463    
464  112  i31add_8,   int31 P.+,             word8 * word8 -> word8  112  i31add_8,   int31 P.+,             word8 * word8 -> word8          (* unused *)
465    
466  113  i31sub,     int31 P.-,             int * int -> int  113  i31sub,     int31 P.-,             int * int -> int
467          InlineT.Int31.- :               int * int -> int          InlineT.Int31.- :               int * int -> int
468    
469  114  i31sub_8,   int31 P.-,             word8 * word8 -> word8  114  i31sub_8,   int31 P.-,             word8 * word8 -> word8          (* unused *)
470    
471  115  i31mul,     int31 P.*,             int * int -> int  115  i31mul,     int31 P.*,             int * int -> int
472          InlineT.Int31.* :               int * int -> int          InlineT.Int31.* :               int * int -> int
473    
474  116  i31mul_8,   int31 P.*,             word8 * word8 -> word8  116  i31mul_8,   int31 P.*,             word8 * word8 -> word8          (* unused *)
475    
476  117  i31div,     int31 P.DIV,           int * int -> int  117  i31div,     int31 P.DIV,           int * int -> int
477          InlineT.Int31.div :             int * int -> int          InlineT.Int31.div :             int * int -> int
478    
479  118  i31div_8,   int31 P.DIV,           word8 * word8 -> word8  118  i31div_8,   int31 P.DIV,           word8 * word8 -> word8          (* unused *)
480    
481  119  i31mod,     int31 P.MOD,           int * int -> int  119  i31mod,     int31 P.MOD,           int * int -> int
482          InlineT.Int31.mod :             int * int -> int          InlineT.Int31.mod :             int * int -> int
483    
484  120  i31mod_8,   int31 P.MOD,           word8 * word8 -> word8  120  i31mod_8,   int31 P.MOD,           word8 * word8 -> word8          (* unused *)
485    
486  121  i31quot,    int31 P./,             int * int -> int  121  i31quot,    int31 P./,             int * int -> int
487          InlineT.Int31.quot :            int * int -> int          InlineT.Int31.quot :            int * int -> int
# Line 492  Line 492 
492  123  i31orb,     bits31 P.ORB,          int * int -> int  123  i31orb,     bits31 P.ORB,          int * int -> int
493          InlineT.Int31.orb :             int * int -> int          InlineT.Int31.orb :             int * int -> int
494    
495  124  i31orb_8,   bits31 P.ORB,          word8 * word8 -> word8  124  i31orb_8,   bits31 P.ORB,          word8 * word8 -> word8          (* unused *)
496    
497  125  i31andb,    bits31 P.ANDB,         int * int -> int  125  i31andb,    bits31 P.ANDB,         int * int -> int
498          InlineT.Int31.andb :            int * int -> int          InlineT.Int31.andb :            int * int -> int
499    
500  126  i31andb_8,  bits31 P.ANDB,         word8 * word8 -> word8  126  i31andb_8,  bits31 P.ANDB,         word8 * word8 -> word8          (* unused *)
501    
502  127  i31xorb,    bits31 P.XORB,         int * int -> int  127  i31xorb,    bits31 P.XORB,         int * int -> int
503          InlineT.Int31.xorb :            int * int -> int          InlineT.Int31.xorb :            int * int -> int
504    
505  128  i31xorb_8,  bits31 P.XORB,         word8 * word8 -> word8  128  i31xorb_8,  bits31 P.XORB,         word8 * word8 -> word8          (* unused *)
506    
507  129  i31notb,    bits31 P.NOTB,         int -> int  129  i31notb,    bits31 P.NOTB,         int -> int
508          InlineT.Int31.notb :            int -> int          InlineT.Int31.notb :            int -> int
509    
510  130  i31notb_8,  bits31 P.NOTB,         word8 -> word8  130  i31notb_8,  bits31 P.NOTB,         word8 -> word8                  (* unused *)
511    
512  131  i31neg,     int31 P.~,             int -> int  131  i31neg,     int31 P.~,             int -> int
513          InlineT.Int31.~ :               int -> int          InlineT.Int31.~ :               int -> int
514    
515  132  i31neg_8,   int31 P.~,             word8 -> word8  132  i31neg_8,   int31 P.~,             word8 -> word8                  (* unused *)
516    
517  133  i31lshift,  bits31 P.LSHIFT,       int * int -> int  133  i31lshift,  bits31 P.LSHIFT,       int * int -> int
518          InlineT.Int31.lshift :          int * int -> int          InlineT.Int31.lshift :          int * int -> int
519    
520  134  i31lshift_8,bits31 P.LSHIFT,       word8word ->word8  134  i31lshift_8,bits31 P.LSHIFT,       word8word ->word8               (* unused *)
521    
522  135  i31rshift,  bits31 P.RSHIFT,       int * int -> int  135  i31rshift,  bits31 P.RSHIFT,       int * int -> int
523          InlineT.Int31.rshift :          int * int -> int          InlineT.Int31.rshift :          int * int -> int
524    
525  136  i31rshift_8,bits31 P.RSHIFT,       word8word ->word8  136  i31rshift_8,bits31 P.RSHIFT,       word8word ->word8               (* unused *)
526    
527  137  i31lt,      int31cmp P.<,          int * int -> bool  137  i31lt,      int31cmp P.<,          int * int -> bool
528          InlineT.Int31.< :               int * int -> bool          InlineT.Int31.< :               int * int -> bool
529    
530  138  i31lt_8,    int31cmp P.<,          word8 * word8-> bool  138  i31lt_8,    int31cmp P.<,          word8 * word8-> bool            (* unused *)
531    
532  139  i31lt_c,    int31cmp P.<,          char * char -> bool  139  i31lt_c,    int31cmp P.<,          char * char -> bool
533          InlineT.Char.<= :               (char * char) -> bool          InlineT.Char.<= :               (char * char) -> bool
# Line 535  Line 535 
535  140  i31le,      int31cmp P.<=,         int * int -> bool  140  i31le,      int31cmp P.<=,         int * int -> bool
536          InlineT.Int31.<= :              int * int -> bool          InlineT.Int31.<= :              int * int -> bool
537    
538  141  i31le_8,    int31cmp P.<=,         word8 * word8-> bool  141  i31le_8,    int31cmp P.<=,         word8 * word8-> bool            (* unused *)
539    
540  142  i31le_c,    int31cmp P.<=,         char * char -> bool  142  i31le_c,    int31cmp P.<=,         char * char -> bool
541          InlineT.Char.<= :               (char * char) -> bool          InlineT.Char.<= :               (char * char) -> bool
# Line 543  Line 543 
543  143  i31gt,      int31cmp P.>,          int * int -> bool  143  i31gt,      int31cmp P.>,          int * int -> bool
544          InlineT.Int31.> :               int * int -> bool          InlineT.Int31.> :               int * int -> bool
545    
546  144  i31gt_8,    int31cmp P.>,          word8 * word8-> bool  144  i31gt_8,    int31cmp P.>,          word8 * word8-> bool            (* unused *)
547    
548  145  i31gt_c,    int31cmp P.>,          char * char-> bool  145  i31gt_c,    int31cmp P.>,          char * char-> bool
549          InlineT.Char.> :                (char * char) -> bool          InlineT.Char.> :                (char * char) -> bool
550    
551  146  i31ge,      int31cmp P.>=,         int * int -> bool  146  i31ge,      int31cmp P.>=,         int * int -> bool
552          InlineT.Int31.>= :              int * int -> bool          InlineT.Int31.>= :              int * int -> bool
553    
554  147  i31ge_8,    int31cmp P.>=,         word8 * word8-> bool  147  i31ge_8,    int31cmp P.>=,         word8 * word8-> bool            (* unused *)
555    
556  148  i31ge_c,    int31cmp P.>=,         char * char -> bool  148  i31ge_c,    int31cmp P.>=,         char * char -> bool
557          InlineT.Char.>= :               (char * char) -> bool          InlineT.Char.>= :               (char * char) -> bool
558    
# Line 569  Line 571 
571  153  i31min,     P.INLMIN (P.INT 31),   int * int -> int  153  i31min,     P.INLMIN (P.INT 31),   int * int -> int
572          InlineT.Int31.min :             int * int -> int          InlineT.Int31.min :             int * int -> int
573    
574  154  i31min_8,   P.INLMIN (P.INT 31),   word8 * word8 -> word8  154  i31min_8,   P.INLMIN (P.INT 31),   word8 * word8 -> word8          (* unused *)
575    
576  155  i31max,     P.INLMAX (P.INT 31),   int * int -> int  155  i31max,     P.INLMAX (P.INT 31),   int * int -> int
577          InlineT.Int31.max :             int * int -> int          InlineT.Int31.max :             int * int -> int
578    
579  156  i31max_8,   P.INLMAX (P.INT 31),   word8 * word8 -> word8  156  i31max_8,   P.INLMAX (P.INT 31),   word8 * word8 -> word8          (* unused *)
580    
581  157  i31abs,     P.INLABS (P.INT 31),   int -> int  157  i31abs,     P.INLABS (P.INT 31),   int -> int
582          InlineT.Int31.abs :             int -> int          InlineT.Int31.abs :             int -> int

Legend:
Removed from v.4873  
changed lines
  Added in v.4874

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