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 /dev-notes/primop-list.md
ViewVC logotype

Diff of /dev-notes/primop-list.md

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

revision 4880, Tue Oct 9 19:37:53 2018 UTC revision 4884, Wed Oct 10 15:09:21 2018 UTC
# Line 269  Line 269 
269  type (`Int.int`).  type (`Int.int`).
270    
271    * `int_add : int * int -> int`<br/>    * `int_add : int * int -> int`<br/>
272        Signed integer addition with overflow checking.
273      `P.ARITH{oper=P.ADD, overflow=true, kind=P.INT <int-size>}`      `P.ARITH{oper=P.ADD, overflow=true, kind=P.INT <int-size>}`
274    
275      * `int_unsafe_add : int * int -> int`<br/>
276        Signed integer addition *without* overflow checking.
277        `P.ARITH{oper=P.ADD, overflow=false, kind=P.INT <int-size>}`
278    
279    * `int_sub : int * int -> int`<br/>    * `int_sub : int * int -> int`<br/>
280        Signed integer subtraction with overflow checking.
281      `P.ARITH{oper=P.SUB, overflow=true, kind=P.INT <int-size>}`      `P.ARITH{oper=P.SUB, overflow=true, kind=P.INT <int-size>}`
282    
283      * `int_unsafe_sub : int * int -> int`<br/>
284        Signed integer subtraction *without* overflow checking.
285        `P.ARITH{oper=P.SUB, overflow=false, kind=P.INT <int-size>}`
286    
287    * `int_mul : int * int -> int`<br/>    * `int_mul : int * int -> int`<br/>
288      `P.ARITH{oper=P.MUL, overflow=true, kind=P.INT <int-size>}`      `P.ARITH{oper=P.MUL, overflow=true, kind=P.INT <int-size>}`
289    

Legend:
Removed from v.4880  
changed lines
  Added in v.4884

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