assemble.c

Go to the documentation of this file.

#include "assemble.h"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <ctype.h>
#include <assert.h>
#include <errno.h>

void printline(FILE *stream, const char *filename, int lineno, char *line);

WORD getadr(const char *prog, const char *str, PASS pass);

WORD grword(const char *str, bool is_x);

WORD getliteral(const char *str, PASS pass);

WORD getliteralquote(const char *str);

void writememory(WORD word, WORD adr, PASS pass);

void writestr(const char *str, PASS pass);

void writedc(const char *str, PASS pass);

void assemble_start(const CMDLINE *cmdl, PASS pass);

void assemble_ds(const CMDLINE *cmdl, PASS pass);

void assemble_end(const CMDLINE *cmdl, PASS pass);

void assemble_dc(const CMDLINE *cmdl, PASS pass);

void assemble_in(const CMDLINE *cmdl, PASS pass);

void assemble_out(const CMDLINE *cmdl, PASS pass);

void assemble_rpush(const CMDLINE *cmdl, PASS pass);

void assemble_rpop(const CMDLINE *cmdl, PASS pass);


bool casl2cmd(CMD *cmdtbl, const CMDLINE *cmdl, PASS pass);

bool assemble_comet2cmd(const CMDLINE *cmdl, PASS pass);

bool assembletok(const CMDLINE *cmdl, PASS pass);

bool assembleline(const char *line, PASS pass);

static CERR cerr_assemble[] = {
    { 106, "operand mismatch in CASL II command" },
    { 107, "no label in START" },
    { 108, "not command of operand \"r\"" },
    { 109, "not command of operand \"r1,r2\"" },
    { 110, "not command of operand \"r,adr[,x]\"" },
    { 111, "not command of operand \"adr[,x]\"" },
    { 112, "not command of no operand" },
    { 113, "operand too many in COMET II command" },
    { 119, "out of COMET II memory" },
    { 120, "GR0 in operand x" },
    { 122, "cannot create hash table" },
    { 124, "more than one character in literal" },
    { 125, "not GR in operand x" },
    { 126, "syntax error in character constant. In CASL II, two consecutive apostrophes ('') represent a single apostrophe (')." },
    { 127, "empty character constant" },
};

static CMD ascmd[] = {
    { "START", assemble_start },
    { "END", assemble_end },
    { "DS", assemble_ds },
    { "DC", assemble_dc },
    { "", NULL }
};

static CMD macrocmd[] = {
    { "OUT", assemble_out },
    { "IN", assemble_in },
    { "RPUSH", assemble_rpush },
    { "RPOP", assemble_rpop },
    { "", NULL }
};
 
ASPTR *asptr = NULL;
 
ASMODE asmode = {false, false, false, false, false};
 
void printline(FILE *stream, const char *filename, int lineno, char *line)
{
    fprintf(stream, "%s:%5d:%s", filename, lineno, line);
}
 
WORD getadr(const char *prog, const char *str, PASS pass)
{
    WORD adr = 0;
 
    if(str[0] == '=') {
        adr = getliteral(str, pass);
    } else if(isdigit(str[0]) || str[0] == '-' || str[0] == '#') {
        adr = nh2word(str);
    } else {
        if(pass == SECOND) {
            if((adr = getlabel(prog, str)) == 0xFFFF) {
                adr = getlabel("", str);
            }
            if(adr == 0xFFFF) {
                setcerr(103, str);    /* label not found */
            }
        }
    }
    return adr;
}
 
WORD grword(const char *str, bool is_x)
{
    WORD r = 0;
 
    /*  "GR[0-7]" 以外の文字列では、0xFFFFを返して終了 */
    if(strlen(str) != 3 ||
       strncmp(str, "GR", 2) != 0 ||
       str[2] < '0' || str[2] > '0' + (GRSIZE - 1))
    {
        return 0xFFFF;
    }
    r = (WORD)(str[2] - '0');
    /* GR0は指標レジスタとして用いることができない */
    if(is_x == true && r == 0x0) {
        setcerr(120, "");    /* GR0 in operand x */
        return 0;
    }
    return r;
}
 
