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 4884, Wed Oct 10 15:09:21 2018 UTC revision 4885, Wed Oct 10 15:10:01 2018 UTC
# Line 108  Line 108 
108    * `<> : ''a * ''a -> bool`<br/>    * `<> : ''a * ''a -> bool`<br/>
109      `P.POLYNEQ`      `P.POLYNEQ`
110    
111    * `ptreql : 'a * 'a -> bool`<br/>    * `ptr_eql : 'a * 'a -> bool`<br/>
112      `P.PTREQL`      `P.PTREQL`
113    
114    * `ptrneq : 'a * 'a -> bool`<br/>    * `ptr_neq : 'a * 'a -> bool`<br/>
115      `P.PTRNEQ`      `P.PTRNEQ`
116    
117    
# Line 329  Line 329 
329    * `int_le : int * int -> bool`<br/>    * `int_le : int * int -> bool`<br/>
330      `P.CMP{oper=P.LTE, kind=P.INT <int-size>}`      `P.CMP{oper=P.LTE, kind=P.INT <int-size>}`
331    
332    * `int_eq : int * int -> bool`<br/>    * `int_eql : int * int -> bool`<br/>
333      `P.CMP{oper=P.EQL, kind=P.INT <int-size>}`      `P.CMP{oper=P.EQL, kind=P.INT <int-size>}`
334    
335    * `int_ne : int * int -> bool`<br/>    * `int_neq : int * int -> bool`<br/>
336      `P.CMP{oper=P.NEQ, kind=P.INT <int-size>}`      `P.CMP{oper=P.NEQ, kind=P.INT <int-size>}`
337    
338    * `int_min : int * int -> int`<br/>    * `int_min : int * int -> int`<br/>
# Line 399  Line 399 
399    * `word_le : word * word -> bool`<br/>    * `word_le : word * word -> bool`<br/>
400      `P.CMP{oper=P.LTE, kind=P.UINT <int-size>}`      `P.CMP{oper=P.LTE, kind=P.UINT <int-size>}`
401    
402    * `word_eq : word * word -> bool`<br/>    * `word_eql : word * word -> bool`<br/>
403      `P.CMP{oper=P.EQL, kind=P.UINT <int-size>}`      `P.CMP{oper=P.EQL, kind=P.UINT <int-size>}`
404    
405    * `word_ne : word * word -> bool`<br/>    * `word_neq : word * word -> bool`<br/>
406      `P.CMP{oper=P.NEQ, kind=P.UINT <int-size>}`      `P.CMP{oper=P.NEQ, kind=P.UINT <int-size>}`
407    
408    * `word_raw_rshift : word * word -> word`<br/>    * `word_raw_rshift : word * word -> word`<br/>
# Line 474  Line 474 
474    * `int32_le : int32 * int32 -> bool`<br/>    * `int32_le : int32 * int32 -> bool`<br/>
475      `P.CMP{oper=P.LTE, kind=P.INT 32}`      `P.CMP{oper=P.LTE, kind=P.INT 32}`
476    
477    * `int32_eq : int32 * int32 -> bool`<br/>    * `int32_eql : int32 * int32 -> bool`<br/>
478      `P.CMP{oper=P.EQL, kind=P.INT 32}`      `P.CMP{oper=P.EQL, kind=P.INT 32}`
479    
480    * `int32_ne : int32 * int32 -> bool`<br/>    * `int32_neq : int32 * int32 -> bool`<br/>
481      `P.CMP{oper=P.NEQ, kind=P.INT 32}`      `P.CMP{oper=P.NEQ, kind=P.INT 32}`
482    
483    * `int32_min : int32 * int32 -> int32`<br/>    * `int32_min : int32 * int32 -> int32`<br/>
# Line 543  Line 543 
543    * `int64_le : int64 * int64 -> bool`<br/>    * `int64_le : int64 * int64 -> bool`<br/>
544      `P.CMP{oper=P.LTE, kind=P.INT 64}`      `P.CMP{oper=P.LTE, kind=P.INT 64}`
545    
546    * `int64_eq : int64 * int64 -> bool`<br/>    * `int64_eql : int64 * int64 -> bool`<br/>
547      `P.CMP{oper=P.EQL, kind=P.INT 64}`      `P.CMP{oper=P.EQL, kind=P.INT 64}`
548    
549    * `int64_ne : int64 * int64 -> bool`<br/>    * `int64_neq : int64 * int64 -> bool`<br/>
550      `P.CMP{oper=P.NEQ, kind=P.INT 64}`      `P.CMP{oper=P.NEQ, kind=P.INT 64}`
551    
552    * `int64_min : int64 * int64 -> int64`<br/>    * `int64_min : int64 * int64 -> int64`<br/>

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

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