X-Git-Url: https://jxself.org/git/?p=pdp10-muddle.git;a=blobdiff_plain;f=mim%2Fdevelopment%2Fmim%2Fvaxc%2Farithgen.mima;fp=mim%2Fdevelopment%2Fmim%2Fvaxc%2Farithgen.mima;h=f79af3cb702bf20a72e780916b73399cf3522ae3;hp=0000000000000000000000000000000000000000;hb=d73ace3f3292e320b461b8fcd2e9f5dc5d9684d7;hpb=d530283ea60fb0ddcc28e9c5bd072456afe06e07 diff --git a/mim/development/mim/vaxc/arithgen.mima b/mim/development/mim/vaxc/arithgen.mima new file mode 100644 index 0000000..f79af3c --- /dev/null +++ b/mim/development/mim/vaxc/arithgen.mima @@ -0,0 +1,3100 @@ + +#WORD *27635606362* + + OPT6 OPT7> +OPT6 + +OPT7 + + + + + + + + + +PHRASE15 + + PHRASE19> + + PHRASE19> + + PHRASE19> + + + + + + + + + + + = TEMP25> + +PHRASE24 + + + + +PHRASE26 + + + + + +PHRASE19 + - PHRASE28> + - PHRASE28> + + + + + +BOOL32 + + + + + - PHRASE28> + +BOOL33 + + + + + +PHRASE39 + +PHRASE40 + + + + + + + + +PHRASE42 + + + +
+ + + + +PHRASE46 + + + + + + + + = TEMP25> + +PHRASE50 + + + + +COND49 + + + + +PHRASE28 + + + - PHRASE55> + + + + + +PHRASE55 + + + + = TEMP25> +COND54 + + + - PHRASE58> + + + + + +PHRASE58 + + + + = TEMP25> +COND57 + + + - PHRASE61> + + + + + +PHRASE61 + + + + +COND60 + + + + + + + + = TEMP25> + +PHRASE65 + + + + +COND64 + + + +PHRASE52 + + + + + + PHRASE70> + + + + + + + + +PHRASE70 + + + + + + + + + + + + + + + + + + + +PHRASE73 + + +#WORD *5623433665* + + OPT6 OPT7> +OPT6 + +OPT7 + ) (ZERO?19 %<>) TEMP31 FROMOP17 RD14> + + + PHRASE21> + + PHRASE21> + + PHRASE21> + + PHRASE21> + + + + + + + +PHRASE24 + + + + + + + + + + + = TEMP31> + +PHRASE30 + + + + + +COND29 + + + + + +PHRASE21 + + + + + + + + + - PHRASE40> + + + + +PHRASE40 + + + +COND39 + + + + +PHRASE35 + - PHRASE44> + + +BOOL46 + - PHRASE44> + + + + + + + + + - PHRASE44> + + +BOOL49 + + + + +PHRASE55 + + + + + + + - PHRASE63> + + + + + +PHRASE63 + + + + +PHRASE65 + + + + + + = STACK> + + + + +PHRASE59 + + + + - PHRASE71> + + + + + +PHRASE71 + + + + +PHRASE73 + + + + + + + + +PHRASE67 + + + PHRASE78> + + + + + +PHRASE80 + + +PHRASE78 + + + + +PHRASE82 + +COND77 + + + - PHRASE84> + + + + + +PHRASE84 + + + + +PHRASE86 + + + + + +
+ + + + + +PHRASE89 + + PHRASE91> + + + + = TEMP31> + + +PHRASE91 + + + + + PHRASE93> + + + + + + +PHRASE93 + + +
+ + + + +PHRASE96 + + + + + PHRASE99> + + + + + + + + +PHRASE99 + + + + + + + + + + + + + + + + + + + + +PHRASE44 + - PHRASE109> + + + + + +PHRASE109 + + + + = TAC18> + +COND108 + - PHRASE112> + + + + + +PHRASE112 + + + + = ZERO?19> + +COND111 + - PHRASE115> + + + + + + + + + PHRASE121> + + + + + +PHRASE115 + + + + +PHRASE121 + + + + + + + + = RD14> + + +PHRASE124 + + + + + + +PHRASE125 + - PHRASE127> + + + + + PHRASE127> + + + + + + + + + + + + + + = RD14> + + +PHRASE127 + + + + + + PHRASE132> + + + + + + + + + - PHRASE137> + + + + + +PHRASE137 + + + + +COND136 + + + + + + + = RD14> + + + +PHRASE132 + + + + + + + + + + + +PHRASE107 + + +#WORD *15114643632* + ANY ANY) OP-2-ARG5 OP-3-ARG6 OP17 OP28 DEST9 COMMUTE10 MUD11 TYP12> + ) (VAC15 %<>) TMP13 TEMP40> + + + TAG19> + - PHRASE17> +TAG19 + + TAG20> + - PHRASE17> +TAG20 + + + + + + + + + + + + + + + +PHRASE17 + + + TAG28> + - PHRASE26> +TAG28 + + PHRASE26> + + + +PHRASE26 + + + + + + + + + +PHRASE30 + + TAG34> + - PHRASE33> +TAG34 + + +PHRASE33 + + + + + BOOL44> + + + + + BOOL38> + + + + + +BOOL38 + + + + + +BOOL44 + - PHRASE48> + + + + + PHRASE48> + + + + + PHRASE48> + + + + + + PHRASE54> + + + + + + +PHRASE54 + + +PHRASE48 + (TYPE FALSE)> + + +PHRASE58 + - PHRASE67> + + + + +BOOL64 + + + + + + +PHRASE66 + + +PHRASE67 + + + + +BOOL71 + + + + + +BOOL75 + + +BOOL73 + + +BOOL72 + + + + + PHRASE79> + + + + = TEMP40> + +PHRASE79 + + + + +PHRASE80 + + + + (TYPE FALSE)> + + + + + = TEMP40> + +PHRASE83 + + PHRASE84> + + + + = TEMP40> + + +PHRASE84 + + + + + + + + = TEMP40> + +PHRASE86 + + + + +PHRASE69 + + + +BOOL90 + + + +BOOL92 + + +BOOL91 + - PHRASE95> + + + + + PHRASE95> + + + +PHRASE95 + + + + + PHRASE101> + + + + = USE-314> + +PHRASE101 + + + + +PHRASE102 + + + + +PHRASE88 + + + + + + - PHRASE107> + + + + + +PHRASE107 + - PHRASE109> + + + + + + + +PHRASE109 + + PHRASE112> + + + + = USE-314> + + +PHRASE112 + + + + +PHRASE113 + + + - PHRASE116> + + + + + +PHRASE116 + - PHRASE118> + + + + + + + +PHRASE118 + + + + +PHRASE121 + + + + (TYPE FALSE)> + + + + + = USE-314> + +PHRASE124 + + PHRASE125> + + + + = USE-314> + + +PHRASE125 + + + + + + + + = USE-314> + +PHRASE126 + + + + +PHRASE104 + - PHRASE130> + + + + + PHRASE130> + + + +PHRASE130 + + + + - PHRASE136> + + + + + +PHRASE136 + - PHRASE138> + + + + + + + +PHRASE138 + + + + +PHRASE141 + + + + PHRASE144> + + + + = USE-314> + +PHRASE144 + + + + +PHRASE145 + + + +PHRASE128 + + PHRASE148> + + + + + + + + +PHRASE148 + + +#WORD *17062346323* + "OPTIONAL" ANY) OP18 OP29 DEST10 HINT11> + OPT6 OPT7> +OPT6 + > +OPT7 + + + + + + + + + + + + + + + + + + +#WORD *6457324663* +> > ATOM ATOM "OPTIONAL" ANY) VAL18 VAL29 DIR10 LABEL11 HINT12> + OPT6 OPT7> +OPT6 + > +OPT7 + )> + + + PHRASE15> + + + + + +PHRASE15 + - PHRASE18> + + BOOL20> + +BOOL20 + + BOOL23> + +BOOL23 + +PHRASE18 + + + + + + + + + + + + + + + + +#WORD *15457324663* +> > ATOM ATOM "OPTIONAL" ANY) VAL18 VAL29 DIR10 LABEL11 HINT12> + OPT6 OPT7> +OPT6 + > +OPT7 + )> + + + PHRASE15> + + + + + +PHRASE15 + - PHRASE18> + + BOOL20> + +BOOL20 + + BOOL23> + +BOOL23 + +PHRASE18 + + + + + + + + + + + + + + + + +#WORD *30340376742* + + OPT6 OPT7> +OPT6 + > +OPT7 + )> + + + PHRASE15> + + + + + +PHRASE15 + - PHRASE18> + +PHRASE18 + + + + + + + + + + + + + + + + +#WORD *4305653234* + + + + + + + - PHRASE20> + + + + + PHRASE22> + + + + + PHRASE22> + + + + + + + + + + + + + + + + + + + + + +PHRASE22 + + + + + + + + + + + + + +PHRASE20 + + + + + PHRASE33> + + + + + + + + + + + + + - PHRASE36> + + + + + + + + + + + + +PHRASE36 + + + + + +PHRASE33 + + + + + PHRASE43> + + + + + + + + + + + + + + + + + + + > + + +PHRASE50 + + + + > + +COND49 + + + + + + + + + + + + + + + + + + + > + + +PHRASE57 + + + + + > + +COND56 + + + + + + +PHRASE43 + + + + + + + + + + + + + + + + + + + + + + + + + + + > + + +PHRASE70 + + + + > + +COND69 + + + + + + + + + + + + + + + + > + + +PHRASE76 + + + + + > + +COND75 + + + + + +PHRASE61 + + + + +#WORD *15441327753* + + + + + + + + + + + PHRASE21> + + BOOL22> + + + + + + + + + + + + +BOOL22 + + + + + + + + + + + + +PHRASE21 + + + + + + + (TYPE FALSE)> + (TYPE FALSE)> + + + + + + + + COND33> + + + + + + + = TEMP26> + +PHRASE34 + + + +COND33 + + + + + + + + + + + + + + + + + + + + > + > + > + + + +PHRASE42 + + + + > + > + > + + +PHRASE44 + + + PHRASE47> + + + BOOL49> + - PHRASE47> +BOOL49 + + + + PHRASE52> + + + + + +PHRASE52 + + + + +PHRASE54 + + + + PHRASE57> + + + + + +PHRASE57 + + + + +PHRASE59 + + + + + + + + + + = STACK> + + + + + + + + + + + + + + + + + + + = STACK> + + + + + + = STACK> + + + +PHRASE47 + + BOOL70> + - PHRASE69> +BOOL70 + + + PHRASE73> + + + + + +PHRASE73 + + + + +PHRASE75 + + + + PHRASE78> + + + + + +PHRASE78 + + + + +PHRASE80 + + + + +PHRASE69 + + + + + + + > + + +PHRASE83 + + + + + > + +COND82 + + + + + + + +#WORD *5476044507* + VARTBL ) VAR5 TAC6 VAC7> + + + - TAG11> + - TAG11> + +TAG11 + + PHRASE12> + + PHRASE12> + + + + + + +PHRASE12 + - PHRASE16> + + + + + + PHRASE16> + + +PHRASE16 + + TAG21> + + > +TAG21 + + + + + + + + PHRASE19> + +PHRASE19 + + + +#WORD *31335372067* +) VAL18 VAL29 DIR10 LABEL11 MODE12 TYP13> + OPT6 OPT7> +OPT6 + +OPT7 + + + + + + + + + + PHRASE17> + + + + + + + + + + + + + + + +PHRASE17 + + PHRASE20> + + + + + + + + + + + + + +PHRASE20 + + + + + + + + + + + + +COND16 + + + + +#WORD *17747243327* +) CONST8 VAR9 LABEL10 DIRCODE11 TYP12> + OPT6 OPT7> +OPT6 + +OPT7 + + + + + + + PHRASE17> + + + + + + + + + + + + + +PHRASE20 + + + + + PHRASE25> + + + + + = STACK> + + - PHRASE30> + + + + + + + +PHRASE30 + + + + +PHRASE33 + + + + + + + + + + + + > + + + +PHRASE25 + + + + + + - PHRASE40> + + + + + + + +PHRASE40 + + + + +PHRASE43 + + + + + + + + + + + + > + + + +PHRASE17 + + + + + + + + + + + + + + + + + + + > + + + + +> + +> + +> >)> + +#WORD *6102761341* + ANY ANY) CODE5 REV-CODE6> + + + + + + + + + + + + +> >)> + +> + +#WORD *23212117553* +>)> + + + + + + + + + + + + + + + + + + + + + + + + + + + + (TYPE FALSE)> + + + + + + + + + + + + + + + + + + + + + + + + + + + + +MAP13 + + + + + + + + + + + + +MAPAP16 + + + +#WORD *30716076222* + + + + + + + + + +PHRASE8 + + + + + + +PHRASE10 + + + + + + + + + +#WORD *20165503404* + + + + + + + + + +#WORD *7725222054* +) VAR8 DIRCODE9 LABEL10 TYP11> + OPT6 OPT7> +OPT6 + +OPT7 + + + + + + - PHRASE20> + + + +PHRASE20 + + + + + + BOOL24> + - PHRASE23> +BOOL24 + + PHRASE27> + + + + + +PHRASE30 + +PHRASE32 + + + + + + + + + + + + + + + +PHRASE27 + + + + - BOOL37> + + + + - BOOL37> + + + PHRASE36> + +BOOL37 + - PHRASE42> + + + + + > + + +PHRASE42 + + + + + + = STACK> + + + + + + + + +PHRASE36 + + + + + + + + + + + + + +PHRASE46 + + + + + + + > + > + > + + + + + + + + + + + + + + + + + + > + > + > + + + + + + + + + + + + + + + + + + + + + + + + + + + +PHRASE23 + + + + + + + + + + + +#WORD *23772161172* + + + + + + + + + + + + + + + + + +#WORD *32611100457* + + OPT7 OPT8 OPT9> +OPT7 + +OPT8 + +OPT9 + + + + + + + + +PHRASE19 + + +PHRASE17 + + + +PHRASE22 + + + +PHRASE23 + + + + + +PHRASE24 + + + + + + + + + + +#WORD *2005033174* + + OPT6 OPT7> +OPT6 + +OPT7 + + + + + + + PHRASE15> + + + + + + + + + + + + + + +PHRASE15 + + + + + PHRASE19> + + + + + + + + + + + + + + + + +PHRASE19 + + + + + +PHRASE26 + +PHRASE28 + + + + + + + + + + + + + + + + + > + + + + +#WORD *30525317470* + + OPT6 OPT7> +OPT6 + +OPT7 + + + + + + + + + + + + = STACK> + + + + + + + + + + + + + > + + + + + + +> + +#WORD *35615312412* + ANY) CONST5> + + + - PHRASE7> + + + + + + +PHRASE7 + + + + + + + + = CONST5> + FIX> - PHRASE15 (TYPE FIX)> + FIX>> +PHRASE15 + FIX> - PHRASE16 (TYPE FIX)> + FIX>> +PHRASE16 + + +PHRASE10 + + + + + + + + > +TAG19 + + + > +TAG22 + + +#WORD *31125177710* + ) CNS4> + + + + +PHRASE7 + + = TEMP8> + + + + + + +#WORD *36727716531* + + + + + + + + + + + + + + + +PHRASE7 + + + + + + + +#WORD *35102214650* + "OPTIONAL" ANY) OP18 OP29 DEST10 HINT11> + OPT6 OPT7> +OPT6 + > +OPT7 + + + + + + + + + + + + > + + + + + + +#WORD *13237175603* + ATOM ANY) VAR5 TNAME6 DIR7 DEST8> + + + + + + + PHRASE12> + + + + + + + + + + - PHRASE12> + + + + + + + + + + + + + > + + +PHRASE20 + + + + + + + + + > + + +PHRASE12 + + + + - BOOL29> + + + + - BOOL29> + + + + +TAG33 + + + + +TAG34 + + + +TAG32 + + + PHRASE28> + +BOOL29 + - PHRASE38> + + + + + > + + +PHRASE38 + - PHRASE41> + + + + + + = STACK> + + + + + + + + +PHRASE41 + + + + + + = STACK> + + + + + + + + + +PHRASE28 + + + + + + +BOOL47 + + + + + + + + + + +PHRASE46 + + + + + + + + + + + + + + +PHRASE52 + + + + + + + > + + +PHRASE58 + + + + + > + +COND57 + + +#WORD *13073406326* + "OPTIONAL" ANY) OP18 OP29 DEST10 HINT11> + OPT6 OPT7> +OPT6 + > +OPT7 + + + + + + + + + + + + + + + + + + +#WORD *11625250372* + FIX) X5> + + + + +PHRASE7 + + + +AGAIN15 + + + + +PHRASE17 + + > +PHRASE18 + + + > +PHRASE19 + + + +#WORD *15122514642* + "OPTIONAL" ANY) OP18 OP29 DEST10 HINT11> + OPT6 OPT7> +OPT6 + > +OPT7 + + + + + + + + + + + + > + + + + + + +#WORD *36040253203* + "OPTIONAL" ANY) ITM18 ITM29 RES10 HINT11> + OPT6 OPT7> +OPT6 + +OPT7 + ) LAB114 LAB215 VAC12 TEMP26> + + + + + + + + + + - PHRASE20> + + + + + + + + + + + + = STACK> + + + +PHRASE20 + - PHRASE27> + + + + + + + + + = STACK> + + + + + + + + + + + > + + + + + = STACK> + + + + + + + + = STACK> + + + + + + + + +PHRASE27 + + + + + + + + + = STACK> + + + + + + + + + + + + + > + + + + + = STACK> + + + + + + + + = STACK> + + + + + + + +PHRASE35 + + + - PHRASE45> + + + + +PHRASE45 + + + + + PHRASE47> + + + + = TEMP26> + + +PHRASE47 + + + +PHRASE50 + + + + + + = STACK> + + + + + = STACK> + + + + + + + + = STACK> + + + + + + + + + + + = STACK> + + + + + + > + + + + - PHRASE58> + + + + + +PHRASE58 + + PHRASE60> + + + + + = LAB114> + + +PHRASE60 + + + + +PHRASE61 + + + + + + + + + = STACK> + + + + + + + + + + + + + + + + + + +#WORD *10005621776* + "OPTIONAL" ANY) OP18 OP29 DEST10 HINT11> + OPT6 OPT7> +OPT6 + > +OPT7 + + + + + + + + + + + + + + + + + + +#WORD *32165773205* + "OPTIONAL" ANY) OP18 OP29 DEST10 HINT11> + OPT6 OPT7> +OPT6 + > +OPT7 + + + + + + + + + + + + > + + + + + + +#WORD *14014161773* + "OPTIONAL" ANY) OP18 OP29 DEST10 HINT11> + OPT6 OPT7> +OPT6 + > +OPT7 + + + + + + + + + + + + + + + + + + +#WORD *12145073217* + "OPTIONAL" ANY) OP18 OP29 DEST10 HINT11> + OPT6 OPT7> +OPT6 + > +OPT7 + + + + + + + + + + + + > + + + + + + +#WORD *4271747732* + "OPTIONAL" ANY) VAL18 RES9 HINT10> + OPT6 OPT7> +OPT6 + +OPT7 + + + + + + + PHRASE13> + + + + + PHRASE13> + + + + + + + = STACK> + + + + + = STACK> + + + +PHRASE13 + + + + PHRASE22> + + + + + = TEMP17> + +PHRASE22 + + + + +PHRASE23 + + + + + + + + + + = STACK> + + +PHRASE19 + + + + + + + + + + +#WORD *10551706772* + "OPTIONAL" ANY) VAL18 RES9 HINT10> + OPT6 OPT7> +OPT6 + +OPT7 + + + + + + + PHRASE13> + + + + + PHRASE13> + + + + + + + = STACK> + + + + + = STACK> + + + +PHRASE13 + + + + PHRASE22> + + + + + = TEMP17> + +PHRASE22 + + + + +PHRASE23 + + + + + + + + + + = STACK> + + +PHRASE19 + + + + + + + + + + +#WORD *3177653421* + "OPTIONAL" ANY) VAL18 RES9 HINT10> + OPT6 OPT7> +OPT6 + +OPT7 + + + + + + + + + + + + + +