11 * アセンブルモード: src, label, onlylabel, asdetail, onlyassemble
13 ASMODE asmode = {false, false, false, false, false};
16 * アセンブル時の、現在およびリテラルのアドレスとプログラム入口名: ptr, lptr, prog
23 static CERR cerr_assemble[] = {
24 { 106, "operand mismatch in CASL II command" },
25 { 107, "no label in START" },
26 { 108, "not command of operand \"r\"" },
27 { 109, "not command of operand \"r1,r2\"" },
28 { 110, "not command of operand \"r,adr[,x]\"" },
29 { 111, "not command of operand \"adr[,x]\"" },
30 { 112, "not command of no operand" },
31 { 113, "operand too many in COMET II command" },
32 { 119, "out of COMET II memory" },
33 { 120, "GR0 in operand x" },
34 { 122, "cannot create hash table" },
35 { 124, "more than one character in literal" },
36 { 125, "not GR in operand x" },
39 void printline(FILE *stream, const char *filename, int lineno, char *line);
41 WORD getadr(const char *prog, const char *str, PASS pass);
43 WORD getgr(const char *str, bool is_x);
45 WORD getliteral(const char *str, PASS pass);
47 void writememory(WORD word, WORD adr, PASS pass);
49 void writestr(const char *str, bool literal, PASS pass);
51 void writedc(const char *str, PASS pass);
53 void assemble_start(const CMDLINE *cmdl, PASS pass);
55 void assemble_ds(const CMDLINE *cmdl, PASS pass);
57 void assemble_end(const CMDLINE *cmdl, PASS pass);
59 void assemble_dc(const CMDLINE *cmdl, PASS pass);
61 void assemble_in(const CMDLINE *cmdl, PASS pass);
63 void assemble_out(const CMDLINE *cmdl, PASS pass);
65 void assemble_rpush(const CMDLINE *cmdl, PASS pass);
67 void assemble_rpop(const CMDLINE *cmdl, PASS pass);
69 bool casl2cmd(CMD *cmdtbl, const CMDLINE *cmdl, PASS pass);
71 bool assemble_comet2cmd(const CMDLINE *cmdl, PASS pass);
73 bool assembletok(const CMDLINE *cmdl, PASS pass);
75 bool assembleline(const char *line, PASS pass);
80 static CMD ascmd[] = {
81 { "START", assemble_start },
82 { "END", assemble_end },
83 { "DS", assemble_ds },
84 { "DC", assemble_dc },
91 static CMD macrocmd[] = {
92 { "OUT", assemble_out },
93 { "IN", assemble_in },
94 { "RPUSH", assemble_rpush },
95 { "RPOP", assemble_rpop },
100 * アセンブルのエラーをエラーリストに追加
102 void addcerrlist_assemble()
107 addcerrlist(ARRAYSIZE(cerr_assemble), cerr_assemble);
111 * ファイルストリームの現在行を番号付きで表示する
113 void printline(FILE *stream, const char *filename, int lineno, char *line)
115 fprintf(stream, "%s:%5d:%s", filename, lineno, line);
120 * アドレスには、リテラル/10進定数/16進定数/アドレス定数が含まれる
122 WORD getadr(const char *prog, const char *str, PASS pass)
127 adr = getliteral(str, pass);
128 } else if(isdigit(*str) || *str == '-' || *str == '#') {
132 if((adr = getlabel(prog, str)) == 0xFFFF) {
133 setcerr(103, str); /* label not found */
141 * 汎用レジスタを表す文字列 "GR[0-7]" から、レジスタ番号 [0-7] をWORD値で返す\n
142 * 文字列が汎用レジスタを表さない場合は、0xFFFFを返す\n
143 * is_xがtrueの場合は指標レジスタ。GR0が指定された場合は、COMET IIの仕様によりエラー発生
145 WORD getgr(const char *str, bool is_x)
150 /* "GR[0-7]" 以外の文字列では、0xFFFFを返して終了 */
151 if(!(strlen(str) == 3 && strncmp(str, "GR", 2) == 0 &&
152 (*(str+2) >= '0' && *(str+2) <= '0' + (GRSIZE - 1))))
156 r = (WORD)(*(str+2) - '0');
157 /* GR0は指標レジスタとして用いることができない */
158 if(is_x == true && r == 0x0) {
159 setcerr(120, NULL); /* GR0 in operand x */
166 * 定数の前に等号(=)をつけて記述されるリテラルを返す\n
167 * リテラルには、10進定数/16進定数/文字定数が含まれる
169 WORD getliteral(const char *str, PASS pass)
172 WORD adr = asptr->lptr;
174 if(*(++str) == '\'') { /* 文字定数 */
175 writestr(str, true, pass);
177 writememory(nh2word(str), (asptr->lptr)++, pass);
185 void writememory(WORD word, WORD adr, PASS pass)
187 /* メモリオーバーの場合、エラー発生 */
188 if(adr >= sys->memsize) {
189 setcerr(119, word2n(adr)); /* out of COMET II memory */
192 (sys->memory)[adr] = word;
193 if(pass == SECOND && asmode.asdetail == true) {
194 fprintf(stdout, "\t#%04X\t#%04X\n", adr, word);
201 void writestr(const char *str, bool literal, PASS pass)
203 assert(*str == '\'');
204 const char *p = str + 1;
208 /* 閉じ「'」がないまま文字列が終了した場合 */
210 setcerr(123, str); /* unclosed quote */
213 /* 「'」の場合、次の文字が「'」でない場合は正常終了 */
214 if(*p == '\'' && *(++p) != '\'') {
216 } else if(literal == true && lw == true) {
217 setcerr(124, str); /* more than one character in literal */
220 /*リテラルの場合はリテラル領域に書込 */
221 if(literal == true) {
222 writememory(*(p++), (asptr->lptr)++, pass);
225 writememory(*(p++), (asptr->ptr)++, pass);
233 void writedc(const char *str, PASS pass)
238 writestr(str, false, pass);
240 if(*str == '#' || isdigit(*str) || *str == '-') {
243 if(pass == SECOND && (adr = getlabel(asptr->prog, str)) == 0xFFFF) {
244 setcerr(103, str); /* label not found */
247 writememory(adr, (asptr->ptr)++, pass);
255 void assemble_start(const CMDLINE *cmdl, PASS pass)
257 if(cmdl->opd->opdc > 1) {
258 setcerr(106, NULL); /* operand count mismatch */
261 if(cmdl->label == NULL) {
262 setcerr(107, NULL); /* no label in START */
266 strcpy(asptr->prog, cmdl->label);
267 /* オペランドがある場合、実行開始アドレスを設定 */
268 if(pass == SECOND && cmdl->opd->opdv[0] != NULL) {
269 if((execptr->start = getlabel(asptr->prog, cmdl->opd->opdv[0])) == 0xFFFF) {
270 setcerr(103, cmdl->opd->opdv[0]); /* label not found */
279 void assemble_end(const CMDLINE *cmdl, PASS pass)
281 if(cmdl->opd->opdc > 0) {
282 setcerr(106, NULL); /* operand count mismatch */
285 /* 1回目のアセンブルの場合は、リテラル領域開始アドレスを設定 */
287 asptr->lptr = asptr->ptr;
289 /* 2回目のアセンブルの場合は、リテラル領域終了アドレスを実行終了アドレスとして設定 */
290 else if(pass == SECOND) {
291 execptr->end = asptr->lptr;
293 *(asptr->prog) = '\0';
300 void assemble_ds(const CMDLINE *cmdl, PASS pass)
303 if(cmdl->opd->opdc != 1) {
304 setcerr(106, NULL); /* operand count mismatch */
307 for(i = 0; i < atoi(cmdl->opd->opdv[0]); i++) {
308 writememory(0x0, (asptr->ptr)++, pass);
319 void assemble_dc(const CMDLINE *cmdl, PASS pass)
322 if(cmdl->opd->opdc == 0 || cmdl->opd->opdc >= OPDSIZE) {
323 setcerr(106, NULL); /* operand count mismatch */
326 for(i = 0; i < cmdl->opd->opdc; i++) {
327 writedc(cmdl->opd->opdv[i], pass);
335 * マクロ命令 "IN IBUF,LEN" をアセンブル\n
347 void assemble_in(const CMDLINE *cmdl, PASS pass)
349 char *line = malloc_chk(LINESIZE + 1, "assemble_in.line");
350 if(cmdl->opd->opdc == 0 || cmdl->opd->opdc > 2) {
351 setcerr(106, NULL); /* operand count mismatch */
354 assembleline(" PUSH 0,GR1", pass);
355 assembleline(" PUSH 0,GR2", pass);
356 sprintf(line, " LAD GR1,%s", cmdl->opd->opdv[0]);
357 assembleline(line, pass);
358 sprintf(line, " LAD GR2,%s", cmdl->opd->opdv[1]);
359 assembleline(line, pass);
360 assembleline(" SVC 1", pass);
361 assembleline(" POP GR2", pass);
362 assembleline(" POP GR1", pass);
367 * マクロ命令 "OUT OBUF,LEN" をアセンブル\n
382 void assemble_out(const CMDLINE *cmdl, PASS pass)
384 char *line = malloc_chk(LINESIZE + 1, "assemble_out.line");
385 if(cmdl->opd->opdc == 0 || cmdl->opd->opdc > 2) {
386 setcerr(106, NULL); /* operand count mismatch */
389 assembleline(" PUSH 0,GR1", pass);
390 assembleline(" PUSH 0,GR2", pass);
391 sprintf(line, " LAD GR1,%s", cmdl->opd->opdv[0]);
392 assembleline(line, pass);
393 sprintf(line, " LAD GR2,%s", cmdl->opd->opdv[1]);
394 assembleline(line, pass);
395 assembleline(" SVC 2", pass);
396 assembleline(" LAD GR1,=#A", pass);
397 assembleline(" LAD GR2,=1", pass);
398 assembleline(" SVC 2", pass);
399 assembleline(" POP GR2", pass);
400 assembleline(" POP GR1", pass);
405 * マクロ命令 "RPUSH" をメモリに書き込む
417 void assemble_rpush(const CMDLINE *cmdl, PASS pass)
420 char *line = malloc_chk(LINESIZE + 1, "assemble_rpush.line");
421 if(cmdl->opd->opdc > 0) {
422 setcerr(106, NULL); /* operand count mismatch */
425 for(i = 1; i <= GRSIZE-1; i++) {
426 sprintf(line, " PUSH 0,GR%d", i);
427 assembleline(line, pass);
433 * マクロ命令 "RPOP" をメモリに書き込む\n
446 void assemble_rpop(const CMDLINE *cmdl, PASS pass)
449 char *line = malloc_chk(LINESIZE + 1, "assemble_rpop.line");
450 if(cmdl->opd->opdc > 0) {
451 setcerr(106, NULL); /* operand count mismatch */
454 for(i = GRSIZE-1; i >= 1; i--) {
455 sprintf(line, " POP GR%d", i);
456 assembleline(line, pass);
462 * アセンブラ言語CASL IIの命令を処理\n
463 * 命令が表で定義されている場合はtrue、それ以外の場合はfalseを返す\n
465 * 関数へのポインタで呼び出す関数は、Class Reference 参照
468 bool casl2cmd(CMD *cmdtbl, const CMDLINE *cmdl, PASS pass)
472 for(i = 0; cmdtbl[i].name != NULL; i++) {
473 if(strcmp(cmdl->cmd, cmdtbl[i].name) == 0) {
474 cmdptr = cmdtbl[i].ptr;
475 (*cmdptr)(cmdl, pass);
483 * システムCOMET IIの命令をアセンブル\n
484 * アセンブルに成功した場合はtrue、失敗した場合はfalseを返す
486 bool assemble_comet2cmd(const CMDLINE *cmdl, PASS pass)
488 WORD cmd, r_r1, x_r2, adr;
491 if(cmdl->opd->opdc == 0) {
492 if((cmd = getcmdcode(cmdl->cmd, NONE)) == 0xFFFF) {
493 setcerr(112, cmdl->cmd); /* not command of no operand */
496 writememory(cmd, (asptr->ptr)++, pass);
499 else if((r_r1 = getgr(cmdl->opd->opdv[0], false)) != 0xFFFF) {
501 if(cmdl->opd->opdc == 1) {
502 if((cmd = getcmdcode(cmdl->cmd, R_)) == 0xFFFF) {
503 setcerr(108, cmdl->cmd); /* not command of operand "r" */
507 writememory(cmd, (asptr->ptr)++, pass);
509 /* オペランド数2。第2オペランドは汎用レジスタ */
510 else if(cmdl->opd->opdc == 2 && (x_r2 = getgr(cmdl->opd->opdv[1], false)) != 0xFFFF) {
511 if((cmd = getcmdcode(cmdl->cmd, R1_R2)) == 0xFFFF) {
512 setcerr(109, cmdl->cmd); /* not command of operand "r1,r2" */
515 cmd |= ((r_r1 << 4) | x_r2); /* 第1オペランド、第2オペランドともに汎用レジスタ */
517 writememory(cmd, (asptr->ptr)++, pass);
520 else if(cmdl->opd->opdc == 2 || cmdl->opd->opdc == 3) {
521 if((cmd = getcmdcode(cmdl->cmd, R_ADR_X)) == 0xFFFF) {
522 setcerr(110, cmdl->cmd); /* not command of operand "r,adr[,x]" */
525 cmd |= (r_r1 << 4); /* 第1オペランドは汎用レジスタ */
527 if(cmdl->opd->opdc == 3) { /* 第3オペランドは指標レジスタとして用いる汎用レジスタ */
528 if((x_r2 = getgr(cmdl->opd->opdv[2], true)) == 0xFFFF) {
529 setcerr(125, cmdl->cmd); /* not GR in operand x */
534 adr = getadr(asptr->prog, cmdl->opd->opdv[1], pass); /* 第2オペランドはアドレス */
536 writememory(cmd, (asptr->ptr)++, pass);
537 writememory(adr, (asptr->ptr)++, pass);
539 setcerr(113, cmdl->cmd); /* operand too many in COMET II command */
543 /* オペランド数1または2。第1オペランドはアドレス */
544 else if(cmdl->opd->opdc == 1 || cmdl->opd->opdc == 2) {
545 if((cmd = getcmdcode(cmdl->cmd, ADR_X)) == 0xFFFF) {
546 setcerr(111, cmdl->cmd); /* not command of operand "adr[,x]" */
550 if(cmdl->opd->opdc == 2) { /* 第2オペランドは指標レジスタとして用いる汎用レジスタ */
551 x_r2 = getgr(cmdl->opd->opdv[1], true);
557 /* CALLの場合はプログラムの入口名を表すラベルを取得 */
558 /* CALL以外の命令の場合と、プログラムの入口名を取得できない場合は、 */
559 /* 同一プログラム内のラベルを取得 */
560 if(pass == SECOND && cmd == 0x8000) { /* CALL命令 */
561 adr = getlabel("", cmdl->opd->opdv[0]);
563 if(cmd != 0x8000 || (pass == SECOND && adr == 0xFFFF)) {
564 adr = getadr(asptr->prog, cmdl->opd->opdv[0], pass);
567 writememory(cmd, (asptr->ptr)++, pass);
568 writememory(adr, (asptr->ptr)++, pass);
570 return (cerr->num == 0) ? true : false;
576 bool assembletok(const CMDLINE *cmdl, PASS pass)
579 if(cmdl->cmd == NULL) {
582 /* アセンブラ命令またはマクロ命令の書込 */
583 if(casl2cmd(ascmd, cmdl, pass) == false && casl2cmd(macrocmd, cmdl, pass) == false) {
585 if(assemble_comet2cmd(cmdl, pass) == false) {
587 setcerr(113, cmdl->cmd); /* operand too many in COMET II command */
591 return (cerr->num == 0) ? true : false;
596 * passが1の場合はラベルを登録し、2の場合はラベルからアドレスを読み込む
598 bool assembleline(const char *line, PASS pass)
604 cmdl = linetok(line);
605 stat = (cerr->num == 0) ? true : false;
608 if(pass == FIRST && cmdl->label != NULL) {
609 stat = addlabel(asptr->prog, cmdl->label, asptr->ptr);
612 stat = assembletok(cmdl, pass);
616 if(cmdl->opd != NULL) {
617 for(i = 0; i < cmdl->opd->opdc; i++) {
618 FREE(cmdl->opd->opdv[i]);
629 * 指定された名前のファイルをアセンブル\n
630 * アセンブル完了時はtrue、エラー発生時はfalseを返す
632 bool assemblefile(const char *file, PASS pass)
638 if((fp = fopen(file, "r")) == NULL) {
642 for(line = malloc_chk(LINESIZE + 1, "assemble.line"); fgets(line, LINESIZE, fp); lineno++) {
643 if((pass == FIRST && asmode.src == true) || (pass == SECOND && asmode.asdetail == true)) {
644 printline(stdout, file, lineno, line);
646 if(assembleline(line, pass) == false) {
651 fprintf(stderr, "Assemble error - %d: %s\n", cerr->num, cerr->msg);
652 printline(stderr, file, lineno, line);
656 return (cerr->num == 0) ? true : false;
660 * 引数で指定したファイルにアセンブル結果を書込
662 void outassemble(const char *file)
666 if((fp = fopen(file, "w")) == NULL) {
670 fwrite(sys->memory, sizeof(WORD), execptr->end, fp);