WORD getliteral(const char *str, PASS pass)
{
    assert(str[0] == '=');
    str++;
    WORD val = 0;
    WORD adr = 0;
 
    if(str[0] == '\'') {
        val = getliteralquote(str);
    } else {
        val = nh2word(str);
    }
    if(cerr->num == 0) {
        /* PASS FIRSTでは、lptrがまだ確定していない（ENDで初めて確定する）ため、
         * 重複排除の登録・検索は行わず、従来通りダミーの書き込みのみ行う */
        if(pass == FIRST) {
            adr = asptr->lptr;
            writememory(val, (asptr->lptr)++, pass);
        } else {
            /* PASS SECONDでは、lptrはEND処理で正しく確定済みなので、重複排除が有効 */
            char llabel[LITERALSIZE + 1];
            sprintf(llabel, "=%04X", val);
            adr = getlabel("", llabel);
            if(adr == 0xFFFF) {
                adr = asptr->lptr;
                writememory(val, (asptr->lptr)++, pass);
                addlabel("", llabel, adr);
            }
        }
    }
    return adr;
}
 
WORD getliteralquote(const char *str)
{
    assert(str[0] == '\'');
    size_t len = strlen(str);
    WORD val = 0;
    if(str[1] == '\'' && len == 2) {
        setcerr(127, str);    /* empty character constant */
    } else if (len == 1 || str[len - 1] != '\'') {
        setcerr(123, str);    /* unclosed quote */
    } else if((str[1] != '\'' && len > 3) || (str[1] == '\'' && len > 4)) {
        setcerr(124, str);    /* more than one character in literal */
    } else if(str[1] == '\'' && len == 3 && str[2] == '\'') {
        setcerr(126, str);    /* syntax error in character constant. In CASL II, two consecutive apostrophes ('') represent a single apostrophe ('). */
    } else {
        val = (WORD)str[1];
    }
    return val;
}
 
void writememory(WORD word, WORD adr, PASS pass)
{
    char *n = NULL;
 
    /* メモリオーバーの場合、エラー発生 */
    if(adr >= sys->memsize) {
        setcerr(119, (n = word2n(adr)));    /* out of COMET II memory */
        FREE(n);
        return;
    }
    (sys->memory)[adr] = word;
    if(pass == SECOND && asmode.asdetail == true) {
        fprintf(stdout, "\t#%04X\t#%04X\n", adr, word);
    }
}
 
void writestr(const char *str, PASS pass)
{
    assert(str[0] == '\'');
 
    /* 空文字列（DC ''）はエラー */
    if(str[1] == '\'' && str[2] == '\0') {
        setcerr(127, str);    /* empty character constant */
    } else {
        int i = 1;
        do {
            if(str[i] == '\0') {
                /* 閉じクォートがないまま文字列が終了の場合 */
                setcerr(123, str);    /* unclosed quote */
                break;
            }
            if(str[i] == '\'') {
                if(str[i + 1] != '\0' && str[i + 1] != '\'') {
                    setcerr(126, str);    /* syntax error in character constant. In CASL II, two consecutive apostrophes ('') represent a single apostrophe ('). */
                    break;
                } else if(str[i + 1] == '\0') {
                    break;         /* 正常終了 */
                } else {
                    /* エスケープされたアポストロフィ：1文字として書き込み、2文字分進める */
                    writememory('\'', (asptr->ptr)++, pass);
                    i += 2;
                }
            } else {
                writememory(str[i++], (asptr->ptr)++, pass);
            }
        } while(1);
    }
}
 
void writedc(const char *str, PASS pass)
{
    WORD adr = 0;
 
    if(*str == '\'') {
        writestr(str, pass);
    } else {
        if(str[0] == '#' || isdigit(str[0]) || str[0] == '-') {
            adr = nh2word(str);
        } else {
            if(pass == SECOND && (adr = getlabel(asptr->prog, str)) == 0xFFFF) {
                adr = getlabel("", str);
            }
            if(pass == SECOND && adr == 0xFFFF) {
                setcerr(103, str);    /* label not found */
            }
        }
        writememory(adr, (asptr->ptr)++, pass);
    }
}
 
void assemble_start(const CMDLINE *cmdl, PASS pass)
{
    if(cmdl->opd->opdc > 1) {
        setcerr(106, "");    /* operand count mismatch */
        return;
    }
    if(!cmdl->label[0]) {
        setcerr(107, "");    /* no label in START */
        return;
    }
    /* プログラム名の設定 */
    strcpy(asptr->prog, cmdl->label);
    /* オペランドがある場合、書き込みと実行の開始アドレスを設定 */
    if(cmdl->opd->opdv[0] != NULL) {
        asptr->ptr = execptr->start = getadr(asptr->prog, cmdl->opd->opdv[0], pass);
    }
}
 
