Diff of /branches/vis15/src/compiler/mid-ir/mid-ir.sml

Parent Directory | Revision Log | Patch

	revision 3507, Fri Dec 18 12:49:08 2015 UTC	revision 3508, Fri Dec 18 14:19:30 2015 UTC
#	Line 83	Line 83
83	| Append of ty	| Append of ty
84	| Prepend of ty	| Prepend of ty
85	| Concat of ty	| Concat of ty
86		| Range
87	| Length of ty	| Length of ty
88	| Ceiling of int	| Ceiling of int
89	| Floor of int	| Floor of int
#	Line 135	Line 136
136	| resultArity (Append _) = 2	| resultArity (Append _) = 2
137	| resultArity (Prepend _) = 2	| resultArity (Prepend _) = 2
138	| resultArity (Concat _) = 2	| resultArity (Concat _) = 2
139		| resultArity Range = 2
140	| resultArity (Length _) = 1	| resultArity (Length _) = 1
141	| resultArity (Ceiling _) = 1	| resultArity (Ceiling _) = 1
142	| resultArity (Floor _) = 1	| resultArity (Floor _) = 1
#	Line 187	Line 189
189	| arity (Append _) = 1	| arity (Append _) = 1
190	| arity (Prepend _) = 1	| arity (Prepend _) = 1
191	| arity (Concat _) = 1	| arity (Concat _) = 1
192		| arity Range = 1
193	| arity (Length _) = 1	| arity (Length _) = 1
194	| arity (Ceiling _) = 1	| arity (Ceiling _) = 1
195	| arity (Floor _) = 1	| arity (Floor _) = 1
#	Line 246	Line 249
249	| same (Append(a0), Append(b0)) = samety(a0, b0)	| same (Append(a0), Append(b0)) = samety(a0, b0)
250	| same (Prepend(a0), Prepend(b0)) = samety(a0, b0)	| same (Prepend(a0), Prepend(b0)) = samety(a0, b0)
251	| same (Concat(a0), Concat(b0)) = samety(a0, b0)	| same (Concat(a0), Concat(b0)) = samety(a0, b0)
252		| same (Range, Range) = true
253	| same (Length(a0), Length(b0)) = samety(a0, b0)	| same (Length(a0), Length(b0)) = samety(a0, b0)
254	| same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)	| same (Ceiling(a0), Ceiling(b0)) = sameint(a0, b0)
255	| same (Floor(a0), Floor(b0)) = sameint(a0, b0)	| same (Floor(a0), Floor(b0)) = sameint(a0, b0)
#	Line 299	Line 303
303	| hash (Append(a0)) = 0w127 + hashty a0	| hash (Append(a0)) = 0w127 + hashty a0
304	| hash (Prepend(a0)) = 0w131 + hashty a0	| hash (Prepend(a0)) = 0w131 + hashty a0
305	| hash (Concat(a0)) = 0w137 + hashty a0	| hash (Concat(a0)) = 0w137 + hashty a0
306	| hash (Length(a0)) = 0w139 + hashty a0	| hash Range = 0w139
307	| hash (Ceiling(a0)) = 0w149 + hashint a0	| hash (Length(a0)) = 0w149 + hashty a0
308	| hash (Floor(a0)) = 0w151 + hashint a0	| hash (Ceiling(a0)) = 0w151 + hashint a0
309	| hash (Round(a0)) = 0w157 + hashint a0	| hash (Floor(a0)) = 0w157 + hashint a0
310	| hash (Trunc(a0)) = 0w163 + hashint a0	| hash (Round(a0)) = 0w163 + hashint a0
311	| hash IntToReal = 0w167	| hash (Trunc(a0)) = 0w167 + hashint a0
312	| hash (RealToInt(a0)) = 0w173 + hashint a0	| hash IntToReal = 0w173
313	| hash (Kernel(a0,a1)) = 0w179 + Kernel.hash a0 + hashint a1	| hash (RealToInt(a0)) = 0w179 + hashint a0
314	| hash (Transform(a0)) = 0w181 + ImageInfo.hash a0	| hash (Kernel(a0,a1)) = 0w181 + Kernel.hash a0 + hashint a1
315	| hash (Translate(a0)) = 0w191 + ImageInfo.hash a0	| hash (Transform(a0)) = 0w191 + ImageInfo.hash a0
316	| hash (EvalKernel(a0,a1,a2)) = 0w193 + hashint a0 + Kernel.hash a1 + hashint a2	| hash (Translate(a0)) = 0w193 + ImageInfo.hash a0
317	| hash (VoxelAddress(a0,a1)) = 0w197 + ImageInfo.hash a0 + hashint a1	| hash (EvalKernel(a0,a1,a2)) = 0w197 + hashint a0 + Kernel.hash a1 + hashint a2
318	| hash (VoxelAddressWithCtl(a0,a1,a2)) = 0w199 + ImageInfo.hash a0 + hashint a1 + hashidxctl a2	| hash (VoxelAddress(a0,a1)) = 0w199 + ImageInfo.hash a0 + hashint a1
319	| hash (LoadVoxels(a0,a1)) = 0w211 + ImageInfo.hash a0 + hashint a1	| hash (VoxelAddressWithCtl(a0,a1,a2)) = 0w211 + ImageInfo.hash a0 + hashint a1 + hashidxctl a2
320	| hash (Inside(a0,a1)) = 0w223 + ImageInfo.hash a0 + hashint a1	| hash (LoadVoxels(a0,a1)) = 0w223 + ImageInfo.hash a0 + hashint a1
321	| hash (ImageDim(a0,a1)) = 0w227 + ImageInfo.hash a0 + hashint a1	| hash (Inside(a0,a1)) = 0w227 + ImageInfo.hash a0 + hashint a1
322	| hash (LoadSeq(a0,a1)) = 0w229 + hashty a0 + hashstring a1	| hash (ImageDim(a0,a1)) = 0w229 + ImageInfo.hash a0 + hashint a1
323	| hash (LoadImage(a0,a1)) = 0w233 + hashty a0 + hashstring a1	| hash (LoadSeq(a0,a1)) = 0w233 + hashty a0 + hashstring a1
324	| hash (Print(a0)) = 0w239 + hashtys a0	| hash (LoadImage(a0,a1)) = 0w239 + hashty a0 + hashstring a1
325		| hash (Print(a0)) = 0w241 + hashtys a0
326
327	fun toString IAdd = "IAdd"	fun toString IAdd = "IAdd"
328	| toString ISub = "ISub"	| toString ISub = "ISub"
#	Line 351	Line 356
356	| toString (Append(a0)) = concat["Append<", tyToString a0, ">"]	| toString (Append(a0)) = concat["Append<", tyToString a0, ">"]
357	| toString (Prepend(a0)) = concat["Prepend<", tyToString a0, ">"]	| toString (Prepend(a0)) = concat["Prepend<", tyToString a0, ">"]
358	| toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]	| toString (Concat(a0)) = concat["Concat<", tyToString a0, ">"]
359		| toString Range = "Range"
360	| toString (Length(a0)) = concat["Length<", tyToString a0, ">"]	| toString (Length(a0)) = concat["Length<", tyToString a0, ">"]
361	| toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]	| toString (Ceiling(a0)) = concat["Ceiling<", intToString a0, ">"]
362	| toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]	| toString (Floor(a0)) = concat["Floor<", intToString a0, ">"]
#	Line 374	Line 380
380	end	end
381
382	structure MidIR = SSAFn(	structure MidIR = SSAFn(
383	val ilName = "mid-ir"	val irName = "mid-ir"
384	structure Ty = MidTypes	structure Ty = MidTypes
385	structure Op = MidOps)	structure Op = MidOps)
386

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.3507   changed lines   Added in v.3508

---

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