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/src/compiler/FLINT/kernel/primop.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/kernel/primop.sml

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

revision 203, Sat Dec 19 20:51:39 1998 UTC revision 204, Sun Dec 20 11:23:30 1998 UTC
# Line 250  Line 250 
250     | (DISPOSE | MKSPECIAL | DEFLVAR | MARKEXN) => false     | (DISPOSE | MKSPECIAL | DEFLVAR | MARKEXN) => false
251     | _ => true     | _ => true
252    
253    (* should return more than just a boolean *)
254    val effect =
255     fn (* ARITH{overflow,...} => overflow
256      | (INLRSHIFT _ | INLRSHIFTL _) => false
257      | CMP _ => false
258      | (EXTEND _ | TRUNC _ | COPY _) => false
259      | (PTREQL | PTRNEQ | POLYEQL | POLYNEQ) => false
260      | (BOXED | UNBOXED) => false
261      | (LENGTH | OBJLENGTH) => false
262      | (CAST | WCAST) => false
263      | (MAKEREF | DEREF) => false
264      | (INLMIN | INLMAX | INLNOT | INLCOMPOSE) => false
265      | (INL_ARRAY | INL_VECTOR | INL_MONOARRAY _ | INL_MONOVECTOR _) => false
266      | (WRAP | UNWRAP) => false
267      | *) _ => true
268    
269  val mayRaise =  val mayRaise =
270    fn ARITH{overflow,...} => overflow    fn ARITH{overflow,...} => overflow
271     | ROUND _ => true     | ROUND _ => true

Legend:
Removed from v.203  
changed lines
  Added in v.204

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