12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199 |
- /* NCR53c8xx assembler */
- %{
- #include <u.h>
- #include <libc.h>
- #include <stdio.h>
- #include <ctype.h>
- #include "na.h"
- #define COND_WAIT (1L << 16)
- #define COND_TRUE (1L << 19)
- #define COND_INTFLY (1L << 20)
- #define COND_CARRY (1L << 21)
- #define COND_REL (1L << 23)
- #define COND_PHASE (1L << 17)
- #define COND_DATA (1L << 18)
- #define IO_REL (1L << 26)
- #define MOVE_MODE (1L << 27)
- int yylex(void);
- int yyparse(void);
- void assemble(void);
- void yyerror(char *, ...);
- void yywarn(char *, ...);
- void p2error(int line, char *);
- struct addr {
- int type; /* 0 - direct, 1 - indirect 2 - table indirect */
- unsigned long offset;
- };
- typedef enum Type { Const, Addr, Table, Extern, Reg, Unknown, Error } Type;
- struct sym {
- char *name;
- int set;
- Type t;
- long value;
- struct sym *next;
- };
- struct sym *findsym(char *name);
- struct sym *symlist;
- void newsym(struct sym *s, Type t, long v);
- struct binary {
- char len;
- unsigned long data[3];
- unsigned char patch[3];
- };
- #define MAXCPPOPTS 30
- #define MAX_PATCHES 1000
- struct na_patch patch[MAX_PATCHES];
- int patches;
- struct binary out;
- struct expval {
- Type t;
- long value;
- };
- struct expval eval(struct expval a, struct expval b, char op);
- int patchtype(Type t);
- void fixup(void);
- unsigned dot;
- unsigned externs;
- int errors, warnings;
- struct sym *externp[100];
- void regmove(unsigned char src_reg, unsigned char op,
- unsigned char dst_reg, struct expval *imm);
- void preprocess(char *in, FILE *out);
- int mk24bitssigned(long *l);
- long mkreladdr(long value, int len);
- long chkreladdr(int d, struct expval *e, int len, long relrv);
- int pass2;
- FILE *in_f;
- int yyline = 0;
- char yyfilename[200];
- char line[500];
- char *cppopts[MAXCPPOPTS];
- int ncppopts;
- int wflag;
- %}
- %union {
- long n;
- struct sym *s;
- struct expval e;
- }
- %token NUM MOVE WHEN SYMBOL SELECT WAIT DISCONNECT RESELECT SET CLEAR
- %token DATA_OUT DATA_IN COMMAND STATUS RESERVED_OUT RESERVED_IN MESSAGE_OUT
- %token MESSAGE_IN WITH ATN FAIL CARRY TARGET ACK COMMENT TO
- %token SCNTL0 SCNTL1 SCNTL2 SCNTL3 SCID SXFER SDID GPREG
- %token SFBR SOCL SSID SBCL DSTAT SSTAT0 SSTAT1 SSTAT2
- %token ISTAT CTEST0 CTEST1 CTEST2 CTEST3 TEMP DFIFO CTEST4 CTEST5 CTEST6
- %token DBC DCMD DNAD DSP DSPS DMODE DIEN DWT DCNTL ADDER
- %token SIEN0 SIEN1 SIST0 SIST1 SLPAR MACNTL GPCNTL STIME0 STIME1 RESPID
- %token STEST0 STEST1 STEST2 STEST3 SIDL SODL SBDL
- %token SHL SHR AND OR XOR ADD ADDC
- %token JUMP CALL RETURN INT INTFLY NOT ABSOLUTE MASK IF REL PTR
- %token TABLE FROM MEMORY NOP EXTERN
- %token SCRATCHA0 SCRATCHA1 SCRATCHA2 SCRATCHA3
- %token SCRATCHB0 SCRATCHB1 SCRATCHB2 SCRATCHB3
- %token SCRATCHC0 SCRATCHC1 SCRATCHC2 SCRATCHC3
- %token DSA0 DSA1 DSA2 DSA3
- %token DEFW
- %left '-' '+'
- %left '*' '/'
- %left NEG /* negation--unary minus */
- %right '^' /* exponentiation */
- %type <n> NUM phase .atn set_list set_bit regA reg
- %type <n> set_cmd .cond condsfbr condphase
- %type <n> jump_or_call .ptr
- %type <s> SYMBOL
- %type <e> exp byteexp regexp
- /* Grammar follows */
- %%
- input: /* empty string */
- | input line
- ;
- line: .label .opcode .comment '\n'
- {
- if (pass2) {
- int x;
- for (x = 0; x < out.len; x++) {
- printf("/* %.4x */ 0x%.8lxL,",
- dot, out.data[x]);
- if (x == 0) {
- printf(" /*\t");
- fwrite(line,
- strlen(line) - 1, 1, stdout);
- printf(" */");
- }
- printf("\n");
- if (out.patch[x]) {
- patch[patches].lwoff = dot / 4;
- patch[patches].type = out.patch[x];
- patches++;
- }
- dot += 4;
- }
- }
- else
- dot += 4 * out.len;
- }
- | ABSOLUTE SYMBOL '=' exp .comment '\n'
- {
- setsym($2, $4.t, $4.value);
- if (pass2) {
- printf("\t\t\t/*\t");
- fwrite(line, strlen(line) - 1, 1, stdout);
- printf(" */\n");
- }
- }
- | SYMBOL '=' exp .comment '\n'
- {
- setsym($1, $3.t, $3.value);
- if (pass2) {
- printf("\t\t\t/*\t");
- fwrite(line, strlen(line) - 1, 1, stdout);
- printf(" */\n");
- }
- }
- | EXTERN SYMBOL {
- if (pass2) {
- printf("\t\t\t/*\t");
- fwrite(line, strlen(line) - 1, 1, stdout);
- printf(" */\n");
- }
- else {
- if (!pass2)
- externp[externs] = $2;
- setsym($2, Extern, externs++);
- }
- }
- ;
- .comment: COMMENT
- | /* nothing */
- ;
- .label: SYMBOL ':' {
- if ($1->t != Unknown)
- {
- if (!pass2)
- yyerror("multiply defined symbol");
- }
- else {
- $1->t = Addr;
- $1->value = dot;
- }
- }
- | /* nothing */
- ;
- set_cmd: SET { $$ = 3; }
- | CLEAR { $$ = 4; }
- ;
- set_bit: CARRY { $$ = 0x400; }
- | TARGET { $$ = 0x200; }
- | ACK { $$ = 0x40; }
- | ATN { $$ = 0x8; }
- ;
-
- set_list: set_list ',' set_bit { $$ = $1 | $3; }
- | set_list AND set_bit { $$ = $1 | $3; }
- | set_bit { $$ = $1; }
- ;
- opcode: set_cmd set_list {
- out.len = 2;
- out.data[0] = (1L << 30) | ((long)$1 << 27) | $2;
- out.data[1] = 0;
- out.patch[0] = out.patch[1] = 0;
- }
- | DISCONNECT
- {
- out.len = 2;
- out.data[0] = 0x48020000L;
- out.data[1] = 0;
- out.patch[0] = out.patch[1] = 0;
- }
- | INT exp .cond {
- out.len = 2;
- out.data[0] = $3 | 0x98000000L;
- out.data[1] = $2.value;
- out.patch[0] = out.patch[1] = 0;
- }
- | INTFLY exp .cond {
- out.len = 2;
- out.data[0] = $3 | 0x98000000L | COND_INTFLY;
- out.data[1] = $2.value;
- out.patch[0] = out.patch[1] = 0;
- }
- | jump_or_call exp .cond {
- out.len = 2;
- out.data[0] = $1 | $3 | chkreladdr(1, &$2, 2, COND_REL);
- out.patch[0] = 0;
- }
- | jump_or_call REL '(' exp ')' .cond {
- out.len = 2;
- out.data[0] = $1 | $6 | COND_REL;
- out.data[1] = mkreladdr($4.value, 2);
- out.patch[0] = out.patch[1] = 0;
- }
- | MOVE exp ',' .ptr regexp ',' with_or_when phase {
- out.len = 2;
- out.data[0] = ($8 << 24) | $2.value | ($4 << 29) | MOVE_MODE;
- out.data[1] = $5.value;
- out.patch[0] = 0;
- out.patch[1] = patchtype($5.t);
- }
- | MOVE FROM exp ',' with_or_when phase {
- out.len = 2;
- out.data[0] = ($6 << 24) | (1L << 28) | MOVE_MODE;
- out.data[1] = $3.value;
- out.patch[0] = 0;
- out.patch[1] = patchtype($3.t);
- }
- | MOVE MEMORY exp ',' regexp ',' regexp {
- out.len = 3;
- out.data[0] = 0xc0000000L | $3.value;
- out.data[1] = $5.value;
- out.data[2] = $7.value;
- out.patch[0] = 0;
- out.patch[1] = patchtype($5.t);
- out.patch[2] = patchtype($7.t);
- }
- | MOVE regA TO regA { regmove($2, 2, $4, 0); } /* do reg to sfbr moves using or 0 */
- | MOVE exp TO regA { regmove($4, 0, $4, &$2); }
- | MOVE regA '|' exp TO regA { regmove($2, 2, $6, &$4); }
- | MOVE regA '&' exp TO regA { regmove($2, 4, $6, &$4); }
- | MOVE regA '+' exp TO regA { regmove($2, 6, $6, &$4); }
- | MOVE regA '-' exp TO regA { regmove($2, 6, $6, &$4); }
- | MOVE regA '+' exp TO regA WITH CARRY {
- regmove($2, 7, $6, &$4);
- }
- | MOVE regA '-' exp TO regA WITH CARRY {
- $4.value = -$4.value;
- regmove($2, 7, $6, &$4);
- }
- | MOVE regA SHL TO regA { regmove($2, 1, $5, 0); }
- | MOVE regA SHR TO regA { regmove($2, 5, $5, 0); }
- | MOVE regA XOR exp TO regA { regmove($2, 3, $6, &$4); }
- | NOP {
- out.len = 2;
- out.data[0] = 0x80000000L;
- out.data[1] = 0;
- out.patch[0] = out.patch[1] = 0;
- }
- | RESELECT exp ',' exp {
- out.len = 2;
- out.data[0] = 0x40000000L | ((long)$2.value << 16) | (1L << 9) | chkreladdr(1, &$4, 2, IO_REL);
- out.patch[0] = 0;
- }
- | RESELECT exp ',' REL '(' exp ')' {
- out.len = 2;
- out.data[0] = 0x40000000L | IO_REL
- | ((long)$2.value << 16) | (1L << 9);
- out.data[1] = mkreladdr($6.value, 2);
- out.patch[0] = out.patch[1] = 0;
- }
- | RESELECT FROM exp ',' exp {
- out.len = 2;
- out.data[0] = 0x40000000L | (1L << 25) | $3.value | chkreladdr(1, &$5, 2, IO_REL);
- out.patch[0] = 5;
- }
- | RESELECT FROM exp ',' REL '(' exp ')' {
- out.len = 2;
- out.data[0] = 0x40000000L | (1L << 25) | IO_REL | $3.value;
- out.patch[0] = 5;
- out.data[1] = mkreladdr($7.value, 2);
- out.patch[1] = 0;
- }
- | RETURN .cond {
-
- out.len = 2;
- out.data[0] = 0x90000000L | $2;
- out.data[1] = 0;
- out.patch[0] = out.patch[1] = 0;
- }
- | SELECT .atn exp ',' exp {
- out.len = 2;
- out.data[0] =
- 0x40000000L | ((long)$3.value << 16) | (1L << 9) | $2 | chkreladdr(1, &$5, 2, IO_REL);
- out.patch[0] = 0;
- }
- | SELECT .atn exp ',' REL '(' exp ')' {
- out.len = 2;
- out.data[0] = 0x40000000L | (1L << 26)
- | ((long)$3.value << 16) | (1L << 9) | $2;
- out.data[1] = mkreladdr($7.value, 2);
- out.patch[0] = out.patch[1] = 0;
- }
- | SELECT .atn FROM exp ',' exp {
- out.len = 2;
- out.data[0] = 0x40000000L | (1L << 25) | $4.value | $2 | chkreladdr(1, &$6, 2, IO_REL);
- out.patch[0] = 5;
- }
- | SELECT .atn FROM exp ',' REL '(' exp ')' {
- out.len = 2;
- out.data[0] = 0x40000000L | (1L << 25) | IO_REL | $4.value | $2;
- out.patch[0] = 5;
- out.data[1] = mkreladdr($8.value, 2);
- out.patch[1] = 0;
- }
- | WAIT DISCONNECT {
- out.len = 2;
- out.data[0] = 0x48000000L;
- out.data[1] = 0;
- out.patch[0] = out.patch[1] = 0;
- }
- | WAIT RESELECT exp {
- out.len = 2;
- out.data[0] = 0x50000000L | chkreladdr(1, &$3, 2, IO_REL);
- out.patch[0] = 0;
- }
- | WAIT RESELECT REL '(' exp ')' {
- out.len = 2;
- out.data[0] = 0x50000000L | (1L << 26);
- out.data[1] = mkreladdr($5.value, 2);
- out.patch[0] = out.patch[1] = 0;
- }
- | WAIT SELECT exp {
- out.len = 2;
- out.data[0] = 0x40000000L | (1L << 9) | chkreladdr(1, &$3, 2, IO_REL);
- out.patch[0] = 0;
- }
- | WAIT SELECT REL '(' exp ')' {
- out.len = 2;
- out.data[0] = 0x40000000L | (1L << 26) | (1L << 9);
- out.data[1] = mkreladdr($5.value, 2);
- out.patch[0] = out.patch[1] = 0;
- }
- | DEFW exp {
- out.len = 1;
- out.data[0] = $2.value;
- out.patch[0] = patchtype($2.t);
- }
- ;
- .ptr: PTR { $$ = 1; }
- | { $$ = 0; }
- ;
- with_or_when: WITH
- | WHEN
- ;
-
- jump_or_call: JUMP { $$ = 0x80000000L; }
- | CALL { $$ = 0x88000000L; }
- ;
- condsfbr: byteexp { $$ = $1.value | COND_DATA; }
- | byteexp AND MASK byteexp { $$ = ($4.value << 8) | $1.value | COND_DATA; }
- ;
- condphase: phase { $$ = ($1 << 24) | COND_PHASE; }
- .cond: ',' IF ATN { $$ = COND_TRUE; }
- | ',' IF condphase { $$ = $3 | COND_TRUE; }
- | ',' IF CARRY { $$ = COND_CARRY | COND_TRUE; }
- | ',' IF condsfbr { $$ = $3 | COND_TRUE; }
- | ',' IF ATN AND condsfbr { $$ = $5 | COND_TRUE; }
- | ',' IF condphase AND condsfbr { $$ = $3 | $5 | COND_TRUE; }
- | ',' WHEN condphase { $$ = $3 | COND_WAIT | COND_TRUE; }
- | ',' WHEN CARRY { $$ = COND_CARRY | COND_WAIT | COND_TRUE; }
- | ',' WHEN condsfbr { $$ = $3 | COND_WAIT | COND_TRUE; }
- | ',' WHEN condphase AND condsfbr { $$ = $3 | $5 | COND_WAIT | COND_TRUE; }
- | ',' IF NOT ATN { $$ = 0; }
- | ',' IF NOT condphase { $$ = $4; }
- | ',' IF NOT CARRY { $$ = COND_CARRY; }
- | ',' IF NOT condsfbr { $$ = $4; }
- | ',' IF NOT ATN OR condsfbr { $$ = $6; }
- | ',' IF NOT condphase OR condsfbr { $$ = $4 | $6; }
- | ',' WHEN NOT condphase { $$ = $4 | COND_WAIT; }
- | ',' WHEN NOT CARRY { $$ = COND_CARRY | COND_WAIT; }
- | ',' WHEN NOT condsfbr { $$ = $4 | COND_WAIT; }
- | ',' WHEN NOT condphase OR condsfbr { $$ = $4 | $6 | COND_WAIT; }
- | { $$ = COND_TRUE; }
- ;
- .opcode: opcode
- | { out.len = 0; }
- ;
- regA: reg
- | SFBR { $$ = 8; }
- ;
- reg: SCNTL0 { $$ = 0; }
- | SCNTL1 { $$ = 1; }
- | SCNTL2 { $$ = 2; }
- | SCNTL3 { $$ = 3; }
- | SCID { $$ = 4; }
- | SXFER { $$ = 5; }
- | SDID { $$ = 6; }
- | GPREG { $$ = 7; }
- | SOCL { $$ = 9; }
- | SSID { $$ = 0xa; }
- | SBCL { $$ = 0xb; }
- | DSTAT { $$ = 0xc; }
- | SSTAT0 { $$ = 0xd; }
- | SSTAT1 { $$ = 0xe; }
- | SSTAT2 { $$ = 0xf; }
- | DSA0 { $$ = 0x10; }
- | DSA1 { $$ = 0x11; }
- | DSA2 { $$ = 0x12; }
- | DSA3 { $$ = 0x13; }
- | ISTAT { $$ = 0x14; }
- | CTEST0 { $$ = 0x18; }
- | CTEST1 { $$ = 0x19; }
- | CTEST2 { $$ = 0x1a; }
- | CTEST3 { $$ = 0x1b; }
- | TEMP { $$ = 0x1c; }
- | DFIFO { $$ = 0x20; }
- | CTEST4 { $$ = 0x21; }
- | CTEST5 { $$ = 0x22; }
- | CTEST6 { $$ = 0x23; }
- | DBC { $$ = 0x24; }
- | DCMD { $$ = 0x27; }
- | DNAD { $$ = 0x28; }
- | DSP { $$ = 0x2c; }
- | DSPS { $$ = 0x30; }
- | SCRATCHA0 { $$ = 0x34; }
- | SCRATCHA1 { $$ = 0x35; }
- | SCRATCHA2 { $$ = 0x36; }
- | SCRATCHA3 { $$ = 0x37; }
- | DMODE { $$ = 0x38; }
- | DIEN { $$ = 0x39; }
- | DWT { $$ = 0x3a; }
- | DCNTL { $$ = 0x3b; }
- | ADDER { $$ = 0x3c; }
- | SIEN0 { $$ = 0x40; }
- | SIEN1 { $$ = 0x41; }
- | SIST0 { $$ = 0x42; }
- | SIST1 { $$ = 0x43; }
- | SLPAR { $$ = 0x44; }
- | MACNTL { $$ = 0x46; }
- | GPCNTL { $$ = 0x47; }
- | STIME0 { $$ = 0x48; }
- | STIME1 { $$ = 0x49; }
- | RESPID { $$ = 0x4a; }
- | STEST0 { $$ = 0x4c; }
- | STEST1 { $$ = 0x4d; }
- | STEST2 { $$ = 0x4e; }
- | STEST3 { $$ = 0x4f; }
- | SIDL { $$ = 0x50; }
- | SODL { $$ = 0x54; }
- | SBDL { $$ = 0x58; }
- | SCRATCHB0 { $$ = 0x5c; }
- | SCRATCHB1 { $$ = 0x5d; }
- | SCRATCHB2 { $$ = 0x5e; }
- | SCRATCHB3 { $$ = 0x5f; }
- | SCRATCHC0 { $$ = 0x60; }
- | SCRATCHC1 { $$ = 0x61; }
- | SCRATCHC2 { $$ = 0x62; }
- | SCRATCHC3 { $$ = 0x63; }
- ;
- .atn: ATN { $$ = (1 << 24); }
- | /* nothing */ { $$ = 0; }
- ;
- phase: DATA_OUT { $$ = 0; }
- | DATA_IN { $$ = 1; }
- | COMMAND { $$ = 2; }
- | STATUS { $$ = 3; }
- | RESERVED_OUT { $$ = 4; }
- | RESERVED_IN { $$ = 5; }
- | MESSAGE_OUT { $$ = 6; }
- | MESSAGE_IN { $$ = 7; }
- ;
- byteexp: exp
- {
- if (pass2 && ($1.value < 0 || $1.value > 255)) {
- if (wflag)
- yywarn("conversion causes truncation");
- $$.value = $1.value & 0xff;
- }
- else
- $$.value = $1.value;
- }
- ;
- regexp: exp
- | regA { $$.t = Reg; $$.value = $1; }
- ;
- exp: NUM { $$.t = Const; $$.value = $1; }
- | SYMBOL {
- $$.t = $1->t; $$.value = $1->value;
- if (pass2 && $1->t == Unknown)
- {
- yyerror("Undefined symbol %s", $1->name);
- $1->t = Error;
- $1->value = 0;
- $$.t = Error;
- $$.value = 0;
- }
- }
- | exp '+' exp { $$ = eval($1, $3, '+'); }
- | exp '-' exp { $$ = eval($1, $3, '-'); }
- | exp '*' exp { $$ = eval($1, $3, '*'); }
- | exp '/' exp { $$ = eval($1, $3, '/'); }
- | '-' exp %prec NEG { $$ = eval($2, $2, '_'); }
- | '(' exp ')' { $$ = $2; }
- | '~' exp %prec NEG { $$ = eval($2, $2, '~'); }
- ;
- %%
- struct {
- char *name;
- int tok;
- } toktab[] =
- {
- { "when", WHEN },
- { "data_out", DATA_OUT },
- { "data_in", DATA_IN },
- { "msg_out", MESSAGE_OUT },
- { "msg_in", MESSAGE_IN },
- { "cmd", COMMAND },
- { "command", COMMAND },
- { "status", STATUS },
- { "move", MOVE },
- { "select", SELECT },
- { "reselect", RESELECT },
- { "disconnect", DISCONNECT },
- { "wait", WAIT },
- { "set", SET },
- { "clear", CLEAR },
- { "with", WITH },
- { "atn", ATN },
- { "fail", FAIL },
- { "carry", CARRY },
- { "target", TARGET },
- { "ack", ACK },
- { "scntl0", SCNTL0 },
- { "scntl1", SCNTL1 },
- { "scntl2", SCNTL2 },
- { "scntl3", SCNTL3 },
- { "scid", SCID },
- { "sxfer", SXFER },
- { "sdid", SDID },
- { "gpreg", GPREG },
- { "sfbr", SFBR },
- { "socl", SOCL },
- { "ssid", SSID },
- { "sbcl", SBCL },
- { "dstat", DSTAT },
- { "sstat0", SSTAT0 },
- { "sstat1", SSTAT1 },
- { "sstat2", SSTAT2 },
- { "dsa", DSA0 },
- { "dsa0", DSA0 },
- { "dsa1", DSA1 },
- { "dsa2", DSA2 },
- { "dsa3", DSA3 },
- { "istat", ISTAT },
- { "ctest0", CTEST0 },
- { "ctest1", CTEST1 },
- { "ctest2", CTEST2 },
- { "ctest3", CTEST3 },
- { "temp", TEMP },
- { "dfifo", DFIFO },
- { "ctest4", CTEST4 },
- { "ctest5", CTEST5 },
- { "ctest6", CTEST6 },
- { "dbc", DBC },
- { "dcmd", DCMD },
- { "dnad", DNAD },
- { "dsp", DSP },
- { "dsps", DSPS },
- { "scratcha", SCRATCHA0 },
- { "scratcha0", SCRATCHA0 },
- { "scratcha1", SCRATCHA1 },
- { "scratcha2", SCRATCHA2 },
- { "scratcha3", SCRATCHA3 },
- { "dmode", DMODE },
- { "dien", DIEN },
- { "dwt", DWT },
- { "dcntl", DCNTL },
- { "adder", ADDER },
- { "sien0", SIEN0 },
- { "sien1", SIEN1 },
- { "sist0", SIST0 },
- { "sist1", SIST1 },
- { "slpar", SLPAR },
- { "macntl", MACNTL },
- { "gpcntl", GPCNTL },
- { "stime0", STIME0 },
- { "stime1", STIME1 },
- { "respid", RESPID },
- { "stest0", STEST0 },
- { "stest1", STEST1 },
- { "stest2", STEST2 },
- { "stest3", STEST3 },
- { "sidl", SIDL },
- { "sodl", SODL },
- { "sbdl", SBDL },
- { "scratchb", SCRATCHB0 },
- { "scratchb0", SCRATCHB0 },
- { "scratchb1", SCRATCHB1 },
- { "scratchb2", SCRATCHB2 },
- { "scratchb3", SCRATCHB3 },
- { "scratchc", SCRATCHC0 },
- { "scratchc0", SCRATCHC0 },
- { "scratchc1", SCRATCHC1 },
- { "scratchc2", SCRATCHC2 },
- { "scratchc3", SCRATCHC3 },
- { "add", ADD },
- { "addc", ADDC },
- { "and", AND },
- { "or", OR },
- { "xor", XOR },
- { "shl", SHL },
- { "shr", SHR },
- { "jump", JUMP },
- { "call", CALL },
- { "return", RETURN },
- { "int", INT },
- { "intfly", INTFLY },
- { "not", NOT },
- { "absolute", ABSOLUTE },
- { "mask", MASK },
- { "if", IF },
- { "rel", REL },
- { "ptr", PTR },
- { "table", TABLE },
- { "from", FROM },
- { "memory", MEMORY },
- { "to", TO },
- { "nop", NOP },
- { "extern", EXTERN },
- { "defw", DEFW },
- };
- #define TOKS (sizeof(toktab)/sizeof(toktab[0]))
- int lc;
- int ll;
- void
- yyrewind(void)
- {
- rewind(in_f);
- ll = lc = 0;
- yyline = 0;
- dot = 0;
- }
- int
- yygetc(void)
- {
- if (lc == ll)
- {
- next:
- if (fgets(line, 500, in_f) == 0)
- return EOF;
- /* do nasty check for #line directives */
- if (strncmp(line, "#line", 5) == 0) {
- /* #line n "filename" */
- sscanf(line, "#line %d \"%[^\"]", &yyline, yyfilename);
- yyline--;
- goto next;
- }
- yyline++;
- ll = strlen(line);
- lc = 0;
- }
- return line[lc++];
- }
- void
- yyungetc(void)
- {
- if (lc <= 0)
- exits("ungetc");
- lc--;
- }
- int
- yylex(void)
- {
- char token[100];
- int tl = 0;
- int c;
- while ((c = yygetc()) != EOF && (c == ' ' || c == '\t'))
- ;
- if (c == EOF)
- return 0;
- if (isalpha(c) || c == '_')
- {
- int x;
- do {
- token[tl++] = c;
- } while ((c = yygetc()) != EOF && (isalnum(c) || c == '_'));
- if (c == EOF)
- return 0;
- yyungetc();
- token[tl] = 0;
- for (x = 0; x < TOKS; x++)
- if (strcmp(toktab[x].name, token) == 0)
- return toktab[x].tok;
- /* must be a symbol */
- yylval.s = findsym(token);
- return SYMBOL;
- }
- else if (isdigit(c))
- {
- /* accept 0x<digits> or 0b<digits> 0<digits> or <digits> */
- int prefix = c == '0';
- unsigned long n = c - '0';
- int base = 10;
- for (;;)
- {
- c = yygetc();
- if (c == EOF)
- return 0;
- if (prefix)
- {
- prefix = 0;
- if (c == 'x') {
- base = 16;
- continue;
- }
- else if (c == 'b')
- {
- base = 2;
- continue;
- }
- else
- base = 8;
- }
- if (isdigit(c))
- c -= '0';
- else if (isalpha(c) && base > 10)
- {
- if (isupper(c))
- c = tolower(c);
- c = c - 'a' + 10;
- }
- else {
- yyungetc();
- yylval.n = n;
- return NUM;
- }
- if (c >= base)
- yyerror("illegal format number");
- n = n * base + c;
- }
- }
- else if (c == ';') {
- /* skip to end of line */
- while ((c = yygetc()) != EOF && c != '\n')
- ;
- if (c != EOF)
- yyungetc();
- return COMMENT;
- }
- return c;
- }
- void
- yyerror(char *s, ...)
- {
- va_list ap;
- va_start(ap, s);
- fprintf(stderr, "%s: %d: ", yyfilename, yyline);
- vfprintf(stderr, s, ap);
- if (putc('\n', stderr) < 0)
- exits("io");
- errors++;
- va_end(ap);
- }
- void
- yywarn(char *s, ...)
- {
- va_list ap;
- va_start(ap, s);
- fprintf(stderr, "%s: %d: warning: ", yyfilename, yyline);
- vfprintf(stderr, s, ap);
- if (putc('\n', stderr) < 0)
- exits("io");
- warnings++;
- va_end(ap);
- }
- void
- p2error(int line, char *s)
- {
- USED(line);
- printf("/*\t%s */\n", s);
- }
- void
- main(int argc, char *argv[])
- {
- int a;
- for (a = 1; a < argc; a++)
- {
- if (argv[a][0] == '-')
- switch (argv[a][1]) {
- case 'D':
- /* #defines for cpp */
- if (ncppopts >= MAXCPPOPTS) {
- fprintf(stderr, "too many cpp options\n");
- exits("options");
- }
- cppopts[ncppopts++] = argv[a];
- break;
- default:
- fprintf(stderr, "unrecognised option %s\n",
- argv[a]);
- exits("options");
- }
- else
- break;
- }
- if (a != argc - 1)
- {
- fprintf(stderr, "usage: na [options] file\n");
- exits("options");
- }
- if (access(argv[a], 4) < 0) {
- fprintf(stderr, "can't read %s\n", argv[a]);
- exits("");
- }
- in_f = tmpfile();
- preprocess(argv[a], in_f);
- rewind(in_f);
- strcpy(yyfilename, argv[a]);
- yyparse();
- if (errors)
- exits("pass1");
- pass2 = 1;
- printf("unsigned long na_script[] = {\n");
- yyrewind();
- yyparse();
- printf("};\n");
- printf("\n");
- printf("#define NA_SCRIPT_SIZE %d\n", dot / 4);
- printf("\n");
- fixup();
- /*
- assemble();
- */
- exits(errors ? "pass2" : "");
- }
- void
- preprocess(char *in, FILE *out)
- {
- Waitmsg *w;
- char **argv;
- if (fork() == 0) {
- /* child */
- dup(fileno(out), 1);
- argv = (char **)malloc(sizeof(char *) * (ncppopts + 5));
- argv[0] = "cpp";
- memcpy(&argv[1], cppopts, sizeof(char *) * ncppopts);
- argv[ncppopts + 1] = "-+";
- argv[ncppopts + 2] = "-N";
- argv[ncppopts + 3] = in;
- argv[ncppopts + 4] = 0;
- exec("/bin/cpp", argv);
- fprintf(stderr, "failed to exec cpp (%R)\n");
- exits("exec");
- }
- w = wait();
- free(w);
- }
- struct sym *
- findsym(char *name)
- {
- struct sym *s;
- for (s = symlist; s; s = s->next)
- if (strcmp(name, s->name) == 0)
- return s;
- s = (struct sym *)malloc(sizeof(*s));
- s->name = strdup(name);
- s->t = Unknown;
- s->set = 0;
- s->next = symlist;
- symlist = s;
- return s;
- }
- void
- setsym(struct sym *s, Type t, long v)
- {
- if (pass2) {
- if (t == Unknown || t == Error)
- yyerror("can't resolve symbol");
- else {
- s->t = t;
- s->value = v;
- }
- }
- else {
- if (s->set)
- yyerror("multiply defined symbol");
- s->set = 1;
- s->t = t;
- s->value = v;
- }
- }
- int
- mk24bitssigned(long *l)
- {
- if (*l < 0) {
- if ((*l & 0xff800000L) != 0xff800000L) {
- *l = 0;
- return 0;
- }
- else
- *l = (*l) & 0xffffffL;
- }
- else if (*l > 0xffffffL) {
- *l = 0;
- return 0;
- }
- return 1;
- }
- static Type addresult[5][5] = {
- /* Const Addr Table Extern Reg */
- /* Const */ Const, Addr, Table, Error, Reg,
- /* Addr */ Addr, Error, Error, Error, Error,
- /* Table */ Table, Error, Error, Error, Error,
- /* Extern */ Error, Error, Error, Error, Error,
- /* Reg */ Reg, Error, Error, Error, Error,
- };
- static Type subresult[5][5] = {
- /* Const Addr Table Extern Reg */
- /* Const */ Const, Error, Error, Error, Error,
- /* Addr */ Addr, Const, Error, Error, Error,
- /* Table */ Table, Error, Const, Error, Error,
- /* Extern */ Error, Error, Error, Const, Error,
- /* Reg */ Error, Error, Error, Error, Error,
- };
- static Type muldivresult[5][5] = {
- /* Const Addr Table Extern */
- /* Const */ Const, Error, Error, Error, Error,
- /* Addr */ Error, Error, Error, Error, Error,
- /* Table */ Error, Error, Error, Error, Error,
- /* Extern */ Error, Error, Error, Error, Error,
- /* Reg */ Error, Error, Error, Error, Error,
- };
- static Type negresult[] = {
- /* Const */ Const,
- /* Addr */ Error,
- /* Table */ Error,
- /* Extern */ Error,
- /* Reg */ Error,
- };
- int
- patchtype(Type t)
- {
- switch (t) {
- case Addr:
- return 1;
- case Reg:
- return 2;
- case Extern:
- return 4;
- default:
- return 0;
- }
- }
- struct expval
- eval(struct expval a, struct expval b, char op)
- {
- struct expval c;
-
- if (a.t == Unknown || b.t == Unknown) {
- c.t = Unknown;
- c.value = 0;
- }
- else if (a.t == Error || b.t == Error) {
- c.t = Error;
- c.value = 0;
- }
- else {
- switch (op) {
- case '+':
- c.t = addresult[a.t][b.t];
- break;
- case '-':
- c.t = subresult[a.t][b.t];
- break;
- case '*':
- case '/':
- c.t = muldivresult[a.t][b.t];
- break;
- case '_':
- case '~':
- c.t = negresult[a.t];
- break;
- default:
- c.t = Error;
- break;
- }
- if (c.t == Error) {
- if (pass2)
- yyerror("type clash in evaluation");
- c.value = 0;
- }
- else {
- switch (op) {
- case '+':
- c.value = a.value + b.value;
- break;
- case '-':
- c.value = a.value - b.value;
- break;
- case '*':
- c.value = a.value * b.value;
- break;
- case '/':
- c.value = a.value / b.value;
- break;
- case '_':
- c.value = -a.value;
- break;
- case '~':
- c.value = ~a.value;
- break;
- }
- }
- }
- return c;
- }
- void
- regmove(unsigned char src_reg, unsigned char op,
- unsigned char dst_reg, struct expval *imm)
- {
- unsigned char func, reg;
- int immdata;
- out.len = 2;
- if (src_reg == 8) {
- func = 5;
- reg = dst_reg;
- }
- else if (dst_reg == 8) {
- func = 6;
- reg = src_reg;
- }
- else {
- if (pass2 && src_reg != dst_reg)
- yyerror("Registers must be the same");
- func = 7;
- reg = src_reg;
- }
- immdata = imm ? (imm->value & 0xff) : 0;
- out.data[0] = 0x40000000L
- | ((long)func << 27)
- | ((long)op << 24)
- | ((long)reg << 16)
- | ((long)(immdata) << 8);
- out.data[1] = 0;
- out.patch[0] = (imm && imm->t == Extern) ? 3 : 0;
- out.patch[1] = 0;
- }
- long
- mkreladdr(long addr, int len)
- {
- long rel;
- rel = addr - (dot + 4 * len);
- mk24bitssigned(&rel);
- return rel;
- }
- long
- chkreladdr(int d, struct expval *e, int len, long relrv)
- {
- if (e->t == Addr) {
- out.data[d] = mkreladdr(e->value, len);
- out.patch[d] = 0;
- return relrv;
- } else {
- out.data[d] = e->value;
- out.patch[d] = patchtype(e->t);
- return 0;
- }
- }
- void
- fixup(void)
- {
- struct sym *s;
- int p;
- printf("struct na_patch na_patches[] = {\n");
- for (p = 0; p < patches; p++) {
- printf("\t{ 0x%.4x, %d }, /* %.8lx */\n",
- patch[p].lwoff, patch[p].type, patch[p].lwoff * 4L);
- }
- if (patches == 0) {
- printf("\t{ 0, 0 },\n");
- }
- printf("};\n");
- printf("#define NA_PATCHES %d\n", patches);
- printf("\n");
- if (externs) {
- printf("enum na_external {\n");
- for (p = 0; p < externs; p++) {
- printf("\tX_%s,\n", externp[p]->name);
- }
- printf("};\n");
- }
- /* dump all labels (symbols of type Addr) as E_<Name> */
- for (s = symlist; s; s = s->next)
- if (s->t == Addr)
- break;
- if (s) {
- printf("\nenum {\n");
- while (s) {
- if (s->t == Addr)
- printf("\tE_%s = %ld,\n", s->name, s->value);
- s = s->next;
- }
- printf("};\n");
- }
- /* dump all Consts as #define A_<Name> value */
- for (s = symlist; s; s = s->next)
- if (s->t == Const)
- printf("#define A_%s %ld\n", s->name, s->value);
- }
|