Home » Archimedes archive » Zipped Apps » BCPL » BCPL/alib/history/compiler
BCPL/alib/history/compiler
This website contains an archive of files for the Acorn Electron, BBC Micro, Acorn Archimedes, Commodore 16 and Commodore 64 computers, which Dominic Ford has rescued from his private collection of floppy disks and cassettes.
Some of these files were originally commercial releases in the 1980s and 1990s, but they are now widely available online. I assume that copyright over them is no longer being asserted. If you own the copyright and would like files to be removed, please contact me.
| Tape/disk: | Home » Archimedes archive » Zipped Apps » BCPL |
| Filename: | BCPL/alib/history/compiler |
| Read OK: | ✔ |
| File size: | 1556 bytes |
| Load address: | 0000 |
| Exec address: | 0000 |
File contents
Note: the phrase 'Found in CG n.m' should not be taken to imply that the
problem concerned does not exist in earlier versions of the compiler.
Bug 1: Found in CG 2.10 Fixed in CG 2.11
In some circumstances, a construct of the form a := b; b := c can be
effectively compiled in the wrong order, so that afterwards a = b = c.
New feature in CG 2.11
There is now some degree of checking for integer operands used with floating
point operators, and vice versa. This cannot be complete, but at any rate
if you write x#+1 you will get a warning. The code compiled for such an
expression is the same as before (no coercion is done).
Bug 2: Found in CG 2.11 Fixed in CG 2.12
A procedure which ends by calling another with five arguments, and which
otherwise contains no procedure call (and which is sufficiently small) may
wrongly be compiled as needing no stackframe, meaning that the value of
argument 5 in the called procedure will be wrong.
Bug 3: Found in CG 2.12 Fixed in CG 2.13
An expression of the form (p+k)!(n*q), where k is a constant and n is even
may be compiled as if it were p!(n*q) (if there was a previous p!... so
that a shifted version of p is still present in a register).
Feature: in CG 2.12 and all earlier Fixed in CG 2.13
The code generated for floating-point operations uses the first version of the
floating-point instruction set. Floating point is thus not available under
Arthur, for which only an emulator for the second version of the instruction
set is available.
Feature: in CG 2.12 and all earlier
When handling GET "filename", the compiler looks first for a file named
filename, and then for :0.alib.filename (and it is an error if neither exists).
This isn't too appropriate for Arthur now, where :0 is the floppy. I believe
that the search path should be user-suppliable, and that the default path
should have $.alib in place of :0.alib. Currently, the path is fixed but it
is possible to specify where particular header files live by something like
-HDR "LibHdr=a.b.c.LibHdr"
on the command line.
Bug 4: Found in CG 2.12 Fixed in CG 2.13
Where a sufficiently simple procedure (containing no calls is a necessary but
not sufficient constraint) returns as result the value of a static variable,
it may not load the pointer to the static variable area first, so that the
procedure acts correctly if called from within the same compilation unit, but
not if called externally.
Bug 5: Found in CG 2.13 (also exists in all earlier versions)
Fixed in CG 2.14
VCAR (x+k) := floating point value gets the offset k 4 times too large (not
shifting it down, since the instructions shift it up).
Bug 6: Found in CG 2.13 Fixed in CG 2.14
FIX always reads from FP reg 0, not the one the operand happens to be in.
(At places like just after procedure calls, this will in fact be right).
Bug 7: Found in CG 2.13 Fixed in CG 2.14
The fix to cure bug 4 above is wrong for procedures near the end of a compiled
section (starting within the last 512 words). And whereas in the previous
state all that happened was that the wrong value was returned, now there may be
a data abort or address exception.
New feature in front end 2.2
It is now possible to switch off the special (for Cambridge Lisp) reserved
words NIL, LGE, LLE, LGT and LGR. The L option controls their admissibility;
it is on by default (switched off by ... -opt -l).
Bug 8: Found in CG 2.13 Fixed in CG 2.14
The result of a/2, where a is negative, is (-a)/2.
Bug 9: Found in CG 2.14 Fixed in CG 2.14
Where a section has a very large number of (any combination of) STATIC
variables, TABLE elements and numeric constants too large to fit into a DP
instruction, the compiler may generate an internal error of the form:
Resolve reference: offset ... at ....
Bug 10: Found in CG 2.14 Fixed in CG 2.15
Further to 9, if a procedure is large and contains no use of STATIC variables,
TABLEs or strings, but does use large constants, the same internal error may
occur.
Bug 11: Found in CG 2.14 Fixed in CG 2.15
The following sort of construct
LET x = ...;
LET y = ...;
IF ...<#x1234 THEN {
LET z = ...;
LET zz = ...;
may (in circumstances easy to explain only in terms of the generated code)
cause the values for z and zz to be written to completely the wrong place in
store. The important thing here is a comparison against a constant breakable
into two 8 bit chunks; the latter two declarations could equally well be a
FOR loop with variable upper bound; or both sets of declarations could be
assignments to adjacent variables declared previously. Insertion of a
procedure call before the IF will certainly remove the problem; so may many
other small perturbations.
Bug 12: Found in CG 2.14 Fixed in CG 2.15
In code like
LET a = ...
LET b = field OF @a
it is possible for the code to extract the field to precede that loading the
value for a.
Bug 13: Found in CG 2.11 Fixed in CG 2.15
Code like
x!3 := .....
.... := x!3
(where there may be a sizeable gap between the two statements) may use
the old value of x!3 in the second statement.
Bug 14: Found in CG 2.15 Fixed in CG 2.16
The N option does not as it should control inclusion of procedure name strings
in compiled code.
Bug 15: Found in CG 2.16
A procedure such as LET f(a, b) BE a(b) is miscompiled. Adding a dummy
procedure call will fix it.
00000000 4e 6f 74 65 3a 20 74 68 65 20 70 68 72 61 73 65 |Note: the phrase|
00000010 20 27 46 6f 75 6e 64 20 69 6e 20 43 47 20 6e 2e | 'Found in CG n.|
00000020 6d 27 20 73 68 6f 75 6c 64 20 6e 6f 74 20 62 65 |m' should not be|
00000030 20 74 61 6b 65 6e 20 74 6f 20 69 6d 70 6c 79 20 | taken to imply |
00000040 74 68 61 74 20 74 68 65 0a 70 72 6f 62 6c 65 6d |that the.problem|
00000050 20 63 6f 6e 63 65 72 6e 65 64 20 64 6f 65 73 20 | concerned does |
00000060 6e 6f 74 20 65 78 69 73 74 20 69 6e 20 65 61 72 |not exist in ear|
00000070 6c 69 65 72 20 76 65 72 73 69 6f 6e 73 20 6f 66 |lier versions of|
00000080 20 74 68 65 20 63 6f 6d 70 69 6c 65 72 2e 0a 0a | the compiler...|
00000090 0a 42 75 67 20 31 3a 09 46 6f 75 6e 64 20 69 6e |.Bug 1:.Found in|
000000a0 20 43 47 20 32 2e 31 30 09 09 09 20 20 20 46 69 | CG 2.10... Fi|
000000b0 78 65 64 20 69 6e 20 43 47 20 32 2e 31 31 0a 0a |xed in CG 2.11..|
000000c0 49 6e 20 73 6f 6d 65 20 63 69 72 63 75 6d 73 74 |In some circumst|
000000d0 61 6e 63 65 73 2c 20 61 20 63 6f 6e 73 74 72 75 |ances, a constru|
000000e0 63 74 20 6f 66 20 74 68 65 20 66 6f 72 6d 09 61 |ct of the form.a|
000000f0 20 3a 3d 20 62 3b 20 62 20 3a 3d 20 63 09 63 61 | := b; b := c.ca|
00000100 6e 20 62 65 0a 65 66 66 65 63 74 69 76 65 6c 79 |n be.effectively|
00000110 20 63 6f 6d 70 69 6c 65 64 20 69 6e 20 74 68 65 | compiled in the|
00000120 20 77 72 6f 6e 67 20 6f 72 64 65 72 2c 20 73 6f | wrong order, so|
00000130 20 74 68 61 74 20 61 66 74 65 72 77 61 72 64 73 | that afterwards|
00000140 20 61 20 3d 20 62 20 3d 20 63 2e 0a 0a 4e 65 77 | a = b = c...New|
00000150 20 66 65 61 74 75 72 65 09 09 09 09 09 09 20 69 | feature...... i|
00000160 6e 20 43 47 20 32 2e 31 31 0a 0a 54 68 65 72 65 |n CG 2.11..There|
00000170 20 69 73 20 6e 6f 77 20 73 6f 6d 65 20 64 65 67 | is now some deg|
00000180 72 65 65 20 6f 66 20 63 68 65 63 6b 69 6e 67 20 |ree of checking |
00000190 66 6f 72 20 69 6e 74 65 67 65 72 20 6f 70 65 72 |for integer oper|
000001a0 61 6e 64 73 20 75 73 65 64 20 77 69 74 68 20 66 |ands used with f|
000001b0 6c 6f 61 74 69 6e 67 0a 70 6f 69 6e 74 20 6f 70 |loating.point op|
000001c0 65 72 61 74 6f 72 73 2c 20 61 6e 64 20 76 69 63 |erators, and vic|
000001d0 65 20 76 65 72 73 61 2e 20 20 54 68 69 73 20 63 |e versa. This c|
000001e0 61 6e 6e 6f 74 20 62 65 20 63 6f 6d 70 6c 65 74 |annot be complet|
000001f0 65 2c 20 62 75 74 20 61 74 20 61 6e 79 20 72 61 |e, but at any ra|
00000200 74 65 0a 69 66 20 79 6f 75 20 77 72 69 74 65 20 |te.if you write |
00000210 20 78 23 2b 31 20 20 79 6f 75 20 77 69 6c 6c 20 | x#+1 you will |
00000220 67 65 74 20 61 20 77 61 72 6e 69 6e 67 2e 20 20 |get a warning. |
00000230 54 68 65 20 63 6f 64 65 20 63 6f 6d 70 69 6c 65 |The code compile|
00000240 64 20 66 6f 72 20 73 75 63 68 20 61 6e 0a 65 78 |d for such an.ex|
00000250 70 72 65 73 73 69 6f 6e 20 69 73 20 74 68 65 20 |pression is the |
00000260 73 61 6d 65 20 61 73 20 62 65 66 6f 72 65 20 28 |same as before (|
00000270 6e 6f 20 63 6f 65 72 63 69 6f 6e 20 69 73 20 64 |no coercion is d|
00000280 6f 6e 65 29 2e 0a 0a 42 75 67 20 32 3a 09 46 6f |one)...Bug 2:.Fo|
00000290 75 6e 64 20 69 6e 20 43 47 20 32 2e 31 31 09 09 |und in CG 2.11..|
000002a0 09 20 20 20 46 69 78 65 64 20 69 6e 20 43 47 20 |. Fixed in CG |
000002b0 32 2e 31 32 0a 0a 41 20 70 72 6f 63 65 64 75 72 |2.12..A procedur|
000002c0 65 20 77 68 69 63 68 20 65 6e 64 73 20 62 79 20 |e which ends by |
000002d0 63 61 6c 6c 69 6e 67 20 61 6e 6f 74 68 65 72 20 |calling another |
000002e0 77 69 74 68 20 66 69 76 65 20 61 72 67 75 6d 65 |with five argume|
000002f0 6e 74 73 2c 20 61 6e 64 20 77 68 69 63 68 0a 6f |nts, and which.o|
00000300 74 68 65 72 77 69 73 65 20 63 6f 6e 74 61 69 6e |therwise contain|
00000310 73 20 6e 6f 20 70 72 6f 63 65 64 75 72 65 20 63 |s no procedure c|
00000320 61 6c 6c 20 28 61 6e 64 20 77 68 69 63 68 20 69 |all (and which i|
00000330 73 20 73 75 66 66 69 63 69 65 6e 74 6c 79 20 73 |s sufficiently s|
00000340 6d 61 6c 6c 29 20 6d 61 79 0a 77 72 6f 6e 67 6c |mall) may.wrongl|
00000350 79 20 62 65 20 63 6f 6d 70 69 6c 65 64 20 61 73 |y be compiled as|
00000360 20 6e 65 65 64 69 6e 67 20 6e 6f 20 73 74 61 63 | needing no stac|
00000370 6b 66 72 61 6d 65 2c 20 6d 65 61 6e 69 6e 67 20 |kframe, meaning |
00000380 74 68 61 74 20 74 68 65 20 76 61 6c 75 65 20 6f |that the value o|
00000390 66 0a 61 72 67 75 6d 65 6e 74 20 35 20 69 6e 20 |f.argument 5 in |
000003a0 74 68 65 20 63 61 6c 6c 65 64 20 70 72 6f 63 65 |the called proce|
000003b0 64 75 72 65 20 77 69 6c 6c 20 62 65 20 77 72 6f |dure will be wro|
000003c0 6e 67 2e 0a 0a 42 75 67 20 33 3a 09 46 6f 75 6e |ng...Bug 3:.Foun|
000003d0 64 20 69 6e 20 43 47 20 32 2e 31 32 09 09 09 20 |d in CG 2.12... |
000003e0 20 20 46 69 78 65 64 20 69 6e 20 43 47 20 32 2e | Fixed in CG 2.|
000003f0 31 33 0a 0a 41 6e 20 65 78 70 72 65 73 73 69 6f |13..An expressio|
00000400 6e 20 6f 66 20 74 68 65 20 66 6f 72 6d 20 20 28 |n of the form (|
00000410 70 2b 6b 29 21 28 6e 2a 71 29 2c 20 20 77 68 65 |p+k)!(n*q), whe|
00000420 72 65 20 6b 20 69 73 20 61 20 63 6f 6e 73 74 61 |re k is a consta|
00000430 6e 74 20 61 6e 64 20 6e 20 69 73 20 65 76 65 6e |nt and n is even|
00000440 0a 6d 61 79 20 62 65 20 63 6f 6d 70 69 6c 65 64 |.may be compiled|
00000450 20 61 73 20 69 66 20 69 74 20 77 65 72 65 20 20 | as if it were |
00000460 70 21 28 6e 2a 71 29 09 28 69 66 20 74 68 65 72 |p!(n*q).(if ther|
00000470 65 20 77 61 73 20 61 20 70 72 65 76 69 6f 75 73 |e was a previous|
00000480 20 20 70 21 2e 2e 2e 20 20 73 6f 0a 74 68 61 74 | p!... so.that|
00000490 20 61 20 73 68 69 66 74 65 64 20 76 65 72 73 69 | a shifted versi|
000004a0 6f 6e 20 6f 66 20 70 20 69 73 20 73 74 69 6c 6c |on of p is still|
000004b0 20 70 72 65 73 65 6e 74 20 69 6e 20 61 20 72 65 | present in a re|
000004c0 67 69 73 74 65 72 29 2e 0a 0a 46 65 61 74 75 72 |gister)...Featur|
000004d0 65 3a 20 69 6e 20 43 47 20 32 2e 31 32 20 61 6e |e: in CG 2.12 an|
000004e0 64 20 61 6c 6c 20 65 61 72 6c 69 65 72 09 09 20 |d all earlier.. |
000004f0 20 20 46 69 78 65 64 20 69 6e 20 43 47 20 32 2e | Fixed in CG 2.|
00000500 31 33 0a 0a 54 68 65 20 63 6f 64 65 20 67 65 6e |13..The code gen|
00000510 65 72 61 74 65 64 20 66 6f 72 20 66 6c 6f 61 74 |erated for float|
00000520 69 6e 67 2d 70 6f 69 6e 74 20 6f 70 65 72 61 74 |ing-point operat|
00000530 69 6f 6e 73 20 75 73 65 73 20 74 68 65 20 66 69 |ions uses the fi|
00000540 72 73 74 20 76 65 72 73 69 6f 6e 20 6f 66 20 74 |rst version of t|
00000550 68 65 0a 66 6c 6f 61 74 69 6e 67 2d 70 6f 69 6e |he.floating-poin|
00000560 74 20 69 6e 73 74 72 75 63 74 69 6f 6e 20 73 65 |t instruction se|
00000570 74 2e 20 20 46 6c 6f 61 74 69 6e 67 20 70 6f 69 |t. Floating poi|
00000580 6e 74 20 69 73 20 74 68 75 73 20 6e 6f 74 20 61 |nt is thus not a|
00000590 76 61 69 6c 61 62 6c 65 20 75 6e 64 65 72 0a 41 |vailable under.A|
000005a0 72 74 68 75 72 2c 20 66 6f 72 20 77 68 69 63 68 |rthur, for which|
000005b0 20 6f 6e 6c 79 20 61 6e 20 65 6d 75 6c 61 74 6f | only an emulato|
000005c0 72 20 66 6f 72 20 74 68 65 20 73 65 63 6f 6e 64 |r for the second|
000005d0 20 76 65 72 73 69 6f 6e 20 6f 66 20 74 68 65 20 | version of the |
000005e0 69 6e 73 74 72 75 63 74 69 6f 6e 0a 73 65 74 20 |instruction.set |
000005f0 69 73 20 61 76 61 69 6c 61 62 6c 65 2e 0a 0a 46 |is available...F|
00000600 65 61 74 75 72 65 3a 20 69 6e 20 43 47 20 32 2e |eature: in CG 2.|
00000610 31 32 20 61 6e 64 20 61 6c 6c 20 65 61 72 6c 69 |12 and all earli|
00000620 65 72 0a 0a 57 68 65 6e 20 68 61 6e 64 6c 69 6e |er..When handlin|
00000630 67 20 20 47 45 54 20 22 66 69 6c 65 6e 61 6d 65 |g GET "filename|
00000640 22 2c 20 74 68 65 20 63 6f 6d 70 69 6c 65 72 20 |", the compiler |
00000650 6c 6f 6f 6b 73 20 66 69 72 73 74 20 66 6f 72 20 |looks first for |
00000660 61 20 66 69 6c 65 20 6e 61 6d 65 64 0a 66 69 6c |a file named.fil|
00000670 65 6e 61 6d 65 2c 20 61 6e 64 20 74 68 65 6e 20 |ename, and then |
00000680 66 6f 72 20 3a 30 2e 61 6c 69 62 2e 66 69 6c 65 |for :0.alib.file|
00000690 6e 61 6d 65 20 28 61 6e 64 20 69 74 20 69 73 20 |name (and it is |
000006a0 61 6e 20 65 72 72 6f 72 20 69 66 20 6e 65 69 74 |an error if neit|
000006b0 68 65 72 20 65 78 69 73 74 73 29 2e 0a 54 68 69 |her exists)..Thi|
000006c0 73 20 69 73 6e 27 74 20 74 6f 6f 20 61 70 70 72 |s isn't too appr|
000006d0 6f 70 72 69 61 74 65 20 66 6f 72 20 41 72 74 68 |opriate for Arth|
000006e0 75 72 20 6e 6f 77 2c 20 77 68 65 72 65 20 3a 30 |ur now, where :0|
000006f0 20 69 73 20 74 68 65 20 66 6c 6f 70 70 79 2e 20 | is the floppy. |
00000700 20 49 20 62 65 6c 69 65 76 65 0a 74 68 61 74 20 | I believe.that |
00000710 74 68 65 20 73 65 61 72 63 68 20 70 61 74 68 20 |the search path |
00000720 73 68 6f 75 6c 64 20 62 65 20 75 73 65 72 2d 73 |should be user-s|
00000730 75 70 70 6c 69 61 62 6c 65 2c 20 61 6e 64 20 74 |uppliable, and t|
00000740 68 61 74 20 74 68 65 20 64 65 66 61 75 6c 74 20 |hat the default |
00000750 70 61 74 68 0a 73 68 6f 75 6c 64 20 68 61 76 65 |path.should have|
00000760 20 24 2e 61 6c 69 62 20 69 6e 20 70 6c 61 63 65 | $.alib in place|
00000770 20 6f 66 20 3a 30 2e 61 6c 69 62 2e 20 20 43 75 | of :0.alib. Cu|
00000780 72 72 65 6e 74 6c 79 2c 20 74 68 65 20 70 61 74 |rrently, the pat|
00000790 68 20 69 73 20 66 69 78 65 64 20 62 75 74 20 69 |h is fixed but i|
000007a0 74 0a 69 73 20 70 6f 73 73 69 62 6c 65 20 74 6f |t.is possible to|
000007b0 20 73 70 65 63 69 66 79 20 77 68 65 72 65 20 70 | specify where p|
000007c0 61 72 74 69 63 75 6c 61 72 20 68 65 61 64 65 72 |articular header|
000007d0 20 66 69 6c 65 73 20 6c 69 76 65 20 62 79 20 73 | files live by s|
000007e0 6f 6d 65 74 68 69 6e 67 20 6c 69 6b 65 0a 20 20 |omething like. |
000007f0 2d 48 44 52 20 22 4c 69 62 48 64 72 3d 61 2e 62 |-HDR "LibHdr=a.b|
00000800 2e 63 2e 4c 69 62 48 64 72 22 0a 6f 6e 20 74 68 |.c.LibHdr".on th|
00000810 65 20 63 6f 6d 6d 61 6e 64 20 6c 69 6e 65 2e 0a |e command line..|
00000820 0a 42 75 67 20 34 3a 09 46 6f 75 6e 64 20 69 6e |.Bug 4:.Found in|
00000830 20 43 47 20 32 2e 31 32 09 09 09 20 20 20 46 69 | CG 2.12... Fi|
00000840 78 65 64 20 69 6e 20 43 47 20 32 2e 31 33 0a 0a |xed in CG 2.13..|
00000850 57 68 65 72 65 20 61 20 73 75 66 66 69 63 69 65 |Where a sufficie|
00000860 6e 74 6c 79 20 73 69 6d 70 6c 65 20 70 72 6f 63 |ntly simple proc|
00000870 65 64 75 72 65 20 28 63 6f 6e 74 61 69 6e 69 6e |edure (containin|
00000880 67 20 6e 6f 20 63 61 6c 6c 73 20 69 73 20 61 20 |g no calls is a |
00000890 6e 65 63 65 73 73 61 72 79 20 62 75 74 0a 6e 6f |necessary but.no|
000008a0 74 20 73 75 66 66 69 63 69 65 6e 74 20 63 6f 6e |t sufficient con|
000008b0 73 74 72 61 69 6e 74 29 20 72 65 74 75 72 6e 73 |straint) returns|
000008c0 20 61 73 20 72 65 73 75 6c 74 20 74 68 65 20 76 | as result the v|
000008d0 61 6c 75 65 20 6f 66 20 61 20 73 74 61 74 69 63 |alue of a static|
000008e0 20 76 61 72 69 61 62 6c 65 2c 0a 69 74 20 6d 61 | variable,.it ma|
000008f0 79 20 6e 6f 74 20 6c 6f 61 64 20 74 68 65 20 70 |y not load the p|
00000900 6f 69 6e 74 65 72 20 74 6f 20 74 68 65 20 73 74 |ointer to the st|
00000910 61 74 69 63 20 76 61 72 69 61 62 6c 65 20 61 72 |atic variable ar|
00000920 65 61 20 66 69 72 73 74 2c 20 73 6f 20 74 68 61 |ea first, so tha|
00000930 74 20 74 68 65 0a 70 72 6f 63 65 64 75 72 65 20 |t the.procedure |
00000940 61 63 74 73 20 63 6f 72 72 65 63 74 6c 79 20 69 |acts correctly i|
00000950 66 20 63 61 6c 6c 65 64 20 66 72 6f 6d 20 77 69 |f called from wi|
00000960 74 68 69 6e 20 74 68 65 20 73 61 6d 65 20 63 6f |thin the same co|
00000970 6d 70 69 6c 61 74 69 6f 6e 20 75 6e 69 74 2c 20 |mpilation unit, |
00000980 62 75 74 0a 6e 6f 74 20 69 66 20 63 61 6c 6c 65 |but.not if calle|
00000990 64 20 65 78 74 65 72 6e 61 6c 6c 79 2e 0a 0a 42 |d externally...B|
000009a0 75 67 20 35 3a 09 46 6f 75 6e 64 20 69 6e 20 43 |ug 5:.Found in C|
000009b0 47 20 32 2e 31 33 20 28 61 6c 73 6f 20 65 78 69 |G 2.13 (also exi|
000009c0 73 74 73 20 69 6e 20 61 6c 6c 20 65 61 72 6c 69 |sts in all earli|
000009d0 65 72 20 76 65 72 73 69 6f 6e 73 29 0a 09 09 09 |er versions)....|
000009e0 09 09 09 20 20 20 46 69 78 65 64 20 69 6e 20 43 |... Fixed in C|
000009f0 47 20 32 2e 31 34 0a 0a 56 43 41 52 20 28 78 2b |G 2.14..VCAR (x+|
00000a00 6b 29 20 3a 3d 20 66 6c 6f 61 74 69 6e 67 20 70 |k) := floating p|
00000a10 6f 69 6e 74 20 76 61 6c 75 65 20 20 67 65 74 73 |oint value gets|
00000a20 20 74 68 65 20 6f 66 66 73 65 74 20 6b 20 34 20 | the offset k 4 |
00000a30 74 69 6d 65 73 20 74 6f 6f 20 6c 61 72 67 65 20 |times too large |
00000a40 28 6e 6f 74 0a 73 68 69 66 74 69 6e 67 20 69 74 |(not.shifting it|
00000a50 20 64 6f 77 6e 2c 20 73 69 6e 63 65 20 74 68 65 | down, since the|
00000a60 20 69 6e 73 74 72 75 63 74 69 6f 6e 73 20 73 68 | instructions sh|
00000a70 69 66 74 20 69 74 20 75 70 29 2e 0a 0a 42 75 67 |ift it up)...Bug|
00000a80 20 36 3a 09 46 6f 75 6e 64 20 69 6e 20 43 47 20 | 6:.Found in CG |
00000a90 32 2e 31 33 09 09 09 20 20 20 46 69 78 65 64 20 |2.13... Fixed |
00000aa0 69 6e 20 43 47 20 32 2e 31 34 0a 0a 46 49 58 20 |in CG 2.14..FIX |
00000ab0 61 6c 77 61 79 73 20 72 65 61 64 73 20 66 72 6f |always reads fro|
00000ac0 6d 20 46 50 20 72 65 67 20 30 2c 20 6e 6f 74 20 |m FP reg 0, not |
00000ad0 74 68 65 20 6f 6e 65 20 74 68 65 20 6f 70 65 72 |the one the oper|
00000ae0 61 6e 64 20 68 61 70 70 65 6e 73 20 74 6f 20 62 |and happens to b|
00000af0 65 20 69 6e 2e 0a 28 41 74 20 70 6c 61 63 65 73 |e in..(At places|
00000b00 20 6c 69 6b 65 20 6a 75 73 74 20 61 66 74 65 72 | like just after|
00000b10 20 70 72 6f 63 65 64 75 72 65 20 63 61 6c 6c 73 | procedure calls|
00000b20 2c 20 74 68 69 73 20 77 69 6c 6c 20 69 6e 20 66 |, this will in f|
00000b30 61 63 74 20 62 65 20 72 69 67 68 74 29 2e 0a 0a |act be right)...|
00000b40 42 75 67 20 37 3a 20 46 6f 75 6e 64 20 69 6e 20 |Bug 7: Found in |
00000b50 43 47 20 32 2e 31 33 20 09 09 09 20 20 20 46 69 |CG 2.13 ... Fi|
00000b60 78 65 64 20 69 6e 20 43 47 20 32 2e 31 34 0a 0a |xed in CG 2.14..|
00000b70 54 68 65 20 66 69 78 20 74 6f 20 63 75 72 65 20 |The fix to cure |
00000b80 62 75 67 20 34 20 61 62 6f 76 65 20 69 73 20 77 |bug 4 above is w|
00000b90 72 6f 6e 67 20 66 6f 72 20 70 72 6f 63 65 64 75 |rong for procedu|
00000ba0 72 65 73 20 6e 65 61 72 20 74 68 65 20 65 6e 64 |res near the end|
00000bb0 20 6f 66 20 61 20 63 6f 6d 70 69 6c 65 64 0a 73 | of a compiled.s|
00000bc0 65 63 74 69 6f 6e 20 28 73 74 61 72 74 69 6e 67 |ection (starting|
00000bd0 20 77 69 74 68 69 6e 20 74 68 65 20 6c 61 73 74 | within the last|
00000be0 20 35 31 32 20 77 6f 72 64 73 29 2e 20 20 41 6e | 512 words). An|
00000bf0 64 20 77 68 65 72 65 61 73 20 69 6e 20 74 68 65 |d whereas in the|
00000c00 20 70 72 65 76 69 6f 75 73 0a 73 74 61 74 65 20 | previous.state |
00000c10 61 6c 6c 20 74 68 61 74 20 68 61 70 70 65 6e 65 |all that happene|
00000c20 64 20 77 61 73 20 74 68 61 74 20 74 68 65 20 77 |d was that the w|
00000c30 72 6f 6e 67 20 76 61 6c 75 65 20 77 61 73 20 72 |rong value was r|
00000c40 65 74 75 72 6e 65 64 2c 20 6e 6f 77 20 74 68 65 |eturned, now the|
00000c50 72 65 20 6d 61 79 20 62 65 0a 61 20 64 61 74 61 |re may be.a data|
00000c60 20 61 62 6f 72 74 20 6f 72 20 61 64 64 72 65 73 | abort or addres|
00000c70 73 20 65 78 63 65 70 74 69 6f 6e 2e 0a 0a 4e 65 |s exception...Ne|
00000c80 77 20 66 65 61 74 75 72 65 09 09 09 09 09 20 20 |w feature..... |
00000c90 20 69 6e 20 66 72 6f 6e 74 20 65 6e 64 20 32 2e | in front end 2.|
00000ca0 32 0a 0a 49 74 20 69 73 20 6e 6f 77 20 70 6f 73 |2..It is now pos|
00000cb0 73 69 62 6c 65 20 74 6f 20 73 77 69 74 63 68 20 |sible to switch |
00000cc0 6f 66 66 20 74 68 65 20 73 70 65 63 69 61 6c 20 |off the special |
00000cd0 28 66 6f 72 20 43 61 6d 62 72 69 64 67 65 20 4c |(for Cambridge L|
00000ce0 69 73 70 29 20 72 65 73 65 72 76 65 64 0a 77 6f |isp) reserved.wo|
00000cf0 72 64 73 20 4e 49 4c 2c 20 4c 47 45 2c 20 4c 4c |rds NIL, LGE, LL|
00000d00 45 2c 20 4c 47 54 20 61 6e 64 20 4c 47 52 2e 20 |E, LGT and LGR. |
00000d10 20 54 68 65 20 4c 20 6f 70 74 69 6f 6e 20 63 6f | The L option co|
00000d20 6e 74 72 6f 6c 73 20 74 68 65 69 72 20 61 64 6d |ntrols their adm|
00000d30 69 73 73 69 62 69 6c 69 74 79 3b 0a 69 74 20 69 |issibility;.it i|
00000d40 73 20 6f 6e 20 62 79 20 64 65 66 61 75 6c 74 20 |s on by default |
00000d50 28 73 77 69 74 63 68 65 64 20 6f 66 66 20 62 79 |(switched off by|
00000d60 20 2e 2e 2e 20 2d 6f 70 74 20 2d 6c 29 2e 0a 0a | ... -opt -l)...|
00000d70 42 75 67 20 38 3a 20 46 6f 75 6e 64 20 69 6e 20 |Bug 8: Found in |
00000d80 43 47 20 32 2e 31 33 20 09 09 09 20 20 20 46 69 |CG 2.13 ... Fi|
00000d90 78 65 64 20 69 6e 20 43 47 20 32 2e 31 34 0a 0a |xed in CG 2.14..|
00000da0 54 68 65 20 72 65 73 75 6c 74 20 6f 66 20 61 2f |The result of a/|
00000db0 32 2c 20 77 68 65 72 65 20 61 20 69 73 20 6e 65 |2, where a is ne|
00000dc0 67 61 74 69 76 65 2c 20 69 73 20 28 2d 61 29 2f |gative, is (-a)/|
00000dd0 32 2e 0a 0a 42 75 67 20 39 3a 20 46 6f 75 6e 64 |2...Bug 9: Found|
00000de0 20 69 6e 20 43 47 20 32 2e 31 34 20 09 09 09 20 | in CG 2.14 ... |
00000df0 20 20 46 69 78 65 64 20 69 6e 20 43 47 20 32 2e | Fixed in CG 2.|
00000e00 31 34 0a 0a 57 68 65 72 65 20 61 20 73 65 63 74 |14..Where a sect|
00000e10 69 6f 6e 20 68 61 73 20 61 20 76 65 72 79 20 6c |ion has a very l|
00000e20 61 72 67 65 20 6e 75 6d 62 65 72 20 6f 66 20 28 |arge number of (|
00000e30 61 6e 79 20 63 6f 6d 62 69 6e 61 74 69 6f 6e 20 |any combination |
00000e40 6f 66 29 20 53 54 41 54 49 43 0a 76 61 72 69 61 |of) STATIC.varia|
00000e50 62 6c 65 73 2c 20 54 41 42 4c 45 20 65 6c 65 6d |bles, TABLE elem|
00000e60 65 6e 74 73 20 61 6e 64 20 6e 75 6d 65 72 69 63 |ents and numeric|
00000e70 20 63 6f 6e 73 74 61 6e 74 73 20 74 6f 6f 20 6c | constants too l|
00000e80 61 72 67 65 20 74 6f 20 66 69 74 20 69 6e 74 6f |arge to fit into|
00000e90 20 61 20 44 50 0a 69 6e 73 74 72 75 63 74 69 6f | a DP.instructio|
00000ea0 6e 2c 20 74 68 65 20 63 6f 6d 70 69 6c 65 72 20 |n, the compiler |
00000eb0 6d 61 79 20 67 65 6e 65 72 61 74 65 20 61 6e 20 |may generate an |
00000ec0 69 6e 74 65 72 6e 61 6c 20 65 72 72 6f 72 20 6f |internal error o|
00000ed0 66 20 74 68 65 20 66 6f 72 6d 3a 0a 20 20 20 20 |f the form:. |
00000ee0 20 20 52 65 73 6f 6c 76 65 20 72 65 66 65 72 65 | Resolve refere|
00000ef0 6e 63 65 3a 20 6f 66 66 73 65 74 20 2e 2e 2e 20 |nce: offset ... |
00000f00 61 74 09 2e 2e 2e 2e 0a 0a 42 75 67 20 31 30 3a |at.......Bug 10:|
00000f10 20 46 6f 75 6e 64 20 69 6e 20 43 47 20 32 2e 31 | Found in CG 2.1|
00000f20 34 09 09 09 20 20 20 46 69 78 65 64 20 69 6e 20 |4... Fixed in |
00000f30 43 47 20 32 2e 31 35 0a 0a 46 75 72 74 68 65 72 |CG 2.15..Further|
00000f40 20 74 6f 20 39 2c 20 69 66 20 61 20 70 72 6f 63 | to 9, if a proc|
00000f50 65 64 75 72 65 20 69 73 20 6c 61 72 67 65 20 61 |edure is large a|
00000f60 6e 64 20 63 6f 6e 74 61 69 6e 73 20 6e 6f 20 75 |nd contains no u|
00000f70 73 65 20 6f 66 20 53 54 41 54 49 43 20 76 61 72 |se of STATIC var|
00000f80 69 61 62 6c 65 73 2c 0a 54 41 42 4c 45 73 20 6f |iables,.TABLEs o|
00000f90 72 20 73 74 72 69 6e 67 73 2c 20 62 75 74 20 64 |r strings, but d|
00000fa0 6f 65 73 20 75 73 65 20 6c 61 72 67 65 20 63 6f |oes use large co|
00000fb0 6e 73 74 61 6e 74 73 2c 20 74 68 65 20 73 61 6d |nstants, the sam|
00000fc0 65 20 69 6e 74 65 72 6e 61 6c 20 65 72 72 6f 72 |e internal error|
00000fd0 20 6d 61 79 0a 6f 63 63 75 72 2e 0a 0a 42 75 67 | may.occur...Bug|
00000fe0 20 31 31 3a 20 46 6f 75 6e 64 20 69 6e 20 43 47 | 11: Found in CG|
00000ff0 20 32 2e 31 34 09 09 09 20 20 20 46 69 78 65 64 | 2.14... Fixed|
00001000 20 69 6e 20 43 47 20 32 2e 31 35 0a 0a 54 68 65 | in CG 2.15..The|
00001010 20 66 6f 6c 6c 6f 77 69 6e 67 20 73 6f 72 74 20 | following sort |
00001020 6f 66 20 63 6f 6e 73 74 72 75 63 74 0a 0a 20 20 |of construct.. |
00001030 20 4c 45 54 20 78 20 3d 20 2e 2e 2e 3b 0a 20 20 | LET x = ...;. |
00001040 20 4c 45 54 20 79 20 3d 20 2e 2e 2e 3b 0a 20 20 | LET y = ...;. |
00001050 20 49 46 20 2e 2e 2e 3c 23 78 31 32 33 34 20 54 | IF ...<#x1234 T|
00001060 48 45 4e 20 7b 0a 20 20 20 20 20 20 4c 45 54 20 |HEN {. LET |
00001070 7a 20 3d 20 2e 2e 2e 3b 0a 20 20 20 20 20 20 4c |z = ...;. L|
00001080 45 54 20 7a 7a 20 3d 20 2e 2e 2e 3b 0a 0a 6d 61 |ET zz = ...;..ma|
00001090 79 20 28 69 6e 20 63 69 72 63 75 6d 73 74 61 6e |y (in circumstan|
000010a0 63 65 73 20 65 61 73 79 20 74 6f 20 65 78 70 6c |ces easy to expl|
000010b0 61 69 6e 20 6f 6e 6c 79 20 69 6e 20 74 65 72 6d |ain only in term|
000010c0 73 20 6f 66 20 74 68 65 20 67 65 6e 65 72 61 74 |s of the generat|
000010d0 65 64 20 63 6f 64 65 29 0a 63 61 75 73 65 20 74 |ed code).cause t|
000010e0 68 65 20 76 61 6c 75 65 73 20 66 6f 72 20 7a 20 |he values for z |
000010f0 61 6e 64 20 7a 7a 20 74 6f 20 62 65 20 77 72 69 |and zz to be wri|
00001100 74 74 65 6e 20 74 6f 20 63 6f 6d 70 6c 65 74 65 |tten to complete|
00001110 6c 79 20 74 68 65 20 77 72 6f 6e 67 20 70 6c 61 |ly the wrong pla|
00001120 63 65 20 69 6e 0a 73 74 6f 72 65 2e 09 54 68 65 |ce in.store..The|
00001130 20 69 6d 70 6f 72 74 61 6e 74 20 74 68 69 6e 67 | important thing|
00001140 20 68 65 72 65 20 69 73 20 61 20 63 6f 6d 70 61 | here is a compa|
00001150 72 69 73 6f 6e 20 61 67 61 69 6e 73 74 20 61 20 |rison against a |
00001160 63 6f 6e 73 74 61 6e 74 20 62 72 65 61 6b 61 62 |constant breakab|
00001170 6c 65 0a 69 6e 74 6f 20 74 77 6f 20 38 20 62 69 |le.into two 8 bi|
00001180 74 20 63 68 75 6e 6b 73 3b 20 74 68 65 20 6c 61 |t chunks; the la|
00001190 74 74 65 72 20 74 77 6f 20 64 65 63 6c 61 72 61 |tter two declara|
000011a0 74 69 6f 6e 73 20 63 6f 75 6c 64 20 65 71 75 61 |tions could equa|
000011b0 6c 6c 79 20 77 65 6c 6c 20 62 65 20 61 0a 46 4f |lly well be a.FO|
000011c0 52 20 6c 6f 6f 70 20 77 69 74 68 20 76 61 72 69 |R loop with vari|
000011d0 61 62 6c 65 20 75 70 70 65 72 20 62 6f 75 6e 64 |able upper bound|
000011e0 3b 20 6f 72 20 62 6f 74 68 20 73 65 74 73 20 6f |; or both sets o|
000011f0 66 20 64 65 63 6c 61 72 61 74 69 6f 6e 73 20 63 |f declarations c|
00001200 6f 75 6c 64 20 62 65 0a 61 73 73 69 67 6e 6d 65 |ould be.assignme|
00001210 6e 74 73 20 74 6f 20 61 64 6a 61 63 65 6e 74 20 |nts to adjacent |
00001220 76 61 72 69 61 62 6c 65 73 20 64 65 63 6c 61 72 |variables declar|
00001230 65 64 20 70 72 65 76 69 6f 75 73 6c 79 2e 09 49 |ed previously..I|
00001240 6e 73 65 72 74 69 6f 6e 20 6f 66 20 61 0a 70 72 |nsertion of a.pr|
00001250 6f 63 65 64 75 72 65 20 63 61 6c 6c 20 62 65 66 |ocedure call bef|
00001260 6f 72 65 20 74 68 65 20 49 46 20 77 69 6c 6c 20 |ore the IF will |
00001270 63 65 72 74 61 69 6e 6c 79 20 72 65 6d 6f 76 65 |certainly remove|
00001280 20 74 68 65 20 70 72 6f 62 6c 65 6d 3b 20 73 6f | the problem; so|
00001290 20 6d 61 79 20 6d 61 6e 79 0a 6f 74 68 65 72 20 | may many.other |
000012a0 73 6d 61 6c 6c 20 70 65 72 74 75 72 62 61 74 69 |small perturbati|
000012b0 6f 6e 73 2e 0a 0a 42 75 67 20 31 32 3a 20 46 6f |ons...Bug 12: Fo|
000012c0 75 6e 64 20 69 6e 20 43 47 20 32 2e 31 34 09 09 |und in CG 2.14..|
000012d0 09 20 20 20 46 69 78 65 64 20 69 6e 20 43 47 20 |. Fixed in CG |
000012e0 32 2e 31 35 0a 0a 49 6e 20 63 6f 64 65 20 6c 69 |2.15..In code li|
000012f0 6b 65 0a 0a 20 20 20 4c 45 54 20 61 20 3d 20 2e |ke.. LET a = .|
00001300 2e 2e 0a 20 20 20 4c 45 54 20 62 20 3d 20 66 69 |... LET b = fi|
00001310 65 6c 64 20 4f 46 20 40 61 0a 0a 69 74 20 69 73 |eld OF @a..it is|
00001320 20 70 6f 73 73 69 62 6c 65 20 66 6f 72 20 74 68 | possible for th|
00001330 65 20 63 6f 64 65 20 74 6f 20 65 78 74 72 61 63 |e code to extrac|
00001340 74 20 74 68 65 20 66 69 65 6c 64 20 74 6f 20 70 |t the field to p|
00001350 72 65 63 65 64 65 20 74 68 61 74 20 6c 6f 61 64 |recede that load|
00001360 69 6e 67 20 74 68 65 0a 76 61 6c 75 65 20 66 6f |ing the.value fo|
00001370 72 20 61 2e 0a 0a 42 75 67 20 31 33 3a 20 46 6f |r a...Bug 13: Fo|
00001380 75 6e 64 20 69 6e 20 43 47 20 32 2e 31 31 09 09 |und in CG 2.11..|
00001390 09 20 20 20 46 69 78 65 64 20 69 6e 20 43 47 20 |. Fixed in CG |
000013a0 32 2e 31 35 0a 0a 43 6f 64 65 20 6c 69 6b 65 0a |2.15..Code like.|
000013b0 20 20 20 78 21 33 20 3a 3d 20 2e 2e 2e 2e 2e 0a | x!3 := ......|
000013c0 20 20 20 2e 2e 2e 2e 20 3a 3d 20 78 21 33 0a 28 | .... := x!3.(|
000013d0 77 68 65 72 65 20 74 68 65 72 65 20 6d 61 79 20 |where there may |
000013e0 62 65 20 61 20 73 69 7a 65 61 62 6c 65 20 67 61 |be a sizeable ga|
000013f0 70 20 62 65 74 77 65 65 6e 20 74 68 65 20 74 77 |p between the tw|
00001400 6f 20 73 74 61 74 65 6d 65 6e 74 73 29 20 6d 61 |o statements) ma|
00001410 79 20 75 73 65 0a 74 68 65 20 6f 6c 64 20 76 61 |y use.the old va|
00001420 6c 75 65 20 6f 66 20 78 21 33 20 69 6e 20 74 68 |lue of x!3 in th|
00001430 65 20 73 65 63 6f 6e 64 20 73 74 61 74 65 6d 65 |e second stateme|
00001440 6e 74 2e 0a 0a 42 75 67 20 31 34 3a 20 46 6f 75 |nt...Bug 14: Fou|
00001450 6e 64 20 69 6e 20 43 47 20 32 2e 31 35 09 09 09 |nd in CG 2.15...|
00001460 20 20 20 46 69 78 65 64 20 69 6e 20 43 47 20 32 | Fixed in CG 2|
00001470 2e 31 36 0a 0a 54 68 65 20 4e 20 6f 70 74 69 6f |.16..The N optio|
00001480 6e 20 64 6f 65 73 20 6e 6f 74 20 61 73 20 69 74 |n does not as it|
00001490 20 73 68 6f 75 6c 64 20 63 6f 6e 74 72 6f 6c 20 | should control |
000014a0 69 6e 63 6c 75 73 69 6f 6e 20 6f 66 20 70 72 6f |inclusion of pro|
000014b0 63 65 64 75 72 65 20 6e 61 6d 65 20 73 74 72 69 |cedure name stri|
000014c0 6e 67 73 0a 69 6e 20 63 6f 6d 70 69 6c 65 64 20 |ngs.in compiled |
000014d0 63 6f 64 65 2e 0a 0a 42 75 67 20 31 35 3a 20 46 |code...Bug 15: F|
000014e0 6f 75 6e 64 20 69 6e 20 43 47 20 32 2e 31 36 0a |ound in CG 2.16.|
000014f0 0a 41 20 70 72 6f 63 65 64 75 72 65 20 73 75 63 |.A procedure suc|
00001500 68 20 61 73 20 20 4c 45 54 20 66 28 61 2c 20 62 |h as LET f(a, b|
00001510 29 20 42 45 20 61 28 62 29 20 69 73 20 6d 69 73 |) BE a(b) is mis|
00001520 63 6f 6d 70 69 6c 65 64 2e 20 20 41 64 64 69 6e |compiled. Addin|
00001530 67 20 61 20 64 75 6d 6d 79 0a 70 72 6f 63 65 64 |g a dummy.proced|
00001540 75 72 65 20 63 61 6c 6c 20 77 69 6c 6c 20 66 69 |ure call will fi|
00001550 78 20 69 74 2e 0a |x it..|
00001556 
.