void assemble_end(const CMDLINE *cmdl, PASS pass)
{
    if(cmdl->opd->opdc > 0) {
        setcerr(106, "");    /* operand count mismatch */
        return;
    }
    /* 1回目のアセンブルの場合は、リテラル領域開始アドレスを設定 */
    if(pass == FIRST) {
        asptr->lptr = asptr->ptr;
    }
    /* 2回目のアセンブルの場合は、リテラル領域終了アドレスを実行終了アドレスとして設定 */
    else if(pass == SECOND) {
        execptr->end = asptr->lptr;
    }
    strcpy(asptr->prog, "");
}
 
void assemble_ds(const CMDLINE *cmdl, PASS pass)
{
    if(cmdl->opd->opdc != 1) {
        setcerr(106, "");    /* operand count mismatch */
        return;
    }
    for(int i = 0; i < atoi(cmdl->opd->opdv[0]); i++) {
        writememory(0x0, (asptr->ptr)++, pass);
        if(cerr->num > 0) {
            break;
        }
    }
}
 
void assemble_dc(const CMDLINE *cmdl, PASS pass)
{
    if(cmdl->opd->opdc == 0 || cmdl->opd->opdc >= OPDSIZE) {
        setcerr(106, "");    /* operand count mismatch */
        return;
    }
    for(int i = 0; i < cmdl->opd->opdc; i++) {
        writedc(cmdl->opd->opdv[i], pass);
        if(cerr->num > 0) {
            break;
        }
    }
}
 
void assemble_in(const CMDLINE *cmdl, PASS pass)
{
    char *line = malloc_chk(LINESIZE + 1, "assemble_in.line");
 
    if(cmdl->opd->opdc == 0 || cmdl->opd->opdc > 2) {
        setcerr(106, "");    /* operand count mismatch */
        return;
    }
    assembleline("    PUSH 0,GR1", pass);
    assembleline("    PUSH 0,GR2", pass);
    sprintf(line, "    LAD GR1,%s", cmdl->opd->opdv[0]);
    assembleline(line, pass);
    sprintf(line, "    LAD GR2,%s", cmdl->opd->opdv[1]);
    assembleline(line, pass);
    assembleline("    SVC 1", pass);
    assembleline("    POP GR2", pass);
    assembleline("    POP GR1", pass);
    FREE(line);
}
 
void assemble_out(const CMDLINE *cmdl, PASS pass)
{
    char *line = malloc_chk(LINESIZE + 1, "assemble_out.line");
 
    if(cmdl->opd->opdc == 0 || cmdl->opd->opdc > 2) {
        setcerr(106, "");    /* operand count mismatch */
        return;
    }
    assembleline("    PUSH 0,GR1", pass);
    assembleline("    PUSH 0,GR2", pass);
    sprintf(line, "    LAD GR1,%s", cmdl->opd->opdv[0]);
    assembleline(line, pass);
    sprintf(line, "    LAD GR2,%s", cmdl->opd->opdv[1]);
    assembleline(line, pass);
    assembleline("    SVC 2", pass);
    assembleline("    LAD GR1,=#A", pass);
    assembleline("    LAD GR2,=1", pass);
    assembleline("    SVC 2", pass);
    assembleline("    POP GR2", pass);
    assembleline("    POP GR1", pass);
    FREE(line);
}
 
void assemble_rpush(const CMDLINE *cmdl, PASS pass)
{
    char *line = malloc_chk(LINESIZE + 1, "assemble_rpush.line");
 
    if(cmdl->opd->opdc > 0) {
        setcerr(106, "");    /* operand count mismatch */
        return;
    }
    for(int i = 1; i <= GRSIZE-1; i++) {
        sprintf(line, "    PUSH 0,GR%d", i);
        assembleline(line, pass);
    }
    FREE(line);
}
 
void assemble_rpop(const CMDLINE *cmdl, PASS pass)
{
    char *line = malloc_chk(LINESIZE + 1, "assemble_rpop.line");
 
    if(cmdl->opd->opdc > 0) {
        setcerr(106, "");    /* operand count mismatch */
        return;
    }
    for(int i = GRSIZE-1; i >= 1; i--) {
        sprintf(line, "    POP GR%d", i);
        assembleline(line, pass);
    }
    FREE(line);
}
 
bool casl2cmd(CMD *cmdtbl, const CMDLINE *cmdl, PASS pass)
{
    void (*cmdptr)(const CMDLINE *, PASS) = NULL;
 
    for(int i = 0; cmdtbl[i].name[0]; i++) {
        if(strcmp(cmdl->cmd, cmdtbl[i].name) == 0) {
            cmdptr = cmdtbl[i].ptr;
            (*cmdptr)(cmdl, pass);
            return true;
        }
    }
    return false;
}
 
