Edinburgh IMP77 Compiler - Version 8.4 LANG 0000 PUSHI #0x00000000 DEF V_0001 NIL record, name, format=0, constant INIT 1 DEF V_0002 REM integer, function, format=1, prim-spec-indirect START DEF V_0003 P integer, simple, format=1, 0 DEF V_0004 Q integer, simple, format=1, 0 FINISH DEF V_0003 FLOAT real, function, format=1, prim-spec-indirect START DEF V_0004 N integer, simple, format=1, 0 FINISH DEF V_0004 TOSTRING string, function, format=1, prim-spec-indirect START DEF V_0005 C integer, simple, format=1, 0 FINISH DEF V_0005 ADDR integer, function, format=1, prim-spec-indirect START DEF V_0006 P type=0, name, format=0, 0 FINISH DEF V_0006 INTEGER integer, map, format=1, prim-spec START DEF V_0007 N integer, simple, format=1, 0 FINISH DEF V_0007 BYTEINTEGER byte-integer, map, format=2, prim-spec START DEF V_0008 N integer, simple, format=1, 0 FINISH DEF V_0008 STRING string, map, format=0, prim-spec START DEF V_0009 N integer, simple, format=1, 0 FINISH DEF V_0009 RECORD record, map, format=0, prim-spec START DEF V_000a N integer, simple, format=1, 0 FINISH DEF V_000a REAL real, map, format=1, prim-spec START DEF V_000b N integer, simple, format=1, 0 FINISH DEF V_000b LONGREAL long-real, map, format=4, prim-spec START DEF V_000c N integer, simple, format=1, 0 FINISH DEF V_000c LENGTH byte-integer, map, format=2, prim-spec START DEF V_000d S string, simple, format=255, 0 FINISH DEF V_000d CHARNO byte-integer, map, format=2, prim-spec START DEF V_000e S string, simple, format=255, 0 DEF V_000f N integer, simple, format=1, 0 FINISH DEF V_000e INT integer, function, format=1, prim-spec-indirect START DEF V_000f R long-real, simple, format=4, 0 FINISH DEF V_000f SHORTINTEGER short-integer, map, format=3, prim-spec START DEF V_0010 N integer, simple, format=1, 0 FINISH DEF V_0010 TYPEOF integer, function, format=1, external-spec-indirect START DEF V_0011 N type=0, name, format=0, 0 FINISH DEF V_0011 SIZEOF integer, function, format=1, external-spec-indirect START DEF V_0012 N type=0, name, format=0, 0 FINISH DEF V_0012 TYPENAME string, function, format=255, external-spec-indirect START DEF V_0013 T integer, simple, format=1, 0 FINISH DEF V_0013 ARRAYENTRYSIZE integer, function, format=1, external-spec-indirect START DEF V_0014 N type=0, name, format=0, 0 FINISH DEF V_0014 ARRAYENTRYTYPE integer, function, format=1, external-spec-indirect START DEF V_0015 N type=0, name, format=0, 0 FINISH DEF V_0015 ARRAYDIMENSIONS integer, function, format=1, external-spec-indirect START DEF V_0016 N type=0, name, format=0, 0 FINISH DEF V_0016 ARRAYLOWERBOUND integer, function, format=1, external-spec-indirect START DEF V_0017 N type=0, name, format=0, 0 DEF V_0018 INDEX integer, simple, format=1, 0 FINISH DEF V_0017 ARRAYUPPERBOUND integer, function, format=1, external-spec-indirect START DEF V_0018 N type=0, name, format=0, 0 DEF V_0019 INDEX integer, simple, format=1, 0 FINISH DEF V_0018 EVENTFM record, record-format, format=24, 0 START DEF V_0000 EVENT integer, simple, format=1, 0 DEF V_0000 SUB integer, simple, format=1, 0 DEF V_0000 INFO integer, simple, format=1, 0 DEF V_0000 LINE integer, simple, format=1, 0 DEF V_0000 MESSAGE string, simple, format=255, 0 FINISH DEF V_0019 EVENT record, map, format=24, external-spec START FINISH DEF V_001a INPUTSTREAM integer, function, format=1, external-spec-indirect START FINISH DEF V_001b INPUTNAME string, function, format=255, external-spec-indirect START FINISH DEF V_001c SELECTINPUT type=0, routine, format=0, external-spec START DEF V_001d N integer, simple, format=1, 0 FINISH DEF V_001d OPENINPUT type=0, routine, format=0, external-spec START DEF V_001e N integer, simple, format=1, 0 DEF V_001f FD string, simple, format=255, 0 FINISH DEF V_001e OPENBINARYINPUT type=0, routine, format=0, external-spec START DEF V_001f N integer, simple, format=1, 0 DEF V_0020 FD string, simple, format=255, 0 FINISH DEF V_001f CLOSEINPUT type=0, routine, format=0, external-spec START FINISH DEF V_0020 RESETINPUT type=0, routine, format=0, external-spec START FINISH DEF V_0021 SEEKINPUT type=0, routine, format=0, external-spec START DEF V_0022 DISPLACEMENT integer, simple, format=1, 0 DEF V_0023 STARTPOINT integer, simple, format=1, 0 FINISH DEF V_0022 TELLINPUT integer, function, format=1, external-spec-indirect START FINISH DEF V_0023 READSYMBOL type=0, routine, format=0, external-spec START DEF V_0024 P type=0, name, format=0, 0 FINISH DEF V_0024 NEXTSYMBOL integer, function, format=1, external-spec-indirect START FINISH DEF V_0025 READBUFFER integer, function, format=1, external-spec-indirect START DEF V_0026 PTR type=0, name, format=0, 0 DEF V_0027 COUNT integer, simple, format=1, 0 FINISH DEF V_0026 PROMPT type=0, routine, format=0, external-spec START DEF V_0027 S string, simple, format=31, 0 FINISH DEF V_0027 CURRENTPROMPT string, function, format=31, external-spec-indirect START FINISH DEF V_0028 GETMAXINPUTSTREAM integer, function, format=1, external-spec-indirect START FINISH DEF V_0029 FILEEND type=0, predicate, format=0, external-spec START FINISH DEF V_002a ALLOWEOFEVENT type=0, routine, format=0, external-spec START FINISH DEF V_002b BLOCKEOFEVENT type=0, routine, format=0, external-spec START FINISH DEF V_002c OUTPUTSTREAM integer, function, format=1, external-spec-indirect START FINISH DEF V_002d OUTPUTNAME string, function, format=255, external-spec-indirect START FINISH DEF V_002e SELECTOUTPUT type=0, routine, format=0, external-spec START DEF V_002f N integer, simple, format=1, 0 FINISH DEF V_002f OPENOUTPUT type=0, routine, format=0, external-spec START DEF V_0030 N integer, simple, format=1, 0 DEF V_0031 FD string, simple, format=255, 0 FINISH DEF V_0030 OPENBINARYOUTPUT type=0, routine, format=0, external-spec START DEF V_0031 N integer, simple, format=1, 0 DEF V_0032 FD string, simple, format=255, 0 FINISH DEF V_0031 CLOSEOUTPUT type=0, routine, format=0, external-spec START FINISH DEF V_0032 RESETOUTPUT type=0, routine, format=0, external-spec START FINISH DEF V_0033 SEEKOUTPUT type=0, routine, format=0, external-spec START DEF V_0034 DISPLACEMENT integer, simple, format=1, 0 DEF V_0035 STARTPOINT integer, simple, format=1, 0 FINISH DEF V_0034 TELLOUTPUT integer, function, format=1, external-spec-indirect START FINISH DEF V_0035 PRINTSYMBOL type=0, routine, format=0, external-spec START DEF V_0036 SYM integer, simple, format=1, 0 FINISH DEF V_0036 WRITEBUFFER integer, function, format=1, external-spec-indirect START DEF V_0037 PTR type=0, name, format=0, 0 DEF V_0038 COUNT integer, simple, format=1, 0 FINISH DEF V_0037 DEBUGSYMBOL type=0, routine, format=0, external-spec START DEF V_0038 SYM integer, simple, format=1, 0 FINISH DEF V_0038 DEBUGREAL type=0, routine, format=0, external-spec START DEF V_0039 D long-real, simple, format=4, 0 FINISH DEF V_0039 GETMAXOUTPUTSTREAM integer, function, format=1, external-spec-indirect START FINISH DEF V_003a FLUSHOUTPUT type=0, routine, format=0, external-spec START FINISH DEF V_003b SKIPSYMBOL type=0, routine, format=0, external-spec START FINISH DEF V_003c PRINTSTRING type=0, routine, format=0, external-spec START DEF V_003d S string, simple, format=255, 0 FINISH DEF V_003d DEBUGSTRING type=0, routine, format=0, external-spec START DEF V_003e S string, simple, format=255, 0 FINISH DEF V_003e DEBUGNEWLINE type=0, routine, format=0, external-spec START FINISH DEF V_003f DEBUGSPACE type=0, routine, format=0, external-spec START FINISH DEF V_0040 DEBUGSPACES type=0, routine, format=0, external-spec START DEF V_0041 COUNT integer, simple, format=1, 0 FINISH DEF V_0041 WRITE type=0, routine, format=0, external-spec START DEF V_0042 V integer, simple, format=1, 0 DEF V_0043 P integer, simple, format=1, 0 FINISH DEF V_0042 SPACE type=0, routine, format=0, external-spec START FINISH DEF V_0043 SPACES type=0, routine, format=0, external-spec START DEF V_0044 N integer, simple, format=1, 0 FINISH DEF V_0044 NEWLINE type=0, routine, format=0, external-spec START FINISH DEF V_0045 NEWLINES type=0, routine, format=0, external-spec START DEF V_0046 N integer, simple, format=1, 0 FINISH DEF V_0046 PRINTFL type=0, routine, format=0, external-spec START DEF V_0047 F long-real, simple, format=4, 0 DEF V_0048 DP integer, simple, format=1, 0 FINISH DEF V_0047 PRINTREAL type=0, routine, format=0, external-spec START DEF V_0048 F long-real, simple, format=4, 0 DEF V_0049 SF integer, simple, format=1, 0 DEF V_004a PLACES integer, simple, format=1, 0 FINISH DEF V_0048 PRINTFLOAT type=0, routine, format=0, external-spec START DEF V_0049 F long-real, simple, format=4, 0 DEF V_004a SF integer, simple, format=1, 0 FINISH DEF V_0049 INTPT integer, function, format=1, external-spec-indirect START DEF V_004a R long-real, simple, format=4, 0 FINISH DEF V_004a TOUPPER type=0, routine, format=0, external-spec START DEF V_004b S string, name, format=0, 0 FINISH DEF V_004b TOLOWER type=0, routine, format=0, external-spec START DEF V_004c S string, name, format=0, 0 FINISH DEF V_004c ITOS string, function, format=255, external-spec-indirect START DEF V_004d N integer, simple, format=1, 0 DEF V_004e PLACES integer, simple, format=1, 0 FINISH DEF V_004d FTOS string, function, format=255, external-spec-indirect START DEF V_004e F long-real, simple, format=4, 0 DEF V_004f SF integer, simple, format=1, 0 DEF V_0050 PLACES integer, simple, format=1, 0 FINISH DEF V_004e FTOSP string, function, format=255, external-spec-indirect START DEF V_004f F long-real, simple, format=4, 0 DEF V_0050 PLACES integer, simple, format=1, 0 FINISH DEF V_004f READ type=0, routine, format=0, external-spec START DEF V_0050 PTR type=0, name, format=0, 0 FINISH DEF V_0050 SUBSTRING string, function, format=255, external-spec-indirect START DEF V_0051 S string, simple, format=255, 0 DEF V_0052 FROM integer, simple, format=1, 0 DEF V_0053 TO integer, simple, format=1, 0 FINISH DEF V_0051 TRIM string, function, format=255, external-spec-indirect START DEF V_0052 S string, simple, format=255, 0 DEF V_0053 MAX integer, simple, format=1, 0 FINISH DEF V_0052 SETDEBUG type=0, routine, format=0, external-spec START FINISH DEF V_0053 CLEARDEBUG type=0, routine, format=0, external-spec START FINISH DEF V_0054 DEBUGMODE integer, function, format=1, external-spec-indirect START FINISH DEF V_0055 SHOWDEBUG type=0, predicate, format=0, external-spec START FINISH DEF V_0056 SETDEBUGLEVEL type=0, routine, format=0, external-spec START DEF V_0057 LVL integer, simple, format=1, 0 FINISH DEF V_0057 INT2ASCII string, function, format=255, external-spec-indirect START DEF V_0058 NN integer, simple, format=1, 0 DEF V_0059 BASE integer, simple, format=1, 0 DEF V_005a PLACES integer, simple, format=1, 0 FINISH DEF V_0058 FORMATNUMBER string, function, format=255, external-spec-indirect START DEF V_0059 N integer, simple, format=1, 0 DEF V_005a BASE integer, simple, format=1, 0 DEF V_005b PLACES integer, simple, format=1, 0 FINISH DEF V_0059 INT2HEX string, function, format=255, external-spec-indirect START DEF V_005a NN integer, simple, format=1, 0 DEF V_005b PLACES integer, simple, format=1, 0 FINISH DEF V_005a INT2BIN string, function, format=32, external-spec-indirect START DEF V_005b NN integer, simple, format=1, 0 FINISH DEF V_005b SHORT2BIN string, function, format=16, external-spec-indirect START DEF V_005c NN short-integer, simple, format=3, 0 FINISH DEF V_005c GETENVCOUNT integer, function, format=1, external-spec-indirect START FINISH DEF V_005d GETENVNAME string, function, format=255, external-spec-indirect START DEF V_005e INDEX integer, simple, format=1, 0 FINISH DEF V_005e GETENV string, function, format=255, external-spec-indirect START DEF V_005f INDEX integer, simple, format=1, 0 FINISH DEF V_005f GETENVINDEX integer, function, format=1, external-spec-indirect START DEF V_0060 VARNAME string, simple, format=255, 0 FINISH DEF V_0060 GETENVASSTRING string, function, format=255, external-spec-indirect START DEF V_0061 ENVNAME string, simple, format=255, 0 FINISH DEF V_0061 GETENVASINTEGER integer, function, format=1, external-spec-indirect START DEF V_0062 VARNAME string, simple, format=255, 0 FINISH DEF V_0062 GETARGCOUNT integer, function, format=1, external-spec-indirect START FINISH DEF V_0063 GETARG string, function, format=255, external-spec-indirect START DEF V_0064 INDEX integer, simple, format=1, 0 FINISH ALIAS "_imp_cliparam" DEF V_0064 CLIPARAM string, function, format=255, external-spec-indirect START FINISH DEF V_0065 NEW record, map, format=0, external-spec START DEF V_0066 TEMPLATE type=0, name, format=0, 0 FINISH DEF V_0066 DISPOSE type=0, routine, format=0, external-spec START DEF V_0067 TEMPLATE type=0, name, format=0, 0 FINISH DEF V_0067 SQRT long-real, function, format=4, external-spec-indirect START DEF V_0068 X long-real, simple, format=4, 0 FINISH DEF V_0068 PI long-real, function, format=4, external-spec-indirect START FINISH DEF V_0069 SINE long-real, function, format=4, external-spec-indirect START DEF V_006a X long-real, simple, format=4, 0 FINISH DEF V_006a COSINE long-real, function, format=4, external-spec-indirect START DEF V_006b X long-real, simple, format=4, 0 FINISH DEF V_006b LOG2 long-real, function, format=4, external-spec-indirect START DEF V_006c X long-real, simple, format=4, 0 FINISH DEF V_006c LOG long-real, function, format=4, external-spec-indirect START DEF V_006d X long-real, simple, format=4, 0 FINISH DEF V_006d LOG10 long-real, function, format=4, external-spec-indirect START DEF V_006e X long-real, simple, format=4, 0 FINISH DEF V_006e EXIT type=0, routine, format=0, external-spec START DEF V_006f STATUS integer, simple, format=1, 0 FINISH LINE 1 1 %begin BEGIN LINE 6 2 3 ! An example program which uses a %routinespec and a call 4 ! to the routine BEFORE actually the routine implementation 5 6 %routinespec css DEF V_006f CSS type=0, routine, format=0, 0-spec START FINISH LINE 8 7 8 selectoutput(0) PUSH V_002e PUSHI #0x00000000 ASSPAR CALL LINE 9 9 printstring("start %SPEC test"); newline PUSH V_003c PUSHS "start %SPEC test" ASSPAR CALL LINE 9 PUSH V_0044 CALL LINE 10 10 css PUSH V_006f CALL LINE 11 11 printstring("end %SPEC test"); newline PUSH V_003c PUSHS "end %SPEC test" ASSPAR CALL LINE 11 PUSH V_0044 CALL LINE 13 12 13 %routine css GOTO L_0000 DEF V_006f CSS type=0, routine, format=0, 0 START FINISH LINE 14 14 %integer a,b,c DEF V_0070 A integer, simple, format=1, 0 DEF V_0071 B integer, simple, format=1, 0 DEF V_0072 C integer, simple, format=1, 0 LINE 16 15 16 %integerfnspec three(%integer p1,p2,p3) DEF V_0073 THREE integer, function, format=1, 0-spec-indirect START DEF V_0074 P1 integer, simple, format=1, 0 DEF V_0075 P2 integer, simple, format=1, 0 DEF V_0076 P3 integer, simple, format=1, 0 FINISH LINE 17 17 %integerfnspec two(%integer p1,p2) DEF V_0074 TWO integer, function, format=1, 0-spec-indirect START DEF V_0075 P1 integer, simple, format=1, 0 DEF V_0076 P2 integer, simple, format=1, 0 FINISH LINE 19 18 19 c = 5 PUSH V_0072 PUSHI #0x00000005 ASSVAL LINE 21 20 21 %integerfn one(%integer p1) GOTO L_0000 DEF V_0075 ONE integer, function, format=1, 0-indirect START DEF V_0076 P1 integer, simple, format=1, 0 FINISH LINE 22 22 %integer a1,b1,c1,d1 DEF V_0077 A1 integer, simple, format=1, 0 DEF V_0078 B1 integer, simple, format=1, 0 DEF V_0079 C1 integer, simple, format=1, 0 DEF V_007a D1 integer, simple, format=1, 0 LINE 23 23 %owninteger callcount DEF V_007b CALLCOUNT integer, simple, format=1, own INIT 1 LINE 25 24 25 %begin BEGIN LINE 26 26 a1 = p1 PUSH V_0077 PUSH V_0076 ASSVAL LINE 27 27 b1 = 2*p1 PUSH V_0078 PUSHI #0x00000002 PUSH V_0076 MUL ASSVAL LINE 28 28 c1 = 3*p1 PUSH V_0079 PUSHI #0x00000003 PUSH V_0076 MUL ASSVAL LINE 29 29 callcount = callcount + 1 PUSH V_007b PUSH V_007b PUSHI #0x00000001 ADD ASSVAL LINE 30 30 %end END LINE 34 31 32 ! Use callcount as a defence against repeated calls to routine 'three' 33 ! which would cause a stack overflow. 34 %if (callcount < 10) %then d1 = three(a1,b1,c1) %else d1 = -1 PUSH V_007b PUSHI #0x0000000a JUMPIF >= L_0004 PUSH V_007a PUSH V_0073 PUSH V_0077 ASSPAR PUSH V_0078 ASSPAR PUSH V_0079 ASSPAR CALL ASSVAL GOTO L_0003 LOCATE L_0004 PUSH V_007a PUSHI #0x00000001 NEGATE ASSVAL LOCATE L_0003 LINE 35 35 %result = d1 PUSH V_007a RESULT LINE 36 36 %end END LOCATE L_0000 LINE 38 37 38 b = 3 PUSH V_0071 PUSHI #0x00000003 ASSVAL LINE 40 39 40 %integerfn three(%integer p1,p2,p3) GOTO L_0000 DEF V_0073 THREE integer, function, format=1, 0-indirect START DEF V_0076 P1 integer, simple, format=1, 0 DEF V_0077 P2 integer, simple, format=1, 0 DEF V_0078 P3 integer, simple, format=1, 0 FINISH LINE 41 41 %integer a3,b3 DEF V_0079 A3 integer, simple, format=1, 0 DEF V_007a B3 integer, simple, format=1, 0 LINE 42 42 a3 = one(p1) PUSH V_0079 PUSH V_0075 PUSH V_0076 ASSPAR CALL ASSVAL LINE 43 43 b3 = two(p2,p3) PUSH V_007a PUSH V_0074 PUSH V_0077 ASSPAR PUSH V_0078 ASSPAR CALL ASSVAL LINE 44 44 %result = a3 + b3 PUSH V_0079 PUSH V_007a ADD RESULT LINE 45 45 %end END LOCATE L_0000 LINE 47 46 47 a = three(b,c,b+c) PUSH V_0070 PUSH V_0073 PUSH V_0071 ASSPAR PUSH V_0072 ASSPAR PUSH V_0071 PUSH V_0072 ADD ASSPAR CALL ASSVAL LINE 49 48 49 %integerfn two(%integer p1,p2) GOTO L_0000 DEF V_0074 TWO integer, function, format=1, 0-indirect START DEF V_0076 P1 integer, simple, format=1, 0 DEF V_0077 P2 integer, simple, format=1, 0 FINISH LINE 50 50 %integer a2,b2 DEF V_0078 A2 integer, simple, format=1, 0 DEF V_0079 B2 integer, simple, format=1, 0 LINE 52 51 52 %result = one(p1+p2) PUSH V_0075 PUSH V_0076 PUSH V_0077 ADD ASSPAR CALL RESULT LINE 53 53 %end END LOCATE L_0000 LINE 55 54 55 %end END LOCATE L_0000 LINE 57 56 57 %endofprogram END END