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

Parent Directory | Revision Log | 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

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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