Diff of /branches/vis15/src/compiler/high-opt/reorder.sml

Parent Directory | Revision Log | Patch

	revision 3515, Sat Dec 19 03:01:31 2015 UTC	revision 3516, Sat Dec 19 03:54:23 2015 UTC
#	Line 25	Line 25
25	(* pushApply:ein_exp * ein_exp list ->int* ein_exp	(* pushApply:ein_exp * ein_exp list ->int* ein_exp
26	* Moves non-field expression outside of apply	* Moves non-field expression outside of apply
27	*)	*)
28	fun pushApply (del, p) = (case Filter.filterField p	fun pushApply (del, p) = (case Filter.partitionField p
29	of ([], []) => raise Fail "No Field in Apply expression"	of ([], []) => raise Fail "No Field in Apply expression"
30	| ([], post) => (false, rewriteApply(del, post))	| ([], post) => (false, rewriteApply(del, post))
31	| (pre, post) => (true, rewriteProd(pre@[rewriteApply(del, post)]))	| (pre, post) => (true, rewriteProd(pre@[rewriteApply(del, post)]))
#	Line 50	Line 50
50	| E.Op1(op1, e1) => E.Op1(op1,order e1)	| E.Op1(op1, e1) => E.Op1(op1,order e1)
51	| E.Op2(op2, e1,e2) => E.Op2(op2,order e1,order e2)	| E.Op2(op2, e1,e2) => E.Op2(op2,order e1,order e2)
52	| E.Opn(E.Prod, es) => let	| E.Opn(E.Prod, es) => let
53	val (s, eps, dels, p) = Filter.filterGreek es	val (s, eps, dels, p) = Filter.partitionGreek es
54	val p' = List.map order p	val p' = List.map order p
55	in	in
56	E.Opn(E.Prod, s@eps@dels@p')	E.Opn(E.Prod, s@eps@dels@p')
#	Line 71	Line 71
71	val b' = order b	val b' = order b
72	*)	*)
73	in	in
74	Ein.EIN{params=params, index=index, body=b'}	Ein.EIN{params=params, index=index, body=b}
75	end	end
76
77	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.3515   changed lines   Added in v.3516

---

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