![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to vaxascode.sml CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / sml / src / vax|
Return to vaxascode.sml CVS log | Up to [Research Unix] / researchv10no / cmd / sml / src / vax |
1.1 root 1: (* Copyright 1989 by AT&T Bell Laboratories *)
2: structure VaxAssem = struct val outfile = ref std_out end
3:
4: structure VaxAsCode : VAXCODER = struct
5:
6: open System.Tags VaxAssem
7:
8: val offset = ref 0
9:
10: type Label = string
11:
12: local val i = ref 0 in
13: fun newlabel () = (i := !i + 1; "L" ^ makestring (!i))
14: end
15:
16: fun itoa (i:int) = if i < 0 then "-" ^ makestring (~i)
17: else makestring i
18:
19: datatype Register = reg of int
20:
21: val r0 = reg 0
22: val r1 = reg 1
23: val r2 = reg 2
24: val r3 = reg 3
25: val r4 = reg 4
26: val r5 = reg 5
27: val r6 = reg 6
28: val r7 = reg 7
29: val r8 = reg 8
30: val r9 = reg 9
31: val r10 = reg 10
32: val r11 = reg 11
33: val r12 = reg 12
34: val r13 = reg 13
35: val sp = reg 14
36: val pc = reg 15
37:
38: datatype EA = direct of Register
39: | autoinc of Register
40: | autodec of Register
41: | displace of int * Register
42: | deferred of int * Register
43: | immed of int
44: | immedlab of Label
45: | address of Label
46: | index of EA * Register
47:
48: fun emit s = output (!outfile) s
49:
50: fun newline () = (emit "\n" (* ; emit(makestring(!offset)); emit "\t" *) )
51:
52: fun emitreg (reg 15) = emit "pc"
53: | emitreg (reg 14) = emit "sp"
54: | emitreg (reg r) = emit ("r" ^ itoa r)
55:
56: fun emitarg (direct r) = emitreg r
57: | emitarg (autoinc r) = (emit "("; emitreg r; emit ")+")
58: | emitarg (autodec r) = (emit "-("; emitreg r; emit ")")
59: | emitarg (immed i) = emit ("$" ^ itoa i)
60: | emitarg (displace(0,r)) = (emit "("; emitreg r; emit ")")
61: | emitarg (displace(i,r)) = (emit (itoa i); emit "("; emitreg r; emit ")")
62: | emitarg (deferred(i,r)) = (emit ("*"^itoa i); emit "("; emitreg r; emit ")")
63: | emitarg (address lab) = emit lab
64: | emitarg (index(ea,r)) = (emitarg ea; emit "["; emitreg r; emit "]")
65: | emitarg (immedlab lab) = (emit "BOGUS:"; emit lab)
66:
67: fun emit1arg (a) = (emitarg a; newline())
68:
69: fun emit2arg (a,b) = (emitarg a; emit ","; emitarg b; newline())
70:
71: fun emit3arg (a,b,c) =
72: (emitarg a; emit ","; emitarg b; emit ","; emitarg c; newline())
73:
74: fun pure (autoinc _) = false
75: | pure (autodec _) = false
76: | pure _ = true
77:
78: fun args23(f2,f3) (args as (a,b,c)) =
79: if b=c andalso pure b then (f2(a,b)) else f3 args
80:
81: fun emitbarg (displace(n,reg 15)) = (emit "$"; emit(makestring n); newline())
82: | emitbarg a = emit1arg a
83:
84: fun align () = emit ".align 2\n"
85:
86: local val p = makestring power_tags
87: val t = makestring tag_backptr
88: in
89: fun mark () = let val lab = newlabel()
90: in emit lab;
91: emit ": .long ((";
92: emit lab;
93: emit "-base)/4+1)*"; (* STRING dependency *)
94: emit p;
95: emit "+";
96: emit t;
97: emit "\n"
98: end
99: end
100:
101: fun define lab = (emit lab; emit ":\n")
102: fun oct i = let val m = Integer.makestring
103: in m(i div 64)^m((i div 8)mod 8)^m(i mod 8) end
104: fun c_char "\n" = "\\n"
105: | c_char "\t" = "\\t"
106: | c_char "\\" = "\\\\"
107: | c_char "\"" = "\\\""
108: | c_char c = if ord c < 32 then "\\"^oct(ord c) else c
109: fun a_str s = implode(map c_char (explode s))
110: fun emitstring s = (emit ".ascii \""; emit(a_str s); emit "\"\n")
111: fun realconst s = (emit ".gfloat "; emit s; emit "\n")
112: fun emitlong (i : int) = (emit ".long "; emit(makestring i); emit "\n")
113:
114: fun emitlab (offset,l2) =
115: (emit "5: .long "; emit l2; emit "-5b";
116: if offset < 0 then (emit "-"; emit (makestring (~offset)))
117: else (emit "+"; emit (makestring offset));
118: emit "\n")
119:
120: fun jbr arg = (emit "jbr "; emit1arg arg)
121: fun bbc (immed 0, arg1, arg2) = (emit "blbc "; emit2arg(arg1,arg2))
122: | bbc args = (emit "bbc "; emit3arg args)
123: fun bbs (immed 0, arg1, arg2) = (emit "blbs "; emit2arg(arg1,arg2))
124: | bbs args = (emit "bbs "; emit3arg args)
125:
126: fun movb args = (emit "movb "; emit2arg args)
127: fun movzbl args = (emit "movzbl "; emit2arg args)
128:
129: fun pushal arg = (emit "pushal "; emit1arg arg)
130:
131: fun addl2 args = (emit "addl2 "; emit2arg args)
132:
133: fun moval (arg, autodec sp) = pushal arg
134: | moval (args as (displace(i, reg p),direct (reg q))) =
135: if p=q andalso i> ~128 andalso i < 128
136: then addl2(immed i, direct(reg p))
137: else (emit "moval "; emit2arg args)
138: | moval args = (emit "moval "; emit2arg args)
139:
140: fun movl(immedlab l, arg) = moval(address l, arg)
141: | movl (arg, autodec sp) = (emit "pushl "; emit1arg arg)
142: | movl (immed 0, arg) = (emit "clrl "; emit1arg arg)
143: | movl args = (emit "movl "; emit2arg args)
144:
145: fun movq args = (emit "movq "; emit2arg args)
146:
147: fun rsb () = emit "rsb\n"
148: fun cmpl args = (emit "cmpl "; emit2arg args)
149: fun addl3 args = (emit "addl3 "; emit3arg args)
150: val addl3 = args23 (addl2,addl3)
151: fun subl2 args = (emit "subl2 "; emit2arg args)
152: fun subl3 args = (emit "subl3 "; emit3arg args)
153: val subl3 = args23 (subl2,subl3)
154: fun bisl3 args = (emit "bisl3 "; emit3arg args)
155: fun bicl3 args = (emit "bicl3 "; emit3arg args)
156: fun xorl3 args = (emit "xorl3 "; emit3arg args)
157: fun ashl args = (emit "ashl "; emit3arg args)
158: fun mull2 args = (emit "mull2 "; emit2arg args)
159: fun divl3 args = (emit "divl3 "; emit3arg args)
160: fun divl2 args = (emit "divl2 "; emit2arg args)
161: val divl3 = args23 (divl2,divl3)
162: fun jmp (arg as address lab) = jbr arg
163: | jmp arg = (emit "jmp "; emit1arg arg)
164: fun brb arg = (emit "brb "; emitbarg arg)
165: fun brw arg = (emit "brw "; emitbarg arg)
166:
167: fun beql arg = (emit "beql "; emitbarg arg)
168: fun bneq arg = (emit "bneq "; emitbarg arg)
169: fun jne arg = (emit "jneq "; emit1arg arg)
170: fun bgeq arg = (emit "bgeq "; emitbarg arg)
171: fun bgtr arg = (emit "bgtr "; emitbarg arg)
172: fun blss arg = (emit "blss "; emitbarg arg)
173: fun bleq arg = (emit "bleq "; emitbarg arg)
174: fun sobgeq arg = (emit "sobgeq "; emit2arg arg)
175:
176: fun movg args = (emit "movg "; emit2arg args)
177: fun mnegg args = (emit "mnegg "; emit2arg args)
178: fun addg3 args = (emit "addg3 "; emit3arg args)
179: fun subg3 args = (emit "subg3 "; emit3arg args)
180: fun mulg3 args = (emit "mulg3 "; emit3arg args)
181: fun divg3 args = (emit "divg3 "; emit3arg args)
182: fun cmpg args = (emit "cmpg "; emit2arg args)
183:
184: fun push arg = movl(arg,autodec sp)
185: fun pusha arg = moval(arg,autodec sp)
186: fun pop arg = movl(autoinc sp,arg)
187:
188: val comment = emit
189:
190: end (* structure AsCode *)
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.