1) LIS.cond2s contains some suggestions about trivial improvements which
   would improve the quality of the code by a fair bit.


2) LIS.csieve is a disassembly of the sieve benchmark run through NORCROFTs
   C compiler - which does a dataflow analysis to see if it can keep
   variables in registers throughout a procedure.  The code for the
   identical version of the sieve in Imp is in LIS.sieve - NORCROFT's
   code wins hands-down, although the Imp code could be improved by
   simple live/dead analysis at a local level, with delayed storing of
   variables and moving invariants out of short loops.


3) After observing the quality of the NorCroft C, I put the conditional-test
   file through it (after translating to C) - it produced almost exactly
   the code I generated by hand...
[ICO]NameLast modifiedSizeDescription
[TXT]README2008-10-12 00:24 795  
[TXT]ccond2s.lis2008-10-12 00:24 4.7K 
[TXT]cond2s.c2008-10-12 00:24 2.4K 
[ ]cond2s.dec2008-10-12 00:24 327  
[ ]cond2s.imp2008-10-12 00:24 2.8K 
[ ]cond2s.lis2008-10-12 00:24 8.3K 
[TXT]csieve.lis2008-10-12 00:25 3.7K 
[ ]d.dec2008-10-12 00:24 704  
[ ]d.exe2008-10-12 00:24 19K 
[ ]d.imp2008-10-12 00:24 48  
[ ]dd.imp2008-10-12 00:24 4.2K 
[ ]decarm.imp2008-10-12 00:25 16K 
[ ]decode.exe2008-10-12 00:24 60K 
[ ]decoder.imp2008-10-12 00:24 18K 
[ ]dectags.imp2008-10-12 00:25 381  
[ ]edit.exe2008-10-12 00:24 31K 
[ ]encode.imp2008-10-12 00:24 658  
[ ]imp77.exe2008-10-12 00:24 221K 
[TXT]implib.a2008-10-12 00:25 130K 
[ ]intmath.aof2008-10-12 00:24 912  
[ ]intmath.dec2008-10-12 00:24 289  
[ ]intmath.imp2008-10-12 00:24 220  
[ ]link.exe2008-10-12 00:25 108K 
[ ]map.dec2008-10-12 00:24 288  
[ ]map.imp2008-10-12 00:24 229  
[ ]mydec.dec2008-10-12 00:24 768  
[ ]mydec.exe2008-10-12 00:24 34K 
[ ]mydecv0.imp2008-10-12 00:24 4.9K 
[ ]realmath.src2008-10-12 00:24 255  
[ ]savedecarm.imp2008-10-12 00:24 12K 
[TXT]sieve.c2008-10-12 00:24 562  
[ ]sieve.dec2008-10-12 00:24 298  
[ ]sieve.exe2008-10-12 00:24 31K 
[ ]sieve.imp2008-10-12 00:24 638  
[ ]sieve.lis2008-10-12 00:24 5.4K 
[ ]static.aof2008-10-12 00:24 604  
[TXT]static.c2008-10-12 00:24 115  
[ ]static.dec2008-10-12 00:24 291  
[ ]static.imp2008-10-12 00:24 232  
[ ]temp1.tmp2008-10-12 00:25 5.7K 
[ ]temp2.tmp2008-10-12 00:25 3.5K 
[ ]triglog.src2008-10-12 00:24 261  
[TXT]z.txt2008-10-12 00:24 78  
[TXT]zzz.txt2008-10-12 00:24 3.1K 
Apache/2.4 Server at history.dcs.ed.ac.uk Port 443