BCI NET 2

home *** CD-ROM | disk | FTP | other *** search

/ BCI NET 2 / BCI NET 2.iso / archives / programming / languages / turbo_part1.lha / modula / docs / TURBO.DOC < prev next >

Wrap

Text File | 1995-01-24 | 16.3 KB | 438 lines

================================================================================ Turbo Modula-2 V1.40 (26/Jan/95) Turbo Modula-2 (c) Copyright 1994/1995 by Amritpal Mann, All Rights Reserved Email: turbo@econet.demon.co.uk ================================================================================ This is a freely distributable Modula-2 development system. The version of Modula supported is as described in Niklaus Wirth's book: Programming in Modula-2, 4th edition (Springer-Verlag) Turbo Modula-2 consists of: A compiler(M2C), a link utility(M2L), an error lister(M2E), and a program builder(M2B). Interface modules for V40 of the AmigaOS & corresponding linker library, ANSI C standard library definitions as well as those from PIM. A source level debugger(M2D) is under development. The compiler reads source code in a single pass which means fast compilation. Internally however it performs several passes over each procedures statement sequence in order to generate fast and compact code. Typically, generated code is 25% smaller & 75% faster than the commercial Amiga Modula-2 compiler used for the initial bootstraps. Turbo does not have its own linker, instead it requires a 'C' compiler front-end to link generated code. The unregistered freeware version of Matt Dillon's excellent C system, DICE, has been included and contains 2 necessary programs, DCC & DLINK, as well as vital startup code(c.o) and support libraries(c.lib,auto.lib,x.o) Note that Turbo does NOT produce 'C' as intermediate output, it just uses DCC & DLINK to link and add startup code the machine code it generates. You do not need to know how to use DICE in order to generate M2 executables, M2L calls DCC for you, all you need do is extract DICE (see below). The reason for using DICE instead of say BLINK, are that DICE has excellent support for generating residentable programs, also the standard C library supplied with DICE becomes automatically available and finally (for those of us who have slow(er) amigas) DLINK runs fast! The unregistered freeware version of DICE may only be distributed complete & unmodified. This also applies to Turbo Modula-2. The minimum required setup in order to use Turbo is 1MB of memory, 1.3 workbench and 2 disk drives. However I recommend that you should have at least 1MB of available(free) memory and a hard disk. When runnning under OS 1.3 make sure NEWCLI, ENDCLI and RUN are in youre path, even better make them resident. To use M2B you really need a real-time clock or otherwise set the time at bootup or instead use M2C & M2L directly. If you dont have a RTC you can use a software hack: examples/src/IncTime.mod DICE Extraction =============== The file dice/dice.lha contains the DICE system.In order to save your hard disk space, the dice/M2EXTRACT script will extract the files that we are interested in: >cd dice >execute M2EXTRACT You can of course extract the entire archive if you prefer. If you already have DICE installed on your system, and are therefore not extracting it again, you should delete the appropriate lines in the s/startup script. Installation ============ Add the following lines to your s:user-startup (startup-sequence under 1.3): >assign MODULA: <dir> ; <dir> = directory where you unarchived Turbo >execute MODULA:s/startup Assignments =========== MODULA: is expected to be assigned to the root directory of the unarchived system. MLIB: should be assigned to MODULA:mlib s/startup will make the above ASSIGNs for you. Directory Organisation ====================== docs/ M2OPTS Default M2OPTS file (see below). examples/ Some example programs amiga/ 20000 lines of definition modules for V40 of the AmigaOS, these files were hand translated from Commodores header files. ansi-c/ Definition for the Ansi-C library that comes with DICE. m2lib Definitions for some of the functions in M2.lib. Also contains source for m2_main.o. m2/ Definition for some library modules. sym/ Symbol files for above definition modules. obj/ Compiled object modules, for the implementation modules in above directories mlib/ Contains Modula-2 support code (m2.lib & m2_main.o). MLIB: is assigned to this. bin/ Residentable executables for M2B, M2C, M2E, M2F, M2L & M2S. All these programs were developed completely from scracth by the author, the initial M2C bootstrap was done using M2Amiga V3.32. These programs are only runable from the cli/shell. dice/ DICE system. If you want to redistribute DICE then you must include all the files in the dice.lha archive. s/ Contains startup and object file caching scripts. Filename extensions =================== *.err Binary error file generated by M2C & M2B, used by M2E. *.mod Program/implementation module (ascii text). *.def Definition module (ascii text). *.o Standard Amiga object file, generated by M2C from a *.mod file. *.sym Symbol file generated by M2C from a *.def file. *.lib Linker Library. A concatenation of *.o files. *.lnk Linker object file list(ascii), written to the T: directory by M2L, read by DCC. *.cmp Compiler input file list(ascii), written to the T: directory by M2B, read by M2C. Error Lister (M2E) ================== If M2B or M2C encounter errors while processing a source file, then a binary error file will be generated. Use M2E to view the errors encoded in this file. usage: m2e modulename On finding errors, M2B and M2C will automatically invoke M2E. Program Builder (M2B) ===================== M2B will take care of compilation and linking for you.It checks file timestamps to see which files need to be (re)compiled/(re)linked. M2B is like MAKE, but instead of using a makefile it scans import lists. usage: m2b [-f][-z][-t] [compile/link options] filename [DCC options & args] -f: Force all time comparisons to fail(all modules will be (re)compiled). -z: Write out the name of each file as it is read. -t: Don't actually call M2C & M2L just print the commands that would have been executed. example: /-------- -s passed to DCC >m2b -t -p -b -q foo.mod -s ^--^--^------------------ -p -b -q are compiler(M2C) options -q is also an M2L option. Assuming that foo.o is older than foo.mod and foo.mod does not import any other module then M2B will call M2C & M2L as m2c -p -b -q foo.mod m2l -q foo.o -s (but only if m2c did not fail) M2B is quite happy to accept definition & implementation modules as primary input. You may find the TOUCH program (in dice/bin/) useful when using M2B. Compiler (M2C) ============== usage: m2c [-D][-C][-b][-p][-r][-s][-v][-w][-q][-l] {-Mdir} {[@]filename} filename: File to be compiled If a filename does not end in .mod or .def, then it is assumed to be a .mod and so .mod wiil be appended. @filename: Filename is an ascii text file that contains a list of filenames to be compiled (this list is normally created and passed to M2C by M2B). -020: Generate MC68020+ machine code. Dont use this option unless your Amiga has a 68020/30/40/60 processor. A1200/A3000/A4000 computers all come installed which one to these chips. At the present all this option will do is replace the 32bit__divs/__muls subroutine calls with inline 020+ DIV.L/MUL.L instructions. If you wish your code to assert overflow errors during 32bit multiply expressions then you will need to enable this option (and also -v) -D: Use large data model (default is small data model). If your program declares more than 64K of global variables then you must enable this option for each constituent module (except library modules that were compiled small data & -l), otherwise linking will fail. Try to avoid using this option. By allocating large data structures on the heap you can easily avoid the need to use it. When compiling small data you are resricted to declaring 32K of global variables per module.This is not strictly true, you can declare up to 64K per module but you must not make any compile time references to any variable outside the first 32K. When using small-data the total global variable space per linked program must not exceed 64K. No such restrictions exist if you enable -D. Using the small data & code models will make your program more compact. Compiling all modules small data will also allow a program to be made fully resident (DCC & DLINK option -r). -C: Use large code model (default is small). If a module compiles to about 32000 bytes or more, then you may need to enable this option (depending on whether linking fails). If a module compiles to more than 32767 bytes then you definitely need to enable this option. The maximum code size using large code is 48K (per module). -b: Enable array bounds checking. -r: Enable range checking, when converting between subrange types. -v: Enable overflow/underflow checking. Overflow checks are inserted by the compiler when it encounters '+','-','*' & ABS() expressions and also after INC/DEC statements. Unless you enable -020, overflow checks will be not performed on 32bit multiplys (8 & 16Bit ones will be detected on all processors). -z: Enable zero divide/modulus checking. Zero checks are not performed on floating point divides. -s: Enable automatic stack checking. Any coroutine or task code should not use stack checking. The checking routines demand that 2K of stack be always available. Its also possible to insert stack checking code manually (see M2Lib.def) -p: Enable pointer checking. The compiler will insert code to check that all pointer accesses are within a specific range. At the moment the bounds are fixed to 1K..16M. If you're Amiga has valid memory outside this range (and you're program might access it) then you cannot use this option (try -P instead). This range checking is also done on procedure variables. Programmers with Amigas that do not have MMUs (and so can't run the enforcer program) will find this option very useful. For best results, use pointer checking in conjunction with Commodores MUNGWALL program (but -p can still trap a lot of bugs without it). Pointer checking should only be used during program development. DO NOT DISTRIBUTE PROGRAMS THAT CONTAIN ANY -p/-P GENERATED CHECKING CODE. -P: like -p except upper bound = 2Gb. Try this if -p wont work on your system. -w: Disable compiler warning reports. -q: Shut the f*ck up. -l: (equivalent to the DICE option -S) Name BSS(global variable space) section libbss instead of just 'bss'. Use this option to compile re-usable modules that do not have much BSS. This will enable you to use small code library modules with (large code) program modules that declare a lot of BSS.This option avoids the need to have two different versions (one small & one large data) of said modules. Dont use this option unless you know what you are doing. -M: Add dir to the symbol file directory search path. If a dir/sym/ subdirectory exists, it will be added instead. It is possible to set/clear some of these options inside a source text by using comments, see extensions.doc. If a Modula-2 run-time error occurs (illegal case index, halt called, array/pointer checking etc) the run time support code (in M2.lib) will display a requester with the name of the module and line number of where the error occurred. ¥ou can use DICE DOBJ to view the machine code generated by the compiler. One pass compilation -------------------- The compiler operates in a single pass, this means that you must declare variables & procedures before you use them.The compiler provides the FORWARD keyword in order to allow early declarations for procedures that are implemented later. PROCEDURE f( ) ; FORWARD ; (* implementation must be in the same scope *) PROCEDURE g( ) ; BEGIN f( ) ; END g ; PROCEDURE f( ) ; (* alternatively we could nest f( ) inside g( ) *) BEGIN g( ) END f ; If a procedure is declared in a definition module then a forward declaration in the corresponding implementation module is never required. Type sizes & extremal values ---------------------------- size (bytes) range ============ ===== SHORTCARD 1 0 .. 255 CARDINAL 2 0 .. 65535 SHORTINT 1 -128 .. 127 INTEGER 2 -32768 .. 32767 LONGINT 4 -(2^31) .. (2^31)-1 SHORTREAL 4 Motorola FFP REAL 4 IEEE single precision LONGREAL 8 IEEE double precision There is also a LONGCARD datatype which is declared as a LONGINT[0..MAX(LONGINT)]. Compiler Restrictions --------------------- As already mentioned the compiler can only generate object files up to 48K (any bigger than 32000 (I DO NOT mean 32767!) bytes should be compiled large code, linking will fail if you do not). Sets sizes are restricted to 32 bits. Structured types (arrays and record) can NOT be returned from functions. At somestage I may remove the above 2 restrictions. Module names must be less than 30 characters (AmigaDos restriction) All other identifiers and string literals must be less than 200 chars long. Symbol file Cache (M2S & M2F) ============================= The compiler automatically caches symbol files. If youre system does not have much memory, then you will need to flush the cache on a regular basis, or 'setenv M2SYMCACHE=OFF'. To list the cached symbol files use M2S. To flush the symbol cache use M2F. Linker frontend (M2L) ===================== M2L calls DCC (which in turn calls DLINK) to link the object modules generated by the compiler into an executable file. M2L is itself normally called by M2B (M2B->M2L->DCC->DLINK). Usage: m2l [-q] {-Mdir} module[.o] [DCC options & args] -q : Quiet, don't print the path of each file as it is read. -Mdir : Add directory dir to the object file search path. If a dir/obj/ subdirectory exists, it will be added instead. module: Program (root) module name. This object module must be in a local directory Anything on the command line that follows the module name is passed to DCC. example: m2l -q foo -s -r ^--^-- passed to dcc. This will invoke DCC: dcc -Lmlib: @t:foo.lnk -s -r -ofoo Where t:foo.lnk (intermediate file generated by M2L) will contain: m2_main.o foo.o m2.lib ------ m2_main.o m2.lib are normally in directory mlib: (modula:mlib) See DICE/DOC/DLINK.DOC for further information on linking.(You may have to extract this file) M2OPTS ====== An optional ascii text file named M2OPTS in the MODULA: directory can specify M2C and M2L command line options. M2L filters M2OPTS looking for -q & -M's ignoring all other options. Options in M2OPTS are scanned before command line options. An M2OPTS text in the current directory will override the one in MODULA:. Debugging ========= Ideally Turbo should include a source level debugger. The DCC options '-s' dumps symbols into final executable so you can atleast use a low level debugger (eg Devpac Monam), this does however require knowledge of M68000 assembler. Contacting the author ===================== Please report any bugs/comments or suggestions to turbo@econet.demon.co.uk or subscribe to the mailing list. I reply to all the mail that i am sent.