bool assemble_comet2cmd(const CMDLINE *cmdl, PASS pass)
{
    WORD cmd = 0;
    WORD r_r1 = 0;
    WORD x_r2 = 0;
    WORD adr = 0;
 
    /* オペランドなし */
    if(cmdl->opd->opdc == 0) {
        if((cmd = getcmdcode(cmdl->cmd, NONE)) == 0xFFFF) {
            setcerr(112, cmdl->cmd);    /* not command of no operand */
            return false;
        }
        writememory(cmd, (asptr->ptr)++, pass);
    }
    /* 第1オペランドは汎用レジスタ */
    else if((r_r1 = grword(cmdl->opd->opdv[0], false)) != 0xFFFF) {
        /* オペランド数1 */
        if(cmdl->opd->opdc == 1) {
            if((cmd = getcmdcode(cmdl->cmd, R_)) == 0xFFFF) {
                setcerr(108, cmdl->cmd);    /* not command of operand "r" */
                return false;
            }
            cmd |= (r_r1 << 4);
            writememory(cmd, (asptr->ptr)++, pass);
        }
        /* オペランド数2。第2オペランドは汎用レジスタ */
        else if(cmdl->opd->opdc == 2 && (x_r2 = grword(cmdl->opd->opdv[1], false)) != 0xFFFF) {
            if((cmd = getcmdcode(cmdl->cmd, R1_R2)) == 0xFFFF) {
                setcerr(109, cmdl->cmd);    /* not command of operand "r1,r2" */
                return false;
            }
            cmd |= ((r_r1 << 4) | x_r2);               /* 第1オペランド、第2オペランドともに汎用レジスタ */
            /* メモリへの書き込み */
            writememory(cmd, (asptr->ptr)++, pass);
        }
        /* オペランド数2または3 */
        else if(cmdl->opd->opdc == 2 || cmdl->opd->opdc == 3) {
            if((cmd = getcmdcode(cmdl->cmd, R_ADR_X)) == 0xFFFF) {
                setcerr(110, cmdl->cmd);    /* not command of operand "r,adr[,x]" */
                return false;
            }
            cmd |= (r_r1 << 4);                    /* 第1オペランドは汎用レジスタ */
            /* オペランド数3の場合 */
            if(cmdl->opd->opdc == 3) {             /* 第3オペランドは指標レジスタとして用いる汎用レジスタ */
                if((x_r2 = grword(cmdl->opd->opdv[2], true)) == 0xFFFF) {
                    setcerr(125, cmdl->cmd);    /* not GR in operand x */
                    return false;
                }
                cmd |= x_r2;
            }
            adr = getadr(asptr->prog, cmdl->opd->opdv[1], pass); /* 第2オペランドはアドレス */
            /* メモリへの書き込み */
            writememory(cmd, (asptr->ptr)++, pass);
            writememory(adr, (asptr->ptr)++, pass);
        } else {
            setcerr(113, cmdl->cmd);    /* operand too many in COMET II command */
            return false;
        }
    }
    /* オペランド数1または2。第1オペランドはアドレス */
    else if(cmdl->opd->opdc == 1 || cmdl->opd->opdc == 2) {
        if((cmd = getcmdcode(cmdl->cmd, ADR_X)) == 0xFFFF) {
            setcerr(111, cmdl->cmd);    /* not command of operand "adr[,x]" */
            return false;
        }
        /* オペランド数2の場合 */
        if(cmdl->opd->opdc == 2) {             /* 第2オペランドは指標レジスタとして用いる汎用レジスタ */
            x_r2 = grword(cmdl->opd->opdv[1], true);
            if(cerr->num > 0) {
                return false;
            }
            cmd |= x_r2;
        }
        /* CALLの場合はプログラムの入口名を表すラベルを取得 */
        /* CALL以外の命令の場合と、プログラムの入口名を取得できない場合は、 */
        /* 同一プログラム内のラベルを取得 */
        if(pass == SECOND && cmd == 0x8000) {        /* CALL命令 */
            adr = getlabel("", cmdl->opd->opdv[0]);
        }
        if(cmd != 0x8000 || (pass == SECOND && adr == 0xFFFF)) {
            adr = getadr(asptr->prog, cmdl->opd->opdv[0], pass);
        }
        /* メモリへの書込 */
        writememory(cmd, (asptr->ptr)++, pass);
        writememory(adr, (asptr->ptr)++, pass);
    }
    return (cerr->num == 0) ? true : false;
}
 
