Diff of /sml/trunk/src/MLRISC/Tools/MDL/mdl-gen-asm.sml

Parent Directory | Revision Log | Patch

	revision 796, Tue Mar 6 00:04:33 2001 UTC	revision 797, Fri Mar 16 00:00:17 2001 UTC
#	Line 123	Line 123
123	if mode = EMIT then APP("emit",e) else e	if mode = EMIT then APP("emit",e) else e
124	fun asmToExp E (TEXTasm s) = emitIt(mkString s)	fun asmToExp E (TEXTasm s) = emitIt(mkString s)
125	| asmToExp E (EXPasm(IDexp(IDENT([],x)))) =	| asmToExp E (EXPasm(IDexp(IDENT([],x)))) =
126	let val (e, ty) = E x	(let val (e, ty) = E x
127	in  emitTy(x, ty, e) end	in  emitTy(x, ty, e) end
128		handle e =>
129		fail("unknown assembly field <"^x^">")
130		)
131	| asmToExp E (EXPasm e) =	| asmToExp E (EXPasm e) =
132	let fun exp _ (ASMexp(STRINGasm s)) = emitIt(mkString s)	let fun exp _ (ASMexp(STRINGasm s)) = emitIt(mkString s)
133	| exp _ (ASMexp(ASMasm a)) = SEQexp(map (asmToExp E) a)	| exp _ (ASMexp(ASMasm a)) = SEQexp(map (asmToExp E) a)

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.796   changed lines   Added in v.797

---

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