Diff of /trunk/src/compiler/IL/high-il.sml

Parent Directory | Revision Log | Patch

	revision 186, Thu Jul 29 04:26:57 2010 UTC	revision 187, Thu Jul 29 14:00:37 2010 UTC
#	Line 11	Line 11
11	structure HighOps =	structure HighOps =
12	struct	struct
13
14	type ty = BoolTy | StringTy | IntTy | TensorTy of int list	datatype ty = BoolTy | StringTy | IntTy | TensorTy of int list
15
16	fun sameTy (ty1 : ty, ty2) = (ty1 = ty2)	fun samety (ty1 : ty, ty2) = (ty1 = ty2)
17		fun hashty BoolTy = 0w1
18		| hashty StringTy = 0w2
19		| hashty IntTy = 0w3
20		| hashty (TensorTy dd) = List.foldl (fn (d, s) => Word.fromInt d + s) 0w4 dd
21		fun tyToString BoolTy = "bool"
22		| tyToString StringTy = "string"
23		| tyToString IntTy = "int"
24		| tyToString (TensorTy dd) = String.concat[
25		"tensor[", String.concatWith "," (List.map Int.toString dd), "]"
26		]
27
28	datatype rator	datatype rator
29	= Add of ty	= Add of ty
#	Line 200	Line 210
210	end	end
211
212	structure HighIL = SSAFn(HighOps)	structure HighIL = SSAFn(HighOps)
	hash (Add a) = 0w587 + hash ty  a
	| hash (Add a) = 0w593 + hash ty  a
	| hash (Add a) = 0w599 + hash ty  a
	| hash (Add a) = 0w601 + hash ty  a
	| hash (Add a) = 0w607 + hash ty  a
	| hash (Add a) = 0w613 + hash ty  a
	| hash (Add a) = 0w617 + hash ty  a
	| hash (Add a) = 0w619 + hash ty  a
	| hash (Add a) = 0w631 + hash ty  a
	| hash (Add a) = 0w641 + hash ty  a
	| hash (Add a) = 0w643 + hash ty  a
	| hash (Add a) = 0w647 + hash ty  a
	| hash (Add a) = 0w653 + hash ty  a
	| hash (Add a) = 0w659 + hash ty  a
	| hash (Add a) = 0w661 + hash ty  a
	| hash (Add a) = 0w673 + hash ty  a
	| hash (Add a) = 0w677 + hash ty  a
	| hash (Add a) = 0w683 + hash ty  a
	| hash (Add a) = 0w691 + hash ty  a
	| hash (Add a) = 0w701 + hash ty  a
	| hash (Add a) = 0w709 + hash ty  a
	| hash (Add a) = 0w719 + hash ty  a
	| hash (Add a) = 0w727 + hash ty  a
	| hash (Add a) = 0w733 + hash ty  a
	| hash (Add a) = 0w739 + hash ty  a
	| hash (Add a) = 0w743 + hash ty  a
	| hash (Add a) = 0w751 + hash ty  a
	| hash (Add a) = 0w757 + hash ty  a
	| hash (Add a) = 0w761 + hash ty  a
	| hash (Add a) = 0w769 + hash ty  a
	| hash (Add a) = 0w773 + hash ty  a
	| hash (Add a) = 0w787 + hash ty  a
	| hash (Add a) = 0w797 + hash ty  a
	| hash (Add a) = 0w809 + hash ty  a
	| hash (Add a) = 0w811 + hash ty  a
	| hash (Add a) = 0w821 + hash ty  a
	| hash (Add a) = 0w823 + hash ty  a
	| hash (Add a) = 0w827 + hash ty  a
	| hash (Add a) = 0w829 + hash ty  a
	| hash (Add a) = 0w839 + hash ty  a
	| hash (Add a) = 0w853 + hash ty  a
	| hash (Add a) = 0w857 + hash ty  a
	| hash (Add a) = 0w859 + hash ty  a
	| hash (Add a) = 0w863 + hash ty  a
	| hash (Add a) = 0w877 + hash ty  a
	| hash (Add a) = 0w881 + hash ty  a
	| hash (Add a) = 0w883 + hash ty  a
	| hash (Add a) = 0w887 + hash ty  a
	| hash (Add a) = 0w907 + hash ty  a
	| hash (Add a) = 0w911 + hash ty  a
	| hash (Add a) = 0w919 + hash ty  a
	| hash (Add a) = 0w929 + hash ty  a
	| hash (Add a) = 0w937 + hash ty  a
	| hash (Add a) = 0w941 + hash ty  a
	| hash (Add a) = 0w947 + hash ty  a
	| hash (Add a) = 0w953 + hash ty  a
	| hash (Add a) = 0w967 + hash ty  a
	| hash (Add a) = 0w971 + hash ty  a
	| hash (Add a) = 0w977 + hash ty  a
	| hash (Add a) = 0w983 + hash ty  a
	| hash (Add a) = 0w991 + hash ty  a
	| hash (Add a) = 0w997 + hash ty  a
	| hash (Add a) = 0w1009 + hash ty  a
	| hash (Add a) = 0w1013 + hash ty  a
	| hash (Add a) = 0w1019 + hash ty  a
	| hash (Add a) = 0w1021 + hash ty  a
	| hash (Add a) = 0w1031 + hash ty  a
	| hash (Add a) = 0w1033 + hash ty  a
	| hash (Add a) = 0w1039 + hash ty  a
	| hash (Add a) = 0w1049 + hash ty  a
	| hash (Add a) = 0w1051 + hash ty  a
	| hash (Add a) = 0w1061 + hash ty  a
	| hash (Add a) = 0w1063 + hash ty  a
	| hash (Add a) = 0w1069 + hash ty  a
	| hash (Add a) = 0w1087 + hash ty  a
	| hash (Add a) = 0w1091 + hash ty  a
	| hash (Add a) = 0w1093 + hash ty  a
	| hash (Add a) = 0w1097 + hash ty  a
	| hash (Add a) = 0w1103 + hash ty  a
	| hash (Add a) = 0w1109 + hash ty  a
	| hash (Add a) = 0w1117 + hash ty  a
	| hash (Add a) = 0w1123 + hash ty  a
	| hash (Add a) = 0w1129 + hash ty  a
	| hash (Add a) = 0w1151 + hash ty  a
	| hash (Add a) = 0w1153 + hash ty  a
	| hash (Add a) = 0w1163 + hash ty  a
	| hash (Add a) = 0w1171 + hash ty  a
	| hash (Add a) = 0w1181 + hash ty  a
	| hash (Add a) = 0w1187 + hash ty  a
	| hash (Add a) = 0w1193 + hash ty  a
	| hash (Add a) = 0w1201 + hash ty  a
	| hash (Add a) = 0w1213 + hash ty  a
	| hash (Add a) = 0w1217 + hash ty  a
	| hash (Add a) = 0w1223 + hash ty  a
	| hash

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.186   changed lines   Added in v.187

---

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