bool assembletok(const CMDLINE *cmdl, PASS pass)
{
    /* 命令がない場合 */
    if(!cmdl->cmd[0]) {
        return true;
    }
    /* アセンブラ命令またはマクロ命令の書込 */
    if(casl2cmd(ascmd, cmdl, pass) == false && casl2cmd(macrocmd, cmdl, pass) == false) {
        /* 機械語命令の書込 */
        if(assemble_comet2cmd(cmdl, pass) == false) {
            if(cerr->num == 0) {
                setcerr(113, cmdl->cmd);    /* operand too many in COMET II command */
            }
        }
    }
    return (cerr->num == 0) ? true : false;
}
 
bool assembleline(const char *line, PASS pass)
{
    CMDLINE *cmdl = NULL;
    bool stat = true;
 
    cmdl = linetok(line);
    stat = (cerr->num == 0) ? true : false;
    if(cmdl != NULL) {
        if(stat == true) {
            if(pass == FIRST && cmdl->label[0]) {
                stat = addlabel(asptr->prog, cmdl->label, asptr->ptr);
            }
        }
        if(stat == true) {
            stat = assembletok(cmdl, pass);
        }
        FREE(cmdl->label);
        if(cmdl->opd != NULL) {
            for(int i = 0; i < cmdl->opd->opdc; i++) {
                FREE(cmdl->opd->opdv[i]);
            }
        }
        FREE(cmdl->opd);
        FREE(cmdl->cmd);
    }
    FREE(cmdl);
    return stat;
}

bool assemblefile(const char *file, PASS pass)
{
    int lineno = 1;
    char *line = NULL;
    FILE *fp = NULL;
 
    if((fp = fopen(file, "r")) == NULL) {
        cerr->num = errno;
        perror(file);
        return false;
    }
    for(line = malloc_chk(LINESIZE + 1, "assemble.line"); fgets(line, LINESIZE, fp); lineno++) {
        if((pass == FIRST && asmode.src == true) || (pass == SECOND && asmode.asdetail == true)) {
            printline(stdout, file, lineno, line);
        }
        if(assembleline(line, pass) == false) {
            break;
        }
    }
    if(cerr->num > 0) {
        fprintf(stderr, "Assemble error - %d: %s\n", cerr->num, cerr->msg);
        printline(stderr, file, lineno, line);
    }
    FREE(line);
    fclose(fp);
    return (cerr->num == 0) ? true : false;
}
 
bool assemble(int filec, char *filev[], WORD adr)
{
    int i;
    PASS pass;
    WORD bp[filec];
    bool stat = false;
 
    asptr = malloc_chk(sizeof(ASPTR), "asptr");    /* アセンブル時のプロパティ用の領域確保 */
    asptr->prog = malloc_chk(LABELSIZE + 1, "asptr.prog");
    asptr->ptr = adr;
    /* アセンブル。ラベル表作成のため、2回行う */
    for(pass = FIRST; pass <= SECOND; pass++) {
        for(i = 0; i < filec; i++) {
            /* データの格納開始位置 */
            if(pass == FIRST) {
                bp[i] = asptr->ptr;
            } else if(pass == SECOND) {
                asptr->ptr = bp[i];
            }
            if(execmode.trace == true || execmode.dump == true ||
               asmode.src == true || asmode.label == true || asmode.asdetail == true)
            {
                fprintf(stdout, "\nAssemble %s (%d)\n", filev[i], pass);
            }
            /* ファイルをアセンブル */
            stat = assemblefile(filev[i], pass);
            if(stat == false) {
                goto asfin;
            }
        }
        if(asmode.label == true) {
            if(pass == FIRST) {
                printlabel();
                if(asmode.onlylabel == true) {
                    break;
                }
            }
            if(pass == SECOND) {
                printliteral();
            }
        }
    }
asfin:
    freelabel();                              /* ラベルハッシュ表を解放 */
    FREE(asptr->prog);                        /* アセンブル時のプロパティを解放 */
    FREE(asptr);
    return stat;
}
 
/* assemble.hで定義された関数群 */
void addcerrlist_assemble()
{
    addcerrlist_tok();
    addcerrlist_word();
    addcerrlist_label();
    addcerrlist(ARRAYSIZE(cerr_assemble), cerr_assemble);
}
 
void outassemble(const char *file)
{
    FILE *fp = NULL;
 
    if((fp = fopen(file, "w")) == NULL) {
        perror(file);
        exit(1);
    }
    fwrite(sys->memory, sizeof(WORD), execptr->end, fp);
    fclose(fp);
}