![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to ns32ascode.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 / ns32|
Return to ns32ascode.sml CVS log | Up to [Research Unix] / researchv10no / cmd / sml / src / ns32 |
1.1 ! root 1: (* Copyright 1989 by AT&T Bell Laboratories *) ! 2: structure NS32Assem = struct val outfile = ref std_out end ! 3: ! 4: structure NS32AsCode : NS32CODER = struct ! 5: ! 6: open System.Tags NS32Assem ! 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 = Genreg of int ! 20: | FloatReg of int ! 21: | FP ! 22: | SP ! 23: | SB ! 24: | PC ! 25: ! 26: val r0 = Genreg 0 ! 27: val r1 = Genreg 1 ! 28: val r2 = Genreg 2 ! 29: val r3 = Genreg 3 ! 30: val r4 = Genreg 4 ! 31: val r5 = Genreg 5 ! 32: val r6 = Genreg 6 ! 33: val r7 = Genreg 7 ! 34: val fp = FP ! 35: val sp = SP ! 36: val sb = SB ! 37: val pc = PC ! 38: val fp0 = FloatReg 0 ! 39: ! 40: datatype Size = Byte | Word | Long ! 41: ! 42: datatype EA = Direct of Register ! 43: | Topofstack ! 44: | Displace of int * Register ! 45: | Immed of int ! 46: | Immedlab of Label ! 47: | Abs of int ! 48: | OffAddress of Label * int ! 49: | Index of EA * Register * Size ! 50: ! 51: fun address lab = OffAddress(lab,0) (* old Address style *) ! 52: ! 53: fun emit s = output (!outfile) s ! 54: (* fun emit s = (output std_out s; output (!outfile) s) DEBUG *) ! 55: ! 56: fun newline () = (emit "\n" (* ; emit(makestring(!offset)); emit "\t" *) ) ! 57: ! 58: fun emitopc opc = (emit "\t"; emit opc; emit "\t") ! 59: ! 60: fun emitreg (Genreg r) = emit ("r" ^ itoa r) ! 61: | emitreg (FloatReg r) = emit ("f" ^ itoa r) ! 62: | emitreg (FP) = emit "fp" ! 63: | emitreg (SP) = emit "sp" ! 64: | emitreg (SB) = emit "sb" ! 65: | emitreg (PC) = emit "pc" ! 66: ! 67: fun emitsize (Byte) = emit "B" ! 68: | emitsize (Word) = emit "W" ! 69: | emitsize (Long) = emit "L" ! 70: ! 71: fun emitarg (Direct r) = emitreg r ! 72: | emitarg (Immed i) = emit ("$" ^ itoa i) ! 73: | emitarg (Displace(0,r)) = (emit "("; emitreg r; emit ")") ! 74: | emitarg (Displace(i,r)) = (emit (itoa i); emit "("; emitreg r; emit ")") ! 75: | emitarg (OffAddress(lab,i)) = (emit lab; ! 76: if i>0 then emit ("+" ^ makestring i) ! 77: else if i<0 then emit (itoa i) ! 78: else ()) ! 79: | emitarg (Index(ea,r,sz)) = (emitarg ea; emit "["; emitreg r; emit ":"; ! 80: emitsize sz; emit "]") ! 81: | emitarg (Topofstack) = (emit "TOS") ! 82: | emitarg (Immedlab lab) = (emit "BOGUS:"; emit lab) ! 83: | emitarg (Abs n) = emit ("BOGUSABS:" ^ itoa(n)) ! 84: ! 85: fun emit1arg (a) = (emitarg a; newline()) ! 86: ! 87: fun emit2arg (a,b) = (emitarg a; emit ","; emitarg b; newline()) ! 88: ! 89: fun align () = emit "\t.align\t2\n" ! 90: ! 91: local val p = makestring power_tags ! 92: val t = makestring tag_backptr ! 93: in ! 94: fun mark () = let val lab = newlabel() ! 95: in emit lab; ! 96: emit ":\t.long\t(("; ! 97: emit lab; ! 98: emit "-base)/4+1)*"; (* STRING dependency *) ! 99: emit p; ! 100: emit "+"; ! 101: emit t; ! 102: emit "\n" ! 103: end ! 104: end ! 105: ! 106: fun define lab = (emit lab; emit ":\n") ! 107: fun oct i = let val m = Integer.makestring ! 108: in m(i div 64)^m((i div 8)mod 8)^m(i mod 8) end ! 109: fun c_char "\n" = "\\n" ! 110: | c_char "\t" = "\\t" ! 111: | c_char "\\" = "\\\\" ! 112: | c_char "\"" = "\\\"" ! 113: | c_char c = if ord c < 32 then "\\"^oct(ord c) else c ! 114: fun a_str s = implode(map c_char (explode s)) ! 115: fun emitstring s = (emit "\t.ascii\t\""; emit(a_str s); emit "\"\n") ! 116: fun realconst s = (emit "\t.gfloat\t"; emit s; emit "\n") ! 117: fun emitlong (i : int) = (emit "\t.long\t"; emit(makestring i); emit "\n") ! 118: ! 119: fun emitlab (offset,l2) = ! 120: (emit "5:\t.long\t"; emit l2; emit "-5b"; ! 121: if offset < 0 then (emit "-"; emit (makestring (~offset))) ! 122: else (emit "+"; emit (makestring offset)); ! 123: emit "\n") ! 124: ! 125: fun isquick k = (k<=7 andalso k>= ~8) ! 126: ! 127: fun lprl (src,preg) = (emitopc "lprl"; emit2arg (preg,src)) ! 128: fun sprl args = (emitopc "sprl"; emit2arg args) ! 129: fun tbit (arg1 as Immed k, arg2) = (emitopc "tbitl"; emit2arg(arg1,arg2)) ! 130: | tbit args = (emitopc "tbitl"; emit2arg args) ! 131: fun bfs arg = (emitopc "bfs"; emit1arg arg) ! 132: ! 133: fun movql args = (emitopc "movql"; emit2arg args) ! 134: ! 135: fun movb args = (emitopc "movb"; emit2arg args) ! 136: fun movzbl args = (emitopc "movzbl"; emit2arg args) ! 137: ! 138: fun lea args = (emitopc "addr"; emit2arg args) ! 139: ! 140: fun movl (Immedlab l, arg) = lea(address l, arg) ! 141: | movl (args as (Immed k, dest)) = ! 142: if isquick(k) ! 143: then movql args ! 144: else (emitopc "movl"; emit2arg args) ! 145: | movl args = (emitopc "movl"; emit2arg args) ! 146: ! 147: fun addl (args as (Immed k, dest)) = ! 148: if isquick(k) ! 149: then (emitopc "addql"; emit2arg args) ! 150: else (emitopc "addl"; emit2arg args) ! 151: | addl args = (emitopc "addl"; emit2arg args) ! 152: fun subl args = (emitopc "subl"; emit2arg args) ! 153: fun negl args = (emitopc "negl"; emit2arg args) ! 154: fun ashl args = (emitopc "ashl"; emit2arg args) ! 155: fun andl args = (emitopc "andl"; emit2arg args) ! 156: fun orl args = (emitopc "orl"; emit2arg args) ! 157: fun xorl args = (emitopc "xorl"; emit2arg args) ! 158: fun coml args = (emitopc "coml"; emit2arg args) ! 159: fun mull args = (emitopc "mull"; emit2arg args) ! 160: fun divl args = (emitopc "divl"; emit2arg args) ! 161: ! 162: fun br arg = (emitopc "br"; emit1arg arg) ! 163: fun jump (arg as OffAddress _) = br arg ! 164: | jump arg = (emitopc "jump"; emit1arg arg) ! 165: fun beq arg = (emitopc "beq"; emit1arg arg) ! 166: fun bne arg = (emitopc "bne"; emit1arg arg) ! 167: fun bge arg = (emitopc "bge"; emit1arg arg) ! 168: fun bgt arg = (emitopc "bgt"; emit1arg arg) ! 169: fun blt arg = (emitopc "blt"; emit1arg arg) ! 170: fun ble arg = (emitopc "ble"; emit1arg arg) ! 171: fun cmpl (args as (Immed k,arg2)) = ! 172: if isquick(k) ! 173: then (emitopc "cmpql"; emit2arg args) ! 174: else (emitopc "cmpl"; emit2arg args) ! 175: | cmpl args = (emitopc "cmpl"; emit2arg args) ! 176: ! 177: ! 178: fun movg args = (emitopc "movg"; emit2arg args) ! 179: fun negg args = (emitopc "negg"; emit2arg args) ! 180: fun addg args = (emitopc "addg"; emit2arg args) ! 181: fun subg args = (emitopc "subg"; emit2arg args) ! 182: fun mulg args = (emitopc "mulg"; emit2arg args) ! 183: fun divg args = (emitopc "divg"; emit2arg args) ! 184: fun cmpg args = (emitopc "cmpg"; emit2arg args) ! 185: ! 186: ! 187: val comment = emit ! 188: ! 189: end (* structure NS32AsCode *)
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.