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/ElabData/prim/primop.sig
ViewVC logotype

Diff of /sml/trunk/compiler/ElabData/prim/primop.sig

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

revision 5015, Mon Apr 29 01:51:55 2019 UTC revision 5018, Mon Apr 29 11:33:16 2019 UTC
# Line 164  Line 164 
164      val ILT : primop      val ILT : primop
165      val ILE : primop      val ILE : primop
166      val IGE : primop      val IGE : primop
167    
168      (** default word arithmetic and comparison operators *)
169        val UADD : primop
170      val UIEQL : primop  (* for UINT kind, may not matter *)      val UIEQL : primop  (* for UINT kind, may not matter *)
171    
172      val mkIEQL : int -> primop   (* make equality primop for other sizes *)      val mkIEQL : int -> primop   (* make equality primop for other sizes *)
# Line 171  Line 174 
174    
175      val prNumkind : numkind -> string      val prNumkind : numkind -> string
176      val prPrimop: primop -> string      val prPrimop: primop -> string
     val mayRaise : primop -> bool  
177    
178    (* This should return more than just a boolean.    (* This should return more than just a boolean.
179     * True means "can not be dead-code eliminated" *)     * True means "can not be dead-code eliminated" *)

Legend:
Removed from v.5015  
changed lines
  Added in v.5018

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