From: johanknol Date: Thu, 5 Jul 2001 15:40:38 +0000 (+0000) Subject: update up to 4.2 X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=0510ad7efd2028fad849c52397124d45e4e1ba5a;p=fw%2Fsdcc update up to 4.2 git-svn-id: https://sdcc.svn.sourceforge.net/svnroot/sdcc/trunk/sdcc@1026 4a8a32a2-be11-0410-ad9d-d568d2c75423 --- diff --git a/doc/SDCCUdoc.html b/doc/SDCCUdoc.html index 9d225cec..8d5fb7b1 100644 --- a/doc/SDCCUdoc.html +++ b/doc/SDCCUdoc.html @@ -1,204 +1,32 @@ - - - - - -SDCC Compiler User Guide - - - - - - - - - - - - - - - -next_inactive -up -previous -
-
-
- - -

- -

-

SDCC Compiler User Guide

-
- -

-Contents -

- - - - - -

- -

-1 Introduction -

- -

- -

-1.1 About SDCC -

- -

-SDCC is a Free ware, retargettable, optimizing ANSI-C compiler -by Sandeep Dutta designed for 8 bit Microprocessors. The + + + + + + + lSDCC Compiler User Guide + +

lSDCC Compiler User Guide

+ +

+

+1  Introduction

+ +

+

+1.1  About SDCC

+ +

+SDCC is a Free ware, retargettable, optimizing ANSI-C compiler +by Sandeep Dutta designed for 8 bit Microprocessors. The current version targets Intel MCS51 based Microprocessors(8051,8052, etc), Zilog Z80 based MCUs, and the Dallas 80C390 MCS51 variant. It can be retargetted for other microprocessors, support for PIC, AVR @@ -207,37 +35,36 @@ is distributed under GPL. SDCC uses ASXXXX & ASLINK, a Freeware, retargettable assembler & linker. SDCC has extensive language extensions suitable for utilizing various microcontrollers underlying hardware effectively. In addition to the MCU specific optimizations SDCC also -does a host of standard optimizations like global sub expression +does a host of standard optimizations like global sub expression elimination, loop optimizations (loop invariant, strength reduction of induction variables and loop reversing), constant folding & propagation, copy propagation, dead code elimination and jumptables for 'switch' -statements. For the back-end SDCC uses a global register allocation +statements. For the back-end SDCC uses a global register allocation scheme which should be well suited for other 8 bit MCUs. The peep hole optimizer uses a rule based substitution mechanism which is MCU -dependent. Supported data-types are char (8 bits, 1 byte), short -and int (16 bits, 2 bytes ), long (32 bit, 4 bytes) and float -(4 byte IEEE). The compiler also allows inline assembler code +dependent. Supported data-types are char (8 bits, 1 byte), short +and int (16 bits, 2 bytes), long (32 bit, 4 bytes) and float +(4 byte IEEE). The compiler also allows inline assembler code to be embedded anywhere in a function. In addition routines developed in assembly can also be called. SDCC also provides an option to report the relative complexity of a function, these functions can then be further optimized, or hand coded in assembly if needed. SDCC also comes with a companion source level debugger SDCDB, the debugger currently uses ucSim a freeware simulator for 8051 and other micro-controllers. -The latest version can be downloaded from http://sdcc.sourceforge.net/. +The latest version can be downloaded from http://sdcc.sourceforge.net/ +. -

+

+

+1.2  Open Source

-

-1.2 Open Source -

- -

-All packages used in this compiler system are opensource(freeware); +

+All packages used in this compiler system are opensource (freeware); source code for all the sub-packages (asxxxx assembler/linker, pre-processor) are distributed with the package. This documentation is maintained -using a freeware word processor (LYX). +using a freeware word processor (LYX). -

+

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) @@ -252,13 +79,22 @@ use, share and improve this program. You are forbidden to forbid anyone else to use, share and improve what you give them. Help stamp out software-hoarding! -

+

+

+1.3  Typographic conventions

+ +

+Throughout this manual, we will use the following convention. Commands +you have to type in are printed in "sans +serif". Code samples are printed in typewriter +font. Interesting items and new terms are printed in italicised +type. -

-1.3 System Requirements -

+

+

+1.4  System Requirements

-

+

What do you need before you start installation of SDCC? A computer, and a desire to compute. The preferred method of installation is to compile SDCC from source using GNU GCC and make. For Windows some @@ -266,14 +102,12 @@ pre-compiled binary distributions are available for your convenience. You should have some experience with command line tools and compiler use. -

- -

-1.4 Other Resources -

+

+

+1.5  Other Resources

-

-The SDCC home page at http://sdcc.sourceforge.net/ is a great +

+The SDCC home page at http://sdcc.sourceforge.net/ is a great place to find distribution sets. You can also find links to the user mailing lists that offer help or discuss SDCC with other SDCC users. Web links to other SDCC related sites can also be found here. This @@ -282,51 +116,45 @@ a text or HTML file. Some of the other tools (simulator and assembler) included with SDCC contain their own documentation and can be found in the source distribution. If you want the latest unreleased software, the complete source package is available directly by anonymous CVS -on www.sourceforge.net. - -

- -

-2 Installation -

- -

- -

-2.1 Linux/Unix Installation -

- -

- -

    -
  1. Download the source package, it will be named something like sdcc-2.x.x.tgz. -
  2. -
  3. Bring up a command line terminal, such as xterm. -
  4. -
  5. Unpack the file using a command like: tar -xzf sdcc-2.x.x.tgz, this -will create a sub-directory called sdcc with all of the sources. -
  6. -
  7. Change directory into the main SDCC directory, for example type: ``cd -sdcc''. -
  8. -
  9. Type ``./configure''. This configures the package for compilation -on your system. -
  10. -
  11. Type ``make''. All of the source packages will compile, this can -take a while. -
  12. -
  13. Type ``make install'' as root. This copies the binary executables -to the install directories. -
  14. -
- -

- -

-2.2 Windows Installation -

- -

+on cvs.sdcc.sourceforge.net. + +

+

+2  Installation

+ +

+

+2.1  Linux/Unix Installation

+ +

+ +

    +

  1. Download the source package, it will be named something like sdcc-2.x.x.tgz.
  2. +

    +

  3. Bring up a command line terminal, such as xterm.
  4. +

    +

  5. Unpack the file using a command like: "tar +-xzf sdcc-2.x.x.tgz", this will create a sub-directory +called sdcc with all of the sources.
  6. +

    +

  7. Change directory into the main SDCC directory, for example type: "cd +sdcc".
  8. +

    +

  9. Type "./configure". This configures +the package for compilation on your system.
  10. +

    +

  11. Type "make". All of the source +packages will compile, this can take a while.
  12. +

    +

  13. Type "make install" as root. This +copies the binary executables to the install directories.
  14. +
+ +

+

+2.2  Windows Installation

+ +

For installation under Windows you first need to pick between a pre-compiled binary package, or installing the source package along with the Cygwin package. The binary package is the quickest to install, while the @@ -336,219 +164,165 @@ If you are not familiar with the Unix command line environment, you may want to read the section on additional information for Windows users prior to your initial installation. -

- -

-2.2.1 Windows Install Using a Binary Package -

- -

- -

    -
  1. Download the binary package and unpack it using your favorite unpacking -tool(gunzip, WinZip, etc). This should unpack to a group of sub-directories. -An example directory structure after unpacking is: c:\usr\local\bin -for the executables, c:\usr\local\share\sdcc\include -and c:\usr\local\share\sdcc\lib -for the include and libraries. -
  2. -
  3. Adjust your environment PATH to include the location of the bin directory. -For example, make a setsdcc.bat file with the following: set PATH=c:\usr\local\bin;%PATH% -
  4. -
  5. When you compile with sdcc, you may need to specify the location of -the lib and include folders. For example, sdcc -I c:\usr\local\share\sdcc\include --L c:\usr\local\share\sdcc\lib\small -test.c -
  6. -
- -

- -

-2.2.2 Windows Install Using Cygwin -

- -

- -

    -
  1. Download and install the cygwin package from the redhat sitehttp://sources.redhat.com/cygwin/. +

    +

    +2.2.1  Windows Install Using a Binary Package

    + +

    + +

      +

    1. Download the binary package and unpack it using your favorite unpacking +tool (gunzip, WinZip, etc). This should unpack to a group of sub-directories. +An example directory structure after unpacking is: c:usrlocalbin +for the executables, c:usrlocalsharesdccinclude +and c:usrlocalsharesdcclib +for the include and libraries.
    2. +

      +

    3. Adjust your environment PATH to include the location of the bin directory. +For example, make a setsdcc.bat file with the following: set PATH=c:usrlocalbin;%PATH%
    4. +

      +

    5. When you compile with sdcc, you may need to specify the location of +the lib and include folders. For example, sdcc -I c:usrlocalsharesdccinclude +-L c:usrlocalsharesdcclibsmall +test.c
    6. +
    + +

    +

    +2.2.2  Windows Install Using Cygwin

    + +

    + +

      +

    1. Download and install the cygwin package from the redhat sitehttp://sources.redhat.com/cygwin/. Currently, this involved downloading a small install program which -then automates downloading and installing selected parts of the package(a -large 80M byte sized dowload for the whole thing). -
    2. -
    3. Bring up a Unix/Bash command line terminal from the Cygwin menu. -
    4. -
    5. Follow the instructions in the preceding Linux/Unix installation section. -
    6. -
    - -

    - -

    -2.3 Testing out the SDCC Compiler -

    - -

    +then automates downloading and installing selected parts of the package +(a large 80M byte sized dowload for the whole thing).

  2. +

    +

  3. Bring up a Unix/Bash command line terminal from the Cygwin menu.
  4. +

    +

  5. Follow the instructions in the preceding Linux/Unix installation section.
  6. +
+ +

+

+2.3  Testing out the SDCC Compiler

+ +

The first thing you should do after installing your SDCC compiler -is to see if it runs. Type ``sdcc -version'' at the prompt, and -the program should run and tell you the version. If it doesn't run, -or gives a message about not finding sdcc program, then you need to -check over your installation. Make sure that the sdcc bin directory -is in your executable search path defined by the PATH environment -setting (see the Trouble-shooting section for suggestions). Make sure -that the sdcc program is in the bin folder, if not perhaps something -did not install correctly. - -

+is to see if it runs. Type "sdcc -version" +at the prompt, and the program should run and tell you the version. +If it doesn't run, or gives a message about not finding sdcc program, +then you need to check over your installation. Make sure that the +sdcc bin directory is in your executable search path defined by the +PATH environment setting (see the Trouble-shooting section for suggestions). +Make sure that the sdcc program is in the bin folder, if not perhaps +something did not install correctly.
+
SDCC binaries are commonly installed in a directory arrangement like -this: -
-

- - - - - - - - - - -
/usr/local/binHolds executables(sdcc, s51, aslink, ...)
/usr/local/share/sdcc/libHolds common C libraries
/usr/local/share/sdcc/includeHolds common C header files
-
-
+this:
+ +

+ + + +
/usr/local/binHolds executables(sdcc, s51, aslink, ...)
+
/usr/local/share/sdcc/lib Holds common C libraries
/usr/local/share/sdcc/includeHolds common C header files
+
+
Make sure the compiler works on a very simple example. Type in the -following test.c program using your favorite editor: -
-
main()  -
{ - -

-int i; - -

-i = 0; - -

-i += 10;  -
} -
-

-Compile this using the following command: ``sdcc -c test.c''. -If all goes well, the compiler will generate a test.asm and test.rel -file. Congratulations, you've just compiled your first program with -SDCC. We used the -c option to tell SDCC not to link the generated -code, just to keep things simple for this step. - -

-The next step is to try it with the linker. Type in ``sdcc test.c''. -If all goes well the compiler will link with the libraries and produce -a test.ihx output file. If this step fails (no test.ihx, and the linker -generates warnings), then the problem is most likely that sdcc cannot -find the /usr/local/share/sdcc/lib directory (see the Install trouble-shooting -section for suggestions). - -

+following test.c program using your favorite editor:
+
+Compile this using the following command: "sdcc +-c test.c" If all goes well, the compiler will generate +a test.asm and test.rel file. Congratulations, you've just compiled +your first program with SDCC. We used the -c option to tell SDCC not +to link the generated code, just to keep things simple for this step.
+
+The next step is to try it with the linker. Type in "sdcc +test.c". If all goes well the compiler will link with the +libraries and produce a test.ihx output file. If this step fails (no +test.ihx, and the linker generates warnings), then the problem is +most likely that sdcc cannot find the /usr/local/share/sdcc/lib directory +(see the Install trouble-shooting section for suggestions).
+
The final test is to ensure sdcc can use the standard header files -and libraries. Edit test.c and change it to the following: -
-
#include <string.h>  -
main()  -
{ - -

-char str1[10]; - -

-strcpy(str1, ``testing'');  -
  -
} -
-

-Compile this by typing: ``sdcc test.c''. This should generate -a test.ihx output file, and it should give no warnings such as not -finding the string.h file. If it cannot find the string.h file, then -the problem is that sdcc cannot find the /usr/local/share/sdcc/include +and libraries. Edit test.c and change it to the following:
+
+#include <string.h>
+main() {
+char str1[10]; 
+    strcpy(str1, "testing"); 
+} 
+ 
+Compile this by typing "sdcc test.c". +This should generate a test.ihx output file, and it should give no +warnings such as not finding the string.h file. If it cannot find +the string.h file, then the problem is that sdcc cannot find the /usr/local/share/sdcc/include directory (see the Install trouble-shooting section for suggestions). -

- -

-2.4 Install Trouble-shooting -

+

+

+2.4  Install Trouble-shooting

-

+

+

+2.4.1  SDCC cannot find libraries or header files.

-

-2.4.1 SDCC cannot find libraries or header files. -

- -

+

The default installation assumes the libraries and header files are located at ``/usr/local/share/sdcc/lib'' and ``/usr/local/share/sdcc/include''. An alternative is to specify these locations as compiler options like -this: sdcc -L /usr/local/sdcc/lib/small -I /usr/local/sdcc/include -test.c - -

+this: "sdcc -L /usr/local/sdcc/lib/small +-I /usr/local/sdcc/include test.c". -

-2.4.2 SDCC does not compile correctly. -

+

+

+2.4.2  SDCC does not compile correctly.

-

+

A thing to try is starting from scratch by unpacking the .tgz source -package again in an empty directory. Confure it again and build like: - -

-``make 2SPMamp;>1 | tee make.log'' - -

+package again in an empty directory. Confure it again and build like:
+
+make 2&>1 | tee make.log
+
After this you can review the make.log file to locate the problem. Or a relevant part of this be attached to an email that could be helpful when requesting help from the mailing list. -

- -

-2.4.3 What the ``./configure'' does -

+

+

+2.4.3  What the ''./configure'' does

-

-The ``./configure'' command is a script that analyzes your system +

+The ''./configure'' command is a script that analyzes your system and performs some configuration to ensure the source package compiles on your system. It will take a few minutes to run, and will compile a few tests to determine what compiler features are installed. -

- -

-2.4.4 What the ``make'' does. -

+

+

+2.4.4  What the ''make'' does.

-

+

This runs the GNU make tool, which automatically compiles all the source packages into the final installed binary executables. -

+

+

+2.4.5  What the ''make install'' command does.

-

-2.4.5 What the ``make install'' command does. -

- -

+

This will install the compiler, other executables and libraries in to the appropriate system directories. The default is to copy the executables to /usr/local/bin and the libraries and header files to /usr/local/share/sdcc/lib and /usr/local/share/sdcc/include. -

- -

-2.5 Additional Information for Windows Users -

+

+

+2.5  Additional Information for Windows Users

-

+

The standard method of installing on a Unix system involves compiling the source package. This is easily done under Unix, but under Windows it can be a more difficult process. The Cygwin is a large package @@ -557,124 +331,105 @@ due to the overhead of the Cygwin tool set. An alternative is to install a pre-compiled Windows binary package. There are various trade-offs between each of these methods. -

+

The Cygwin package allows a Windows user to run a Unix command line -interface(bash shell) and also implements a Unix like file system +interface (bash shell) and also implements a Unix like file system on top of Windows. Included are many of the famous GNU software development tools which can augment the SDCC compiler.This is great if you have some experience with Unix command line tools and file system conventions, if not you may find it easier to start by installing a binary Windows package. The binary packages work with the Windows file system conventions. -

- -

-2.5.1 Getting started with Cygwin -

+

+

+2.5.1  Getting started with Cygwin

-

-SDCC is typically distributed as a tarred/gzipped file(.tgz). This +

+SDCC is typically distributed as a tarred/gzipped file (.tgz). This is a packed file similar to a .zip file. Cygwin includes the tools -you will need to unpack the SDCC distribution(tar and gzip). To unpack +you will need to unpack the SDCC distribution (tar and gzip). To unpack it, simply follow the instructions under the Linux/Unix install section. Before you do this you need to learn how to start a cygwin shell and some of the basic commands used to move files, change directory, run -commands and so on. The change directory command is ``cd'', the -move command is ``mv''. To print the current working directory, -type ``pwd''. To make a directory, use ``mkdir''. +commands and so on. The change directory command is ``cd'', +the move command is ``mv''. To print the current +working directory, type ``pwd''. To make a directory, +use ``mkdir''. -

+

There are some basic differences between Unix and Windows file systems you should understand. When you type in directory paths, Unix and the Cygwin bash prompt uses forward slashes '/' between directories -while Windows traditionally uses '\' backward slashes. +while Windows traditionally uses '' backward slashes. So when you work at the Cygwin bash prompt, you will need to use the forward '/' slashes. Unix does not have a concept of drive letters, such as ``c:``, instead all files systems attach and appear as directories. -

+

+

+2.5.2  Running SDCC as Native Compiled Executables

-

-2.5.2 Running SDCC as Native Compiled Executables -

- -

+

If you use the pre-compiled binaries, the install directories for the libraries and header files may need to be specified on the sdcc -command line like this: sdcc -L c:\usr\local\sdcc\lib\small --I c:\usr\local\sdcc\include -test.c if you are running outside of a Unix bash shell. +command line like this: "sdcc -L c:usrlocalsdcclibsmall +-I c:usrlocalsdccinclude +test.c" if you are running outside of a Unix bash shell. -

+

If you have successfully installed and compiled SDCC with the Cygwin package, it is possible to compile into native .exe files by using the additional makefiles included for this purpose. For example, with -the Borland 32-bit compiler you would run make -f Makefile.bcc. A -command line version of the Borland 32-bit compiler can be downloaded -from the Inprise web site. - -

+the Borland 32-bit compiler you would run "make +-f Makefile.bcc". A command line version of the Borland +32-bit compiler can be downloaded from the Inprise web site. -

-2.6 SDCC on Other Platforms -

+

+

+2.6  SDCC on Other Platforms

-

+

-

-

-2.7 Advanced Install Options -

+

+

+2.7  Advanced Install Options

-

+

The ``configure'' command has several options. The most commonly -used option is -prefix=<directory name>, where <directory name> is +used option is -prefix=<directory name>, where <directory name> is the final location for the sdcc executables and libraries, (default location is /usr/local). The installation process will create the -following directory structure under the <directory name> specified. - -

-bin/ - binary exectables (add to PATH environment variable) -
     share/ -
        sdcc/include/ - include header files -
        sdcc/lib/ - -
             small/ - Object & library files for small -model library -
             large/ - Object & library files for large -model library -
             ds390/ - Object & library files forDS80C390 -library - -

-The command - -

-'./configure -prefix=/usr/local'' -

- - -

+following directory structure under the <directory name> specified +(if they do not already exist).
+
+bin/ - binary exectables (add to PATH environment variable)
+bin/share/
+bin/share/sdcc/include/ - include header files
+bin/share/sdcc/lib/
+bin/share/sdcc/lib/small/ - Object & library files for small model +library
+bin/share/sdcc/lib/large/ - Object & library files for large model +library
+bin/share/sdcc/lib/ds390/ - Object & library files forDS80C390 library
+
+The command ''./configure -prefix=/usr/local'' will configure the compiler to be installed in directory /usr/local/bin. -

+

+

+2.8  Components of SDCC

-

-2.8 Components of SDCC -

- -

+

SDCC is not just a compiler, but a collection of tools by various developers. These include linkers, assemblers, simulators and other components. Here is a summary of some of the components. Note that @@ -684,353 +439,301 @@ As SDCC grows to include support for other processors, other packages from various developers are included and may have their own sets of documentation. -

+

You might want to look at the various executables which are installed in the bin directory. At the time of this writing, we find the following -programs: - -

-sdcc - The compiler. - -

-aslink -The linker for 8051 type processors. - -

-asx8051 - The assembler for 8051 type processors. - -

-sdcpp - The C preprocessor. - -

-sdcpd - The source debugger. - -

-s51 - The ucSim 8051 simulator. - -

-linkz80, linkgbz80 - The Z80 and GameBoy Z80 linkers. - -

-as-z80, as-gbz80 - The Z80 and GameBoy Z80 assemblers. - -

-packihx - A tool to pack Intel hex files. - -

+programs:
+
+sdcc - The compiler.
+sdcpp - The C preprocessor.
+asx8051 - The assembler for 8051 type processors.
+as-z80, as-gbz80 - The Z80 and GameBoy Z80 assemblers.
+aslink -The linker for 8051 type processors.
+link-z80, link-gbz80 - The Z80 and GameBoy Z80 linkers.
+s51 - The ucSim 8051 simulator.
+sdcdb - The source debugger.
+packihx - A tool to pack Intel hex files.
+
As development for other processors proceeds, this list will expand to include executables to support processors like AVR, PIC, etc. -

- -

-2.8.1 cpp ( C-Preprocessor) -

+

+

+2.8.1  sdcc - The Compiler

-

-The preprocessor is extracted into the directory SDCCDIR/cpp, -it is a modified version of the GNU preprocessor. The C preprocessor -is used to pull in #include sources, process #ifdef statements, -#defines and so on. - -

- -

-2.8.2 asxxxx & aslink ( The assembler and Linkage Editor) -

- -

-This is retargettable assembler & linkage editor, it was developed -by Alan Baldwin, John Hartman created the version for 8051, and I -(Sandeep) have some enhancements and bug fixes for it to work properly -with the SDCC. This component is extracted into the directory SDCCDIR/asxxxx. - -

- -

-2.8.3 SDCC - The compiler -

- -

+

This is the actual compiler, it in turn uses the c-preprocessor and -invokes the assembler and linkage editors. All files with the prefix -SDCC are part of the compiler and are extracted into the the -directory SDCCDIR. - -

- -

-2.8.4 S51 - Simulator -

+invokes the assembler and linkage editor. -

-s51 is a freeware, opensource simulator developed by Daniel Drotos -<drdani@mazsola.iit.uni-miskolc.hu>. The executable is built as part -of the build process, for more information visit Daniel's website -at <http://mazsola.iit.uni-miskolc.hu/drdani/embedded/s51/>. +

+

+2.8.2  sdcpp (C-Preprocessor)

-

+

+The preprocessor is a modified version of the GNU preprocessor. The +C preprocessor is used to pull in #include sources, process #ifdef +statements, #defines and so on. -

-2.8.5 SDCDB - Source Level Debugger -

+

+

+2.8.3  asx8051, as-z80, as-gbz80, aslink, link-z80, link-gbz80 (The Assemblers +and Linkage Editors)

-

-SDCDB is the companion source level debugger. The current version +

+This is retargettable assembler & linkage editor, it was developed +by Alan Baldwin. John Hartman created the version for 8051, and I +(Sandeep) have made some enhancements and bug fixes for it to work +properly with the SDCC. + +

+

+2.8.4  s51 - Simulator

+ +

+S51 is a freeware, opensource simulator developed by Daniel Drotos +(mailto:drdani@mazsola.iit.uni-miskolc.hu). The simulator is +built as part of the build process. For more information visit Daniel's +website at: http://mazsola.iit.uni-miskolc.hu/~drdani/embedded/s51 +. + +

+

+2.8.5  sdcdb - Source Level Debugger

+ +

+Sdcdb is the companion source level debugger. The current version of the debugger uses Daniel's Simulator S51, but can be easily changed to use other simulators. -

- -

-3 Using SDCC -

+

+

+3  Using SDCC

-

+

+

+3.1  Compiling

-

-3.1 Compiling -

+

+

+3.1.1  Single Source File Projects

-

- -

-3.1.1 Single Source File Projects -

- -

+

For single source file 8051 projects the process is very simple. Compile -your programs with the following command - -

-sdcc sourcefile.c -

- - -

-The above command will compile ,assemble and link your source file. -Output files are as follows. - -

+your programs with the following command "sdcc +sourcefile.c". This will compile, assemble and link your +source file. Output files are as follows
-

-

+

+

+3.1.2  Projects with Multiple Source Files

-

-3.1.2 Projects with Multiple Source Files -

- -

+

SDCC can compile only ONE file at a time. Let us for example assume -that you have a project containing the following files. - -

-foo1.c ( contains some functions ) -

- - -

-foo2.c (contains some more functions) -

- - -

-foomain.c (contains more functions and the function -main) -

- - -

-The first two files will need to be compiled separately with the commands - -

-sdcc -c foo1.c -

- - -

-sdcc -c foo2.c -

- - -

-Then compile the source file containing main and link the other files -together with the following command. - -

-sdcc foomain.c foo1.rel foo2.rel -

- - -

-Alternatively foomain.c can be separately compiled as well - -

-sdcc -c foomain.c -

- - -

-sdcc foomain.rel foo1.rel foo2.rel -

- +that you have a project containing the following files:
+
+foo1.c (contains some functions)
+foo2.c (contains some more functions)
+foomain.c (contains more functions and the function main)
+
+The first two files will need to be compiled separately with the commands: +
+
+sdcc -c foo1.c
+sdcc -c foo2.c
+
+Then compile the source file containing the main() function +and link the files together with the following command:
+
+sdcc foomain.c foo1.rel foo2.rel
+
+Alternatively, foomain.c can be separately compiled as well: +
+
+sdcc -c foomain.c
+sdcc foomain.rel foo1.rel foo2.rel
+
+The file containing the main() function MUST +be the FIRST file specified in the command line, since the +linkage editor processes file in the order they are presented to it. + +

+

+3.1.3  Projects with Additional Libraries

+ +

+Some reusable routines may be compiled into a library, see the documentation +for the assembler and linkage editor (which are in <installdir>/share/sdcc/doc) +for how to create a .lib library file. Libraries created in +this manner can be included in the command line. Make sure you include +the -L <library-path> option to tell the linker where to look for +these files if they are not in the current directory. Here is an example, +assuming you have the source file foomain.c and a library foolib.lib +in the directory mylib (if that is not the same as your current +project):
+
+sdcc foomain.c foolib.lib -L mylib
+
+Note here that mylib must be an absolute path name.
+
+The most efficient way to use libraries is to keep seperate modules +in seperate source files. The lib file now should name all the modules.rel +files. For an example see the standard library file libsdcc.lib +in the directory <installdir>/share/lib/small. + +

+

+3.2  Command Line Options

+ +

+

+3.2.1  Processor Selection Options

+ +

+ +

+ + + + +
-mmcs51
+
Generate code for the MCS51 (8051) family of processors. +This is the default processor target.
+
-mds390
+
Generate code for the DS80C390 processor.
+
-mz80
+
Generate code for the Z80 family of processors.
+
-mgbz80
+
Generate code for the GameBoy Z80 processor.
+
-mavr
+
Generate code for the Atmel AVR processor(In development, +not complete).
+
-mpic14
+
Generate code for the PIC 14-bit processors(In development, +not complete).
+
-mtlcs900h
+
Generate code for the Toshiba TLCS-900H processor(In +development, not complete). +
+
+ +

+

+3.2.2  Preprocessor Options

+ +

+ +

+ + + + +
-I<path>
+
The additional location where the pre processor +will look for <..h> or ``..h'' files.
+
-D<macro[=value]>
+
Command line definition of macros. +Passed to the pre processor.
+
-M
+
Tell the preprocessor to output a rule suitable for make +describing the dependencies of each object file. For each source file, +the preprocessor outputs one make-rule whose target is the object +file name for that source file and whose dependencies are all the +files `#include'd in it. This rule may be a single line or may be +continued with `'-newline if it is long. The list +of rules is printed on standard output instead of the preprocessed +C program. `-M' implies `-E'.
+
-C
+
Tell the preprocessor not to discard comments. Used with +the `-E' option.
+
-MM
+
Like `-M' but the output mentions only the user header +files included with `#include ``file"'. System header +files included with `#include <file>' are omitted.
+
-Aquestion(answer)
+
Assert the answer answer for question, +in case it is tested with a preprocessor conditional such as `#if +#question(answer)'. `-A-' disables the standard assertions that normally +describe the target machine.
+
-Aquestion
+
(answer) Assert the answer answer for question, +in case it is tested with a preprocessor conditional such as `#if +#question(answer)'. `-A-' disables the standard assertions that normally +describe the target machine.
+
-Umacro
+
Undefine macro macro. `-U' options are evaluated +after all `-D' options, but before any `-include' and `-imacros' options.
+
-dM
+
Tell the preprocessor to output only a list of the macro +definitions that are in effect at the end of preprocessing. Used with +the `-E' option.
+
-dD
+
Tell the preprocessor to pass all macro definitions +into the output, in their proper sequence in the rest of the output.
+
-dN
+
Like `-dD' except that the macro arguments and contents +are omitted. Only `#define name' is included in the output. +
+
-

-The file containing the main function MUST be the FIRST file specified -in the command line , since the linkage editor processes file in the -order they are presented to it. +

+

+3.2.3  Linker Options

-

+

-

-3.1.3 Projects with Additional Libraries -

+
-

-Some reusable routines may be compiled into a library, see the documentation -for the assembler and linkage editor in the directory SDCCDIR/asxxxx/asxhtm.htm -this describes how to create a .lib library file, the libraries -created in this manner may be included using the command line, make -sure you include the -L <library-path> option to tell the linker where -to look for these files. Here is an example, assuming you have the -source file 'foomain.c' and a library 'foolib.lib' in -the directory 'mylib' (if that is not the same as your current -project). - -

-sdcc foomain.c foolib.lib -L mylib -

- - -

-Note here that 'mylib' must be an absolute path name. - -

-The view of the way the linkage editor processes the library files, -it is recommended that you put each source routine in a separate file -and combine them using the .lib file. For an example see the standard -library file 'libsdcc.lib' in the directory SDCCDIR/sdcc51lib. - -

- -

-3.2 Command Line Options -

- -

- -

-3.2.1 Processor Selection Options -

- -

- -

-

- -

-3.2.2 Preprocessor Options -

- -

- -

-

- -

-3.2.3 Linker Options -

- -

--lib-path(-L) <absolute path to additional libraries> This + + + +

-L -lib-path
+
<absolute path to additional libraries> This option is passed to the linkage editor's additional libraries search path. The path name must be absolute. Additional library files may be specified in the command line. See section Compiling programs for -more details. - -

--xram-loc<Value> The start location of the external ram, +more details.

+
-xram-loc<Value>
+
The start location of the external ram, default value is 0. The value entered can be in Hexadecimal or Decimal -format, e.g.: -xram-loc 0x8000 or -xram-loc 32768. - -

- -

    -
  • [-code-loc<Value>]The start location of the code segment -, default value 0. Note when this option is used the interrupt vector +format, e.g.: -xram-loc 0x8000 or -xram-loc 32768.
+
-code-loc<Value>
+
The start location of the code segment, +default value 0. Note when this option is used the interrupt vector table is also relocated to the given address. The value entered can be in Hexadecimal or Decimal format, e.g.: -code-loc 0x8000 or -code-loc -32768. - -
  • [-stack-loc<Value>]The initial value of the stack pointer. +32768.
  • +
    -stack-loc<Value>
    +
    The initial value of the stack pointer. The default value of the stack pointer is 0x07 if only register bank 0 is used, if other register banks are used then the stack pointer is initialized to the location above the highest register bank used. @@ -1038,132 +741,158 @@ eg. if register banks 1 & 2 are used the stack pointer will default to location 0x18. The value entered can be in Hexadecimal or Decimal format, eg. -stack-loc 0x20 or -stack-loc 32. If all four register banks are used the stack will be placed after the data segment (equivalent -to -stack-after-data) - -
  • [-stack-after-data]This option will cause the stack to be -located in the internal ram after the data segment. -
  • -
  • [-data-loc<Value>]The start location of the internal ram +to -stack-after-data)
  • +
    -stack-after-data
    +
    This option will cause the stack to be +located in the internal ram after the data segment.
    +
    -data-loc<Value>
    +
    The start location of the internal ram data segment, the default value is 0x30.The value entered can be in -Hexadecimal or Decimal format, eg. -data-loc 0x20 or -data-loc 32. - -
  • [-idata-loc<Value>]The start location of the indirectly +Hexadecimal or Decimal format, eg. -data-loc 0x20 or -data-loc 32.
  • +
    -idata-loc<Value>
    +
    The start location of the indirectly addressable internal ram, default value is 0x80. The value entered can be in Hexadecimal or Decimal format, eg. -idata-loc 0x88 or -idata-loc -136. - - -

    +136.

    +
    -out-fmt-ihx
    +
    The linker output (final object code) is in +Intel Hex format. (This is the default option).
    +
    -out-fmt-s19
    +
    The linker output (final object code) is in +Motorola S19 format. +
    +
    + +

    +

    +3.2.4  MCS51 Options

    -

    -3.2.4 MCS51 Options -

    +

    -

    +

    - -

    - -

    -3.2.5 Optimization Options -

    - -

    - -

    + +

    +

    +3.2.5  DS390 Options

    + +

    + +

    + + + + +
    -model-flat24
    +
    Generate 24-bit flat mode code. This is the +one and only that the ds390 code generator supports right now and +is default when using -mds390. See section Memory Models for +more details.
    +
    -stack-10bit
    +
    Generate code for the 10 bit stack mode of +the Dallas DS80C390 part. This is the one and only that the ds390 +code generator supports right now and is default when using -mds390. +In this mode, the stack is located in the lower 1K of the internal +RAM, which is mapped to 0x400000. Note that the support is incomplete, +since it still uses a single byte as the stack pointer. This means +that only the lower 256 bytes of the potential 1K stack space will +actually be used. However, this does allow you to reclaim the precious +256 bytes of low RAM for use for the DATA and IDATA segments. The +compiler will not generate any code to put the processor into 10 bit +stack mode. It is important to ensure that the processor is in this +mode before calling any re-entrant functions compiled with this option. +In principle, this should work with the -stack-auto option, +but that has not been tested. It is incompatible with the -xstack +option. It also only makes sense if the processor is in 24 bit contiguous +addressing mode (see the -model-flat24 option). +
    +
    + +

    +

    +3.2.6  Optimization Options

    + +

    + +

    + + + + +
    -nogcse
    +
    Will not do global subexpression elimination, this option may be used when the compiler creates undesirably large stack/data spaces to store compiler temporaries. A warning message will be generated when this happens and the compiler will indicate the number of extra -bytes it allocated. It recommended that this option NOT be used , -#pragma NOGCSE can be used to turn off global subexpression elimination -for a given function only. - -
  • [-noinvariant]Will not do loop invariant optimizations, +bytes it allocated. It recommended that this option NOT be used, #pragma +NOGCSE can be used to turn off global subexpression elimination for +a given function only.
  • +
    -noinvariant
    +
    Will not do loop invariant optimizations, this may be turned off for reasons explained for the previous option. For more details of loop optimizations performed see section Loop -Invariants.It recommended that this option NOT be used , #pragma -NOINVARIANT can be used to turn off invariant optimizations for a -given function only. - -
  • [-noinduction]Will not do loop induction optimizations, -see section Strength reduction for more details.It recommended that -this option NOT be used , #pragma NOINDUCTION can be used to turn -off induction optimizations for given function only. -
  • -
  • [-nojtbound] Will not generate boundary condition check +Invariants.It recommended that this option NOT be used, #pragma NOINVARIANT +can be used to turn off invariant optimizations for a given function +only.
  • +
    -noinduction
    +
    Will not do loop induction optimizations, +see section strength reduction for more details.It is recommended +that this option is NOT used, #pragma NOINDUCTION can be used to +turn off induction optimizations for a given function only.
    +
    -nojtbound
    +
    Will not generate boundary condition check when switch statements are implemented using jump-tables. See section -Switch Statements for more details.It recommended that this option -NOT be used , #pragma NOJTBOUND can be used to turn off boundary -checking for jump tables for a given function only. - -
  • [-noloopreverse]Will not do loop reversal optimization -
  • - -

    - -

    -3.2.6 DS390 Options -

    - -

    - -

      -
    • [-stack-auto]See MCS51 section for description. -
    • -
    • [-model-flat24]Generate 24-bit flat mode code. -This is the one and only that the ds390 code generator supports right -now and is default when using -mds390. See section Memory Models for -more details. -
    • -
    • [-stack-10bit]This option generates code for the 10 bit -stack mode of the Dallas DS80C390 part. This is the one and only that -the ds390 code generator supports right now and is default when using --mds390. In this mode, the stack is located in the lower 1K of the -internal RAM, which is mapped to 0x400000. Note that the support is -incomplete, since it still uses a single byte as the stack pointer. -This means that only the lower 256 bytes of the potential 1K stack -space will actually be used. However, this does allow you to reclaim -the precious 256 bytes of low RAM for use for the DATA and IDATA segments. -The compiler will not generate any code to put the processor into -10 bit stack mode. It is important to ensure that the processor is -in this mode before calling any re-entrant functions compiled with -this option. In principle, this should work with the -stack-auto -option, but that has not been tested. It is incompatible with the --xstack option. It also only makes sense if the processor is in 24 -bit contiguous addressing mode (see the -model-flat24 option). -
    • -
    -

    - -

    -3.2.7 Other Options -

    - -

    - -

      -
    • [-callee-saves]function1[,function2][,function3].... +Switch Statements for more details. It is recommended that this option +is NOT used, #pragma NOJTBOUND can be used to turn off boundary checking +for jump tables for a given function only.
    +
    -noloopreverse
    +
    Will not do loop reversal optimization. +
    +
    + +

    +

    +3.2.7  Other Options

    + +

    + +

    + + + + +
    -c -compile-only
    +
    will compile and assemble the source, +but will not call the linkage editor.
    +
    -E
    +
    Run only the C preprocessor. Preprocess all the C source +files specified and output the results to standard output.
    +
    -stack-auto
    +
    All functions in the source file will be compiled +as reentrant, i.e. the parameters and local variables will +be allocated on the stack. see section Parameters and Local Variables +for more details. If this option is used all source files in the project +should be compiled with this option.
    +
    -xstack
    +
    Uses a pseudo stack in the first 256 bytes in the +external ram for allocating variables and passing parameters. See +section on external stack for more details.
    +
    -callee-saves
    +
    function1[,function2][,function3].... The compiler by default uses a caller saves convention for register saving across function calls, however this can cause unneccessary register pushing & popping when calling small functions from larger @@ -1179,2373 +908,1767 @@ functions such as _muluint..., if this option is used for a library function the appropriate library function needs to be recompiled with the same option. If the project consists of multiple source files then all the source file should be compiled with the same -callee-saves -option string. Also see Pragma Directive CALLEE-SAVES. - -
  • [-debug]When this option is used the compiler will generate -debug information , that can be used with the SDCDB. The debug information +option string. Also see Pragma Directive CALLEE-SAVES.
  • +
    -debug
    +
    When this option is used the compiler will generate +debug information, that can be used with the SDCDB. The debug information is collected in a file with .cdb extension. For more information see -documentation for SDCDB. - -
  • [-regextend] This option will cause the compiler to define -pseudo registers , if this option is used, all source files in the -project should be compiled with this option. See section Register -Extension for more details. -
  • -
  • [-peep-file<filename>]This option can be used to use additional +documentation for SDCDB.
  • +
    -regextend
    +
    This option is obsolete and isn't +supported anymore.
    +
    -noregparms
    +
    This option is obsolete and isn't +supported anymore.
    +
    -peep-file<filename>
    +
    This option can be used to use additional rules to be used by the peep hole optimizer. See section Peep Hole -optimizations for details on how to write these rules. - -
  • [-E]Run only the C preprocessor. Preprocess all the C source -files specified and output the results to standard output. -
  • -
  • [-M]Tell the preprocessor to output a rule suitable for make -describing the dependencies of each object file. For each source file, -the preprocessor outputs one make-rule whose target is the object -file name for that source file and whose dependencies are all the -files `#include'd in it. This rule may be a single line or may be -continued with `\'-newline if it is long. The list -of rules is printed on standard output instead of the preprocessed -C program. `-M' implies `-E'. -
  • -
  • [-C]Tell the preprocessor not to discard comments. Used with -the `-E' option. -
  • -
  • [-MM]Like `-M' but the output mentions only the user header -files included with `#include ``file"'. System header -files included with `#include <file>' are omitted. -
  • -
  • [-Aquestion(answer)]Assert the answer answer for question, -in case it is tested with a preprocessor conditional such as `#if -#question(answer)'. `-A-' disables the standard assertions that normally -describe the target machine. -
  • -
  • [-Aquestion](answer) Assert the answer answer for question, -in case it is tested with a preprocessor conditional such as `#if -#question(answer)'. `-A-' disables the standard assertions that normally -describe the target machine. -
  • -
  • [-Umacro]Undefine macro macro. `-U' options are evaluated -after all `-D' options, but before any `-include' and `-imacros' options. -
  • -
  • [-dM]Tell the preprocessor to output only a list of the macro -definitions that are in effect at the end of preprocessing. Used with -the `-E' option. -
  • -
  • [-dD]Tell the preprocessor to pass all macro definitions -into the output, in their proper sequence in the rest of the output. -
  • -
  • [-dN]Like `-dD' except that the macro arguments and contents -are omitted. Only `#define name' is included in the output. -
  • -
  • [-S]Stop after the stage of compilation proper; do not assemble. -The output is an assembler code file for the input file specified. -
  • -
  • [-Wa_asmOption[,asmOption]...]Pass the asmOption to -the assembler. -
  • -
  • [-Wl_linkOption[,linkOption]...]Pass the linkOption -to the linker. -
  • -
  • [-int-long-reent] Integer (16 bit) and long (32 bit) libraries +optimizations for details on how to write these rules.
  • +
    -S
    +
    Stop after the stage of compilation proper; do not assemble. +The output is an assembler code file for the input file specified.
    +
    -Wa_asmOption[,asmOption]...
    +
    Pass the asmOption to +the assembler.
    +
    -Wl_linkOption[,linkOption]...
    +
    Pass the linkOption +to the linker.
    +
    -int-long-reent
    +
    Integer (16 bit) and long (32 bit) libraries have been compiled as reentrant. Note by default these libraries are -compiled as non-reentrant. See section Installation for more details. - -
  • [-cyclomatic]This option will cause the compiler to generate +compiled as non-reentrant. See section Installation for more details.
  • +
    -cyclomatic
    +
    This option will cause the compiler to generate an information message for each function in the source file. The message -contains some important information about the function. The +contains some important information about the function. The number of edges and nodes the compiler detected in the control flow -graph of the function, and most importantly the cyclomatic complexity -see section on Cyclomatic Complexity for more details. - -
  • [-float-reent] Floating point library is compiled as reentrant.See -section Installation for more details. -
  • -
  • [-out-fmt-ihx]The linker output (final object code) is in -Intel Hex format. (This is the default option). -
  • -
  • [-out-fmt-s19]The linker output (final object code) is in -Motorola S19 format. -
  • -
  • [-nooverlay] The compiler will not overlay parameters and +graph of the function, and most importantly the cyclomatic complexity +see section on Cyclomatic Complexity for more details.
  • +
    -float-reent
    +
    Floating point library is compiled as reentrant.See +section Installation for more details.
    +
    -nooverlay
    +
    The compiler will not overlay parameters and local variables of any function, see section Parameters and local -variables for more details. - -
  • [-main-return]This option can be used when the code generated +variables for more details.
  • +
    -main-return
    +
    This option can be used when the code generated is called by a monitor program. The compiler will generate a 'ret' upon return from the 'main' function. The default option is to lock -up i.e. generate a 'ljmp '. - -
  • [-no-peep] Disable peep-hole optimization. -
  • -
  • [-peep-asm] Pass the inline assembler code through the peep +up i.e. generate a 'ljmp '.
  • +
    -no-peep
    +
    Disable peep-hole optimization.
    +
    -peep-asm
    +
    Pass the inline assembler code through the peep hole optimizer. This can cause unexpected changes to inline assembler code, please go through the peephole optimizer rules defined in the -source file tree '<target>/peeph.def' before using this option. - -
  • [-iram-size<Value>]Causes the linker to check if the interal -ram usage is within limits of the given value. -
  • - -

    - -

    -3.2.8 Intermediate Dump Options -

    - -

    +source file tree '<target>/peeph.def' before using this option.

    +
    -iram-size<Value>
    +
    Causes the linker to check if the interal +ram usage is within limits of the given value.
    +
    -nostdincl
    +
    This will prevent the compiler from passing +on the default include path to the preprocessor.
    +
    -nostdlib
    +
    This will prevent the compiler from passing on +the default library path to the linker.
    +
    -verbose
    +
    Shows the various actions the compiler is performing.
    +
    -V
    +
    Shows the actual commands the compiler is executing. +
    +
    + +

    +

    +3.2.8  Intermediate Dump Options

    + +

    The following options are provided for the purpose of retargetting and debugging the compiler. These provided a means to dump the intermediate code (iCode) generated by the compiler in human readable form at various stages of the compilation process. -

    +

    -

    -

    + + -

    -3.3 MCS51/DS390 Storage Class Language Extensions -

    +

    +

    +3.3  MCS51/DS390 Storage Class Language Extensions

    -

    +

    In addition to the ANSI storage classes SDCC allows the following MCS51 specific storage classes. -

    - -

    -3.3.1 xdata -

    +

    +

    +3.3.1  xdata

    -

    +

    Variables declared with this storage class will be placed in the extern -RAM. This is the default storage class for Large Memory model, -e.g.: -
    -
    xdata unsigned char xduc; +RAM. This is the default storage class for Large Memory model, +e.g.:
    +
    +xdata unsigned char xduc; -

    +

    +

    +3.3.2  data

    -

    -3.3.2 data -

    - -

    -This is the default storage class for Small Memory model. +

    +This is the default storage class for Small Memory model. Variables declared with this storage class will be allocated in the -internal RAM, e.g.: -
    -
    data int iramdata; - -

    +internal RAM, e.g.:
    +
    +data int iramdata; -

    -3.3.3 idata -

    +

    +

    +3.3.3  idata

    -

    +

    Variables declared with this storage class will be allocated into the indirectly addressable portion of the internal ram of a 8051, -e.g.: -
    -
    idata int idi; - -

    +e.g.:
    +
    +idata int idi; -

    -3.3.4 bit -

    +

    +

    +3.3.4  bit

    -

    +

    This is a data-type and a storage class specifier. When a variable -is declared as a bit , it is allocated into the bit addressable memory -of 8051, e.g.: -
    -
    bit iFlag; +is declared as a bit, it is allocated into the bit addressable memory +of 8051, e.g.:
    +
    +bit iFlag; -

    +

    +

    +3.3.5  sfr / sbit

    -

    -3.3.5 sfr / sbit -

    - -

    -Like the bit keyword, sfr / sbit signifies both a data-type +

    +Like the bit keyword, sfr / sbit signifies both a data-type and storage class, they are used to describe the special function -registers and special bit variables of a 8051, eg: -
    -
    sfr at 0x80 P0; /* special function register P0 at location -0x80 */  -
    sbit at 0xd7 CY; /* CY (Carry Flag) */ - -

    +registers and special bit variables of a 8051, eg:
    +
    +sfr at 0x80 P0; /* special function register P0 at location +0x80 */ 
    +sbit at 0xd7 CY; /* CY (Carry Flag) */ -

    -3.4 Pointers -

    +

    +

    +3.4  Pointers

    -

    +

    SDCC allows (via language extensions) pointers to explicitly point to any of the memory spaces of the 8051. In addition to the explicit -pointers, the compiler also allows a _generic class of pointers -which can be used to point to any of the memory spaces. -
    -
    -Pointer declaration examples. -
    -
    /* pointer physically in xternal ram pointing to object -in internal ram */   -
    data unsigned char * xdata p;  -
      -
    /* pointer physically in code rom pointing to data in xdata -space */   -
    xdata unsigned char * code p;  -
      -
    /* pointer physically in code space pointing to data in -code space */   -
    code unsigned char * code p;  -
      -
    /* the folowing is a generic pointer physically located -in xdata space */  -
    char * xdata p; -
    -
    -Well you get the idea. For compatibility with the previous version -of the compiler, the following syntax for pointer declaration is still -supported but will disappear int the near future. -
    -
    unsigned char _xdata *ucxdp; /* pointer to data in external -ram */   -
    unsigned char _data  *ucdp ; /* pointer to data in internal -ram */   -
    unsigned char _code  *uccp ; /* pointer to data in R/O -code space */  -
    unsigned char _idata *uccp;  /* pointer to upper 128 -bytes of ram */ -
    -
    +pointers, the compiler also allows a _generic class of pointers +which can be used to point to any of the memory spaces.
    +
    +Pointer declaration examples:
    +
    +/* pointer physically in xternal ram pointing to object +in internal ram */  
    +data unsigned char * xdata p; 
    + 
    +/* pointer physically in code rom pointing to data in xdata +space */  
    +xdata unsigned char * code p; 
    + 
    +/* pointer physically in code space pointing to data in +code space */  
    +code unsigned char * code p; 
    + 
    +/* the folowing is a generic pointer physically located +in xdata space */ 
    +char * xdata p;
    +
    +Well you get the idea.
    +
    +For compatibility with the previous version of the compiler, +the following syntax for pointer declaration is still supported but +will disappear int the near future.
    +
    +unsigned char _xdata *ucxdp; /* pointer to data +in external ram */  
    +unsigned char _data  *ucdp ; /* pointer to data +in internal ram */  
    +unsigned char _code  *uccp ; /* pointer to data +in R/O code space */ 
    +unsigned char _idata *uccp;  /* pointer to upper +128 bytes of ram */
    +
    All unqualified pointers are treated as 3-byte (4-byte for the ds390) -'_generic' pointers. These type of pointers can also to be explicitly -declared. -
    -
    unsigned char _generic *ucgp; -
    -
    -The highest order byte of the generic pointers contains the data space -information. Assembler support routines are called whenever data is -stored or retrieved using _generic pointers. These are useful for -developing reusable library routines. Explicitly specifying the pointer -type will generate the most efficient code. Pointers declared using -a mixture of OLD/NEW style could have unpredictable results. - -

    - -

    -3.5 Parameters & Local Variables -

    - -

    +generic pointers. These type of pointers can also to be explicitly +declared.
    +
    +unsigned char _generic *ucgp;
    +
    +The highest order byte of the generic pointers contains the +data space information. Assembler support routines are called whenever +data is stored or retrieved using generic pointers. These are +useful for developing reusable library routines. Explicitly specifying +the pointer type will generate the most efficient code. Pointers declared +using a mixture of OLD and NEW style could have unpredictable results. + +

    +

    +3.5  Parameters & Local Variables

    + +

    Automatic (local) variables and parameters to functions can either be placed on the stack or in data-space. The default action of the -compiler is to place these variables in the internal RAM ( for small -model) or external RAM (for Large model). They can be placed on the -stack either by using the -stack-auto compiler option or by -using the 'reentrant' keyword in the function declaration, e.g.: -
    -
    unsigned char foo( char i) reentrant   -
    {   -
    ...   -
    }  -
    -
    -Note that when the parameters & local variables are declared in the -internal/external ram the functions are non-reentrant. Since stack -space on 8051 is limited the 'reentrant' keyword or the -stack-auto -option should be used sparingly. Note the reentrant keyword just means -that the parameters & local variables will be allocated to the stack, -it DOES NOT mean that the function is register bank independent. - -

    -When compiled with the default option (i.e. non-reentrant ), local -variables can be assigned storage classes and absolute addresses, -e.g.: (jwk: pending: this is obsolete and need a rewrite) -
    -
    unsigned char foo() { - -

    -xdata unsigned char i; - -

    -bit bvar; - -

    -data at 0x31 unsiged char j; - -

    -...   -
    } - -

    -In the above example the variable i will be allocated in the -external ram, bvar in bit addressable space and j in -internal ram. When compiled with the -stack-auto or when a -function is declared as 'reentrant' local variables cannot -be assigned storage classes or absolute addresses. - -

    +compiler is to place these variables in the internal RAM (for small +model) or external RAM (for Large model). This in fact makes them +static so by default functions are non-reentrant. + +

    +They can be placed on the stack either by using the -stack-auto +compiler option or by using the reentrant keyword in the function +declaration, e.g.:
    +
    +unsigned char foo(char i) reentrant  
    +{  
    +...  
    +} 
    +
    +Since stack space on 8051 is limited, the reentrant keyword +or the -stack-auto option should be used sparingly. Note that +the reentrant keyword just means that the parameters & local variables +will be allocated to the stack, it does not mean that the function +is register bank independent.
    +
    +Local variables can be assigned storage classes and absolute addresses, +e.g.:
    +
    +unsigned char foo() { 
    +    xdata unsigned char i; 
    +    bit bvar; 
    +    data at 0x31 unsiged char j; 
    +    ...  
    +} 
    + 
    +In the above example the variable i will be allocated in the +external ram, bvar in bit addressable space and j in +internal ram. When compiled with -stack-auto or when a function +is declared as reentrant this can only be done for static variables. + +

    Parameters however are not allowed any storage class, (storage classes for parameters will be ignored), their allocation is governed by the -memory model in use , and the reentrancy options. - -

    +memory model in use, and the reentrancy options. -

    -3.6 Overlaying -

    +

    +

    +3.6  Overlaying

    -

    +

    For non-reentrant functions SDCC will try to reduce internal ram space usage by overlaying parameters and local variables of a function (if possible). Parameters and local variables of a function will be allocated -to an overlayable segment if the function has no other function -calls and the function is non-reentrant and the memory model is small. -If an explicit storage class is specified for a local variable , it -will NOT be overplayed. +to an overlayable segment if the function has no other function +calls and the function is non-reentrant and the memory model is small. +If an explicit storage class is specified for a local variable, it +will NOT be overlayed. -

    +

    Note that the compiler (not the linkage editor) makes the decision for overlaying the data items. Functions that are called from an interrupt service routine should be preceded by a #pragma NOOVERLAY if they -are not reentrant Along the same lines the compiler does not do any -processing with the inline assembler code so the compiler might incorrectly -assign local variables and parameters of a function into the overlay -segment if the only function call from a function is from inline assembler -code, it is safe to use the #pragma NOOVERLAY for functions which -call other functions using inline assembler code. - -

    +are not reentrant. + +

    +Also note that the compiler does not do any processing of inline assembler +code, so the compiler might incorrectly assign local variables and +parameters of a function into the overlay segment if the inline assembler +code calls other c-functions that might use the overlay. In that case +the #pragma NOOVERLAY should be used. + +

    Parameters and Local variables of functions that contain 16 or 32 bit multiplication or division will NOT be overlayed since these are -implemented using external functions, e.g.: -
    -
    #pragma SAVE   -
    #pragma NOOVERLAY   -
    void set_error( unsigned char errcd)   -
    { - -

    -P3 = errcd;  -
    }   -
    #pragma RESTORE   -
    void some_isr () interrupt 2 using 1   -
    { - -

    -... - -

    -set_error(10); - -

    -...   -
    } - -

    -In the above example the parameter errcd for the function set_error -would be assigned to the overlayable segment (if the #pragma NOOVERLAY -was not present) , this could cause unpredictable runtime behavior -when called from an ISR. The pragma NOOVERLAY ensures that the parameters +implemented using external functions, e.g.:
    +
    +#pragma SAVE  
    +#pragma NOOVERLAY  
    +void set_error(unsigned char errcd)  
    +{ 
    +    P3 = errcd; 
    +}  
    +#pragma RESTORE  
    + 
    +void some_isr () interrupt 2 using 1  
    +{ 
    +    ... 
    +    set_error(10); 
    +    ...  
    +} 
    + 
    +In the above example the parameter errcd for the function set_error +would be assigned to the overlayable segment if the #pragma NOOVERLAY +was not present, this could cause unpredictable runtime behavior when +called from an ISR. The #pragma NOOVERLAY ensures that the parameters and local variables for the function are NOT overlayed. -

    - -

    -3.7 Interrupt Service Routines -

    +

    +

    +3.7  Interrupt Service Routines

    -

    +

    SDCC allows interrupt service routines to be coded in C, with some -extended keywords. - -

    -void timer_isr (void) interrupt 2 using 1 -
    { -
    .. -
    } -

    - - -

    -The number following the 'interrupt' keyword is the interrupt number -this routine will service. The compiler will insert a call to this -routine in the interrupt vector table for the interrupt number specified. -The 'using' keyword is used to tell the compiler to use the specified -register bank (8051 specific) when generating code for this function. -Note that when some function is called from an interrupt service routine -it should be preceded by a #pragma NOOVERLAY (if it is not reentrant). -A special note here, int (16 bit) and long (32 bit) integer division, -multiplication & modulus operations are implemented using external -support routines developed in ANSI-C, if an interrupt service routine -needs to do any of these operations then the support routines (as -mentioned in a following section) will have to recompiled using the --stack-auto option and the source file will need to be compiled using -the -int-long-rent compiler option. - -

    +extended keywords.
    +
    +void timer_isr (void) interrupt 2 using 1  
    +{  
    +..  
    +} 
    + 
    +The number following the interrupt keyword is the interrupt +number this routine will service. The compiler will insert a call +to this routine in the interrupt vector table for the interrupt number +specified. The using keyword is used to tell the compiler to +use the specified register bank (8051 specific) when generating code +for this function. Note that when some function is called from an +interrupt service routine it should be preceded by a #pragma +NOOVERLAY if it is not reentrant. A special note here, int (16 bit) +and long (32 bit) integer division, multiplication & modulus operations +are implemented using external support routines developed in ANSI-C, +if an interrupt service routine needs to do any of these operations +then the support routines (as mentioned in a following section) will +have to be recompiled using the -stack-auto option and the +source file will need to be compiled using the -int-long-rent +compiler option. + +

    If you have multiple source files in your project, interrupt service routines can be present in any of them, but a prototype of the isr -MUST be present in the file that contains the function 'main'. +MUST be present or included in the file that contains the function +main. -

    +

    Interrupt Numbers and the corresponding address & descriptions for the Standard 8051 are listed below. SDCC will automatically adjust -the interrupt vector table to the maximum interrupt number specified. -
    -

    - - - - - - - - - - - - - - - - - - - - - - - - - -
    Interrupt #DescriptionVector Address
    0External 00x0003
    1Timer 00x000B
    2External 10x0013
    3Timer 10x001B
    4Serial0x0023
    -
    -

    -If the interrupt service routine is defined without 'using' -a register bank or with register bank 0 (using 0), the compiler will -save the registers used by itself on the stack (upon entry and restore -them at exit), however if such an interrupt service routine calls -another function then the entire register bank will be saved on the -stack. This scheme may be advantageous for small interrupt service -routines which have low register usage. - -

    +the interrupt vector table to the maximum interrupt number specified.
    + +

    + + + + + + +
    Interrupt #DescriptionVector Address
    +
    0External 00x0003
    1Timer 00x000B
    2External 10x0013
    3Timer 10x001B
    4Serial0x0023
    +
    +
    +If the interrupt service routine is defined without using a +register bank or with register bank 0 (using 0), the compiler will +save the registers used by itself on the stack upon entry and restore +them at exit, however if such an interrupt service routine calls another +function then the entire register bank will be saved on the stack. +This scheme may be advantageous for small interrupt service routines +which have low register usage. + +

    If the interrupt service routine is defined to be using a specific -register bank then only ``a'',''b'' & ``dptr'' are save -and restored, if such an interrupt service routine calls another function -(using another register bank) then the entire register bank of the -called function will be saved on the stack. This scheme is recommended -for larger interrupt service routines. - -

    -Calling other functions from an interrupt service routine is not recommended -avoid it if possible. - -

    - -

    -3.8 Critical Functions -

    - -

    +register bank then only a, b & dptr are save and restored, +if such an interrupt service routine calls another function (using +another register bank) then the entire register bank of the called +function will be saved on the stack. This scheme is recommended for +larger interrupt service routines. + +

    +Calling other functions from an interrupt service routine is not recommended, +avoid it if possible.
    +
    +Also see the _naked modifier. + +

    +

    +3.8  Critical Functions

    + +

    A special keyword may be associated with a function declaring it as -'critical'. SDCC will generate code to disable all interrupts +critical. SDCC will generate code to disable all interrupts upon entry to a critical function and enable them back before returning. -Note that nesting critical functions may cause unpredictable results. -
    -
    -eg: -
    -
    int foo () critical -
    { -
    ... -
    ... -
    } -
    -
    -The critical attribute maybe used with other attributes like reentrant. - -

    - -

    -3.9 Naked Functions -

    - -

    +Note that nesting critical functions may cause unpredictable results.
    +
    +int foo () critical  
    +{  
    +...  
    +...  
    +} 
    +
    +The critical attribute maybe used with other attributes like reentrant. + +

    +

    +3.9  Naked Functions

    + +

    A special keyword may be associated with a function declaring it as -'_naked'. The '_naked' function modifier attribute -prevents the compiler from generating prologue and epilogue code for -that function. This means that the user is entirely responsible for -such things as saving any registers that may need to be preserved, -selecting the proper register bank, generating the 'return' -instruction at the end, etc. Practically, this means that the contents -of the function must be written in inline assembler. This is particularly -useful for interrupt functions, which can have a large (and often -unnecessary) prologue/epilogue. For example, compare the code generated -by these two functions: -
    -
    -data unsigned char counter; -
    -void simpleIterrupt(void) interrupt 1 -
    { - -

    -counter++; -
    } -
    -
    -void nakedInterrupt(void) interrupt 2 _naked -
    { - -

    -_asm - -

    -   inc  _counter - -

    -   reti         ; MUST explicitly include ret in _naked -function. - -

    -_endasm; -
    } -
    -
    -For an 8051 target, the generated simpleInterrupt looks like: -
    -
    -_simpleIterrupt: - -

    -push    acc - -

    -push    b - -

    -push    dpl - -

    -push    dph - -

    -push    psw - -

    -mov     psw,#0x00 - -

    -inc     _counter - -

    -pop     psw - -

    -pop     dph - -

    -pop     dpl - -

    -pop     b - -

    -pop     acc - -

    -reti -
    -
    -whereas nakedInterrupt looks like: -
    -
    -_nakedInterrupt: - -

    -inc  _counter - -

    -reti         ; MUST explicitly include ret(i) in _naked function. -
    -
    +_naked. The _naked function modifier attribute prevents +the compiler from generating prologue and epilogue code for that function. +This means that the user is entirely responsible for such things as +saving any registers that may need to be preserved, selecting the +proper register bank, generating the return instruction at +the end, etc. Practically, this means that the contents of the function +must be written in inline assembler. This is particularly useful for +interrupt functions, which can have a large (and often unnecessary) +prologue/epilogue. For example, compare the code generated by these +two functions:
    +
    +data unsigned char counter; 
    +void simpleInterrupt(void) interrupt 1 
    +{ 
    +    counter++; 
    +} 
    + 
    +void nakedInterrupt(void) interrupt 2 _naked 
    +{ 
    +    _asm 
    +      inc     _counter 
    +      reti    ; MUST explicitly include ret in _naked +function. 
    +    _endasm; 
    +}
    +
    +For an 8051 target, the generated simpleInterrupt looks like:
    +
    +_simpleIterrupt: 
    +    push    acc 
    +    push    b 
    +    push    dpl 
    +    push    dph 
    +    push    psw 
    +    mov     psw,#0x00 
    +    inc     _counter 
    +    pop     psw 
    +    pop     dph 
    +    pop     dpl 
    +    pop     b 
    +    pop     acc 
    +    reti
    +
    +whereas nakedInterrupt looks like:
    +
    +_nakedInterrupt: 
    +    inc    _counter 
    +    reti   ; MUST explicitly include ret(i) in _naked +function.
    +
    While there is nothing preventing you from writing C code inside a _naked function, there are many ways to shoot yourself in the foot doing this, and is is recommended that you stick to inline assembler. -

    - -

    -3.10 Functions using private banks -

    +

    +

    +3.10  Functions using private banks

    -

    -The 'using' attribute (which tells the compiler to use a register -bank other than the default bank zero) should only be applied to 'interrupt' -functions (see note A below). This will in most circumstances make +

    +The using attribute (which tells the compiler to use a register +bank other than the default bank zero) should only be applied to interrupt +functions (see note 1 below). This will in most circumstances make the generated ISR code more efficient since it will not have to save registers on the stack. -

    -The 'using' attribute will have no effect on the generated -code for a non-'interrupt' function (but may occasionally be -useful anyway1). -
    (jwk: todo: I don't think this has been done yet) +

    +The using attribute will have no effect on the generated code +for a non-interrupt function (but may occasionally be useful +anyway1).
    +(pending: I don't think this has been done yet) -

    -An 'interrupt' function using a non-zero bank will assume that it -can trash that register bank, and will not save it. Since high-priority +

    +An interrupt function using a non-zero bank will assume that +it can trash that register bank, and will not save it. Since high-priority interrupts can interrupt low-priority ones on the 8051 and friends, -this means that if a high-priority ISR 'using' a particular bank occurs -while processing a low-priority ISR 'using' the same bank, terrible -and bad things can happen. To prevent this, no single register bank -should be 'used' by both a high priority and a low priority ISR. This -is probably most easily done by having all high priority ISRs use -one bank and all low priority ISRs use another. If you have an ISR -which can change priority at runtime, you're on your own: I suggest -using the default bank zero and taking the small performance hit. - -

    +this means that if a high-priority ISR using a particular bank +occurs while processing a low-priority ISR using the same bank, +terrible and bad things can happen. To prevent this, no single register +bank should be used by both a high priority and a low priority +ISR. This is probably most easily done by having all high priority +ISRs use one bank and all low priority ISRs use another. If you have +an ISR which can change priority at runtime, you're on your own: I +suggest using the default bank zero and taking the small performance +hit. + +

    It is most efficient if your ISR calls no other functions. If your ISR must call other functions, it is most efficient if those functions -use the same bank as the ISR (see note A below); the next best is +use the same bank as the ISR (see note 1 below); the next best is if the called functions use bank zero. It is very inefficient to call a function using a different, non-zero bank from an ISR. -

    - -

    -3.11 Absolute Addressing -

    - -

    -Data items can be assigned an absolute address with the at <address> -keyword, in addition to a storage class. - -

    -eg. - -

    -xdata at 0x8000 unsigned char PORTA_8255 ; -

    - - -

    -In the above example the PORTA_8255 will be allocated to the -location 0x8000 of the external ram. - -

    -Note that is this feature is provided to give the programmer access -to memory mapped devices attached to the controller. The compiler -does not actually reserve any space for variables declared in this -way (they are implemented with an equate in the assembler), thus it -is left to the programmer to make sure there are no overlaps with -other variables that are declared without the absolute address, the -assembler listing file (.lst) and the linker output files (<filename>.rst) -and (<filename>.map) are a good places to look for such overlaps. - -

    -Absolute address can be specified for variables in all storage classes. - -

    -eg. -

    - - -

    -bit at 0x02 bvar; -

    - - -

    +

    +

    +3.11  Absolute Addressing

    + +

    +Data items can be assigned an absolute address with the at <address> +keyword, in addition to a storage class, e.g.:
    +
    +xdata at 0x8000 unsigned char PORTA_8255 ; 
    +
    +In the above example the PORTA_8255 will be allocated to the location +0x8000 of the external ram. Note that this feature is provided to +give the programmer access to memory mapped devices attached +to the controller. The compiler does not actually reserve any space +for variables declared in this way (they are implemented with an equate +in the assembler). Thus it is left to the programmer to make sure +there are no overlaps with other variables that are declared without +the absolute address. The assembler listing file (.lst) and the linker +output files (.rst) and (.map) are a good places to look for such +overlaps.
    +
    +Absolute address can be specified for variables in all storage classes, +e.g.:
    +
    +bit at 0x02 bvar; 
    + 
    The above example will allocate the variable at offset 0x02 in the bit-addressable space. There is no real advantage to assigning absolute -addresses to variables in this manner , unless you want strict control +addresses to variables in this manner, unless you want strict control over all the variables allocated. -

    - -

    -3.12 Startup Code -

    - -

    -The compiler inserts a jump to the C routine _sdcc__external__startup() -at the start of the CODE area. This routine can be found in the file -SDCCDIR/sdcc51lib/_startup.c, by default this routine returns -0, if this routine returns a non-zero value , the static & global -variable initialization will be skipped and the function main will -be invoked, other wise static & global variables will be initialized -before the function main is invoked. You could add a _sdcc__external__startup() -routine to your program to override the default if you needed to setup -hardware or perform some other critical operation prior to static -& global variable initialization. - -

    - -

    -3.13 Inline Assembler Code -

    - -

    +

    +

    +3.12  Startup Code

    + +

    +The compiler inserts a call to the C routine _sdcc__external__startup() +at the start of the CODE area. This routine is in the runtime library. +By default this routine returns 0, if this routine returns a non-zero +value, the static & global variable initialization will be skipped +and the function main will be invoked Other wise static & global +variables will be initialized before the function main is invoked. +You could add a _sdcc__external__startup() routine to +your program to override the default if you need to setup hardware +or perform some other critical operation prior to static & global +variable initialization. + +

    +

    +3.13  Inline Assembler Code

    + +

    SDCC allows the use of in-line assembler with a few restriction as -regards labels. All labels defined within inline assembler code HAS -TO BE of the form nnnnn$ where nnnn is a number less than -100 (which implies a limit of utmost 100 inline assembler labels PER -FUNCTION). It is strongly recommended that each assembly instruction -(including labels) be placed in a separate line ( as the example shows). -When the -peep-asm command line option is used, -the inline assembler code will be passed through the peephole optimizer, -this might cause some unexpected changes in the inline assembler code, -please go throught the peephole optimizer rules defined in file 'SDCCpeeph.def' -carefully before using this option. - -

    -eg -

    - - -

    -_asm -
             mov b,#10 -
    00001$: -
             djnz b,00001$ -
    _endasm ; -

    - - -

    +regards labels. All labels defined within inline assembler code has +to be of the form nnnnn$ where nnnn is a number less than +100 (which implies a limit of utmost 100 inline assembler labels per +function ). It is strongly recommended that each assembly +instruction (including labels) be placed in a separate line (as the +example shows). When the -peep-asm command line option is +used, the inline assembler code will be passed through the peephole +optimizer. This might cause some unexpected changes in the inline +assembler code. Please go throught the peephole optimizer rules defined +in file SDCCpeeph.def carefully before using this option.
    +
    +_asm  
    +    mov     b,#10  
    +00001$:  
    +    djnz    b,00001$  
    +_endasm ;
    +
    The inline assembler code can contain any valid code understood by -the assembler (this includes any assembler directives and comment -lines). The compiler does not do any validation of the code within -the _asm ... _endasm; keyword pair. - -

    -Inline assembler code cannot reference any C-Labels however it can -reference labels defined by the inline assembler. - -

    -eg -

    - - -

    -foo() { -
    ... /* some c code */ -
    _asm -
         ; some assembler code -
        ljmp $0003 -
    _endasm ; -
    ... /* some more c code */ -
    clabel:   /* inline assembler cannot reference this label -*/ -
    _asm -
       $0003: ;label (can be reference by inline assembler -only) -
    _endasm ; -
    ... -
    } -

    - - -

    +the assembler, this includes any assembler directives and comment +lines. The compiler does not do any validation of the code within +the _asm ... _endasm; keyword pair.
    +
    +Inline assembler code cannot reference any C-Labels, however it can +reference labels defined by the inline assembler, e.g.:
    +
    +foo() {  
    +    /* some c code */  
    +    _asm  
    +      ; some assembler code  
    +      ljmp $0003  
    +    _endasm;  
    +    /* some more c code */  
    +clabel:  /* inline assembler cannot reference this label +*/  
    +    _asm 
    +    $0003: ;label (can be reference by inline assembler +only)  
    +    _endasm ;  
    +    /* some more c code */ 
    +} 
    + 
    In other words inline assembly code can access labels defined in inline -assembly. The same goes the other way, ie. labels defines in inline -assembly CANNOT be accessed by C statements. +assembly within the scope of the funtion. -

    +

    +The same goes the other way, ie. labels defines in inline assembly +CANNOT be accessed by C statements. -

    -3.14 int(16 bit) and long (32 bit ) Support -

    +

    +

    +3.14  int(16 bit) and long (32 bit) Support

    -

    +

    For signed & unsigned int (16 bit) and long (32 bit) variables, division, multiplication and modulus operations are implemented by support routines. These support routines are all developed in ANSI-C to facilitate porting -to other MCUs. The following files contain the described routine, -all of them can be found in the directory SDCCDIR/sdcc51lib - -

    - -

    -All these routines are compiled as non-reentrant and small model. -Since they are compiled as non-reentrant, interrupt service routines -should not do any of the above operations, if this unavoidable then -the above routines will need to ne compiled with the -stack-auto +to other MCUs, although some model specific assembler optimations +are used. The following files contain the described routine, all of +them can be found in <installdir>/share/sdcc/lib.
    +
    +_mulsint.c - signed 16 bit multiplication (calls _muluint)
    +_muluint.c - unsigned 16 bit multiplication
    +_divsint.c - signed 16 bit division (calls _divuint)
    +_divuint.c - unsigned 16 bit division
    +_modsint.c - signed 16 bit modulus (call _moduint)
    +_moduint.c - unsigned 16 bit modulus
    +_mulslong.c - signed 32 bit multiplication (calls _mululong)
    +_mululong.c - unsigned32 bit multiplication
    +_divslong.c - signed 32 division (calls _divulong)
    +_divulong.c - unsigned 32 division
    +_modslong.c - signed 32 bit modulus (calls _modulong)
    +_modulong.c - unsigned 32 bit modulus
    +
    +Since they are compiled as non-reentrant, interrupt service +routines should not do any of the above operations. If this is unavoidable +then the above routines will need to be compiled with the -stack-auto option, after which the source program will have to be compiled with --int-long-rent option. +-int-long-rent option. -

    +

    +

    +3.15  Floating Point Support

    -

    -3.15 Floating Point Support -

    - -

    +

    SDCC supports IEEE (single precision 4bytes) floating point numbers.The floating point support routines are derived from gcc's floatlib.c -and consists of the following routines. - -

    - -

    +and consists of the following routines:
    +
    +_fsadd.c - add floating point numbers
    +_fssub.c - subtract floating point numbers
    +_fsdiv.c - divide floating point numbers
    +_fsmul.c - multiply floating point numbers
    +_fs2uchar.c - convert floating point to unsigned char
    +_fs2char.c - convert floating point to signed char
    +_fs2uint.c - convert floating point to unsigned int
    +_fs2int.c - convert floating point to signed int
    +_fs2ulong.c - convert floating point to unsigned long
    +_fs2long.c - convert floating point to signed long
    +_uchar2fs.c - convert unsigned char to floating point
    +_char2fs.c - convert char to floating point number
    +_uint2fs.c - convert unsigned int to floating point
    +_int2fs.c - convert int to floating point numbers
    +_ulong2fs.c - convert unsigned long to floating point number
    +_long2fs.c - convert long to floating point number
    +
    Note if all these routines are used simultaneously the data space might overflow. For serious floating point usage it is strongly recommended -that the Large model be used (in which case the floating point routines -mentioned above will need to recompiled with the -model-Large option) - -

    +that the large model be used. -

    -3.16 MCS51 Memory Models -

    +

    +

    +3.16  MCS51 Memory Models

    -

    +

    SDCC allows two memory models for MCS51 code, small and large. Modules -compiled with different memory models should never be combined together -or the results would be unpredictable. The library routines supplied -with the compiler are compiled as both small and large. The compiled -library modules are contained in seperate directories as small and -large so that you can link to either set. In general the use of the -large model is discouraged. - -

    +compiled with different memory models should never be combined +together or the results would be unpredictable. The library routines +supplied with the compiler are compiled as both small and large. The +compiled library modules are contained in seperate directories as +small and large so that you can link to either set. + +

    When the large model is used all variables declared without a storage class will be allocated into the external ram, this includes all parameters and local variables (for non-reentrant functions). When the small model is used variables without storage class are allocated in the internal ram. -

    +

    Judicious usage of the processor specific storage classes and the 'reentrant' function type will yield much more efficient code, than -using the large-model. Several optimizations are disabled when the +using the large model. Several optimizations are disabled when the program is compiled using the large model, it is therefore strongly recommdended that the small model be used unless absolutely required. -

    - -

    -3.17 Flat 24 bit Addressing Model -

    - -

    -This option generates code for the 24 bit contiguous addressing mode -of the Dallas DS80C390 part. In this mode, up to four meg of external -RAM or code space can be directly addressed. See the data sheets at -www.dalsemi.com for further information on this part. - -

    +

    +

    +3.17  DS390 Memory Models

    + +

    +The only model supported is Flat 24. This generates code for the 24 +bit contiguous addressing mode of the Dallas DS80C390 part. In this +mode, up to four meg of external RAM or code space can be directly +addressed. See the data sheets at www.dalsemi.com for further information +on this part.
    +
    In older versions of the compiler, this option was used with the MCS51 -code generator (-mmcs51). Now, however, the '390 has it's own code -generator, selected by the -mds390 switch. This code generator currently -supports only the flat24 model, but the -model-flat24 switch is still -required, in case later versions of the code generator support other -models (such as the paged mode of the '390). The combination of -mmcs51 -and -model-flat24 is now depracated. - -

    +code generator (-mmcs51). Now, however, the '390 has it's own +code generator, selected by the -mds390 switch.
    +
    Note that the compiler does not generate any code to place the processor -into24 bitmode (it defaults to 8051 compatible mode). Boot loader +into 24 bitmode (although tinibios in the ds390 libraries will +do that for you). If you don't use tinibios, the boot loader or similar code must ensure that the processor is in 24 bit contiguous -addressing mode before calling the SDCC startup code. - -

    -Like the -model-large option, variables will by default be placed -into the XDATA segment. - -

    +addressing mode before calling the SDCC startup code.
    +
    +Like the -model-large option, variables will by default be +placed into the XDATA segment.
    +
    Segments may be placed anywhere in the 4 meg address space using the usual -*-loc options. Note that if any segments are located above 64K, the -r flag must be passed to the linker to generate the proper segment relocations, and the Intel HEX output format must be used. -The -r flag can be passed to the linker by using the option -Wl-r -on the sdcc command line. +The -r flag can be passed to the linker by using the option -Wl-r +on the sdcc command line. However, currently the linker can not handle +code segments > 64k. -

    +

    +

    +3.18  Defines Created by the Compiler

    -

    -3.18 Defines Created by the Compiler -

    - -

    +

    The compiler creates the following #defines. -

    - -

    - -

    - -

    -4 SDCC Technical Data -

    - -

    - -

    -4.1 Optimizations -

    - -

    -SDCC performs a a host of standard optimizations in addition to some +

    + +

    + +

    +

    +4  SDCC Technical Data

    + +

    +

    +4.1  Optimizations

    + +

    +SDCC performs a host of standard optimizations in addition to some MCU specific optimizations. -

    - -

    -4.1.1 Sub-expression Elimination -

    - -

    -The compiler does local and global common subexpression elimination. - -

    -eg. -

    - - -

    -i = x + y + 1; -
    -j = x + y; -

    - - -

    -will be translated to - -

    -iTemp = x + y -
    i = iTemp + 1 -
    j = iTemp -

    - - -

    -Some subexpressions are not as obvious as the above example. - -

    -eg. - -

    -a->b[i].c = 10; -
    a->b[i].d = 11; -

    - - -

    -In this case the address arithmetic a->b[i] will be computed -only once; the equivalent code in C would be. - -

    -iTemp = a->b[i]; -
    iTemp.c = 10; -
    iTemp.d = 11; -

    - - -

    +

    +

    +4.1.1  Sub-expression Elimination

    + +

    +The compiler does local and global common subexpression elimination, +e.g.:
    +
    +i = x + y + 1;  
    +j = x + y;
    +
    +will be translated to
    +
    +iTemp = x + y  
    +i = iTemp + 1  
    +j = iTemp 
    +
    +Some subexpressions are not as obvious as the above example, e.g.:
    +
    +a->b[i].c = 10;  
    +a->b[i].d = 11;
    +
    +In this case the address arithmetic a->b[i] will be computed only +once; the equivalent code in C would be.
    +
    +iTemp = a->b[i];  
    +iTemp.c = 10;  
    +iTemp.d = 11;
    +
    The compiler will try to keep these temporary variables in registers. -

    - -

    -4.1.2 Dead-Code Elimination -

    - -

    -eg. - -

    -int global; -
    void f () { -
      int i; -
      i = 1;    /* dead store */ -
      global = 1; /* dead store */ -
      global = 2; -
      return; -
      global = 3; /* unreachable */ -
    } -

    - - -

    -will be changed to - -

    -int global; void f () -
    {     -
     global = 2;     -
     return; -
    } -

    - - -

    - -

    -4.1.3 Copy-Propagation -

    - -

    -eg. - -

    -int f() { -
       int i, j; -
       i = 10; -
       j = i; -
       return j; -
    } -

    - - -

    -will be changed to - -

    -int f() { -
        int i,j; -
        i = 10; -
        j = 10; -
        return 10; -
    } -

    - - -

    +

    +

    +4.1.2  Dead-Code Elimination

    + +

    +int global;  
    +void f () {  
    +  int i;  
    +  i = 1;  /* dead store */  
    +  global = 1; /* dead store */  
    +  global = 2;  
    +  return;  
    +  global = 3; /* unreachable */  
    +}
    +
    +will be changed to
    +
    +int global; void f ()  
    +{ 
    +  global = 2;  
    +  return;  
    +} + +

    +

    +4.1.3  Copy-Propagation

    + +

    +int f() {  
    +  int i, j;  
    +  i = 10;  
    +  j = i;  
    +  return j;  
    +}
    +
    +will be changed to
    +
    +int f() {  
    +    int i,j;  
    +    i = 10;  
    +    j = 10;  
    +    return 10;  
    +} 
    + 
    Note: the dead stores created by this copy propagation will be eliminated by dead-code elimination. -

    +

    +

    +4.1.4  Loop Optimizations

    -

    -4.1.4 Loop Optimizations -

    - -

    +

    Two types of loop optimizations are done by SDCC loop invariant lifting -and strength reduction of loop induction variables.In addition to +and strength reduction of loop induction variables. In addition to the strength reduction the optimizer marks the induction variables and the register allocator tries to keep the induction variables in registers for the duration of the loop. Because of this preference -of the register allocator , loop induction optimization causes an -increase in register pressure, which may cause unwanted spilling of -other temporary variables into the stack / data space. The compiler -will generate a warning message when it is forced to allocate extra -space either on the stack or data space. If this extra space allocation -is undesirable then induction optimization can be eliminated either -for the entire source file ( with -noinduction option) or for a given -function only (#pragma NOINDUCTION). - -

    - -

    -eg - -

    -for (i = 0 ; i < 100 ; i ++) -
         f += k + l; -

    - - -

    -changed to - -

    -itemp = k + l; -
    for ( i = 0; i < 100; i++ ) f += itemp; -

    - - -

    +of the register allocator, loop induction optimization causes an increase +in register pressure, which may cause unwanted spilling of other temporary +variables into the stack / data space. The compiler will generate +a warning message when it is forced to allocate extra space either +on the stack or data space. If this extra space allocation is undesirable +then induction optimization can be eliminated either for the entire +source file (with -noinduction option) or for a given function only +(#pragma NOINDUCTION).
    +
    +Loop Invariant:
    +
    +for (i = 0 ; i < 100 ; i ++)  
    +    f += k + l;
    +
    +changed to
    +
    +itemp = k + l;  
    +for (i = 0; i < 100; i++)  
    +  f += itemp;
    +
    As mentioned previously some loop invariants are not as apparent, -all static address computations are also moved out of the loop. - -

    - -

    -This optimization substitutes an expression by a cheaper expression. - -

    -eg. - -

    -for (i=0;i < 100; i++) ar[i*5] = i*3; -

    - - -

    -changed to - -

    -itemp1 = 0; -
    itemp2 = 0; -
    for (i=0;i< 100;i++) { -
         ar[itemp1] = itemp2; -
         itemp1 += 5; -
         itemp2 += 3; -
    } -

    - - -

    +all static address computations are also moved out of the loop.
    +
    +Strength Reduction, this optimization substitutes an expression by +a cheaper expression:
    +
    +for (i=0;i < 100; i++) 
    +  ar[i*5] = i*3;
    +
    +changed to
    +
    +itemp1 = 0;  
    +itemp2 = 0;  
    +for (i=0;i< 100;i++) {  
    +    ar[itemp1] = itemp2;  
    +    itemp1 += 5;  
    +    itemp2 += 3;  
    +}
    +
    The more expensive multiplication is changed to a less expensive addition. -

    +

    +

    +4.1.5  Loop Reversing

    -

    -4.1.5 Loop Reversing: -

    - -

    +

    This optimization is done to reduce the overhead of checking loop boundaries for every iteration. Some simple loops can be reversed and implemented using a ``decrement and jump if not zero'' instruction. SDCC checks for the following criterion to determine if a loop is -reversible (note: more sophisticated compiers use data-dependency +reversible (note: more sophisticated compilers use data-dependency analysis to make this determination, SDCC uses a more simple minded analysis). -

    - -

    -Note djnz instruction can be used for 8-bit values ONLY, therefore -it is advantageous to declare loop control symbols as either 'char', -ofcourse this may not be possible on all situations. - -

    - -

    -4.1.6 Algebraic Simplifications -

    - -

    +

    + +

    +Note djnz instruction can be used for 8-bit values only, therefore +it is advantageous to declare loop control symbols as char. +Ofcourse this may not be possible on all situations. + +

    +

    +4.1.6  Algebraic Simplifications

    + +

    SDCC does numerous algebraic simplifications, the following is a small -sub-set of these optimizations. - -

    -eg -
    i = j + 0 ; /* changed to */ i = j; -
    i /= 2; /* changed to */ i >>= 1; -
    i = j - j ; /* changed to */ i = 0; -
    i = j / 1 ; /* changed to */ i = j; -

    - - -

    +sub-set of these optimizations.
    +
    +i = j + 0 ; /* changed to */ i = j;  
    +i /= 2; /* changed to */ i > >= 1;  
    +i = j - j ; /* changed to */ i = 0;  
    +i = j / 1 ; /* changed to */ i = j;
    +
    Note the subexpressions given above are generally introduced by macro expansions or as a result of copy/constant propagation. -

    - -

    -4.1.7 'switch' Statements -

    +

    +

    +4.1.7  'switch' Statements

    -

    +

    SDCC changes switch statements to jump tables when the following conditions are true. -

    - -

    -eg - -

    -switch(i) {                         switch (i) -{ -
    case 4:...                          case 1: ... - -
    case 5:...                          case 2: ... - -
    case 3:...                          case 3: ... - -
    case 6:...                          case 4: ... - -
    }                                   } -

    - - -

    +

    + +

    +switch(i) {                         switch (i) +{  
    +case 4:...                          case 1: ...  
    +case 5:...                          case 2: ...  
    +case 3:...                          case 3: ...  
    +case 6:...                          case 4: ...  
    +}                                   } 
    + 
    Both the above switch statements will be implemented using a jump-table. -

    +

    -

    + Switch statements which have gaps in the numeric sequence or those that have more that 84 case labels can be split into more than one -switch statement for efficient code generation. - -

    -eg - -

    -switch (i) { -
    case 1: ... -
    case 2: ... -
    case 3: ... -
    case 4: ... -
    case 9: ... -
    case 10: ... -
    case 11: ... -
    case 12: ... -
    } -

    - - -

    -If the above switch statement is broken down into two switch statements - -

    -switch (i) { -
    case 1: ... -
    case 2: ... -
    case 3: ... -
    case 4: ... -
    } -

    - - -

    -switch (i) { -
    case 9: ... -
    case 10: ... -
    case 11: ... -
    case 12:... -
    } -

    - - -

    +switch statement for efficient code generation, e.g.:
    +
    +switch (i) {  
    +case 1: ...  
    +case 2: ...  
    +case 3: ...  
    +case 4: ...  
    +case 9: ...  
    +case 10: ...  
    +case 11: ...  
    +case 12: ...  
    +}
    +
    +If the above switch statement is broken down into two switch statements
    +
    +switch (i) {  
    +case 1: ...  
    +case 2: ...  
    +case 3: ...  
    +case 4: ...  
    +} 
    + 
    +and 
    + 
    +switch (i) {  
    +case 9:  ...  
    +case 10: ...  
    +case 11: ...  
    +case 12: ...  
    +} 
    + 
    then both the switch statements will be implemented using jump-tables whereas the unmodified switch statement will not be. -

    - -

    -4.1.8 Bit-shifting Operations. -

    +

    +

    +4.1.8  Bit-shifting Operations.

    -

    +

    Bit shifting is one of the most frequently used operation in embedded programming. SDCC tries to implement bit-shift operations in the most -efficient way possible. - -

    -eg. - -

    -unsigned char i; -

    - - -

    -... -
    i>>= 4; -
    .. -

    - - -

    -generates the following code. - -

    -mov a,_i -
    swap a -
    anl a,#0x0f -
    mov _i,a -

    - - -

    +efficient way possible, e.g.:
    +
    +unsigned char i;
    +...
    +i> >= 4;
    +...
    +
    +generates the following code:
    +
    +mov a,_i
    +swap a
    +anl a,#0x0f
    +mov _i,a
    +
    In general SDCC will never setup a loop if the shift count is known. -Another example - -

    -unsigned int i; -
    ... -
    i >>= 9; -
    ... -

    - - -

    -will generate - -

    -mov a,(_i + 1) -
    mov (_i + 1),#0x00 -
    clr c -
    rrc a -
    mov _i,a -

    - - -

    -Note that SDCC stores numbers in LITTLE-ENDIAN format (i.e. -lowest order first) - -

    - -

    -4.1.9 Bit-rotation -

    - -

    +Another example:
    +
    +unsigned int i;  
    +...  
    +i > >= 9;  
    +...
    +
    +will generate:
    +
    +mov a,(_i + 1)  
    +mov (_i + 1),#0x00  
    +clr c  
    +rrc a  
    +mov _i,a
    +
    +Note that SDCC stores numbers in little-endian format (i.e. lowest +order first). + +

    +

    +4.1.9  Bit-rotation

    + +

    A special case of the bit-shift operation is bit rotation, SDCC recognizes -the following expression to be a left bit-rotation. - -

    -unsigned char i; -
    ... -
    i = ( ( i << 1) | ( i >> -7)); -
    ... -

    - - -

    -will generate the following code. - -

    -mov a,_i -
    rl a -
    mov _i,a -

    - - -

    +the following expression to be a left bit-rotation:
    +
    +unsigned char i;  
    +...  
    +i = ((i < < 1) | (i > > +7));
    +...
    +
    +will generate the following code:
    +
    +mov a,_i  
    +rl a  
    +mov _i,a
    +
    SDCC uses pattern matching on the parse tree to determine this operation.Variations -of this case will also be recognized as bit-rotation i.e i = -((i >> 7) | (i << 1)); /* -left-bit rotation */ - -

    +of this case will also be recognized as bit-rotation, i.e.:
    +
    +i = ((i > > 7) | (i < < +1)); /* left-bit rotation */ -

    -4.1.10 Highest Order Bit -

    +

    +

    +4.1.10  Highest Order Bit

    -

    +

    It is frequently required to obtain the highest order bit of an integral type (long, int, short or char types). SDCC recognizes the following expression to yield the highest order bit and generates optimized -code for it. - -

    -eg -
    unsigned int gint; -
    foo () { -
    unsigned char hob; -
       ... -
       hob = (gint >> 15) & 1; -
       .. -
    } -

    - - -

    -Will generate the following code. - -

    -                             61 -;  hob.c 7 -
       000A E5*01                62         -mov  a,(_gint + 1) -
       000C 33                   63         -rlc  a -
       000D E4                   64         -clr  a -
       000E 13                   65         -rrc  a -
       000F F5*02                66         -mov  _foo_hob_1_1,a -

    - - -

    -Variations of this case however will NOT be recognized. It is a standard -C expression , so I heartily recommend this be the only way to get -the highest order bit, (it is portable). Of course it will be recognized -even if it is embedded in other expressions. - -

    -eg. -

    - - -

    -xyz = gint + ((gint >> 15) & 1); -

    - - -

    +code for it, e.g.:
    +
    + unsigned int gint;  
    + 
    +foo () {  
    +unsigned char hob;  
    +  ...  
    +  hob = (gint > > 15) & 1;  
    +  ..  
    +}
    +
    +will generate the following code:
    + 
    +                             61 +;  hob.c 7  
    +   000A E5*01                62         +mov  a,(_gint + 1)  
    +   000C 33                   63         +rlc  a  
    +   000D E4                   64         +clr  a  
    +   000E 13                   65         +rrc  a  
    +   000F F5*02                66         +mov  _foo_hob_1_1,a 
    + 
    +Variations of this case however will not be recognized. It +is a standard C expression, so I heartily recommend this be the only +way to get the highest order bit, (it is portable). Of course it will +be recognized even if it is embedded in other expressions, e.g.:
    +
    +xyz = gint + ((gint > > 15) & 1);
    +
    will still be recognized. -

    - -

    -4.1.11 Peep-hole Optimizer -

    +

    +

    +4.1.11  Peep-hole Optimizer

    -

    -The compiler uses a rule based , pattern matching and re-writing mechanism -for peep-hole optimization. It is inspired by 'copt' a peep-hole +

    +The compiler uses a rule based, pattern matching and re-writing mechanism +for peep-hole optimization. It is inspired by copt a peep-hole optimizer by Christopher W. Fraser (cwfraser@microsoft.com). A default set of rules are compiled into the compiler, additional rules may -be added with the -peep-file <filename> option. The rule language -is best illustrated with examples. - -

    -replace { -
    mov %1,a -
    mov a,%1 } by { mov %1,a } -

    - - -

    -The above rule will the following assembly sequence - -

    -mov r1,a -
    mov a,r1 -

    - - -

    -to - -

    -mov r1,a -

    - - -

    -Note: All occurrences of a '%n' ( pattern variable ) must denote -the same string. With the above rule, the assembly sequence - -

    -mov r1,a -
    mov a,r2 -

    - - -

    -will remain unmodified. Other special case optimizations may be added -by the user (via -peep-file option), eg. some variants of the 8051 -MCU allow only 'AJMP' and 'ACALL' , the following two rules will change -all 'LJMP' & 'LCALL' to 'AJMP' & 'ACALL'. - -

    -replace { lcall %1 } by { acall %1 } -
    replace { ljmp %1 } by { ajmp %1 } -

    - - -

    -The inline-assembler' code is also passed through the peep hole optimizer, -thus the peephole optimizer can also be used as an assembly level -macro expander. The rules themselves are MCU dependent whereas the -rule language infra-structure is MCU independent. Peephole optimization -rules for other MCU can be easily programmed using the rule language. - -

    -The syntax for a rule is as follows , - -

    -rule := replace [ restart ] '{' <assembly sequence> '\n' - -
                                '}' by '{' '\n' - -
                                    <assembly -sequence> '\n' -
                                '}' [if <functionName> -] '\n' -
    <assembly sequence> := assembly instruction (each instruction -including labels must be on a separate line).    -

    - - -

    +be added with the -peep-file <filename> option. The rule language +is best illustrated with examples.
    +
    +replace {  
    +  mov %1,a  
    +  mov a,%1 
    +} by { 
    +  mov %1,a 
    +}
    +
    +The above rule will change the following assembly sequence:
    +
    +  mov r1,a  
    +  mov a,r1
    +
    +to
    +
    +mov r1,a
    +
    +Note: All occurrences of a %n (pattern variable) must denote +the same string. With the above rule, the assembly sequence:
    +
    +  mov r1,a  
    +  mov a,r2
    +
    +will remain unmodified.
    +
    +Other special case optimizations may be added by the user (via -peep-file +option). E.g. some variants of the 8051 MCU allow only ajmp +and acall. The following two rules will change all ljmp +and lcall to ajmp and acall
    +
    +replace { lcall %1 } by { acall %1 }  
    +replace { ljmp %1 } by { ajmp %1 }
    +
    +The inline-assembler code is also passed through the peep hole +optimizer, thus the peephole optimizer can also be used as an assembly +level macro expander. The rules themselves are MCU dependent whereas +the rule language infra-structure is MCU independent. Peephole optimization +rules for other MCU can be easily programmed using the rule language.
    +
    +The syntax for a rule is as follows:
    +
    +rule := replace [ restart ] '{' <assembly sequence> 'n' + 
    +                            '}' by '{' 'n' + 
    +                                <assembly +sequence> 'n'  
    +                            '}' [if <functionName> +] 'n'  
    +
    +<assembly sequence> := assembly instruction (each instruction including +labels must be on a separate line).
    +
    The optimizer will apply to the rules one by one from the top in the sequence of their appearance, it will terminate when all rules are -exhausted. If the 'restart' option is specified, then the optimizer +exhausted. If the 'restart' option is specified, then the optimizer will start matching the rules again from the top, this option for a rule is expensive (performance), it is intended to be used in situations where a transformation will trigger the same rule again. A good example -of this the following rule. - -

    -replace restart { -
    pop %1 -
    push %1 } by { -
    ; nop -
    } -

    - - -

    +of this the following rule:
    +
    +replace restart {
    +  pop %1
    +  push %1 } by {
    +  ; nop
    +}
    +
    Note that the replace pattern cannot be a blank, but can be a comment -line. Without the 'restart' option only the inner most 'pop' -'push' pair would be eliminated. i.e. - -

    -pop ar1 -
    pop ar2 -
    push ar2 -
    push ar1 -

    - - -

    -would result in - -

    -pop ar1 -
    ; nop -
    push ar1 -

    - - -

    -with the 'restart' option the rule will be applied again to -the resulting code and the all the 'pop' 'push' pairs will -be eliminated to yield - -

    -; nop -
    ; nop -

    - - -

    +line. Without the 'restart' option only the inner most 'pop' 'push' +pair would be eliminated, i.e.:
    +
    +  pop ar1  
    +  pop ar2  
    +  push ar2  
    +  push ar1
    +
    +would result in:
    +
    +pop ar1  
    +; nop  
    +push ar1
    +
    +with the restart option the rule will be applied again to the +resulting code and then all the pop-push pairs will be eliminated +to yield:
    +
    +; nop  
    +; nop
    +
    A conditional function can be attached to a rule. Attaching rules -are somewhat more involved, let me illustrate this with an example. - -

    -replace { -
         ljmp %5 -
    %2:} by { -
         sjmp %5 -
    %2:} if labelInRange -

    - - -

    +are somewhat more involved, let me illustrate this with an example.
    +
    +replace {  
    +     ljmp %5  
    +%2:} by {  
    +     sjmp %5  
    +%2:} if labelInRange
    +
    The optimizer does a look-up of a function name table defined in function -'callFuncByName' in the source file SDCCpeeph.c , with -the name 'labelInRange', if it finds a corresponding entry -the function is called. Note there can be no parameters specified -for these functions, in this case the use of '%5' is crucial, -since the function labelInRange expects to find the label in -that particular variable (the hash table containing the variable bindings -is passed as a parameter). If you want to code more such functions -, take a close look at the function labelInRange and the calling -mechanism in source file SDCCpeeph.c. I know this whole thing -is a little kludgey , may be some day we will have some better means. -If you are looking at this file, you will also see the default rules -that are compiled into the compiler, you can your own rules in the -default set there if you get tired of specifying the -peep-file -option. - -

    - -

    -4.2 Pragmas -

    - -

    -SDCC supports the following #pragma directives. This directives -are applicable only at a function level. - -

    - -

    The pragma's are intended to be used to turn-off certain optimizations which might cause the compiler to generate extra stack / data space to store compiler generated temporary variables. This usually happens in large functions. Pragma directives should be used as shown in the following example, they are used to control options & optimizations -for a given function; pragmas should be placed BEFORE and/or -AFTER a function, placing pragma's inside a function body -could have unpredictable results. - -

    -eg -

    - - -

    -#pragma SAVE   /* save the current settings */ - -
    #pragma NOGCSE /* turnoff global subexpression elimination -*/ -
    #pragma NOINDUCTION /* turn off induction optimizations -*/ -
    int foo () -
    { -
        ... -
        /* large code */ -
        ... -
    } -
    #pragma RESTORE /* turn the optimizations back on -*/ -

    - - -

    +for a given function; pragmas should be placed before and/or after +a function, placing pragma's inside a function body could have unpredictable +results. + +

    +eg + +

    +#pragma SAVE   /* save the current settings */
    +#pragma NOGCSE /* turnoff global subexpression elimination */ +
    +#pragma NOINDUCTION /* turn off induction optimizations */
    +int foo ()
    +{
    +    ...
    +    /* large code */
    +    ...
    +}
    +#pragma RESTORE /* turn the optimizations back on */ + +

    The compiler will generate a warning message when extra space is allocated. It is strongly recommended that the SAVE and RESTORE pragma's be used when changing options for a function. -

    +

    +

    +4.3  Library Routines

    -

    -4.3 Library Routines -

    - -

    +

    The following library routines are provided for your convenience. -

    -stdio.h - Contains the following functions printf -& sprintf these routines are developed by Martijn van Balen -<balen@natlab.research.philips.com>. - -

    -%[flags][width][b|B|l|L]type -

    - - -

    -           flags: -        left justify -output in specified field width -
                     +        prefix -output with +/- sign if output is signed type -
                     space    prefix output -with a blank if it's a signed positive value -
              width:          specifies -minimum number of characters outputted for numbers -
                              or -strings. -
                              - -For numbers, spaces are added on the left when needed. -
                                -If width starts with a zero character, zeroes and used -
                                -instead of spaces. -
                              - -For strings, spaces are are added on the left or right (when -
                                -flag '-' is used) when needed. -
                              -
              b/B:            byte argument -(used by d, u, o, x, X) -
              l/L:            long argument -(used by d, u, o, x, X) -
              type:  d        decimal number - -
                     u        unsigned -decimal number -
                     o        unsigned -octal number -
                     x        unsigned -hexadecimal number (0-9, a-f) -
                     X        unsigned -hexadecimal number (0-9, A-F) -
                     c        character - -
                     s        string -(generic pointer) -
                     p        generic -pointer (I:data/idata, C:code, X:xdata, P:paged) -
                     f        float -(still to be implemented) -

    - - -

    -Also contains a very simple version of printf (printf_small). -This simplified version of printf supports only the following formats. - -

    -format     output type     argument-type -
    %d         decimal       short/int -
    %ld        decimal       long -
    %hd        decimal       char -
    %x        hexadecimal    short/int -
    %lx       hexadecimal    long -
    %hx       hexadecimal    char -
    %o         octal         short/int - -
    %lo        octal         long -
    %ho        octal         char -
    %c        character      char -
    %s        character     _generic pointer -

    - - -

    -The routine is very stack intesive , -stack-after-data parameter -should be used when using this routine, the routine also takes about -1K of code space. It also expects an external function named putchar(char -) to be present (this can be changed). When using the %s format -the string / pointer should be cast to a generic pointer. eg. - -

    -printf_small(``my str %s, my int %d\n'',(char -_generic *)mystr,myint); -

    - - -

    - -

    -All library routines are compiled as -model-small , they are all -non-reentrant, if you plan to use the large model or want to make -these routines reentrant, then they will have to be recompiled with -the appropriate compiler option. - -

    +

    +stdio.h - Contains the following functions printf & sprintf these +routines are developed by Martijn van Balen <balen@natlab.research.philips.com>. + +

    +%[flags][width][b|B|l|L]type + +

    +           flags: -        left justify output in +specified field width
    +                 +        prefix output with ++/- sign if output is signed type
    +                 space    prefix output with a +blank if it's a signed positive value
    +          width:          specifies minimum number +of characters outputted for numbers
    +                          or strings.
    +                          - For numbers, +spaces are added on the left when needed.
    +                            If width starts +with a zero character, zeroes and used
    +                            instead of +spaces.
    +                          - For strings, +spaces are are added on the left or right (when
    +                            flag '-' is +used) when needed.
    +                         
    +          b/B:            byte argument (used +by d, u, o, x, X)
    +          l/L:            long argument (used +by d, u, o, x, X)
    +          type:  d        decimal number
    +                 u        unsigned decimal +number
    +                 o        unsigned octal number +
    +                 x        unsigned hexadecimal +number (0-9, a-f)
    +                 X        unsigned hexadecimal +number (0-9, A-F)
    +                 c        character
    +                 s        string (generic pointer) +
    +                 p        generic pointer (I:data/idata, +C:code, X:xdata, P:paged)
    +                 f        float (still to be +implemented) + +

    +Also contains a very simple version of printf (printf_small). This +simplified version of printf supports only the following formats. + +

    +format     output type     argument-type
    +%d         decimal       short/int
    +%ld        decimal       long
    +%hd        decimal       char
    +%x        hexadecimal    short/int
    +%lx       hexadecimal    long
    +%hx       hexadecimal    char
    +%o         octal         short/int
    +%lo        octal         long
    +%ho        octal         char
    +%c        character      char
    +%s        character     _generic pointer + +

    +The routine is very stack intesive, -stack-after-data parameter should +be used when using this routine, the routine also takes about 1K of +code space. It also expects an external function named putchar(char) +to be present (this can be changed). When using the %s format the +string / pointer should be cast to a generic pointer. eg. + +

    +printf_small(``my str %s, my int %dn'',(char +_generic *)mystr,myint); + +

    + +

    +All library routines are compiled as -model-small, they are all non-reentrant, +if you plan to use the large model or want to make these routines +reentrant, then they will have to be recompiled with the appropriate +compiler option. + +

    Have not had time to do the more involved routines like printf, will get to them shortly. -

    - -

    -4.4 Interfacing with Assembly Routines -

    - -

    +

    +

    +4.4  Interfacing with Assembly Routines

    -

    -4.5 Global Registers used for Parameter Passing -

    +

    +

    +4.5  Global Registers used for Parameter Passing

    -

    +

    By default the compiler uses the global registers ``DPL,DPH,B,ACC'' to pass the first parameter to a routine, the second parameter onwards is either allocated on the stack (for reentrant routines or -stack-auto is used) or in the internal / external ram (depending on the memory model). -

    - -

    -4.5.1 Assembler Routine(non-reentrant) -

    - -

    -In the following example the function cfunc calls an assembler -routine asm_func, which takes two parameters. - -

    -extern int asm_func( unsigned char, unsigned char); -

    - - -

    -  -
    int c_func (unsigned char i, unsigned char j) -
    { -
            return asm_func(i,j); -
    } -
    int main() -
    { -
       return c_func(10,9); -
    } -

    - - -

    +

    +

    +4.5.1  Assembler Routine(non-reentrant)

    + +

    +In the following example the function cfunc calls an assembler routine +asm_func, which takes two parameters. + +

    +extern int asm_func(unsigned char, unsigned char); + +


    +int c_func (unsigned char i, unsigned char j)
    +{
    +        return asm_func(i,j);
    +}
    +int main()
    +{
    +   return c_func(10,9);
    +} + +

    The corresponding assembler function is:- -

    -        .globl _asm_func_PARM_2 -
            .globl _asm_func -
            .area OSEG -
    _asm_func_PARM_2:       .ds      1 -
            .area CSEG -
    _asm_func: -
            mov     a,dpl -
            add     a,_asm_func_PARM_2 -
            mov     dpl,a -
            mov     dpl,#0x00 -
            ret -

    - - -

    +

    +        .globl _asm_func_PARM_2
    +        .globl _asm_func
    +        .area OSEG
    +_asm_func_PARM_2:       .ds      1
    +        .area CSEG
    +_asm_func:
    +        mov     a,dpl
    +        add     a,_asm_func_PARM_2
    +        mov     dpl,a
    +        mov     dpl,#0x00
    +        ret + +

    Note here that the return values are placed in 'dpl' - One byte return value, 'dpl' LSB & 'dph' MSB for two byte values. 'dpl', 'dph' and 'b' for three byte values (generic pointers) and 'dpl','dph','b' & 'acc' for four byte values. -

    -The parameter naming convention is _<function_name>_PARM_<n>, +

    +The parameter naming convention is _<function_name>_PARM_<n>, where n is the parameter number starting from 1, and counting from the left. The first parameter is passed in ``dpl'' for One bye parameter, ``dptr'' if two bytes, ``b,dptr'' for three bytes -and ``acc,b,dptr'' for four bytes, the varaible -name for the second parameter will be _<function_name>_PARM_2. -

    - +and ``acc,b,dptr'' for four bytes, the varaible name for the second +parameter will be _<function_name>_PARM_2. -

    +

    Assemble the assembler routine with the following command. -

    +

    asx8051 -losg asmfunc.asm -

    +

    Then compile and link the assembler routine to the C source file with the following command, -

    +

    sdcc cfunc.c asmfunc.rel -

    - -

    -4.5.2 Assembler Routine(reentrant) -

    - -

    -In this case the second parameter onwards will be passed on the stack -, the parameters are pushed from right to left i.e. after the call -the left most parameter will be on the top of the stack. Here is an -example. - -

    -extern int asm_func( unsigned char, unsigned char); -

    +

    +

    +4.5.2  Assembler Routine(reentrant)

    +

    +In this case the second parameter onwards will be passed on the stack, +the parameters are pushed from right to left i.e. after the call the +left most parameter will be on the top of the stack. Here is an example. -

    -  -

    - - -

    -int c_func (unsigned char i, unsigned char j) reentrant - -
    { -
            return asm_func(i,j); -
    } -
    int main() -
    { -
       return c_func(10,9); -
    } -

    +

    +extern int asm_func(unsigned char, unsigned char); +

    +  -

    +

    +int c_func (unsigned char i, unsigned char j) reentrant
    +{
    +        return asm_func(i,j);
    +}
    +int main()
    +{
    +   return c_func(10,9);
    +} + +

    The corresponding assembler routine is. -

    -        .globl _asm_func -
    _asm_func: -
            push  _bp -
            mov  _bp,sp -
            mov  r2,dpl -
            mov  a,_bp -
            clr  c -
            add  a,#0xfd -
            mov  r0,a -
            add  a,#0xfc -
            mov  r1,a -
            mov  a,@r0 -
            add  a,r2 -
            mov  dpl,a -
            mov  dph,#0x00 -
            mov  sp,_bp -
            pop  _bp -
            ret -

    - - -

    +

    +        .globl _asm_func
    +_asm_func:
    +        push  _bp
    +        mov  _bp,sp
    +        mov  r2,dpl
    +        mov  a,_bp
    +        clr  c
    +        add  a,#0xfd
    +        mov  r0,a
    +        add  a,#0xfc
    +        mov  r1,a
    +        mov  a,@r0
    +        add  a,r2
    +        mov  dpl,a
    +        mov  dph,#0x00
    +        mov  sp,_bp
    +        pop  _bp
    +        ret + +

    The compiling and linking procedure remains the same, however note the extra entry & exit linkage required for the assembler code, _bp is the stack frame pointer and is used to compute the offset into the stack for parameters and local variables. -

    +

    +

    +4.6  External Stack

    -

    -4.6 External Stack -

    - -

    -The external stack is located at the start of the external ram segment -, and is 256 bytes in size. When -xstack option is used to compile +

    +The external stack is located at the start of the external ram segment, +and is 256 bytes in size. When -xstack option is used to compile the program, the parameters and local variables of all reentrant functions are allocated in this area. This option is provided for programs with large stack space requirements. When used with the -stack-auto option, all parameters and local variables are allocated on the external stack (note support libraries will need to be recompiled with the same options). -

    +

    The compiler outputs the higher order address byte of the external ram segment into PORT P2, therefore when using the External Stack option, this port MAY NOT be used by the application program. -

    - -

    -4.7 ANSI-Compliance -

    +

    +

    +4.7  ANSI-Compliance

    -

    +

    Deviations from the compliancy. -

    +

    -

      -
    1. functions are not always reentrant. -
    2. -
    3. structures cannot be assigned values directly, cannot be passed as +

        +

      1. functions are not always reentrant.
      2. +

        +

      3. structures cannot be assigned values directly, cannot be passed as function parameters or assigned to each other and cannot be a return value from a function. -

        -eg -

        - - -

        -

      4. -
      -struct s { ... }; -
      struct s s1, s2; -
      foo() -
      { -
      ... -
      s1 = s2 ; /* is invalid in SDCC although allowed in ANSI -*/ -
      ... -
      } -

      - - -

      -struct s foo1 (struct s parms) /* is invalid in SDCC although -allowed in ANSI */ -
      { -
      struct s rets; -
      ... -
      return rets;/* is invalid in SDCC although allowed in ANSI -*/ -
      } -

      - - -

      - -

        -
      1. 'long long' (64 bit integers) not supported. -
      2. -
      3. 'double' precision floating point not supported. -
      4. -
      5. integral promotions are suppressed. What does this mean ? The compiler +

        +eg

      6. +
      +struct s { ... };
      +struct s s1, s2;
      +foo()
      +{
      +...
      +s1 = s2 ; /* is invalid in SDCC although allowed in ANSI */
      +...
      +} + +

      +struct s foo1 (struct s parms) /* is invalid in SDCC although allowed +in ANSI */
      +{
      +struct s rets;
      +...
      +return rets;/* is invalid in SDCC although allowed in ANSI */ +
      +} + +

      + +

        +

      1. 'long long' (64 bit integers) not supported.
      2. +

        +

      3. 'double' precision floating point not supported.
      4. +

        +

      5. integral promotions are suppressed. What does this mean ? The compiler will not implicitly promote an integer expression to a higher order -integer, exception is an assignment or parameter passing. -
      6. -
      7. No support for setjmp and longjmp (for now). -
      8. -
      9. Old K&R style function declarations are NOT allowed. -
      10. -
      -foo( i,j) /* this old style of function declarations -*/ -
      int i,j; /* are valid in ANSI .. not valid in SDCC -*/ -
      { -
      ... -
      } -

      - - -

      - -

        -
      1. functions declared as pointers must be dereferenced during the call. - -

        -int (*foo)(); -

        - - -

        -

      2. -
      -   ... -
         /* has to be called like this */ -
         (*foo)();/* ansi standard allows calls to be made -like 'foo()' */ -

      - - -

      - -

      -4.8 Cyclomatic Complexity -

      - -

      +integer, exception is an assignment or parameter passing.

    4. +

      +

    5. No support for setjmp and longjmp (for now).
    6. +

      +

    7. Old K&R style function declarations are NOT allowed.
    8. +
    +foo(i,j) /* this old style of function declarations */
    +int i,j; /* are valid in ANSI .. not valid in SDCC */
    +{
    +...
    +} + +

    + +

      +

    1. functions declared as pointers must be dereferenced during the call. + +

      +int (*foo)();

    2. +
    +   ...
    +   /* has to be called like this */
    +   (*foo)();/* ansi standard allows calls to be made like 'foo()' +*/ + +

    +

    +4.8  Cyclomatic Complexity

    + +

    Cyclomatic complexity of a function is defined as the number of independent paths the program can take during execution of the function. This is an important number since it defines the number test cases you @@ -3554,20 +2677,17 @@ for complexity number is 10, if the cyclomatic complexity reported by SDCC exceeds 10 you should think about simplification of the function logic. -

    +

    Note that the complexity level is not related to the number of lines of code in a function. Large functions can have low complexity, and small functions can have large complexity levels. SDCC uses the following formula to compute the complexity. -

    -complexity = (number of edges in control flow graph) - -
                 (number of nodes in control flow graph) -+ 2; -

    - +

    +complexity = (number of edges in control flow graph) -
    +             (number of nodes in control flow graph) + 2; -

    +

    Having said that the industry standard is 10, you should be aware that in some cases it may unavoidable to have a complexity level of less than 10. For example if you have switch statement with more than @@ -3576,87 +2696,77 @@ The complexity level is by no means an absolute measure of the algorithmic complexity of the function, it does however provide a good starting point for which functions you might look at for further optimization. -

    +

    +

    +5  TIPS

    -

    -5 TIPS -

    - -

    +

    Here are a few guide-lines that will help the compiler generate more efficient code, some of the tips are specific to this compiler others are generally good programming practice. -

    +

    -

    -Notes on MCS51 memory layout(Trefor@magera.freeserve.co.uk) - -

    +

    The 8051 family of micro controller have a minimum of 128 bytes of internal memory which is structured as follows -

    +

    - Bytes 00-1F - 32 bytes to hold up to 4 banks of the registers R7 to R7 -

    +

    - Bytes 20-2F - 16 bytes to hold 128 bit variables and -

    +

    - Bytes 30-7F - 60 bytes for general purpose use. -

    +

    Normally the SDCC compiler will only utilise the first bank of registers, but it is possible to specify that other banks of registers should be used in interrupt routines. By default, the compiler will place @@ -3666,557 +2776,488 @@ stack at address 16 (0X10). This implies that as the stack grows, it will use up the remaining register banks, and the 16 bytes used by the 128 bit variables, and 60 bytes for general purpose use. -

    +

    By default, the compiler uses the 60 general purpose bytes to hold -"near data". The compiler/optimiser may also declare +"near data". The compiler/optimiser may also declare some Local Variables in this area to hold local data. -

    +

    If any of the 128 bit variables are used, or near data is being used then care needs to be taken to ensure that the stack does not grow so much that it starts to over write either your bit variables or -"near data". There is no runtime checking to prevent +"near data". There is no runtime checking to prevent this from happening. -

    -The amount of stack being used is affected by the use of the "internal -stack" to save registers before a subroutine call is made, +

    +The amount of stack being used is affected by the use of the "internal +stack" to save registers before a subroutine call is made, - -stack-auto will declare parameters and local variables on the stack - the number of nested subroutines. -

    +

    If you detect that the stack is over writing you data, then the following can be done. -xstack will cause an external stack to be used for saving registers and (if -stack-auto is being used) storing parameters and local variables. However this will produce more and code which will be slower to execute. -

    +

    -stack-loc will allow you specify the start of the stack, i.e. you could start it after any data in the general purpose area. However this may waste the memory not used by the register banks and if the -size of the "near data" increases, it may creep +size of the "near data" increases, it may creep into the bottom of the stack. -

    +

    -stack-after-data, similar to the -stack-loc, but it automatically -places the stack after the end of the "near data". +places the stack after the end of the "near data". Again this could waste any spare register space. -

    +

    -data-loc allows you to specify the start address of the near data. -This could be used to move the "near data" further +This could be used to move the "near data" further away from the stack giving it more room to grow. This will only work if no bit variables are being used and the stack can grow to use the bit variable space. -

    +

    Conclusion. -

    -If you find that the stack is over writing your bit variables or "near -data" then the approach which best utilised the internal -memory is to position the "near data" after the +

    +If you find that the stack is over writing your bit variables or "near +data" then the approach which best utilised the internal +memory is to position the "near data" after the last bank of used registers or, if you use bit variables, after the last bit variable by using the -data-loc, e.g. if two register banks are being used and no data variables, -data-loc 16, and - use the -stack-after-data option. -

    +

    If bit variables are being used, another method would be to try and squeeze the data area in the unused register banks if it will fit, and start the stack after the last bit variable. -

    - -

    -6 Retargetting for other MCUs. -

    +

    +

    +6  Retargetting for other MCUs.

    -

    +

    The issues for retargetting the compiler are far too numerous to be covered by this document. What follows is a brief description of each of the seven phases of the compiler and its MCU dependency. -

    +

    -

      -
    1. Parsing the source and building the annotated parse tree. This phase +

        +

      1. Parsing the source and building the annotated parse tree. This phase is largely MCU independent (except for the language extensions). Syntax -& semantic checks are also done in this phase , along with some initial +& semantic checks are also done in this phase, along with some initial optimizations like back patching labels and the pattern matching optimizations -like bit-rotation etc. -
      2. -
      3. The second phase involves generating an intermediate code which can +like bit-rotation etc.
      4. +

        +

      5. The second phase involves generating an intermediate code which can be easy manipulated during the later phases. This phase is entirely MCU independent. The intermediate code generation assumes the target machine has unlimited number of registers, and designates them with the name iTemp. The compiler can be made to dump a human readable -form of the code generated by using the -dumpraw option. -
      6. -
      7. This phase does the bulk of the standard optimizations and is also +form of the code generated by using the -dumpraw option.
      8. +

        +

      9. This phase does the bulk of the standard optimizations and is also MCU independent. This phase can be broken down into several sub-phases. -

        - -

          -
        • Break down intermediate code (iCode) into basic blocks. -
        • -
        • Do control flow & data flow analysis on the basic blocks. -
        • -
        • Do local common subexpression elimination, then global subexpression -elimination -
        • -
        • dead code elimination -
        • -
        • loop optimizations -
        • -
        • if loop optimizations caused any changes then do 'global subexpression -elimination' and 'dead code elimination' again. -
        • -
        -
      10. -
      11. This phase determines the live-ranges; by live range I mean those +

        + +

          +

        • Break down intermediate code (iCode) into basic blocks.
        • +

          +

        • Do control flow & data flow analysis on the basic blocks.
        • +

          +

        • Do local common subexpression elimination, then global subexpression +elimination
        • +

          +

        • dead code elimination
        • +

          +

        • loop optimizations
        • +

          +

        • if loop optimizations caused any changes then do 'global subexpression +elimination' and 'dead code elimination' again.
        • +
      12. +

        +

      13. This phase determines the live-ranges; by live range I mean those iTemp variables defined by the compiler that still survive after all the optimizations. Live range analysis is essential for register allocation, since these computation determines which of these iTemps will be assigned -to registers, and for how long. -
      14. -
      15. Phase five is register allocation. There are two parts to this process. +to registers, and for how long.
      16. +

        +

      17. Phase five is register allocation. There are two parts to this process. -

        +

        -

          -
        1. The first part I call 'register packing' (for lack of a better term). +

            +

          1. The first part I call 'register packing' (for lack of a better term). In this case several MCU specific expression folding is done to reduce -register pressure. -
          2. -
          3. The second part is more MCU independent and deals with allocating +register pressure.
          4. +

            +

          5. The second part is more MCU independent and deals with allocating registers to the remaining live ranges. A lot of MCU specific code does creep into this phase because of the limited number of index -registers available in the 8051. -
          6. -
          -
        2. -
        3. The Code generation phase is (unhappily), entirely MCU dependent and +registers available in the 8051.
        4. +
      18. +

        +

      19. The Code generation phase is (unhappily), entirely MCU dependent and very little (if any at all) of this code can be reused for other MCU. However the scheme for allocating a homogenized assembler operand -for each iCode operand may be reused. -
      20. -
      21. As mentioned in the optimization section the peep-hole optimizer is -rule based system, which can reprogrammed for other MCUs. -
      22. -
      - -

      +for each iCode operand may be reused.

    2. +

      +

    3. As mentioned in the optimization section the peep-hole optimizer is +rule based system, which can reprogrammed for other MCUs.
    4. +
    -

    -7 SDCDB - Source Level Debugger -

    +

    +

    +7  SDCDB - Source Level Debugger

    -

    +

    SDCC is distributed with a source level debugger. The debugger uses a command line interface, the command repertoire of the debugger has -been kept as close to gdb ( the GNU debugger) as possible. The configuration +been kept as close to gdb (the GNU debugger) as possible. The configuration and build process is part of the standard compiler installation, which also builds and installs the debugger in the target directory specified during configuration. The debugger allows you debug BOTH at the C source and at the ASM source level. -

    - -

    -7.1 Compiling for Debugging -

    - -

    -The -debug option must be specified for all files for which -debug information is to be generated. The complier generates a .cdb -file for each of these files. The linker updates the .cdb file -with the address information. This .cdb is used by the debugger. - -

    - -

    -7.2 How the Debugger Works -

    - -

    -When the -debug option is specified the compiler generates -extra symbol information some of which are put into the the assembler -source and some are put into the .cdb file, the linker updates the -.cdb file with the address information for the symbols. The debugger -reads the symbolic information generated by the compiler & the address -information generated by the linker. It uses the SIMULATOR (Daniel's -S51) to execute the program, the program execution is controlled by -the debugger. When a command is issued for the debugger, it translates -it into appropriate commands for the simulator. - -

    - -

    -7.3 Starting the Debugger -

    - -

    +

    +

    +7.1  Compiling for Debugging

    + +

    +The -debug option must be specified for all files for which debug +information is to be generated. The complier generates a .cdb file +for each of these files. The linker updates the .cdb file with the +address information. This .cdb is used by the debugger. + +

    +

    +7.2  How the Debugger Works

    + +

    +When the -debug option is specified the compiler generates extra +symbol information some of which are put into the the assembler source +and some are put into the .cdb file, the linker updates the .cdb file +with the address information for the symbols. The debugger reads the +symbolic information generated by the compiler & the address information +generated by the linker. It uses the SIMULATOR (Daniel's S51) to execute +the program, the program execution is controlled by the debugger. +When a command is issued for the debugger, it translates it into appropriate +commands for the simulator. + +

    +

    +7.3  Starting the Debugger

    + +

    The debugger can be started using the following command line. (Assume the file you are debugging has -

    +

    the file name foo). -

    ->sdcdb foo +

    +>sdcdb foo -

    +

    The debugger will look for the following files. -

    - -

      -
    1. foo.c - the source file. -
    2. -
    3. foo.cdb - the debugger symbol information file. -
    4. -
    5. foo.ihx - the intel hex format object file. -
    6. -
    +

    -

    +

      +

    1. foo.c - the source file.
    2. +

      +

    3. foo.cdb - the debugger symbol information file.
    4. +

      +

    5. foo.ihx - the intel hex format object file.
    6. +
    -

    -7.4 Command Line Options. -

    +

    +

    +7.4  Command Line Options.

    -

    +

    -

    + +

    +

    +7.5  Debugger Commands.

    + +

    As mention earlier the command interface for the debugger has been -deliberately kept as close the GNU debugger gdb , as possible, this +deliberately kept as close the GNU debugger gdb, as possible, this will help int integration with existing graphical user interfaces (like ddd, xxgdb or xemacs) existing for the GNU debugger. -

    +

    +

    +7.5.1  break [line | file:line | function | file:function]

    -

    -7.5.1 break [line | file:line | function | file:function] -

    - -

    +

    Set breakpoint at specified line or function. -

    -sdcdb>break 100 -
    -sdcdb>break foo.c:100 -
    -sdcdb>break funcfoo -
    -sdcdb>break foo.c:funcfoo - -

    +

    +sdcdb>break 100
    +sdcdb>break foo.c:100
    +sdcdb>break funcfoo
    +sdcdb>break foo.c:funcfoo -

    -7.5.2 clear [line | file:line | function | file:function ] -

    +

    +

    +7.5.2  clear [line | file:line | function | file:function ]

    -

    +

    Clear breakpoint at specified line or function. -

    -sdcdb>clear 100 -
    -sdcdb>clear foo.c:100 -
    -sdcdb>clear funcfoo -
    -sdcdb>clear foo.c:funcfoo +

    +sdcdb>clear 100
    +sdcdb>clear foo.c:100
    +sdcdb>clear funcfoo
    +sdcdb>clear foo.c:funcfoo -

    +

    +

    +7.5.3  continue

    -

    -7.5.3 continue -

    - -

    +

    Continue program being debugged, after breakpoint. -

    - -

    -7.5.4 finish -

    +

    +

    +7.5.4  finish

    -

    +

    Execute till the end of the current function. -

    - -

    -7.5.5 delete [n] -

    +

    +

    +7.5.5  delete [n]

    -

    +

    Delete breakpoint number 'n'. If used without any option clear ALL user defined break points. -

    +

    +

    +7.5.6  info [break | stack | frame | registers ]

    -

    -7.5.6 info [break | stack | frame | registers ] -

    +

    -

    +

    - +

    +

    +7.5.7  step

    -

    - -

    -7.5.7 step -

    - -

    +

    Step program until it reaches a different source line. -

    - -

    -7.5.8 next -

    +

    +

    +7.5.8  next

    -

    +

    Step program, proceeding through subroutine calls. -

    +

    +

    +7.5.9  run

    -

    -7.5.9 run -

    - -

    +

    Start debugged program. -

    - -

    -7.5.10 ptype variable -

    +

    +

    +7.5.10  ptype variable

    -

    +

    Print type information of the variable. -

    - -

    -7.5.11 print variable -

    +

    +

    +7.5.11  print variable

    -

    +

    print value of variable. -

    +

    +

    +7.5.12  file filename

    -

    -7.5.12 file filename -

    - -

    +

    load the given file name. Note this is an alternate method of loading file for debugging. -

    - -

    -7.5.13 frame -

    +

    +

    +7.5.13  frame

    -

    +

    print information about current frame. -

    +

    +

    +7.5.14  set srcmode

    -

    -7.5.14 set srcmode -

    - -

    +

    Toggle between C source & assembly source. -

    - -

    -7.5.15 ! simulator command -

    +

    +

    +7.5.15  ! simulator command

    -

    +

    Send the string following '!' to the simulator, the simulator response is displayed. Note the debugger does not interpret the command being sent to the simulator, so if a command like 'go' is sent the debugger can loose its execution context and may display incorrect values. -

    - -

    -7.5.16 quit. -

    +

    +

    +7.5.16  quit.

    -

    -"Watch me now. Iam going Down. My name is Bobby Brown" +

    +"Watch me now. Iam going Down. My name is Bobby Brown" -

    +

    +

    +7.6  Interfacing with XEmacs.

    -

    -7.6 Interfacing with XEmacs. -

    - -

    +

    Two files are (in emacs lisp) are provided for the interfacing with -XEmacs, sdcdb.el and sdcdbsrc.el. These two files can -be found in the $(prefix)/bin directory after the installation is -complete. These files need to be loaded into XEmacs for the interface -to work, this can be done at XEmacs startup time by inserting the -following into your '.xemacs' file (which can be found in your -HOME directory) (load-file sdcdbsrc.el) [ .xemacs is a lisp -file so the () around the command is REQUIRED), the files can also -be loaded dynamically while XEmacs is running, set the environment -variable 'EMACSLOADPATH' to the installation bin directory -[$(prefix)/bin], then enter the following command ESC-x -load-file sdcdbsrc. To start the interface enter the following command -ESC-x sdcdbsrc , you will prompted to enter the file name to +XEmacs, sdcdb.el and sdcdbsrc.el. These two files can be found in +the $(prefix)/bin directory after the installation is complete. These +files need to be loaded into XEmacs for the interface to work, this +can be done at XEmacs startup time by inserting the following into +your '.xemacs' file (which can be found in your HOME directory) (load-file +sdcdbsrc.el) [ .xemacs is a lisp file so the () around the command +is REQUIRED), the files can also be loaded dynamically while XEmacs +is running, set the environment variable 'EMACSLOADPATH' to the installation +bin directory [$(prefix)/bin], then enter the following command +ESC-x load-file sdcdbsrc. To start the interface enter the following +command ESC-x sdcdbsrc, you will prompted to enter the file name to be debugged. -

    +

    The command line options that are passed to the simulator directly -are bound to default values in the file sdcdbsrc.el the variables +are bound to default values in the file sdcdbsrc.el the variables are listed below these values maybe changed as required. -

    +

    -

    + The following is a list of key mapping for the debugger interface. -

    -  -
    ;; Current Listing :: -
    ;;key               binding                      Comment - -
    ;;--               ----                      ---- - -
    ;; -
    ;; n               sdcdb-next-from-src          SDCDB -next command -
    ;; b               sdcdb-back-from-src          SDCDB -back command -
    ;; c               sdcdb-cont-from-src          SDCDB -continue command -
    ;; s               sdcdb-step-from-src          SDCDB -step command -
    ;; ?               sdcdb-whatis-c-sexp          SDCDB -ptypecommand for data at -
    ;;                                           -buffer point -
    ;; x               sdcdbsrc-delete              SDCDB -Delete all breakpoints if no arg -
    ;;                                              given -or delete arg (C-u arg x) -
    ;; m               sdcdbsrc-frame               SDCDB -Display current frame if no arg, -
    ;;                                              given -or display frame arg -
    ;;                                             buffer -point -
    ;; !               sdcdbsrc-goto-sdcdb          Goto -the SDCDB output buffer -
    ;; p               sdcdb-print-c-sexp           SDCDB -print command for data at -
    ;;                                           -buffer point -
    ;; g               sdcdbsrc-goto-sdcdb          Goto -the SDCDB output buffer -
    ;; t               sdcdbsrc-mode                Toggles -Sdcdbsrc mode (turns it off) -
    ;; -
    ;; C-c C-f         sdcdb-finish-from-src        SDCDB -finish command -
    ;; -
    ;; C-x SPC         sdcdb-break                  Set -break for line with point -
    ;; ESC t           sdcdbsrc-mode                Toggle -Sdcdbsrc mode -
    ;; ESC m           sdcdbsrc-srcmode             -Toggle list mode -
    ;; -
    -

    - - -

    - -

    -8 Other Processors -

    - -

    - -

    -8.1 The Z80 and gbz80 port -

    - -

    +


    +;; Current Listing ::
    +;;key               binding                      Comment +
    +;;-               ---                      --- +
    +;;
    +;; n               sdcdb-next-from-src          SDCDB +next command
    +;; b               sdcdb-back-from-src          SDCDB +back command
    +;; c               sdcdb-cont-from-src          SDCDB +continue command
    +;; s               sdcdb-step-from-src          SDCDB +step command
    +;; ?               sdcdb-whatis-c-sexp          SDCDB +ptypecommand for data at
    +;;                                           +buffer point
    +;; x               sdcdbsrc-delete              SDCDB +Delete all breakpoints if no arg
    +;;                                              given +or delete arg (C-u arg x)
    +;; m               sdcdbsrc-frame               SDCDB +Display current frame if no arg,
    +;;                                              given +or display frame arg
    +;;                                             buffer +point
    +;; !               sdcdbsrc-goto-sdcdb          Goto +the SDCDB output buffer
    +;; p               sdcdb-print-c-sexp           SDCDB +print command for data at
    +;;                                           +buffer point
    +;; g               sdcdbsrc-goto-sdcdb          Goto +the SDCDB output buffer
    +;; t               sdcdbsrc-mode                Toggles +Sdcdbsrc mode (turns it off)
    +;;
    +;; C-c C-f         sdcdb-finish-from-src        SDCDB +finish command
    +;;
    +;; C-x SPC         sdcdb-break                  Set +break for line with point
    +;; ESC t           sdcdbsrc-mode                Toggle +Sdcdbsrc mode
    +;; ESC m           sdcdbsrc-srcmode             +Toggle list mode
    +;;
    + +

    +

    +8  Other Processors

    + +

    +

    +8.1  The Z80 and gbz80 port

    + +

    SDCC can target both the Zilog Z80 and the Nintendo Gameboy's Z80-like gbz80. The port is incomplete - long support is incomplete (mul, div and mod are unimplimented), and both float and bitfield support is missing, but apart from that the code generated is correct. -

    +

    As always, the code is the authoritave reference - see z80/ralloc.c and z80/gen.c. The stack frame is similar to that generated by the IAR Z80 compiler. IX is used as the base pointer, HL is used as a @@ -4225,13 +3266,11 @@ IY is currently unusued. Return values are stored in HL. One bad side effect of using IX as the base pointer is that a functions stack frame is limited to 127 bytes - this will be fixed in a later version. -

    - -

    -9 Support -

    +

    +

    +9  Support

    -

    +

    SDCC has grown to be large project, the compiler alone (without the Assembler Package, Preprocessor) is about 40,000 lines of code (blank stripped). The open source nature of this project is a key to its @@ -4242,13 +3281,11 @@ reported bugs. You can help by reporting the bugs and helping other SDCC users. There are lots of ways to contribute, and we encourage you to take part in making SDCC a great software package. -

    +

    +

    +9.1  Reporting Bugs

    -

    -9.1 Reporting Bugs -

    - -

    +

    Send an email to the mailing list at 'user-sdcc@sdcc.sourceforge.net' or 'devel-sdcc@sdcc.sourceforge.net'. Bugs will be fixed ASAP. When reporting a bug, it is very useful to include a small test program @@ -4257,77 +3294,43 @@ at the generated assembly code, this can be very helpful. Compiling your program with the -dumpall option can sometimes be useful in locating optimization problems. -

    - -

    -9.2 Acknowledgments -

    +

    +

    +9.2  Acknowledgments

    -

    +

    Sandeep Dutta(sandeep.dutta@usa.net) - SDCC, the compiler, MCS51 code -generator, Debugger, AVR port -
    +generator, Debugger, AVR port
    Alan Baldwin (baldwin@shop-pdp.kent.edu) - Initial version of ASXXXX -& ASLINK. -
    +& ASLINK.
    John Hartman (jhartman@compuserve.com) - Porting ASXXX & ASLINK for -8051 -
    -Dmitry S. Obukhov (dso@usa.net) - malloc & serial i/o routines. -
    -Daniel Drotos <drdani@mazsola.iit.uni-miskolc.hu> - for his Freeware -simulator -
    +8051
    +Dmitry S. Obukhov (dso@usa.net) - malloc & serial i/o routines.
    +Daniel Drotos <drdani@mazsola.iit.uni-miskolc.hu> - for his Freeware +simulator
    Malini Dutta(malini_dutta@hotmail.com) - my wife for her patience -and support. -
    -Unknown - for the GNU C - preprocessor. -
    -Michael Hope - The Z80 and Z80GB port, 186 development -
    -Kevin Vigor - The DS390 port. -
    -Johan Knol - DS390/TINI libs, lots of fixes and enhancements. -
    -Scott Datallo - PIC port. -
    (Thanks to all the other volunteer developers who have helped with +and support.
    +Unknown - for the GNU C - preprocessor.
    +Michael Hope - The Z80 and Z80GB port, 186 development
    +Kevin Vigor - The DS390 port.
    +Johan Knol - DS390/TINI libs, lots of fixes and enhancements.
    +Scott Datallo - PIC port.
    +(Thanks to all the other volunteer developers who have helped with coding, testing, web-page creation, distribution sets, etc. You know -who you are :-) -
    -

    +who you are :-)
    + +

    This document initially written by Sandeep Dutta -

    +

    All product names mentioned herein may be trademarks of their respective companies. -

    - - -

    -About this document ... -

    - SDCC Compiler User Guide

    -This document was generated using the -LaTeX2HTML translator Version 2K.1beta (1.47) -

    -Copyright © 1993, 1994, 1995, 1996, -Nikos Drakos, -Computer Based Learning Unit, University of Leeds. -
    -Copyright © 1997, 1998, 1999, -Ross Moore, -Mathematics Department, Macquarie University, Sydney. -

    -The command line arguments were:
    - latex2html -no_subdir -split 0 -show_section_numbers /tmp/lyx_tmpdir14474Rxoof/lyx_tmpbuf1447IsYCoR/SDCCUdoc.tex -

    -The translation was initiated by Karl Bongers on 2001-07-04 -


    Footnotes

    -
    -
    ... anyway1 -
    possible exception: if a function is called ONLY from 'interrupt' +

    +


    Footnotes:

    + +

    +1possible exception: if a function is called ONLY from 'interrupt' functions using a particular bank, it can be declared with the same 'using' attribute as the calling 'interrupt' functions. For instance, if you have several ISRs using bank one, and all of them call memcpy(), @@ -4335,20 +3338,9 @@ it might make sense to create a specialized version of memcpy() 'using 1', since this would prevent the ISR from having to save bank zero to the stack on entry and switch to bank zero before calling the function - -


    - -next_inactive -up -previous -
    - -
    -Karl Bongers -2001-07-04 -
    - - +


    File translated from +TEX +by +TTH, +version 3.01.
    On 5 Jul 2001, 17:34.
    + diff --git a/doc/SDCCUdoc.lyx b/doc/SDCCUdoc.lyx index 013f18a5..2a3f5128 100644 --- a/doc/SDCCUdoc.lyx +++ b/doc/SDCCUdoc.lyx @@ -42,7 +42,14 @@ About SDCC \layout Standard +\emph on + +\newline + +\newline + \series bold +\emph default SDCC \series default is a Free ware, retargettable, optimizing ANSI-C compiler by @@ -73,8 +80,8 @@ For the back-end SDCC uses a global register allocation scheme which should is MCU dependent. Supported data-types are \emph on -char (8 bits, 1 byte), short and int (16 bits, 2 bytes ), long (32 bit, - 4 bytes) +char (8 bits, 1 byte), short and int (16 bits, 2 bytes), long (32 bit, 4 + bytes) \emph default and \emph on @@ -109,8 +116,12 @@ All packages used in this compiler system are \emph on opensource \emph default - (freeware); source code for all the sub-packages (asxxxx assembler/linker, - pre-processor) are distributed with the package. + and +\emph on +freeware +\emph default +; source code for all the sub-packages (asxxxx assembler/linker, pre-processor) + is distributed with the package. This documentation is maintained using a freeware word processor (LyX). \layout Standard @@ -129,6 +140,12 @@ This program is free software; you can redistribute it and/or modify it You are forbidden to forbid anyone else to use, share and improve what you give them. Help stamp out software-hoarding! +\newline + +\newline + +\emph on + \layout Subsection Typographic conventions @@ -153,6 +170,32 @@ typewriter font. italicised type. \layout Subsection +Pending: compatibilaty with previous versions +\layout Standard + +This version has numerous bug fixes comperated with the previous version. + But we also introduced some incompatibilaties with older versions. + Not just for the fun of it, but to make the compiler more stable, efficient + and ANSI compliant. + +\newline + +\newline +short char +\newline +directory structure (2.7) +\newline +vararg pars expl int unless casted +\newline +never had a regextend +\newline +no --noreparms anymore +\newline + +\newline +more? +\layout Subsection + System Requirements \layout Standard @@ -265,6 +308,14 @@ Type Windows Installation \layout Standard + +\emph on + +\newline + +\newline + +\emph default For installation under Windows you first need to pick between a pre-compiled binary package, or installing the source package along with the Cygwin package. @@ -355,7 +406,6 @@ Windows Install Using Cygwin \series medium Download and install the cygwin package from the redhat site \series default -\emph on \begin_inset LatexCommand \htmlurl{http://sources.redhat.com/cygwin/} @@ -363,7 +413,6 @@ Download and install the cygwin package from the redhat site \series medium -\emph default . Currently, this involved downloading a small install program which then automates downloading and installing @@ -581,32 +630,31 @@ standard \series medium header files and libraries. Edit test.c and change it to the following: -\layout LyX-Code +\series default -#include -\layout LyX-Code +\newline +\newline +#include +\newline main() { -\layout LyX-Code +\newline - \family typewriter char str1[10]; -\layout LyX-Code - - -\family typewriter +\newline +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ strcpy(str1, "testing"); -\layout LyX-Code - - -\family typewriter +\newline } -\layout LyX-Code - -\layout Standard +\newline +\newline +\family default \series medium Compile this by typing \family sans @@ -653,7 +701,12 @@ The default installation assumes the libraries and header files are located \family sans \series bold -"sdcc -L /usr/local/sdcc/lib/small -I /usr/local/sdcc/include test.c" +"sdcc\SpecialChar ~ +-L\SpecialChar ~ +/usr/local/sdcc/lib/small\SpecialChar ~ +-I\SpecialChar ~ +/usr/local/sdcc/include\SpecialChar ~ +test.c" \family default \series default . @@ -743,6 +796,14 @@ This will install the compiler, other executables and libraries in to the Additional Information for Windows Users \layout Standard + +\emph on + +\newline + +\newline + +\emph default The standard method of installing on a Unix system involves compiling the source package. This is easily done under Unix, but under Windows it can be a more difficult @@ -937,26 +998,19 @@ configure \newline -\layout Standard - +\newline bin/ - binary exectables (add to PATH environment variable) -\layout Standard - +\newline bin/share/ -\layout Standard - +\newline bin/share/sdcc/include/ - include header files -\layout Standard - +\newline bin/share/sdcc/lib/ -\layout Standard - +\newline bin/share/sdcc/lib/small/ - Object & library files for small model library -\layout Standard - +\newline bin/share/sdcc/lib/large/ - Object & library files for large model library -\layout Standard - +\newline bin/share/sdcc/lib/ds390/ - Object & library files forDS80C390 library \newline @@ -995,64 +1049,63 @@ You might want to look at the various executables which are installed in At the time of this writing, we find the following programs: \newline -\layout Standard +\newline + +\emph on + +\emph default +\newline + +\newline \series bold sdcc \series default - The compiler. -\layout Standard - +\newline \series bold -aslink +sdcpp \series default - -The linker for 8051 type processors. -\layout Standard - + - The C preprocessor. +\newline \series bold asx8051 \series default - The assembler for 8051 type processors. -\layout Standard - - -\series bold -sdcpp -\series default - - The C preprocessor. -\layout Standard - +\newline \series bold -sdcdb +as-z80, as-gbz80 \series default - - The source debugger. -\layout Standard - + - The Z80 and GameBoy Z80 assemblers. +\newline \series bold -s51 +aslink \series default - - The ucSim 8051 simulator. -\layout Standard - + -The linker for 8051 type processors. +\newline \series bold link-z80, link-gbz80 \series default - The Z80 and GameBoy Z80 linkers. -\layout Standard - +\newline \series bold -as-z80, as-gbz80 +s51 \series default - - The Z80 and GameBoy Z80 assemblers. -\layout Standard + - The ucSim 8051 simulator. +\newline +\series bold +sdcdb +\series default + - The source debugger. +\newline \series bold packihx @@ -1065,7 +1118,14 @@ As development for other processors proceeds, this list will expand to include executables to support processors like AVR, PIC, etc. \layout Subsubsection -cpp ( C-Preprocessor) +sdcc - The Compiler +\layout Standard + +This is the actual compiler, it in turn uses the c-preprocessor and invokes + the assembler and linkage editor. +\layout Subsubsection + +sdcpp (C-Preprocessor) \layout Standard The preprocessor is a modified version of the GNU preprocessor. @@ -1073,7 +1133,8 @@ The preprocessor is a modified version of the GNU preprocessor. statements, #defines and so on. \layout Subsubsection -asxxxx & aslink ( The Assembler and Linkage Editor) +asx8051, as-z80, as-gbz80, aslink, link-z80, link-gbz80 (The Assemblers + and Linkage Editors) \layout Standard This is retargettable assembler & linkage editor, it was developed by Alan @@ -1082,29 +1143,22 @@ This is retargettable assembler & linkage editor, it was developed by Alan enhancements and bug fixes for it to work properly with the SDCC. \layout Subsubsection -sdcc - The Compiler -\layout Standard - -This is the actual compiler, it in turn uses the c-preprocessor and invokes - the assembler and linkage editor. -\layout Subsubsection - s51 - Simulator \layout Standard -S51 is a freeware, opensource simulator developed by Daniel Drotos +S51 is a freeware, opensource simulator developed by Daniel Drotos ( \begin_inset LatexCommand \url{mailto:drdani@mazsola.iit.uni-miskolc.hu} \end_inset -. - The executable is built as part of the build process. - For more information visit Daniel's website at +). + The simulator is built as part of the build process. + For more information visit Daniel's website at: \begin_inset LatexCommand \url{http://mazsola.iit.uni-miskolc.hu/~drdani/embedded/s51} \end_inset -. + . \layout Subsubsection sdcdb - Source Level Debugger @@ -1133,47 +1187,29 @@ For single source file 8051 projects the process is very simple. \family default \series default This will compile, assemble and link your source file. - Output files are as follows. -\layout Itemize - + Output files are as follows +\newline -\size footnotesize +\newline sourcefile.asm - Assembler source file created by the compiler -\layout Itemize - - -\size footnotesize +\newline sourcefile.lst - Assembler listing file created by the Assembler -\layout Itemize - - -\size footnotesize -sourcefile.rst - Assembler listing file updated with linkedit information - , created by linkage editor -\layout Itemize - - -\size footnotesize -sourcefile.sym - symbol listing for the sourcefile, created by the assembler. -\layout Itemize - - -\size footnotesize -sourcefile.rel - Object file created by the assembler, input to Linkage editor. -\layout Itemize - - -\size footnotesize -sourcefile.map - The memory map for the load module, created by the Linker. -\layout Itemize - - -\size footnotesize +\newline +sourcefile.rst - Assembler listing file updated with linkedit information, + created by linkage editor +\newline +sourcefile.sym - symbol listing for the sourcefile, created by the assembler +\newline +sourcefile.rel - Object file created by the assembler, input to Linkage editor +\newline +sourcefile.map - The memory map for the load module, created by the Linker +\newline sourcefile.ihx - The load module in Intel hex format (you can select the Motorola S19 format with --out-fmt-s19) -\layout Itemize +\newline +sourcefile.cdb - An optional file (with --debug) containing debug information +\newline -sourcefile.cdb - An optional file (with --debug) containing debug information. \layout Subsubsection Projects with Multiple Source Files @@ -1181,101 +1217,112 @@ Projects with Multiple Source Files SDCC can compile only ONE file at a time. Let us for example assume that you have a project containing the following - files. + files: \newline -\layout Standard - +\newline +foo1.c (contains some functions) +\newline +foo2.c (contains some more functions) +\newline +foomain.c (contains more functions and the function main) +\newline \size footnotesize -foo1.c ( contains some functions ) -\layout Standard +\newline +\size default +The first two files will need to be compiled separately with the commands: \size footnotesize -foo2.c (contains some more functions) -\layout Standard - + +\size default -\size footnotesize -foomain.c (contains more functions and the function main) \newline \newline -\size default -The first two files will need to be compiled separately with the commands -\size footnotesize - \family sans \series bold -\size default -"sdcc\SpecialChar ~ +sdcc\SpecialChar ~ -c\SpecialChar ~ -foo1.c" +foo1.c \family default \series default \size footnotesize - and + +\newline + \family sans \series bold \size default -"sdcc\SpecialChar ~ +sdcc\SpecialChar ~ -c\SpecialChar ~ -foo2.c" +foo2.c \family default \series default -\size footnotesize -. - -\size default -Then compile the source file containing the main() function and link the - files together with the following command: + +\newline + +\newline +Then compile the source file containing the +\emph on +main() +\emph default + function and link the files together with the following command: +\newline + +\newline + \family sans \series bold -"sdcc\SpecialChar ~ +sdcc\SpecialChar ~ foomain.c\SpecialChar ~ foo1.rel\SpecialChar ~ -foo2.rel" +foo2.rel \family default \series default -. - Alternatively, foomain.c + +\newline + +\newline +Alternatively, \emph on - +foomain.c \emph default can be separately compiled as well: \family sans \series bold -"sdcc\SpecialChar ~ --c\SpecialChar ~ -foomain.c" -\family default -\series default -\size footnotesize - and -\family sans -\series bold -\size default -\begin_inset Quotes sld -\end_inset +\newline -sdcc foomain.rel foo1.rel foo2.rel" +\newline +sdcc\SpecialChar ~ +-c\SpecialChar ~ +foomain.c +\newline +sdcc foomain.rel foo1.rel foo2.rel \newline \newline \family default \series default -The file containing the main function +The file containing the \emph on -must +main() \emph default - be the + function \emph on -first + \emph default +\noun on +must +\noun default + be the +\noun on +first +\noun default file specified in the command line, since the linkage editor processes file in the order they are presented to it. \layout Subsubsection @@ -1284,49 +1331,57 @@ Projects with Additional Libraries \layout Standard Some reusable routines may be compiled into a library, see the documentation - for the assembler and linkage editor in the directory -\emph on -SDCCDIR/asxxxx/asxhtm.htm -\emph default -this describes how to create a + for the assembler and linkage editor (which are in /share/sdcc/doc) + for how to create a \emph on .lib \emph default - library file, the libraries created in this manner may be included using - the command line, make sure you include the -L option to - tell the linker where to look for these files. + library file. + Libraries created in this manner can be included in the command line. + Make sure you include the -L option to tell the linker where + to look for these files if they are not in the current directory. Here is an example, assuming you have the source file \emph on -'foomain.c +foomain.c \emph default -' and a library + and a library \emph on - 'foolib.lib' + foolib.lib \emph default in the directory \emph on -'mylib +mylib \emph default -' (if that is not the same as your current project). -\layout Standard + (if that is not the same as your current project): +\newline +\newline -\size footnotesize +\family sans +\series bold sdcc foomain.c foolib.lib -L mylib -\layout Standard +\newline + +\newline -Note here that +\family default +\series default +Note here that \emph on -'mylib + mylib \emph default -' must be an absolute path name. -\layout Standard + must be an absolute path name. +\newline -The view of the way the linkage editor processes the library files, it is - recommended that you put each source routine in a separate file and combine - them using the .lib file. - For an example see the standard library file 'libsdcc.lib' in the directory - SDCCDIR/sdcc51lib. +\newline +The most efficient way to use libraries is to keep seperate modules in seperate + source files. + The lib file now should name all the modules.rel files. + For an example see the standard library file +\emph on +libsdcc.lib +\emph default + in the directory /share/lib/small. \layout Subsection Command Line Options @@ -1565,7 +1620,7 @@ Linker Options \series bold --code-loc \series default - The start location of the code segment , default value 0. + The start location of the code segment, default value 0. Note when this option is used the interrupt vector table is also relocated to the given address. The value entered can be in Hexadecimal or Decimal format, e.g.: --code-loc @@ -1656,8 +1711,8 @@ MCS51 Options details. If this option is used all source files in the project should be compiled with this option. - In addition the standard library routines are compiled with small model - , they will need to be recompiled. + In addition the standard library routines are compiled with small model, + they will need to be recompiled. \layout List \labelwidthstring 00.00.0000 @@ -1673,16 +1728,71 @@ MCS51 Options Generate code for Small Model programs see section Memory Models for more details. This is the default model. +\layout Subsubsection + +DS390 Options \layout List \labelwidthstring 00.00.0000 \series bold ---xstack +--model-flat24 \series default - Uses a pseudo stack in the first 256 bytes in the external ram for allocating - variables and passing parameters. - See section on external stack for more details. +\size large +\emph on + +\size default +\emph default +Generate 24-bit flat mode code. + This is the one and only that the ds390 code generator supports right now + and is default when using +\emph on +-mds390 +\emph default +. + See section Memory Models for more details. +\layout List +\labelwidthstring 00.00.0000 + + +\series bold +--stack-10bit +\series default + Generate code for the 10 bit stack mode of the Dallas DS80C390 part. + This is the one and only that the ds390 code generator supports right now + and is default when using +\emph on +-mds390 +\emph default +. + In this mode, the stack is located in the lower 1K of the internal RAM, + which is mapped to 0x400000. + Note that the support is incomplete, since it still uses a single byte + as the stack pointer. + This means that only the lower 256 bytes of the potential 1K stack space + will actually be used. + However, this does allow you to reclaim the precious 256 bytes of low RAM + for use for the DATA and IDATA segments. + The compiler will not generate any code to put the processor into 10 bit + stack mode. + It is important to ensure that the processor is in this mode before calling + any re-entrant functions compiled with this option. + In principle, this should work with the +\emph on +--stack-auto +\emph default + option, but that has not been tested. + It is incompatible with the +\emph on +--xstack +\emph default + option. + It also only makes sense if the processor is in 24 bit contiguous addressing + mode (see the +\emph on +--model-flat24 option +\emph default +). \layout Subsubsection Optimization Options @@ -1698,7 +1808,8 @@ Optimization Options temporaries. A warning message will be generated when this happens and the compiler will indicate the number of extra bytes it allocated. - It recommended that this option NOT be used , #pragma NOGCSE can be used + It recommended that this option NOT be used, #pragma\SpecialChar ~ +NOGCSE can be used to turn off global subexpression elimination for a given function only. \layout List \labelwidthstring 00.00.0000 @@ -1710,7 +1821,8 @@ Optimization Options Will not do loop invariant optimizations, this may be turned off for reasons explained for the previous option. For more details of loop optimizations performed see section Loop Invariants.It - recommended that this option NOT be used , #pragma NOINVARIANT can be used + recommended that this option NOT be used, #pragma\SpecialChar ~ +NOINVARIANT can be used to turn off invariant optimizations for a given function only. \layout List \labelwidthstring 00.00.0000 @@ -1719,9 +1831,11 @@ Optimization Options \series bold --noinduction \series default - Will not do loop induction optimizations, see section Strength reduction - for more details.It recommended that this option NOT be used , #pragma NOINDUCTI -ON can be used to turn off induction optimizations for given function only. + Will not do loop induction optimizations, see section strength reduction + for more details.It is recommended that this option is NOT used, #pragma\SpecialChar ~ +NOINDUCT +ION can be used to turn off induction optimizations for a given function + only. \layout List \labelwidthstring 00.00.0000 @@ -1736,9 +1850,11 @@ ON can be used to turn off induction optimizations for given function only. \bar default Will not generate boundary condition check when switch statements are implement ed using jump-tables. - See section Switch Statements for more details.It recommended that this - option NOT be used , #pragma NOJTBOUND can be used to turn off boundary - checking for jump tables for a given function only. + See section Switch Statements for more details. + It is recommended that this option is NOT used, #pragma\SpecialChar ~ +NOJTBOUND can be + used to turn off boundary checking for jump tables for a given function + only. \layout List \labelwidthstring 00.00.0000 @@ -1749,53 +1865,7 @@ ed using jump-tables. \size large \size default -Will not do loop reversal optimization -\layout Subsubsection - -DS390 Options -\layout List -\labelwidthstring 00.00.0000 - - -\series bold ---model-flat24 -\series default -\size large -\emph on - -\size default -\emph default -Generate 24-bit flat mode code. - This is the one and only that the ds390 code generator supports right now - and is default when using -mds390. - See section Memory Models for more details. -\layout List -\labelwidthstring 00.00.0000 - - -\series bold ---stack-10bit -\series default - Generate code for the 10 bit stack mode of the Dallas DS80C390 part. - This is the one and only that the ds390 code generator supports right now - and is default when using -mds390. - In this mode, the stack is located in the lower 1K of the internal RAM, - which is mapped to 0x400000. - Note that the support is incomplete, since it still uses a single byte - as the stack pointer. - This means that only the lower 256 bytes of the potential 1K stack space - will actually be used. - However, this does allow you to reclaim the precious 256 bytes of low RAM - for use for the DATA and IDATA segments. - The compiler will not generate any code to put the processor into 10 bit - stack mode. - It is important to ensure that the processor is in this mode before calling - any re-entrant functions compiled with this option. - In principle, this should work with the --stack-auto option, but that has - not been tested. - It is incompatible with the --xstack option. - It also only makes sense if the processor is in 24 bit contiguous addressing - mode (see the --model-flat24 option). +Will not do loop reversal optimization. \layout Subsubsection Other Options @@ -1844,6 +1914,16 @@ reentrant \labelwidthstring 00.00.0000 +\series bold +--xstack +\series default + Uses a pseudo stack in the first 256 bytes in the external ram for allocating + variables and passing parameters. + See section on external stack for more details. +\layout List +\labelwidthstring 00.00.0000 + + \series bold --callee-saves function1[,function2][,function3].... @@ -1864,7 +1944,8 @@ reentrant needs to be recompiled with the same option. If the project consists of multiple source files then all the source file should be compiled with the same --callee-saves option string. - Also see Pragma Directive CALLEE-SAVES. + Also see #pragma\SpecialChar ~ +CALLEE-SAVES. \layout List \labelwidthstring 00.00.0000 @@ -1875,8 +1956,8 @@ reentrant \series default \bar default -When this option is used the compiler will generate debug information , - that can be used with the SDCDB. +When this option is used the compiler will generate debug information, that + can be used with the SDCDB. The debug information is collected in a file with .cdb extension. For more information see documentation for SDCDB. \layout List @@ -2168,7 +2249,7 @@ Will create a dump of iCode's, after live range analysis, into a file named \series default \bar default -Will create a dump of iCode's, after register assignment , into a file named +Will create a dump of iCode's, after register assignment, into a file named \emph on .dumprassgn. @@ -2255,7 +2336,7 @@ bit \layout Standard This is a data-type and a storage class specifier. - When a variable is declared as a bit , it is allocated into the bit addressable + When a variable is declared as a bit, it is allocated into the bit addressable memory of 8051, e.g.: \newline @@ -2297,7 +2378,7 @@ _generic \newline \newline -Pointer declaration examples. +Pointer declaration examples: \newline \size small @@ -2337,7 +2418,13 @@ char * xdata p; \size default Well you get the idea. - For compatibility with the previous version of the compiler, the following + +\newline + +\newline + +\emph on +For compatibility with the previous version of the compiler, the following syntax for pointer declaration is still supported but will disappear int the near future. @@ -2358,13 +2445,17 @@ unsigned char _idata *uccp; \SpecialChar ~ /* pointer to upper 128 bytes of ram */ \family default \size small +\emph default \newline \newline \size default -All unqualified pointers are treated as 3-byte (4-byte for the ds390) '_generic' +All unqualified pointers are treated as 3-byte (4-byte for the ds390) +\emph on +generic +\emph default pointers. These type of pointers can also to be explicitly declared. \newline @@ -2381,14 +2472,21 @@ unsigned char _generic *ucgp; \newline \size default -The highest order byte of the generic pointers contains the data space informati -on. +The highest order byte of the +\emph on +generic +\emph default + pointers contains the data space information. Assembler support routines are called whenever data is stored or retrieved - using _generic pointers. + using +\emph on +generic +\emph default + pointers. These are useful for developing reusable library routines. Explicitly specifying the pointer type will generate the most efficient code. - Pointers declared using a mixture of OLD/NEW style could have unpredictable + Pointers declared using a mixture of OLD and NEW style could have unpredictable results. \layout Subsection @@ -2398,13 +2496,23 @@ Parameters & Local Variables Automatic (local) variables and parameters to functions can either be placed on the stack or in data-space. The default action of the compiler is to place these variables in the internal - RAM ( for small model) or external RAM (for Large model). - They can be placed on the stack either by using the + RAM (for small model) or external RAM (for Large model). + This in fact makes them +\emph on +static +\emph default + so by default functions are non-reentrant. +\layout Standard + +They can be placed on the stack either by using the \emph on --stack-auto \emph default - compiler option or by using the 'reentrant' keyword in the function declaration -, e.g.: + compiler option or by using the +\emph on +reentrant +\emph default + keyword in the function declaration, e.g.: \newline \size small @@ -2413,7 +2521,7 @@ Automatic (local) variables and parameters to functions can either be placed \family typewriter \size default -unsigned char foo( char i) reentrant +unsigned char foo(char i) reentrant \newline { \newline @@ -2426,56 +2534,64 @@ unsigned char foo( char i) reentrant \family default \newline -Note that when the parameters & local variables are declared in the internal/ext -ernal ram the functions are non-reentrant. - Since stack space on 8051 is limited the +Since stack space on 8051 is limited, the \emph on -'reentrant' +reentrant \emph default keyword or the \emph on --stack-auto \emph default option should be used sparingly. - Note the reentrant keyword just means that the parameters & local variables - will be allocated to the stack, it DOES NOT mean that the function is register - bank independent. -\layout Standard + Note that the reentrant keyword just means that the parameters & local + variables will be allocated to the stack, it +\emph on +does not +\emph default + mean that the function is register bank independent. +\newline -When compiled with the default option (i.e. - non-reentrant ), local variables can be assigned storage classes and absolute - addresses, e.g.: (jwk: pending: this is obsolete and need a rewrite) +\newline +Local variables can be assigned storage classes and absolute addresses, + e.g.: \newline \newline \family typewriter unsigned char foo() { -\layout Standard - - -\family typewriter +\newline +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ xdata unsigned char i; -\layout Standard - - -\family typewriter +\newline +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ bit bvar; -\layout Standard - - -\family typewriter +\newline +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ data at 0x31 unsiged char j; -\layout Standard - - -\family typewriter +\newline +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ ... \newline } -\layout Standard +\newline +\newline + +\family default In the above example the variable \emph on i @@ -2489,20 +2605,20 @@ bvar j \emph default in internal ram. - When compiled with the + When compiled with \emph on --stack-auto \emph default or when a function is declared as \emph on -'reentrant' +reentrant \emph default - local variables cannot be assigned storage classes or absolute addresses. + this can only be done for static variables. \layout Standard Parameters however are not allowed any storage class, (storage classes for parameters will be ignored), their allocation is governed by the memory - model in use , and the reentrancy options. + model in use, and the reentrancy options. \layout Subsection Overlaying @@ -2517,19 +2633,23 @@ no other function calls and the function is non-reentrant and the memory model is small. \emph default - If an explicit storage class is specified for a local variable , it will - NOT be overplayed. + If an explicit storage class is specified for a local variable, it will + NOT be overlayed. \layout Standard Note that the compiler (not the linkage editor) makes the decision for overlayin g the data items. Functions that are called from an interrupt service routine should be preceded - by a #pragma NOOVERLAY if they are not reentrant Along the same lines the - compiler does not do any processing with the inline assembler code so the - compiler might incorrectly assign local variables and parameters of a function - into the overlay segment if the only function call from a function is from - inline assembler code, it is safe to use the #pragma NOOVERLAY for functions - which call other functions using inline assembler code. + by a #pragma\SpecialChar ~ +NOOVERLAY if they are not reentrant. +\layout Standard + +Also note that the compiler does not do any processing of inline assembler + code, so the compiler might incorrectly assign local variables and parameters + of a function into the overlay segment if the inline assembler code calls + other c-functions that might use the overlay. + In that case the #pragma\SpecialChar ~ +NOOVERLAY should be used. \layout Standard Parameters and Local variables of functions that contain 16 or 32 bit multiplica @@ -2544,7 +2664,7 @@ tion or division will NOT be overlayed since these are implemented using \newline #pragma NOOVERLAY \newline -void set_error( unsigned char errcd) +void set_error(unsigned char errcd) \newline { \newline @@ -2584,8 +2704,11 @@ set_error(10); \newline } -\layout Standard +\newline +\newline + +\family default In the above example the parameter \emph on errcd @@ -2594,10 +2717,12 @@ errcd \emph on set_error \emph default - would be assigned to the overlayable segment (if the #pragma NOOVERLAY - was not present) , this could cause unpredictable runtime behavior when - called from an ISR. - The pragma NOOVERLAY ensures that the parameters and local variables for + would be assigned to the overlayable segment if the #pragma\SpecialChar ~ +NOOVERLAY was + not present, this could cause unpredictable runtime behavior when called + from an ISR. + The #pragma\SpecialChar ~ +NOOVERLAY ensures that the parameters and local variables for the function are NOT overlayed. \layout Subsection @@ -2624,28 +2749,42 @@ void timer_isr (void) interrupt 2 using 1 \newline \family default -The number following the 'interrupt' keyword is the interrupt number this - routine will service. +The number following the +\emph on +interrupt +\emph default + keyword is the interrupt number this routine will service. The compiler will insert a call to this routine in the interrupt vector table for the interrupt number specified. - The 'using' keyword is used to tell the compiler to use the specified register - bank (8051 specific) when generating code for this function. + The +\emph on +using +\emph default + keyword is used to tell the compiler to use the specified register bank + (8051 specific) when generating code for this function. Note that when some function is called from an interrupt service routine - it should be preceded by a #pragma NOOVERLAY (if it is not reentrant). + it should be preceded by a #pragma\SpecialChar ~ +NOOVERLAY if it is not reentrant. A special note here, int (16 bit) and long (32 bit) integer division, multiplic ation & modulus operations are implemented using external support routines developed in ANSI-C, if an interrupt service routine needs to do any of these operations then the support routines (as mentioned in a following - section) will have to recompiled using the --stack-auto option and the - source file will need to be compiled using the --int-long-rent compiler - option. + section) will have to be recompiled using the +\emph on + --stack-auto +\emph default + option and the source file will need to be compiled using the +\emph on +--int-long-ren +\emph default +t compiler option. \layout Standard If you have multiple source files in your project, interrupt service routines can be present in any of them, but a prototype of the isr MUST be present - in the file that contains the function + or included in the file that contains the function \emph on -'main' +main \emph default . \layout Standard @@ -2828,15 +2967,14 @@ Serial \newline -\layout Standard - +\newline If the interrupt service routine is defined without \emph on -'using' +using \emph default a register bank or with register bank 0 (using 0), the compiler will save - the registers used by itself on the stack (upon entry and restore them - at exit), however if such an interrupt service routine calls another function + the registers used by itself on the stack upon entry and restore them at + exit, however if such an interrupt service routine calls another function then the entire register bank will be saved on the stack. This scheme may be advantageous for small interrupt service routines which have low register usage. @@ -2844,51 +2982,34 @@ If the interrupt service routine is defined without If the interrupt service routine is defined to be using a specific register bank then only -\begin_inset Quotes eld -\end_inset +\emph on +a, b & dptr +\emph default + are save and restored, if such an interrupt service routine calls another + function (using another register bank) then the entire register bank of + the called function will be saved on the stack. + This scheme is recommended for larger interrupt service routines. +\layout Standard -a -\begin_inset Quotes erd -\end_inset +Calling other functions from an interrupt service routine is not recommended, + avoid it if possible. +\newline -, -\begin_inset Quotes erd -\end_inset - -b -\begin_inset Quotes erd -\end_inset - - & -\begin_inset Quotes eld -\end_inset - -dptr -\begin_inset Quotes erd -\end_inset - - are save and restored, if such an interrupt service routine calls another - function (using another register bank) then the entire register bank of - the called function will be saved on the stack. - This scheme is recommended for larger interrupt service routines. -\layout Standard - -Calling other functions from an interrupt service routine is not recommended - avoid it if possible. -\layout Subsection +\newline +Also see the _naked modifier. +\layout Subsection Critical Functions \layout Standard -A special keyword may be associated with a function declaring it as ' +A special keyword may be associated with a function declaring it as \emph on critical \emph default -'. +. SDCC will generate code to disable all interrupts upon entry to a critical function and enable them back before returning. Note that nesting critical functions may cause unpredictable results. - \newline \size small @@ -2923,12 +3044,12 @@ Naked Functions A special keyword may be associated with a function declaring it as \emph on -'_naked'. +_naked. \emph default The \emph on -'_naked' +_naked \emph default function modifier attribute prevents the compiler from generating prologue and epilogue code for that function. @@ -2936,7 +3057,7 @@ The any registers that may need to be preserved, selecting the proper register bank, generating the \emph on -'return' +return \emph default instruction at the end, etc. Practically, this means that the contents of the function must be written @@ -2951,7 +3072,7 @@ The \family typewriter data unsigned char counter; \newline -void simpleIterrupt(void) interrupt 1 +void simpleInterrupt(void) interrupt 1 \newline { \newline @@ -3198,22 +3319,25 @@ Functions using private banks The \emph on -'using' +using \emph default attribute (which tells the compiler to use a register bank other than the - default bank zero) should only be applied to 'interrupt' functions (see - note A below). + default bank zero) should only be applied to +\emph on +interrupt +\emph default + functions (see note 1 below). This will in most circumstances make the generated ISR code more efficient since it will not have to save registers on the stack. \layout Standard The \emph on -'using' +using \emph default attribute will have no effect on the generated code for a \emph on -non-'interrupt' +non-interrupt \emph default function (but may occasionally be useful anyway \begin_float footnote @@ -3229,17 +3353,32 @@ possible exception: if a function is called ONLY from 'interrupt' functions \end_float ). \newline -(jwk: todo: I don't think this has been done yet) + +\emph on +(pending: I don't think this has been done yet) \layout Standard -An 'interrupt' function using a non-zero bank will assume that it can trash - that register bank, and will not save it. +An +\emph on +interrupt +\emph default + function using a non-zero bank will assume that it can trash that register + bank, and will not save it. Since high-priority interrupts can interrupt low-priority ones on the 8051 - and friends, this means that if a high-priority ISR 'using' a particular - bank occurs while processing a low-priority ISR 'using' the same bank, - terrible and bad things can happen. - To prevent this, no single register bank should be 'used' by both a high - priority and a low priority ISR. + and friends, this means that if a high-priority ISR +\emph on +using +\emph default + a particular bank occurs while processing a low-priority ISR +\emph on +using +\emph default + the same bank, terrible and bad things can happen. + To prevent this, no single register bank should be +\emph on +used +\emph default + by both a high priority and a low priority ISR. This is probably most easily done by having all high priority ISRs use one bank and all low priority ISRs use another. If you have an ISR which can change priority at runtime, you're on your @@ -3249,7 +3388,7 @@ An 'interrupt' function using a non-zero bank will assume that it can trash It is most efficient if your ISR calls no other functions. If your ISR must call other functions, it is most efficient if those functions - use the same bank as the ISR (see note A below); the next best is if the + use the same bank as the ISR (see note 1 below); the next best is if the called functions use bank zero. It is very inefficient to call a function using a different, non-zero bank from an ISR. @@ -3275,22 +3414,19 @@ xdata at 0x8000 unsigned char PORTA_8255 ; \family default \newline -In the above example the -\emph on -PORTA_8255 -\emph default - will be allocated to the location 0x8000 of the external ram. +In the above example the PORTA_8255 will be allocated to the location 0x8000 + of the external ram. Note that this feature is provided to give the programmer access to \emph on memory mapped \emph default devices attached to the controller. The compiler does not actually reserve any space for variables declared - in this way (they are implemented with an equate in the assembler), thus - it is left to the programmer to make sure there are no overlaps with other - variables that are declared without the absolute address, the assembler - listing file (.lst) and the linker output files (.rst) and (.m -ap) are a good places to look for such overlaps. + in this way (they are implemented with an equate in the assembler). + Thus it is left to the programmer to make sure there are no overlaps with + other variables that are declared without the absolute address. + The assembler listing file (.lst) and the linker output files (.rst) and + (.map) are a good places to look for such overlaps. \newline \newline @@ -3310,33 +3446,32 @@ bit at 0x02 bvar; The above example will allocate the variable at offset 0x02 in the bit-addressab le space. There is no real advantage to assigning absolute addresses to variables - in this manner , unless you want strict control over all the variables - allocated. + in this manner, unless you want strict control over all the variables allocated. \layout Subsection Startup Code \layout Standard -The compiler inserts a jump to the C routine +The compiler inserts a call to the C routine +\emph on +_sdcc__external__startup() \series bold -_sdcc__external__startup() +\emph default + \series default at the start of the CODE area. - This routine can be found in the file -\series bold -SDCCDIR/sdcc51lib/_startup.c -\series default -, by default this routine returns 0, if this routine returns a non-zero - value , the static & global variable initialization will be skipped and - the function main will be invoked, other wise static & global variables - will be initialized before the function main is invoked. + This routine is in the runtime library. + By default this routine returns 0, if this routine returns a non-zero value, + the static & global variable initialization will be skipped and the function + main will be invoked Other wise static & global variables will be initialized + before the function main is invoked. You could add a -\series bold +\emph on _sdcc__external__startup() -\series default - routine to your program to override the default if you needed to setup - hardware or perform some other critical operation prior to static & global - variable initialization. +\emph default + routine to your program to override the default if you need to setup hardware + or perform some other critical operation prior to static & global variable + initialization. \layout Subsection Inline Assembler Code @@ -3344,26 +3479,36 @@ Inline Assembler Code SDCC allows the use of in-line assembler with a few restriction as regards labels. - All labels defined within inline assembler code HAS TO BE of the form + All labels defined within inline assembler code +\emph on +has to be +\emph default + of the form \emph on nnnnn$ \emph default where nnnn is a number less than 100 (which implies a limit of utmost 100 inline assembler labels +\emph on +per function +\emph default \noun on -per function) +) \noun default . It is strongly recommended that each assembly instruction (including labels) be placed in a separate line (as the example shows). When the -\series bold +\emph on --peep-asm -\series default +\emph default command line option is used, the inline assembler code will be passed through - the peephole optimizer, this might cause some unexpected changes in the - inline assembler code. - Please go throught the peephole optimizer rules defined in file 'SDCCpeeph.def' + the peephole optimizer. + This might cause some unexpected changes in the inline assembler code. + Please go throught the peephole optimizer rules defined in file +\emph on +SDCCpeeph.def +\emph default carefully before using this option. \newline @@ -3373,14 +3518,27 @@ per function) _asm \newline \SpecialChar ~ - \SpecialChar ~ - mov b,#10 +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +mov\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +b,#10 \newline 00001$: \newline \SpecialChar ~ - \SpecialChar ~ - djnz b,00001$ +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +djnz\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +\SpecialChar ~ +b,00001$ \newline _endasm ; \family default @@ -3392,7 +3550,7 @@ _endasm ; \size default The inline assembler code can contain any valid code understood by the assembler - (this includes any assembler directives and comment lines). +, this includes any assembler directives and comment lines. The compiler does not do any validation of the code within the \family typewriter _asm ... @@ -3487,87 +3645,79 @@ _endasm ; \family default In other words inline assembly code can access labels defined in inline - assembly. - The same goes the other way, ie. + assembly within the scope of the funtion. + +\layout Standard + +The same goes the other way, ie. labels defines in inline assembly CANNOT be accessed by C statements. \layout Subsection -int(16 bit) and long (32 bit ) Support +int(16 bit) and long (32 bit) Support \layout Standard For signed & unsigned int (16 bit) and long (32 bit) variables, division, multiplication and modulus operations are implemented by support routines. These support routines are all developed in ANSI-C to facilitate porting - to other MCUs. + to other MCUs, although some model specific assembler optimations are used. The following files contain the described routine, all of them can be found - in the directory default SDCC library path. -\layout Itemize + in /share/sdcc/lib. +\newline +\newline -\size footnotesize -_mulsint.c - signed 16 bit multiplication (calls _muluint) -\layout Itemize +\emph on + +\emph default +\newline -\size footnotesize +\newline +_mulsint.c - signed 16 bit multiplication (calls _muluint) +\newline _muluint.c - unsigned 16 bit multiplication -\layout Itemize - - -\size footnotesize +\newline _divsint.c - signed 16 bit division (calls _divuint) -\layout Itemize - - -\size footnotesize -_divuint.c - unsigned 16 bit division. -\layout Itemize - - -\size footnotesize +\newline +_divuint.c - unsigned 16 bit division +\newline _modsint.c - signed 16 bit modulus (call _moduint) -\layout Itemize - - -\size footnotesize -_moduint.c - unsigned 16 bit modulus. -\layout Itemize - - -\size footnotesize +\newline +_moduint.c - unsigned 16 bit modulus +\newline _mulslong.c - signed 32 bit multiplication (calls _mululong) -\layout Itemize - - -\size footnotesize -_mululong.c - unsigned32 bit multiplication. -\layout Itemize - - -\size footnotesize +\newline +_mululong.c - unsigned32 bit multiplication +\newline _divslong.c - signed 32 division (calls _divulong) -\layout Itemize - - -\size footnotesize -_divulong.c - unsigned 32 division. -\layout Itemize - - +\newline +_divulong.c - unsigned 32 division +\newline +_modslong.c - signed 32 bit modulus (calls _modulong) +\newline +_modulong.c - unsigned 32 bit modulus \size footnotesize -_modslong.c - signed 32 bit modulus (calls _modulong). -\layout Itemize +\newline -\size footnotesize -_modulong.c - unsigned 32 bit modulus. -\layout Standard +\newline -Since they are compiled as non-reentrant, interrupt service routines should - not do any of the above operations. - If this unavoidable then the above routines will need to be compiled with - the --stack-auto option, after which the source program will have to be - compiled with --int-long-rent option. +\size default +Since they are compiled as +\emph on +non-reentrant +\emph default +, interrupt service routines should not do any of the above operations. + If this is unavoidable then the above routines will need to be compiled + with the +\emph on +--stack-auto +\emph default + option, after which the source program will have to be compiled with +\emph on +--int-long-rent +\emph default + option. \layout Subsection Floating Point Support @@ -3575,95 +3725,60 @@ Floating Point Support SDCC supports IEEE (single precision 4bytes) floating point numbers.The floating point support routines are derived from gcc's floatlib.c and consists of - the following routines. - -\layout Itemize + the following routines: +\newline +\newline -\size footnotesize -_fsadd.c - add floating point numbers. -\layout Itemize +\emph on + +\emph default +\newline -\size footnotesize +\newline +_fsadd.c - add floating point numbers +\newline _fssub.c - subtract floating point numbers -\layout Itemize - - -\size footnotesize +\newline _fsdiv.c - divide floating point numbers -\layout Itemize - - -\size footnotesize +\newline _fsmul.c - multiply floating point numbers -\layout Itemize - - -\size footnotesize +\newline _fs2uchar.c - convert floating point to unsigned char -\layout Itemize - - -\size footnotesize -_fs2char.c - convert floating point to signed char. -\layout Itemize - - -\size footnotesize -_fs2uint.c - convert floating point to unsigned int. -\layout Itemize - - -\size footnotesize -_fs2int.c - convert floating point to signed int. -\layout Itemize - - -\size footnotesize -_fs2ulong.c - convert floating point to unsigned long. -\layout Itemize - - -\size footnotesize -_fs2long.c - convert floating point to signed long. -\layout Itemize - - -\size footnotesize +\newline +_fs2char.c - convert floating point to signed char +\newline +_fs2uint.c - convert floating point to unsigned int +\newline +_fs2int.c - convert floating point to signed int +\newline +_fs2ulong.c - convert floating point to unsigned long +\newline +_fs2long.c - convert floating point to signed long +\newline _uchar2fs.c - convert unsigned char to floating point -\layout Itemize - - -\size footnotesize +\newline _char2fs.c - convert char to floating point number -\layout Itemize - - -\size footnotesize +\newline _uint2fs.c - convert unsigned int to floating point -\layout Itemize - - -\size footnotesize +\newline _int2fs.c - convert int to floating point numbers -\layout Itemize - - -\size footnotesize +\newline _ulong2fs.c - convert unsigned long to floating point number -\layout Itemize +\newline +_long2fs.c - convert long to floating point number +\size footnotesize +\newline -\size footnotesize -_long2fs.c - convert long to floating point number. -\layout Standard +\newline +\size default Note if all these routines are used simultaneously the data space might overflow. - For serious floating point usage it is strongly recommended that the Large - model be used (in which case the floating point routines mentioned above - will need to recompiled with the --model-large option) + For serious floating point usage it is strongly recommended that the large + model be used. \layout Subsection MCS51 Memory Models @@ -3710,24 +3825,40 @@ The only model supported is Flat 24. \newline In older versions of the compiler, this option was used with the MCS51 code - generator (-mmcs51). - Now, however, the '390 has it's own code generator, selected by the -mds390 + generator ( +\emph on +-mmcs51 +\emph default +). + Now, however, the '390 has it's own code generator, selected by the +\emph on +-mds390 +\emph default switch. \newline \newline Note that the compiler does not generate any code to place the processor - into 24 bitmode (although the tinibios in the ds390 libraries will do that - for you). - If you don't use tinibios, the boot loader or similar code must ensure - that the processor is in 24 bit contiguous addressing mode before calling - the SDCC startup code. + into 24 bitmode (although +\emph on +tinibios +\emph default + in the ds390 libraries will do that for you). + If you don't use +\emph on +tinibios +\emph default +, the boot loader or similar code must ensure that the processor is in 24 + bit contiguous addressing mode before calling the SDCC startup code. \newline \newline -Like the --model-large option, variables will by default be placed into - the XDATA segment. +Like the +\emph on +--model-large +\emph default + option, variables will by default be placed into the XDATA segment. \newline @@ -3737,8 +3868,11 @@ Segments may be placed anywhere in the 4 meg address space using the usual Note that if any segments are located above 64K, the -r flag must be passed to the linker to generate the proper segment relocations, and the Intel HEX output format must be used. - The -r flag can be passed to the linker by using the option -Wl-r on the - sdcc command line. + The -r flag can be passed to the linker by using the option +\emph on +-Wl-r +\emph default + on the sdcc command line. However, currently the linker can not handle code segments > 64k. \layout Subsection @@ -3759,22 +3893,46 @@ __mcs51 or __ds390 or __z80, etc - depending on the model used (e.g. -mz80) \layout Itemize -SDCC_STACK_AUTO - this symbol is defined when --stack-auto option is used. -\layout Itemize - -SDCC_MODEL_SMALL - when small model is used. +SDCC_STACK_AUTO - this symbol is defined when +\emph on +--stack-auto +\emph default + option is used. \layout Itemize -SDCC_MODEL_LARGE - when --model-large is used. +SDCC_MODEL_SMALL - when +\emph on +--model-small +\emph default + is used. \layout Itemize -SDCC_USE_XSTACK - when --xstack option is used. +SDCC_MODEL_LARGE - when +\emph on +--model-large +\emph default + is used. +\layout Itemize + +SDCC_USE_XSTACK - when +\emph on +--xstack +\emph default + option is used. \layout Itemize -SDCC_STACK_TENBIT - when -mds390 is used +SDCC_STACK_TENBIT - when +\emph on +-mds390 +\emph default + is used \layout Itemize -SDCC_MODEL_FLAT24 - when -mds390 is used +SDCC_MODEL_FLAT24 - when +\emph on +-mds390 +\emph default + is used \layout Section SDCC Technical Data @@ -3783,91 +3941,84 @@ SDCC Technical Data Optimizations \layout Standard -SDCC performs a a host of standard optimizations in addition to some MCU - specific optimizations. +SDCC performs a host of standard optimizations in addition to some MCU specific + optimizations. \layout Subsubsection Sub-expression Elimination \layout Standard -The compiler does -\emph on -local and global -\emph default -common subexpression elimination. -\layout Standard - - -\family typewriter -\size scriptsize -eg. +The compiler does local and global common subexpression elimination, e.g.: -\layout Standard +\newline +\newline -\size small +\family typewriter i = x + y + 1; -\size default +\newline +j = x + y; +\family default \newline -j -\size small -= x + y; -\layout Standard +\newline will be translated to -\layout Standard +\newline +\newline -\size small +\family typewriter iTemp = x + y \newline i = iTemp + 1 \newline j = iTemp -\layout Standard +\newline -Some subexpressions are not as obvious as the above example. -\layout Standard +\family default -eg. -\layout Standard +\newline +Some subexpressions are not as obvious as the above example, e.g.: +\newline +\newline -\size small +\family typewriter a->b[i].c = 10; \newline a->b[i].d = 11; -\layout Standard +\family default -In this case the address arithmetic -\emph on -a->b[i] -\emph default -will be computed only once; the equivalent code in C would be. -\layout Standard +\newline +\newline +In this case the address arithmetic a->b[i] will be computed only once; + the equivalent code in C would be. +\newline -\size small +\newline + +\family typewriter iTemp = a->b[i]; \newline iTemp.c = 10; \newline iTemp.d = 11; -\layout Standard +\family default +\newline + +\newline The compiler will try to keep these temporary variables in registers. \layout Subsubsection Dead-Code Elimination \layout Standard -eg. -\layout Standard - -\size small +\family typewriter int global; \newline void f () { @@ -3879,13 +4030,12 @@ int i; \SpecialChar ~ \SpecialChar ~ i = 1; \SpecialChar ~ -\SpecialChar ~ -\SpecialChar ~ /* dead store */ \newline \SpecialChar ~ \SpecialChar ~ -global = 1; /* dead store */ +global = 1;\SpecialChar ~ +/* dead store */ \newline \SpecialChar ~ \SpecialChar ~ @@ -3897,28 +4047,31 @@ return; \newline \SpecialChar ~ \SpecialChar ~ -global = 3; /* unreachable */ +global = 3;\SpecialChar ~ +/* unreachable */ \newline } -\layout Standard +\family default +\newline + +\newline will be changed to -\layout Standard +\newline +\newline -\size footnotesize +\family typewriter int global; void f () \newline -{ \SpecialChar ~ - \SpecialChar ~ - +{ \newline \SpecialChar ~ -global = 2; \SpecialChar ~ - \SpecialChar ~ - +\SpecialChar ~ +global = 2; \newline \SpecialChar ~ +\SpecialChar ~ return; \newline } @@ -3927,41 +4080,38 @@ return; Copy-Propagation \layout Standard -eg. -\layout Standard - -\size footnotesize +\family typewriter int f() { \newline \SpecialChar ~ \SpecialChar ~ -\SpecialChar ~ int i, j; \newline \SpecialChar ~ \SpecialChar ~ -\SpecialChar ~ i = 10; \newline \SpecialChar ~ \SpecialChar ~ -\SpecialChar ~ j = i; \newline \SpecialChar ~ \SpecialChar ~ -\SpecialChar ~ return j; \newline } -\layout Standard +\family default + +\newline +\newline will be changed to -\layout Standard +\newline +\newline -\size small +\family typewriter int f() { \newline \SpecialChar ~ @@ -3981,8 +4131,11 @@ int f() { return 10; \newline } -\layout Standard +\newline +\newline + +\family default Note: the dead stores created by this copy propagation will be eliminated by dead-code elimination. \layout Subsubsection @@ -3991,101 +4144,112 @@ Loop Optimizations \layout Standard Two types of loop optimizations are done by SDCC loop invariant lifting - and strength reduction of loop induction variables.In addition to the strength - reduction the optimizer marks the induction variables and the register - allocator tries to keep the induction variables in registers for the duration - of the loop. - Because of this preference of the register allocator , loop induction optimizat -ion causes an increase in register pressure, which may cause unwanted spilling + and strength reduction of loop induction variables. + In addition to the strength reduction the optimizer marks the induction + variables and the register allocator tries to keep the induction variables + in registers for the duration of the loop. + Because of this preference of the register allocator, loop induction optimizati +on causes an increase in register pressure, which may cause unwanted spilling of other temporary variables into the stack / data space. The compiler will generate a warning message when it is forced to allocate extra space either on the stack or data space. If this extra space allocation is undesirable then induction optimization - can be eliminated either for the entire source file ( with --noinduction - option) or for a given function only (#pragma NOINDUCTION). -\layout Itemize - + can be eliminated either for the entire source file (with --noinduction + option) or for a given function only using #pragma\SpecialChar ~ +NOINDUCTION. +\newline -\series bold +\newline Loop Invariant: -\layout Standard - -eg -\layout Standard +\newline +\newline -\size small +\family typewriter for (i = 0 ; i < 100 ; i ++) \newline -\SpecialChar ~ \SpecialChar ~ \SpecialChar ~ f += k + l; -\layout Standard +\family default + +\newline +\newline changed to -\layout Standard +\newline +\newline -\size small +\family typewriter itemp = k + l; \newline -for ( i = 0; i < 100; i++ ) f += itemp; -\layout Standard +for (i = 0; i < 100; i++) +\newline +\SpecialChar ~ +\SpecialChar ~ +f += itemp; +\family default +\newline + +\newline As mentioned previously some loop invariants are not as apparent, all static address computations are also moved out of the loop. -\layout Itemize - - -\series bold -Strength Reduction : -\layout Standard +\newline -This optimization substitutes an expression by a cheaper expression. -\layout Standard +\newline +Strength Reduction, this optimization substitutes an expression by a cheaper + expression: +\newline -eg. -\layout Standard +\newline +\family typewriter +for (i=0;i < 100; i++) +\newline +\SpecialChar ~ +\SpecialChar ~ +ar[i*5] = i*3; +\family default -\size small -for (i=0;i < 100; i++) ar[i*5] = i*3; -\layout Standard +\newline +\newline changed to -\layout Standard +\newline +\newline -\size small +\family typewriter itemp1 = 0; \newline itemp2 = 0; \newline for (i=0;i< 100;i++) { \newline -\SpecialChar ~ \SpecialChar ~ \SpecialChar ~ ar[itemp1] = itemp2; \newline -\SpecialChar ~ \SpecialChar ~ \SpecialChar ~ itemp1 += 5; \newline -\SpecialChar ~ \SpecialChar ~ \SpecialChar ~ itemp2 += 3; \newline } -\layout Standard +\family default + +\newline +\newline The more expensive multiplication is changed to a less expensive addition. \layout Subsubsection -Loop Reversing: +Loop Reversing \layout Standard This optimization is done to reduce the overhead of checking loop boundaries @@ -4100,31 +4264,24 @@ decrement and jump if not zero instruction. SDCC checks for the following criterion to determine if a loop is reversible - (note: more sophisticated compiers use data-dependency analysis to make + (note: more sophisticated compilers use data-dependency analysis to make this determination, SDCC uses a more simple minded analysis). \layout Itemize The 'for' loop is of the form \newline -\begin_inset Quotes eld -\end_inset +\newline -for ( = ; [< | <=] ; [++ | +\family typewriter +for ( = ; [< | <=] ; [++ | += 1]) \newline \SpecialChar ~ \SpecialChar ~ \SpecialChar ~ \SpecialChar ~ -\SpecialChar ~ -\SpecialChar ~ -\SpecialChar ~ -\begin_inset Quotes erd -\end_inset - - \layout Itemize The does not contain @@ -4158,9 +4315,16 @@ The loop control variable does NOT participate in any arithmetic operation There are NO switch statements in the loop. \layout Standard -Note djnz instruction can be used for 8-bit values ONLY, therefore it is - advantageous to declare loop control symbols as either 'char', ofcourse - this may not be possible on all situations. +Note djnz instruction can be used for 8-bit values +\emph on +only +\emph default +, therefore it is advantageous to declare loop control symbols as +\emph on +char +\emph default +. + Ofcourse this may not be possible on all situations. \layout Subsubsection Algebraic Simplifications @@ -4168,16 +4332,11 @@ Algebraic Simplifications SDCC does numerous algebraic simplifications, the following is a small sub-set of these optimizations. -\layout Standard - - -\size small -eg -\emph on - -\emph default +\newline \newline + +\family typewriter i = j + 0 ; /* changed to */ i = j; \newline i /= 2; /* changed to */ i >>= 1; @@ -4185,8 +4344,11 @@ i /= 2; /* changed to */ i >>= 1; i = j - j ; /* changed to */ i = 0; \newline i = j / 1 ; /* changed to */ i = j; -\layout Standard +\family default + +\newline +\newline Note the subexpressions given above are generally introduced by macro expansions or as a result of copy/constant propagation. \layout Subsubsection @@ -4199,15 +4361,12 @@ SDCC changes switch statements to jump tables when the following conditions \layout Itemize -The case labels are in numerical sequence , the labels need not be in order, +The case labels are in numerical sequence, the labels need not be in order, and the starting number need not be one or zero. \layout Standard -eg -\layout Standard - -\size small +\family typewriter switch(i) {\SpecialChar ~ \SpecialChar ~ \SpecialChar ~ @@ -4310,8 +4469,11 @@ case 4: ... \SpecialChar ~ \SpecialChar ~ } -\layout Standard +\newline + +\newline +\family default Both the above switch statements will be implemented using a jump-table. \layout Itemize @@ -4326,14 +4488,12 @@ The number of case labels is less than 84, since each label takes 3 bytes Switch statements which have gaps in the numeric sequence or those that have more that 84 case labels can be split into more than one switch statement - for efficient code generation. -\layout Standard - -eg -\layout Standard + for efficient code generation, e.g.: +\newline +\newline -\size small +\family typewriter switch (i) { \newline case 1: ... @@ -4361,13 +4521,17 @@ case 12: ... \newline } -\layout Standard +\family default + +\newline +\newline If the above switch statement is broken down into two switch statements -\layout Standard +\newline +\newline -\size small +\family typewriter switch (i) { \newline case 1: ... @@ -4383,13 +4547,21 @@ case 4: ... \newline } -\layout Standard +\newline +\newline -\size small +\family default +and +\family typewriter + +\newline + +\newline switch (i) { \newline -case 9: ... +case 9: \SpecialChar ~ +... \newline case 10: ... @@ -4398,12 +4570,16 @@ case 10: ... case 11: ... \newline -case 12:... +case 12:\SpecialChar ~ +... \newline } -\layout Standard +\newline + +\newline +\family default then both the switch statements will be implemented using jump-tables whereas the unmodified switch statement will not be. \layout Subsubsection @@ -4414,32 +4590,25 @@ Bit-shifting Operations. Bit shifting is one of the most frequently used operation in embedded programmin g. SDCC tries to implement bit-shift operations in the most efficient way - possible. -\layout Standard + possible, e.g.: +\newline -eg. -\layout Standard - - -\size small +\newline unsigned char i; -\layout Standard - - -\size small +\newline ... \newline i>>= 4; \newline -.. -\layout Standard - -generates the following code. -\layout Standard +... +\newline +\newline +generates the following code: +\newline -\size small +\newline mov a,_i \newline swap a @@ -4447,14 +4616,16 @@ swap a anl a,#0x0f \newline mov _i,a -\layout Standard +\newline +\newline In general SDCC will never setup a loop if the shift count is known. - Another example -\layout Standard + Another example: +\newline +\newline -\size small +\family typewriter unsigned int i; \newline ... @@ -4463,13 +4634,17 @@ unsigned int i; i >>= 9; \newline ... -\layout Standard +\family default -will generate -\layout Standard +\newline +\newline +will generate: +\newline -\size small +\newline + +\family typewriter mov a,(_i + 1) \newline mov (_i + 1),#0x00 @@ -4479,53 +4654,62 @@ clr c rrc a \newline mov _i,a -\layout Standard +\family default -Note that SDCC stores numbers in -\noun on -little-endian -\noun default -format (i.e. - lowest order first) +\newline + +\newline +Note that SDCC stores numbers in little-endian format (i.e. + lowest order first). \layout Subsubsection Bit-rotation \layout Standard A special case of the bit-shift operation is bit rotation, SDCC recognizes - the following expression to be a left bit-rotation. -\layout Standard + the following expression to be a left bit-rotation: +\newline +\newline -\size small +\family typewriter unsigned char i; \newline ... \newline -i = ( ( i << 1) | ( i >> 7)); +i = ((i << 1) | (i >> 7)); +\family default + \newline ... -\layout Standard +\newline -will generate the following code. -\layout Standard +\newline +will generate the following code: +\newline +\newline -\size small +\family typewriter mov a,_i \newline rl a \newline mov _i,a -\layout Standard +\family default + +\newline +\newline SDCC uses pattern matching on the parse tree to determine this operation.Variatio -ns of this case will also be recognized as bit-rotation i.e -\emph on - i = ((i >> 7) | (i << 1)); -\emph default -/* left-bit rotation */ +ns of this case will also be recognized as bit-rotation, i.e.: +\newline + +\newline + +\family typewriter +i = ((i >> 7) | (i << 1)); /* left-bit rotation */ \layout Subsubsection Highest Order Bit @@ -4534,14 +4718,15 @@ Highest Order Bit It is frequently required to obtain the highest order bit of an integral type (long, int, short or char types). SDCC recognizes the following expression to yield the highest order bit - and generates optimized code for it. -\layout Standard - + and generates optimized code for it, e.g.: +\newline -\size small -eg \newline + +\family typewriter unsigned int gint; +\newline + \newline foo () { \newline @@ -4549,29 +4734,30 @@ unsigned char hob; \newline \SpecialChar ~ \SpecialChar ~ -\SpecialChar ~ ... \newline \SpecialChar ~ \SpecialChar ~ -\SpecialChar ~ hob = (gint >> 15) & 1; \newline \SpecialChar ~ \SpecialChar ~ -\SpecialChar ~ .. \newline } -\layout Standard +\family default -Will generate the following code. -\layout Standard +\newline +\newline +will generate the following code: +\newline -\size small +\family typewriter + +\newline \SpecialChar ~ \SpecialChar ~ \SpecialChar ~ @@ -4751,110 +4937,200 @@ Will generate the following code. \SpecialChar ~ mov\SpecialChar ~ _foo_hob_1_1,a -\layout Standard - -Variations of this case however will NOT be recognized. - It is a standard C expression , so I heartily recommend this be the only - way to get the highest order bit, (it is portable). - Of course it will be recognized even if it is embedded in other expressions. -\layout Standard +\newline +\newline -\size small -eg. -\layout Standard +\family default +Variations of this case however will +\emph on +not +\emph default + be recognized. + It is a standard C expression, so I heartily recommend this be the only + way to get the highest order bit, (it is portable). + Of course it will be recognized even if it is embedded in other expressions, + e.g.: +\newline +\newline -\size small +\family typewriter xyz = gint + ((gint >> 15) & 1); -\layout Standard +\family default +\newline + +\newline will still be recognized. \layout Subsubsection Peep-hole Optimizer \layout Standard -The compiler uses a rule based , pattern matching and re-writing mechanism +The compiler uses a rule based, pattern matching and re-writing mechanism for peep-hole optimization. - It is inspired by ' + It is inspired by \emph on -copt' +copt \emph default a peep-hole optimizer by Christopher W. Fraser (cwfraser@microsoft.com). A default set of rules are compiled into the compiler, additional rules - may be added with the --peep-file option. + may be added with the +\emph on +--peep-file +\emph default + option. The rule language is best illustrated with examples. -\layout Standard +\newline +\newline -\size small +\family typewriter replace { \newline +\SpecialChar ~ +\SpecialChar ~ mov %1,a \newline -mov a,%1 } by { mov %1,a } -\layout Standard +\SpecialChar ~ +\SpecialChar ~ +mov a,%1 +\newline +} by { +\newline +\SpecialChar ~ +\SpecialChar ~ +mov %1,a +\newline +} +\family default -The above rule will the following assembly sequence -\layout Standard +\newline +\newline +The above rule will change the following assembly sequence: +\newline -\size small +\newline + +\family typewriter +\SpecialChar ~ +\SpecialChar ~ mov r1,a \newline +\SpecialChar ~ +\SpecialChar ~ mov a,r1 -\layout Standard +\family default + +\newline +\newline to -\layout Standard +\newline +\newline -\size small +\family typewriter mov r1,a -\layout Standard +\family default -Note: All occurrences of a '%n' ( pattern variable ) must denote the same - string. - With the above rule, the assembly sequence -\layout Standard +\newline +\newline +Note: All occurrences of a +\emph on +%n +\emph default + (pattern variable) must denote the same string. + With the above rule, the assembly sequence: +\newline -\size small +\newline + +\family typewriter +\SpecialChar ~ +\SpecialChar ~ mov r1,a \newline +\SpecialChar ~ +\SpecialChar ~ mov a,r2 -\layout Standard +\family default + +\newline +\newline will remain unmodified. - Other special case optimizations may be added by the user (via --peep-file - option), eg. - some variants of the 8051 MCU allow only 'AJMP' and 'ACALL' , the following - two rules will change all 'LJMP' & 'LCALL' to 'AJMP' & 'ACALL'. -\layout Standard +\newline +\newline +Other special case optimizations may be added by the user (via +\emph on +--peep-file option +\emph default +). + E.g. + some variants of the 8051 MCU allow only +\family typewriter +ajmp +\family default + and +\family typewriter +acall +\family default +. + The following two rules will change all +\family typewriter +ljmp +\family default + and +\family typewriter +lcall +\family default + to +\family typewriter +ajmp +\family default + and +\family typewriter +acall +\family default -\size small +\newline + +\newline + +\family typewriter replace { lcall %1 } by { acall %1 } \newline replace { ljmp %1 } by { ajmp %1 } -\layout Standard +\family default + +\newline -The inline-assembler' code is also passed through the peep hole optimizer, - thus the peephole optimizer can also be used as an assembly level macro - expander. +\newline +The +\emph on +inline-assembler code +\emph default + is also passed through the peep hole optimizer, thus the peephole optimizer + can also be used as an assembly level macro expander. The rules themselves are MCU dependent whereas the rule language infra-structur e is MCU independent. Peephole optimization rules for other MCU can be easily programmed using the rule language. -\layout Standard +\newline -The syntax for a rule is as follows , -\layout Standard +\newline +The syntax for a rule is as follows: +\newline +\newline -\size small +\family typewriter rule := replace [ restart ] '{' ' \backslash n' @@ -4915,96 +5191,114 @@ n' \backslash n' \newline - := assembly instruction (each instruction including - labels must be on a separate line).\SpecialChar ~ - \SpecialChar ~ -\layout Standard +\family default + +\newline + := assembly instruction (each instruction including + labels must be on a separate line). +\newline +\newline The optimizer will apply to the rules one by one from the top in the sequence of their appearance, it will terminate when all rules are exhausted. - If the ' -\emph on -restart -\emph default -' option is specified, then the optimizer will start matching the rules - again from the top, this option for a rule is expensive (performance), - it is intended to be used in situations where a transformation will trigger + If the 'restart' option is specified, then the optimizer will start matching + the rules again from the top, this option for a rule is expensive (performance) +, it is intended to be used in situations where a transformation will trigger the same rule again. - A good example of this the following rule. -\layout Standard - + A good example of this the following rule: +\newline -\size small +\newline replace restart { \newline +\SpecialChar ~ +\SpecialChar ~ pop %1 \newline +\SpecialChar ~ +\SpecialChar ~ push %1 } by { \newline +\SpecialChar ~ +\SpecialChar ~ ; nop \newline } -\layout Standard +\newline +\newline Note that the replace pattern cannot be a blank, but can be a comment line. - Without the ' -\emph on -restart -\emph default -' option only the inner most 'pop' 'push' pair would be eliminated. - i.e. -\layout Standard + Without the 'restart' option only the inner most 'pop' 'push' pair would + be eliminated, i.e.: +\newline +\newline -\size small +\family typewriter +\SpecialChar ~ +\SpecialChar ~ pop ar1 \newline +\SpecialChar ~ +\SpecialChar ~ pop ar2 \newline +\SpecialChar ~ +\SpecialChar ~ push ar2 \newline +\SpecialChar ~ +\SpecialChar ~ push ar1 -\layout Standard +\family default -would result in -\layout Standard +\newline +\newline +would result in: +\newline -\size small +\newline + +\family typewriter pop ar1 \newline ; nop \newline push ar1 -\layout Standard +\family default + +\newline + +\newline -with the ' -\emph on -restart -\emph default -' option the rule will be applied again to the resulting code and the all - the ' \emph on -pop' 'push' +with \emph default - pairs will be eliminated to yield -\layout Standard + the restart option the rule will be applied again to the resulting code + and then all the pop-push pairs will be eliminated to yield: +\newline +\newline -\size small +\family typewriter ; nop \newline ; nop -\layout Standard +\family default +\newline + +\newline A conditional function can be attached to a rule. Attaching rules are somewhat more involved, let me illustrate this with an example. -\layout Standard +\newline +\newline -\size small +\family typewriter replace { \newline \SpecialChar ~ @@ -5020,144 +5314,93 @@ ljmp %5 sjmp %5 \newline %2:} if labelInRange -\layout Standard +\family default + +\newline +\newline The optimizer does a look-up of a function name table defined in function - ' -\emph on -callFuncByName' -\emph default - in the source file + \emph on -SDCCpeeph.c +callFuncByName \emph default - , with the name + in the source file SDCCpeeph.c, with the name \emph on -'labelInRange +labelInRange \emph default -', if it finds a corresponding entry the function is called. +. + If it finds a corresponding entry the function is called. Note there can be no parameters specified for these functions, in this case the use of \emph on -'%5 +%5 \emph default -' is crucial, since the function + is crucial, since the function \emph on labelInRange \emph default expects to find the label in that particular variable (the hash table containin g the variable bindings is passed as a parameter). - If you want to code more such functions , take a close look at the function - -\emph on -labelInRange -\emph default - and the calling mechanism in source file -\emph on -SDCCpeeph.c -\emph default -. - I know this whole thing is a little kludgey , may be some day we will have - some better means. + If you want to code more such functions, take a close look at the function + labelInRange and the calling mechanism in source file SDCCpeeph.c. + I know this whole thing is a little kludgey, but maybe some day we will + have some better means. If you are looking at this file, you will also see the default rules that - are compiled into the compiler, you can your own rules in the default set - there if you get tired of specifying the + are compiled into the compiler, you can add your own rules in the default + set there if you get tired of specifying the --peep-file option. +\newline + +\newline + \emph on ---peep-file -\emph default - option. + \layout Subsection Pragmas \layout Standard -SDCC supports the following -\emph on -#pragma -\emph default -directives. +SDCC supports the following #pragma directives. This directives are applicable only at a function level. \layout Itemize - -\series bold -SAVE -\series default - - this will save all the current options. +SAVE - this will save all the current options. \layout Itemize - -\series bold -RESTORE -\series default -- will restore the saved options from the last save. +RESTORE - will restore the saved options from the last save. Note that SAVES & RESTOREs cannot be nested. SDCC uses the same buffer to save the options each time a SAVE is called. \layout Itemize - -\series bold -NOGCSE -\series default - - will stop global subexpression elimination. +NOGCSE - will stop global subexpression elimination. \layout Itemize - -\series bold -NOINDUCTION -\series default - - will stop loop induction optimizations. +NOINDUCTION - will stop loop induction optimizations. \layout Itemize - -\series bold -NOJTBOUND -\series default - - will not generate code for boundary value checking , when switch statements - are turned into jump-tables. +NOJTBOUND - will not generate code for boundary value checking, when switch + statements are turned into jump-tables. \layout Itemize - -\series bold -NOOVERLAY -\series default -- the compiler will not overlay the parameters and local variables of a - function. +NOOVERLAY - the compiler will not overlay the parameters and local variables + of a function. \layout Itemize - -\series bold -NOLOOPREVERSE -\series default - - Will not do loop reversal optimization +NOLOOPREVERSE - Will not do loop reversal optimization \layout Itemize - -\series bold -EXCLUDE NONE | {acc[,b[,dpl[,dph]]] -\series default - - The exclude pragma disables generation of pair of push/pop instruction - in ISR function (using interrupt keyword). +EXCLUDE NONE | {acc[,b[,dpl[,dph]]] - The exclude pragma disables generation + of pair of push/pop instruction in ISR function (using interrupt keyword). The directive should be placed immediately before the ISR function definition and it affects ALL ISR functions following it. - To enable the normal register saving for ISR functions use -\begin_inset Quotes eld -\end_inset - -#pragma EXCLUDE none -\begin_inset Quotes erd -\end_inset - - + To enable the normal register saving for ISR functions use #pragma\SpecialChar ~ +EXCLUDE\SpecialChar ~ +none. \layout Itemize - -\series bold -CALLEE-SAVES function1[,function2[,function3...]] -\series default - - The compiler by default uses a caller saves convention for register saving - across function calls, however this can cause unneccessary register pushing - & popping when calling small functions from larger functions. +CALLEE-SAVES function1[,function2[,function3...]] - The compiler by default + uses a caller saves convention for register saving across function calls, + however this can cause unneccessary register pushing & popping when calling + small functions from larger functions. This option can be used to switch the register saving convention for the function names specified. The compiler will not save registers when calling these functions, extra @@ -5167,8 +5410,9 @@ CALLEE-SAVES function1[,function2[,function3...]] In future the compiler (with interprocedural analysis) will be able to determine the appropriate scheme to use for each function call. If --callee-saves command line option is used, the function names specified - in #pragma CALLEE-SAVES is appended to the list of functions specified - inthe command line. + in #pragma\SpecialChar ~ +CALLEE-SAVES is appended to the list of functions specified inthe + command line. \layout Standard The pragma's are intended to be used to turn-off certain optimizations which @@ -5177,25 +5421,13 @@ The pragma's are intended to be used to turn-off certain optimizations which This usually happens in large functions. Pragma directives should be used as shown in the following example, they are used to control options & optimizations for a given function; pragmas - should be placed -\noun on -before -\noun default - and/or -\noun on -after -\noun default - a function, placing pragma's inside a function body could have unpredictable - results. + should be placed before and/or after a function, placing pragma's inside + a function body could have unpredictable results. \layout Standard - -\size scriptsize eg \layout Standard - -\size scriptsize #pragma SAVE \SpecialChar ~ /* save the current settings */ \newline @@ -5237,26 +5469,14 @@ Library Routines The following library routines are provided for your convenience. \layout Standard - -\series bold -\size large -stdio.h -\series default -\size default -- Contains the following functions printf & sprintf these routines are developed - by -\emph on -Martijn van Balen . +stdio.h - Contains the following functions printf & sprintf these routines + are developed by Martijn van Balen . \layout Standard - -\size scriptsize %[flags][width][b|B|l|L]type \layout Standard - -\size scriptsize \SpecialChar ~ \SpecialChar ~ \SpecialChar ~ @@ -5805,17 +6025,10 @@ Martijn van Balen . float (still to be implemented) \layout Standard -Also contains a very simple version of printf ( -\series bold -printf_small -\series default -). +Also contains a very simple version of printf (printf_small). This simplified version of printf supports only the following formats. \layout Standard - -\size scriptsize -\bar under format\SpecialChar ~ \SpecialChar ~ \SpecialChar ~ @@ -5827,16 +6040,8 @@ type\SpecialChar ~ \SpecialChar ~ \SpecialChar ~ \SpecialChar ~ -argument-type -\bar default - -\series bold -\size default - +argument-type \newline - -\series default -\size scriptsize %d \SpecialChar ~ \SpecialChar ~ \SpecialChar ~ @@ -6016,24 +6221,16 @@ character\SpecialChar ~ _generic pointer \layout Standard -The routine is -\series bold -very stack intesive -\series default -, --stack-after-data parameter should be used when using this routine, the - routine also takes about 1K of code space. - It also expects an external function named -\emph on -putchar(char ) -\emph default - to be present (this can be changed). +The routine is very stack intesive, --stack-after-data parameter should + be used when using this routine, the routine also takes about 1K of code + space. + It also expects an external function named putchar(char) to be present + (this can be changed). When using the %s format the string / pointer should be cast to a generic pointer. eg. \layout Standard - -\size scriptsize printf_small( \begin_inset Quotes eld \end_inset @@ -6047,39 +6244,17 @@ n ,(char _generic *)mystr,myint); \layout Itemize - -\series bold -\size large -stdarg.h -\series default -\size default -- contains definition for the following macros to be used for variable parameter - list, note that a function can have a variable parameter list if and only - if it is 'reentrant' +stdarg.h - contains definition for the following macros to be used for variable + parameter list, note that a function can have a variable parameter list + if and only if it is 'reentrant' \begin_deeper \layout Standard - -\size small va_list, va_start, va_arg, va_end. \end_deeper \layout Itemize - -\series bold -\size large -setjmp.h -\series default -\size default -- contains defintion for ANSI -\series bold - setjmp -\series default -& -\series bold -longjmp -\series default - routines. +setjmp.h - contains defintion for ANSI setjmp & longjmp routines. Note in this case setjmp & longjmp can be used between functions executing within the same register bank, if long jmp is executed from a function that is using a different register bank from the function issuing the setjmp @@ -6088,71 +6263,39 @@ longjmp return address), and can be placed in any address space. \layout Itemize - -\series bold -\size large -stdlib.h -\series default -\size default - - contains the following functions. +stdlib.h - contains the following functions. \begin_deeper \layout Standard - -\size footnotesize atoi, atol. \end_deeper \layout Itemize - -\series bold -\size large -string.h -\series default -\size default -- contains the following functions. +string.h - contains the following functions. \begin_deeper \layout Standard - -\size footnotesize strcpy, strncpy, strcat, strncat, strcmp, strncmp, strchr, strrchr, strspn, strcspn, strpbrk, strstr, strlen, strtok, memcpy, memcmp, memset. \end_deeper \layout Itemize - -\series bold -\size large -ctype.h -\series default -\size default - - contains the following routines. +ctype.h - contains the following routines. \begin_deeper \layout Standard - -\size footnotesize iscntrl, isdigit, isgraph, islower, isupper, isprint, ispunct, isspace, isxdigit, isalnum, isalpha. \end_deeper \layout Itemize - -\series bold -\size large -malloc.h -\series default -\size default - - The malloc routines are developed by Dmitry S. +malloc.h - The malloc routines are developed by Dmitry S. Obukhov (dso@usa.net). These routines will allocate memory from the external ram. Here is a description on how to use them (as described by the author). \begin_deeper \layout Standard - -\size scriptsize //Example: \newline \SpecialChar ~ @@ -6309,13 +6452,7 @@ malloc.h \end_deeper \layout Itemize - -\series bold -\size large -serial.h -\series default -\size default - - Serial IO routines are also developed by Dmitry S. +serial.h - Serial IO routines are also developed by Dmitry S. Obukhov (dso@usa.net). These routines are interrupt driven with a 256 byte circular buffer, they also expect external ram to be present. @@ -6331,46 +6468,22 @@ serial.h MUST be included in the file containing the 'main' function. \layout Itemize - -\series bold -\size large -ser.h -\series default -\size default -- Alternate serial routine provided by Wolfgang Esslinger these routines are more compact and faster. +ser.h - Alternate serial routine provided by Wolfgang Esslinger these routines are more compact and faster. Please see documentation in file SDCCDIR/sdcc51lib/ser.c \layout Itemize - -\series bold -\size large -ser_ir.h -\series default -\size default -- Another alternate set of serial routines provided by Josef Wolf , these routines do not use the external ram. +ser_ir.h - Another alternate set of serial routines provided by Josef Wolf + , these routines do not use the external ram. \layout Itemize - -\series bold -\size large -reg51.h -\series default -\size default - - contains register definitions for a standard 8051 +reg51.h - contains register definitions for a standard 8051 \layout Itemize - -\series bold -\size large -float.h -\series default -\size default - - contains min, max and other floating point related stuff. +float.h - contains min, max and other floating point related stuff. \layout Standard -All library routines are compiled as --model-small , they are all non-reentrant, +All library routines are compiled as --model-small, they are all non-reentrant, if you plan to use the large model or want to make these routines reentrant, then they will have to be recompiled with the appropriate compiler option. \layout Standard @@ -6402,24 +6515,13 @@ DPL,DPH,B,ACC Assembler Routine(non-reentrant) \layout Standard -In the following example the function -\series bold - cfunc -\series default - calls an assembler routine -\series bold -asm_func -\series default -, which takes two parameters. +In the following example the function cfunc calls an assembler routine asm_func, + which takes two parameters. \layout Standard - -\size footnotesize -extern int asm_func( unsigned char, unsigned char); +extern int asm_func(unsigned char, unsigned char); \layout Standard - -\size footnotesize \SpecialChar ~ \newline @@ -6436,11 +6538,7 @@ int c_func (unsigned char i, unsigned char j) \SpecialChar ~ return asm_func(i,j); \newline -} -\size default - -\size scriptsize - +} \newline int main() \newline @@ -6457,8 +6555,6 @@ return c_func(10,9); The corresponding assembler function is:- \layout Standard - -\size scriptsize \SpecialChar ~ \SpecialChar ~ \SpecialChar ~ @@ -6578,12 +6674,8 @@ Note here that the return values are placed in 'dpl' - One byte return value, b' & 'acc' for four byte values. \layout Standard -The parameter naming convention is -\series bold -__PARM_, -\series default - where n is the parameter number starting from 1, and counting from the - left. +The parameter naming convention is __PARM_, where n is + the parameter number starting from 1, and counting from the left. The first parameter is passed in \begin_inset Quotes eld \end_inset @@ -6616,11 +6708,8 @@ acc,b,dptr \begin_inset Quotes erd \end_inset - for four bytes, the -\family typewriter -\series bold -\size footnotesize -varaible name for the second parameter will be __PARM_2. + for four bytes, the varaible name for the second parameter will be __PARM_2. \layout Standard Assemble the assembler routine with the following command. @@ -6639,25 +6728,19 @@ sdcc cfunc.c asmfunc.rel Assembler Routine(reentrant) \layout Standard -In this case the second parameter onwards will be passed on the stack , - the parameters are pushed from right to left i.e. +In this case the second parameter onwards will be passed on the stack, the + parameters are pushed from right to left i.e. after the call the left most parameter will be on the top of the stack. Here is an example. \layout Standard - -\size footnotesize -extern int asm_func( unsigned char, unsigned char); +extern int asm_func(unsigned char, unsigned char); \layout Standard - -\size footnotesize \SpecialChar ~ \layout Standard - -\size footnotesize int c_func (unsigned char i, unsigned char j) reentrant \newline { @@ -6671,11 +6754,7 @@ int c_func (unsigned char i, unsigned char j) reentrant \SpecialChar ~ return asm_func(i,j); \newline -} -\size default - -\size scriptsize - +} \newline int main() \newline @@ -6692,8 +6771,6 @@ return c_func(10,9); The corresponding assembler routine is. \layout Standard - -\size scriptsize \SpecialChar ~ \SpecialChar ~ \SpecialChar ~ @@ -6875,7 +6952,7 @@ The compiling and linking procedure remains the same, however note the extra External Stack \layout Standard -The external stack is located at the start of the external ram segment , +The external stack is located at the start of the external ram segment, and is 256 bytes in size. When --xstack option is used to compile the program, the parameters and local variables of all reentrant functions are allocated in this area. @@ -6905,14 +6982,10 @@ structures cannot be assigned values directly, cannot be passed as function \begin_deeper \layout Standard - -\size small eg \end_deeper \layout Standard - -\size small struct s { ... }; \newline @@ -6933,8 +7006,6 @@ s1 = s2 ; /* is invalid in SDCC although allowed in ANSI */ } \layout Standard - -\size small struct s foo1 (struct s parms) /* is invalid in SDCC although allowed in ANSI */ \newline @@ -6963,23 +7034,13 @@ integral promotions are suppressed. \layout Enumerate -No support for -\emph on -setjmp -\emph default - and -\emph on -longjmp -\emph default - (for now). +No support for setjmp and longjmp (for now). \layout Enumerate Old K&R style function declarations are NOT allowed. \layout Standard - -\size footnotesize -foo( i,j) /* this old style of function declarations */ +foo(i,j) /* this old style of function declarations */ \newline int i,j; /* are valid in ANSI .. not valid in SDCC */ @@ -6996,14 +7057,10 @@ functions declared as pointers must be dereferenced during the call. \begin_deeper \layout Standard - -\size small int (*foo)(); \end_deeper \layout Standard - -\size small \SpecialChar ~ \SpecialChar ~ ... @@ -7037,8 +7094,6 @@ Note that the complexity level is not related to the number of lines of SDCC uses the following formula to compute the complexity. \layout Standard - -\size small complexity = (number of edges in control flow graph) - \newline \SpecialChar ~ @@ -7089,15 +7144,13 @@ Since the compiler does not do implicit integral promotion, the programmer should do an explicit cast when integral promotion is required. \layout Itemize -Reducing the size of division , multiplication & modulus operations can - reduce code size substantially. +Reducing the size of division, multiplication & modulus operations can reduce + code size substantially. Take the following code for example. \begin_deeper \layout Standard - -\size footnotesize -foobar( unsigned int p1, unsigned char ch) +foobar(unsigned int p1, unsigned char ch) \newline { \newline @@ -7126,9 +7179,7 @@ For the modulus operation the variable ch will be promoted to unsigned int If the code is changed to \layout Standard - -\size footnotesize -foobar( unsigned int p1, unsigned char ch) +foobar(unsigned int p1, unsigned char ch) \newline { \newline @@ -7156,8 +7207,6 @@ It would substantially reduce the code generated (future versions of the \end_deeper \layout Standard - -\series bold Notes on MCS51 memory layout(Trefor@magera.freeserve.co.uk) \layout Standard @@ -7260,9 +7309,9 @@ The issues for retargetting the compiler are far too numerous to be covered Parsing the source and building the annotated parse tree. This phase is largely MCU independent (except for the language extensions). - Syntax & semantic checks are also done in this phase , along with some - initial optimizations like back patching labels and the pattern matching - optimizations like bit-rotation etc. + Syntax & semantic checks are also done in this phase, along with some initial + optimizations like back patching labels and the pattern matching optimizations + like bit-rotation etc. \layout Enumerate The second phase involves generating an intermediate code which can be easy @@ -7340,7 +7389,7 @@ SDCDB - Source Level Debugger SDCC is distributed with a source level debugger. The debugger uses a command line interface, the command repertoire of the - debugger has been kept as close to gdb ( the GNU debugger) as possible. + debugger has been kept as close to gdb (the GNU debugger) as possible. The configuration and build process is part of the standard compiler installati on, which also builds and installs the debugger in the target directory specified during configuration. @@ -7351,36 +7400,20 @@ on, which also builds and installs the debugger in the target directory Compiling for Debugging \layout Standard -The -\emph on ---debug -\emph default - option must be specified for all files for which debug information is to - be generated. - The complier generates a -\emph on -.cdb -\emph default - file for each of these files. - The linker updates the -\emph on -.cdb -\emph default - file with the address information. +The --debug option must be specified for all files for which debug information + is to be generated. + The complier generates a .cdb file for each of these files. + The linker updates the .cdb file with the address information. This .cdb is used by the debugger. \layout Subsection How the Debugger Works \layout Standard -When the -\emph on ---debug -\emph default - option is specified the compiler generates extra symbol information some - of which are put into the the assembler source and some are put into the - .cdb file, the linker updates the .cdb file with the address information - for the symbols. +When the --debug option is specified the compiler generates extra symbol + information some of which are put into the the assembler source and some + are put into the .cdb file, the linker updates the .cdb file with the address + information for the symbols. The debugger reads the symbolic information generated by the compiler & the address information generated by the linker. It uses the SIMULATOR (Daniel's S51) to execute the program, the program @@ -7419,9 +7452,9 @@ Command Line Options. --directory= this option can used to specify the directory search list. - The debugger will look into the directory list specified for source , cdb + The debugger will look into the directory list specified for source, cdb & ihx files. - The items in the directory list must be separated by ':' , e.g. + The items in the directory list must be separated by ':', e.g. if the source files can be in the directories /home/src1 and /home/src2, the --directory option should be --directory=/home/src1:/home/src2. Note there can be no spaces in the option. @@ -7452,8 +7485,8 @@ Debugger Commands. \layout Standard As mention earlier the command interface for the debugger has been deliberately - kept as close the GNU debugger gdb , as possible, this will help int integratio -n with existing graphical user interfaces (like ddd, xxgdb or xemacs) existing + kept as close the GNU debugger gdb, as possible, this will help int integration + with existing graphical user interfaces (like ddd, xxgdb or xemacs) existing for the GNU debugger. \layout Subsubsection @@ -7592,52 +7625,24 @@ Interfacing with XEmacs. \layout Standard Two files are (in emacs lisp) are provided for the interfacing with XEmacs, -\emph on - sdcdb.el -\emph default - and -\emph on -sdcdbsrc.el -\emph default -. + sdcdb.el and sdcdbsrc.el. These two files can be found in the $(prefix)/bin directory after the installat ion is complete. These files need to be loaded into XEmacs for the interface to work, this can be done at XEmacs startup time by inserting the following into your - -\emph on -'.xemacs' -\emph default - file (which can be found in your HOME directory) -\emph on -(load-file sdcdbsrc.el) -\emph default -[ .xemacs is a lisp file so the () around the command is REQUIRED), the files - can also be loaded dynamically while XEmacs is running, set the environment - variable -\emph on -'EMACSLOADPATH' -\emph default -to the installation bin directory [$(prefix)/bin], then enter the following - command -\emph on -ESC-x load-file sdcdbsrc. - -\emph default -To start the interface enter the following command -\emph on -ESC-x sdcdbsrc -\emph default - , you will prompted to enter the file name to be debugged. + '.xemacs' file (which can be found in your HOME directory) (load-file sdcdbsrc.el +) [ .xemacs is a lisp file so the () around the command is REQUIRED), the + files can also be loaded dynamically while XEmacs is running, set the environme +nt variable 'EMACSLOADPATH' to the installation bin directory [$(prefix)/bin], + then enter the following command ESC-x load-file sdcdbsrc. + To start the interface enter the following command ESC-x sdcdbsrc, you + will prompted to enter the file name to be debugged. \layout Standard The command line options that are passed to the simulator directly are bound - to default values in the file -\emph on -sdcdbsrc.el -\emph default -the variables are listed below these values maybe changed as required. + to default values in the file sdcdbsrc.el the variables are listed below + these values maybe changed as required. \layout Itemize sdcdbsrc-cpu-type '51 @@ -7654,8 +7659,6 @@ The following is a list of key mapping for the debugger interface. \SpecialChar ~ -\size scriptsize - \newline ;; Current Listing :: \newline diff --git a/doc/SDCCUdoc.txt b/doc/SDCCUdoc.txt index aef590ae..f84d0181 100644 --- a/doc/SDCCUdoc.txt +++ b/doc/SDCCUdoc.txt @@ -1,14 +1,16 @@ -SDCC Compiler User Guide +lSDCC Compiler User Guide Table of Contents 1 Introduction 1.1 About SDCC 1.2 Open Source - 1.3 System Requirements - 1.4 Other Resources + 1.3 Typographic conventions + 1.4 Pending: compatibilaty with previous versions + 1.5 System Requirements + 1.6 Other Resources 2 Installation 2.1 Linux/Unix Installation 2.2 Windows Installation @@ -27,11 +29,11 @@ Table of Contents 2.6 SDCC on Other Platforms 2.7 Advanced Install Options 2.8 Components of SDCC - 2.8.1 cpp ( C-Preprocessor) - 2.8.2 asxxxx & aslink ( The assembler and Linkage Editor) - 2.8.3 SDCC - The compiler - 2.8.4 S51 - Simulator - 2.8.5 SDCDB - Source Level Debugger + 2.8.1 sdcc - The Compiler + 2.8.2 sdcpp (C-Preprocessor) + 2.8.3 asx8051, as-z80, as-gbz80, aslink, link-z80, link-gbz80 (The Assemblers and Linkage Editors) + 2.8.4 s51 - Simulator + 2.8.5 sdcdb - Source Level Debugger 3 Using SDCC 3.1 Compiling 3.1.1 Single Source File Projects @@ -42,8 +44,8 @@ Table of Contents 3.2.2 Preprocessor Options 3.2.3 Linker Options 3.2.4 MCS51 Options - 3.2.5 Optimization Options - 3.2.6 DS390 Options + 3.2.5 DS390 Options + 3.2.6 Optimization Options 3.2.7 Other Options 3.2.8 Intermediate Dump Options 3.3 MCS51/DS390 Storage Class Language Extensions @@ -62,10 +64,10 @@ Table of Contents 3.11 Absolute Addressing 3.12 Startup Code 3.13 Inline Assembler Code - 3.14 int(16 bit) and long (32 bit ) Support + 3.14 int(16 bit) and long (32 bit) Support 3.15 Floating Point Support 3.16 MCS51 Memory Models - 3.17 Flat 24 bit Addressing Model + 3.17 DS390 Memory Models 3.18 Defines Created by the Compiler 4 SDCC Technical Data 4.1 Optimizations @@ -73,7 +75,7 @@ Table of Contents 4.1.2 Dead-Code Elimination 4.1.3 Copy-Propagation 4.1.4 Loop Optimizations - 4.1.5 Loop Reversing: + 4.1.5 Loop Reversing 4.1.6 Algebraic Simplifications 4.1.7 'switch' Statements 4.1.8 Bit-shifting Operations. @@ -126,6 +128,8 @@ Table of Contents 1.1 About SDCC + + SDCC is a Free ware, retargettable, optimizing ANSI-C compiler by Sandeep Dutta designed for 8 bit Microprocessors. The current version targets Intel MCS51 based Microprocessors(8051,8052, @@ -146,7 +150,7 @@ the back-end SDCC uses a global register allocation scheme which should be well suited for other 8 bit MCUs. The peep hole optimizer uses a rule based substitution mechanism which is MCU dependent. Supported data-types are char (8 -bits, 1 byte), short and int (16 bits, 2 bytes ), long (32 +bits, 1 byte), short and int (16 bits, 2 bytes), long (32 bit, 4 bytes) and float (4 byte IEEE). The compiler also allows inline assembler code to be embedded anywhere in a function. In addition routines developed in assembly can @@ -156,14 +160,15 @@ be further optimized, or hand coded in assembly if needed. SDCC also comes with a companion source level debugger SDCDB, the debugger currently uses ucSim a freeware simulator for 8051 and other micro-controllers. The latest version can -be downloaded from [http://sdcc.sourceforge.net/]. +be downloaded from [http://sdcc.sourceforge.net/] . 1.2 Open Source -All packages used in this compiler system are opensource(freeware); -source code for all the sub-packages (asxxxx assembler/linker, -pre-processor) are distributed with the package. This documentation -is maintained using a freeware word processor (LyX). +All packages used in this compiler system are opensource +and freeware; source code for all the sub-packages (asxxxx +assembler/linker, pre-processor) is distributed with the +package. This documentation is maintained using a freeware +word processor (LyX). This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License @@ -181,7 +186,32 @@ this program. You are forbidden to forbid anyone else to use, share and improve what you give them. Help stamp out software-hoarding! -1.3 System Requirements + + +1.3 Typographic conventions + +Throughout this manual, we will use the following convention. +Commands you have to type in are printed in "sans serif". +Code samples are printed in typewriter font. Interesting +items and new terms are printed in italicised type. + +1.4 Pending: compatibilaty with previous versions + +This version has numerous bug fixes comperated with the previous +version. But we also introduced some incompatibilaties with +older versions. Not just for the fun of it, but to make +the compiler more stable, efficient and ANSI compliant. + + +short char +directory structure (2.7) +vararg pars expl int unless casted +never had a regextend +no --noreparms anymore + +more? + +1.5 System Requirements What do you need before you start installation of SDCC? A computer, and a desire to compute. The preferred method @@ -190,7 +220,7 @@ GCC and make. For Windows some pre-compiled binary distributions are available for your convenience. You should have some experience with command line tools and compiler use. -1.4 Other Resources +1.6 Other Resources The SDCC home page at [http://sdcc.sourceforge.net/] is a great place to find distribution sets. You can also @@ -202,7 +232,7 @@ text or HTML file. Some of the other tools (simulator and assembler) included with SDCC contain their own documentation and can be found in the source distribution. If you want the latest unreleased software, the complete source package -is available directly by anonymous CVS on www.sourceforge.net. +is available directly by anonymous CVS on cvs.sdcc.sourceforge.net. 2 Installation @@ -213,24 +243,26 @@ is available directly by anonymous CVS on www.sourceforge.net. 2. Bring up a command line terminal, such as xterm. -3. Unpack the file using a command like: tar -xzf sdcc-2.x.x.tgz, +3. Unpack the file using a command like: "tar -xzf sdcc-2.x.x.tgz", this will create a sub-directory called sdcc with all of the sources. 4. Change directory into the main SDCC directory, for example type: "cd sdcc". -5. Type "./configure". This configures - the package for compilation on your system. +5. Type "./configure". This configures the package for compilation + on your system. -6. Type "make". All of the source packages - will compile, this can take a while. +6. Type "make". All of the source packages will compile, this + can take a while. -7. Type "make install" as root. - This copies the binary executables to the install directories. +7. Type "make install" as root. This copies the binary executables + to the install directories. 2.2 Windows Installation + + For installation under Windows you first need to pick between a pre-compiled binary package, or installing the source package along with the Cygwin package. The binary package @@ -244,7 +276,7 @@ Windows users prior to your initial installation. 2.2.1 Windows Install Using a Binary Package 1. Download the binary package and unpack it using your favorite - unpacking tool(gunzip, WinZip, etc). This should unpack + unpacking tool (gunzip, WinZip, etc). This should unpack to a group of sub-directories. An example directory structure after unpacking is: c:\usr\local\bin for the executables, c:\usr\local\share\sdcc\include and c:\usr\local\share\sdcc\lib @@ -265,7 +297,7 @@ Windows users prior to your initial installation. site[http://sources.redhat.com/cygwin/]. Currently, this involved downloading a small install program which then automates downloading and installing selected parts - of the package(a large 80M byte sized dowload for the + of the package (a large 80M byte sized dowload for the whole thing). 2. Bring up a Unix/Bash command line terminal from the Cygwin @@ -277,16 +309,15 @@ Windows users prior to your initial installation. 2.3 Testing out the SDCC Compiler The first thing you should do after installing your SDCC -compiler is to see if it runs. Type "sdcc ---version" at the prompt, and the program should -run and tell you the version. If it doesn't run, or gives -a message about not finding sdcc program, then you need -to check over your installation. Make sure that the sdcc -bin directory is in your executable search path defined -by the PATH environment setting (see the Trouble-shooting -section for suggestions). Make sure that the sdcc program -is in the bin folder, if not perhaps something did not install -correctly. +compiler is to see if it runs. Type "sdcc --version" at +the prompt, and the program should run and tell you the +version. If it doesn't run, or gives a message about not +finding sdcc program, then you need to check over your installation. +Make sure that the sdcc bin directory is in your executable +search path defined by the PATH environment setting (see +the Trouble-shooting section for suggestions). Make sure +that the sdcc program is in the bin folder, if not perhaps +something did not install correctly. SDCC binaries are commonly installed in a directory arrangement like this: @@ -305,28 +336,17 @@ like this: Make sure the compiler works on a very simple example. Type in the following test.c program using your favorite editor: -main() -{ - -int i; - -i = 0; - -i += 10; -} - - -Compile this using the following command: "sdcc --c test.c". If all goes well, the compiler will -generate a test.asm and test.rel file. Congratulations, -you've just compiled your first program with SDCC. We used -the -c option to tell SDCC not to link the generated code, -just to keep things simple for this step. +Compile this using the following command: "sdcc -c test.c" +If all goes well, the compiler will generate a test.asm +and test.rel file. Congratulations, you've just compiled +your first program with SDCC. We used the -c option to tell +SDCC not to link the generated code, just to keep things +simple for this step. The next step is to try it with the linker. Type in "sdcc -test.c". If all goes well the compiler will link with -the libraries and produce a test.ihx output file. If this -step fails (no test.ihx, and the linker generates warnings), +test.c". If all goes well the compiler will link with the +libraries and produce a test.ihx output file. If this step +fails (no test.ihx, and the linker generates warnings), then the problem is most likely that sdcc cannot find the /usr/local/share/sdcc/lib directory (see the Install trouble-shooting section for suggestions). @@ -335,23 +355,17 @@ The final test is to ensure sdcc can use the standard header files and libraries. Edit test.c and change it to the following: #include -main() -{ - +main() { char str1[10]; - -strcpy(str1, "testing"); - + strcpy(str1, "testing"); } - -Compile this by typing: "sdcc test.c". -This should generate a test.ihx output file, and it should -give no warnings such as not finding the string.h file. -If it cannot find the string.h file, then the problem is -that sdcc cannot find the /usr/local/share/sdcc/include -directory (see the Install trouble-shooting section for -suggestions). +Compile this by typing "sdcc test.c". This should generate +a test.ihx output file, and it should give no warnings such +as not finding the string.h file. If it cannot find the +string.h file, then the problem is that sdcc cannot find +the /usr/local/share/sdcc/include directory (see the Install +trouble-shooting section for suggestions). 2.4 Install Trouble-shooting @@ -361,8 +375,7 @@ The default installation assumes the libraries and header files are located at "/usr/local/share/sdcc/lib" and "/usr/local/share/sdcc/include". An alternative is to specify these locations as compiler -options like this: sdcc -L /usr/local/sdcc/lib/small -I -/usr/local/sdcc/include test.c +options like this: "sdcc -L /usr/local/sdcc/lib/small -I /usr/local/sdcc/include test.c". 2.4.2 SDCC does not compile correctly. @@ -370,7 +383,7 @@ A thing to try is starting from scratch by unpacking the .tgz source package again in an empty directory. Confure it again and build like: -"make 2&>1 | tee make.log" +make 2&>1 | tee make.log After this you can review the make.log file to locate the problem. Or a relevant part of this be attached to an email @@ -402,6 +415,8 @@ and header files to /usr/local/share/sdcc/lib and /usr/local/share/sdcc/include. 2.5 Additional Information for Windows Users + + The standard method of installing on a Unix system involves compiling the source package. This is easily done under Unix, but under Windows it can be a more difficult process. @@ -412,7 +427,7 @@ Windows binary package. There are various trade-offs between each of these methods. The Cygwin package allows a Windows user to run a Unix command -line interface(bash shell) and also implements a Unix like +line interface (bash shell) and also implements a Unix like file system on top of Windows. Included are many of the famous GNU software development tools which can augment the SDCC compiler.This is great if you have some experience @@ -423,10 +438,10 @@ file system conventions. 2.5.1 Getting started with Cygwin -SDCC is typically distributed as a tarred/gzipped file(.tgz). +SDCC is typically distributed as a tarred/gzipped file (.tgz). This is a packed file similar to a .zip file. Cygwin includes -the tools you will need to unpack the SDCC distribution(tar -and gzip). To unpack it, simply follow the instructions +the tools you will need to unpack the SDCC distribution +(tar and gzip). To unpack it, simply follow the instructions under the Linux/Unix install section. Before you do this you need to learn how to start a cygwin shell and some of the basic commands used to move files, change directory, @@ -448,15 +463,15 @@ instead all files systems attach and appear as directories. If you use the pre-compiled binaries, the install directories for the libraries and header files may need to be specified -on the sdcc command line like this: sdcc -L c:\usr\local\sdcc\lib\small --I c:\usr\local\sdcc\include test.c if you are running outside +on the sdcc command line like this: "sdcc -L c:\usr\local\sdcc\lib\small +-I c:\usr\local\sdcc\include test.c" if you are running outside of a Unix bash shell. If you have successfully installed and compiled SDCC with the Cygwin package, it is possible to compile into native .exe files by using the additional makefiles included for this purpose. For example, with the Borland 32-bit compiler -you would run make -f Makefile.bcc. A command line version +you would run "make -f Makefile.bcc". A command line version of the Borland 32-bit compiler can be downloaded from the Inprise web site. @@ -477,25 +492,21 @@ The most commonly used option is --prefix=, where is the final location for the sdcc executables and libraries, (default location is /usr/local). The installation process will create the following directory -structure under the specified. +structure under the specified (if they +do not already exist). bin/ - binary exectables (add to PATH environment variable) - - share/ - sdcc/include/ - include -header files - sdcc/lib/ - - small/ -- Object & library files for small model library - large/ -- Object & library files for large model library - ds390/ -- Object & library files forDS80C390 library - -The command - -'./configure --prefix=/usr/local" - +bin/share/ +bin/share/sdcc/include/ - include header files +bin/share/sdcc/lib/ +bin/share/sdcc/lib/small/ - Object & library files for small +model library +bin/share/sdcc/lib/large/ - Object & library files for large +model library +bin/share/sdcc/lib/ds390/ - Object & library files forDS80C390 +library + +The command "./configure --prefix=/usr/local" will configure the compiler to be installed in directory /usr/local/bin. @@ -514,60 +525,51 @@ You might want to look at the various executables which are installed in the bin directory. At the time of this writing, we find the following programs: -sdcc - The compiler. - -aslink -The linker for 8051 type processors. - -asx8051 - The assembler for 8051 type processors. + +sdcc - The compiler. sdcpp - The C preprocessor. - -sdcpd - The source debugger. - -s51 - The ucSim 8051 simulator. - -linkz80, linkgbz80 - The Z80 and GameBoy Z80 linkers. - +asx8051 - The assembler for 8051 type processors. as-z80, as-gbz80 - The Z80 and GameBoy Z80 assemblers. - +aslink -The linker for 8051 type processors. +link-z80, link-gbz80 - The Z80 and GameBoy Z80 linkers. +s51 - The ucSim 8051 simulator. +sdcdb - The source debugger. packihx - A tool to pack Intel hex files. As development for other processors proceeds, this list will expand to include executables to support processors like AVR, PIC, etc. -2.8.1 cpp ( C-Preprocessor) +2.8.1 sdcc - The Compiler -The preprocessor is extracted into the directory SDCCDIR/cpp, -it is a modified version of the GNU preprocessor. The C -preprocessor is used to pull in #include sources, process -#ifdef statements, #defines and so on. +This is the actual compiler, it in turn uses the c-preprocessor +and invokes the assembler and linkage editor. -2.8.2 asxxxx & aslink ( The assembler and Linkage Editor) +2.8.2 sdcpp (C-Preprocessor) -This is retargettable assembler & linkage editor, it was -developed by Alan Baldwin, John Hartman created the version -for 8051, and I (Sandeep) have some enhancements and bug -fixes for it to work properly with the SDCC. This component -is extracted into the directory SDCCDIR/asxxxx. +The preprocessor is a modified version of the GNU preprocessor. +The C preprocessor is used to pull in #include sources, +process #ifdef statements, #defines and so on. -2.8.3 SDCC - The compiler +2.8.3 asx8051, as-z80, as-gbz80, aslink, link-z80, link-gbz80 + (The Assemblers and Linkage Editors) -This is the actual compiler, it in turn uses the c-preprocessor -and invokes the assembler and linkage editors. All files -with the prefix SDCC are part of the compiler and are extracted -into the the directory SDCCDIR. +This is retargettable assembler & linkage editor, it was +developed by Alan Baldwin. John Hartman created the version +for 8051, and I (Sandeep) have made some enhancements and +bug fixes for it to work properly with the SDCC. -2.8.4 S51 - Simulator +2.8.4 s51 - Simulator -s51 is a freeware, opensource simulator developed by Daniel -Drotos . The executable -is built as part of the build process, for more information -visit Daniel's website at . +S51 is a freeware, opensource simulator developed by Daniel +Drotos ([mailto:drdani@mazsola.iit.uni-miskolc.hu]). +The simulator is built as part of the build process. For +more information visit Daniel's website at: [http://mazsola.iit.uni-miskolc.hu/~drdani/embedded/s51] . -2.8.5 SDCDB - Source Level Debugger +2.8.5 sdcdb - Source Level Debugger -SDCDB is the companion source level debugger. The current +Sdcdb is the companion source level debugger. The current version of the debugger uses Daniel's Simulator S51, but can be easily changed to use other simulators. @@ -579,91 +581,78 @@ can be easily changed to use other simulators. For single source file 8051 projects the process is very simple. Compile your programs with the following command +"sdcc sourcefile.c". This will compile, assemble and link +your source file. Output files are as follows + +sourcefile.asm - Assembler source file created by the compiler +sourcefile.lst - Assembler listing file created by the Assembler +sourcefile.rst - Assembler listing file updated with linkedit +information, created by linkage editor +sourcefile.sym - symbol listing for the sourcefile, created +by the assembler +sourcefile.rel - Object file created by the assembler, input +to Linkage editor +sourcefile.map - The memory map for the load module, created +by the Linker +sourcefile.ihx - The load module in Intel hex format (you +can select the Motorola S19 format with --out-fmt-s19) +sourcefile.cdb - An optional file (with --debug) containing +debug information -sdcc sourcefile.c - -The above command will compile ,assemble and link your source -file. Output files are as follows. - -* sourcefile.asm - Assembler source file created by the compiler - -* sourcefile.lst - Assembler listing file created by the - Assembler - -* sourcefile.rst - Assembler listing file updated with linkedit - information , created by linkage editor - -* sourcefile.sym - symbol listing for the sourcefile, created - by the assembler. - -* sourcefile.rel - Object file created by the assembler, - input to Linkage editor. - -* sourcefile.map - The memory map for the load module, created - by the Linker. - -* sourcefile.ihx - The load module in Intel hex format (you - can select the Motorola S19 format with --out-fmt-s19) - -* sourcefile.cdb - An optional file (with --debug) containing - debug information. 3.1.2 Projects with Multiple Source Files SDCC can compile only ONE file at a time. Let us for example assume that you have a project containing the following -files. - -foo1.c ( contains some functions ) +files: +foo1.c (contains some functions) foo2.c (contains some more functions) - foomain.c (contains more functions and the function main) The first two files will need to be compiled separately with -the commands +the commands: sdcc -c foo1.c - sdcc -c foo2.c -Then compile the source file containing main and link the -other files together with the following command. +Then compile the source file containing the main() function +and link the files together with the following command: + sdcc foomain.c foo1.rel foo2.rel -Alternatively foomain.c can be separately compiled as well +Alternatively, foomain.c can be separately compiled as well: -sdcc -c foomain.c +sdcc -c foomain.c sdcc foomain.rel foo1.rel foo2.rel -The file containing the main function MUST be the FIRST file -specified in the command line , since the linkage editor +The file containing the main() function must be the first +file specified in the command line, since the linkage editor processes file in the order they are presented to it. 3.1.3 Projects with Additional Libraries Some reusable routines may be compiled into a library, see -the documentation for the assembler and linkage editor in -the directory SDCCDIR/asxxxx/asxhtm.htm this describes how -to create a .lib library file, the libraries created in -this manner may be included using the command line, make -sure you include the -L option to tell the -linker where to look for these files. Here is an example, -assuming you have the source file 'foomain.c' and a library -'foolib.lib' in the directory 'mylib' (if that is not the -same as your current project). +the documentation for the assembler and linkage editor (which +are in /share/sdcc/doc) for how to create a +.lib library file. Libraries created in this manner can +be included in the command line. Make sure you include the +-L option to tell the linker where to look +for these files if they are not in the current directory. +Here is an example, assuming you have the source file foomain.c +and a library foolib.lib in the directory mylib (if that +is not the same as your current project): sdcc foomain.c foolib.lib -L mylib -Note here that 'mylib' must be an absolute path name. +Note here that mylib must be an absolute path name. -The view of the way the linkage editor processes the library -files, it is recommended that you put each source routine -in a separate file and combine them using the .lib file. -For an example see the standard library file 'libsdcc.lib' -in the directory SDCCDIR/sdcc51lib. +The most efficient way to use libraries is to keep seperate +modules in seperate source files. The lib file now should +name all the modules.rel files. For an example see the standard +library file libsdcc.lib in the directory /share/lib/small. 3.2 Command Line Options @@ -696,12 +685,52 @@ files. -D Command line definition of macros. Passed to the pre processor. ---compile-only(-c) will compile and assemble the source, -but will not call the linkage editor. +-M Tell the preprocessor to output a rule suitable for make +describing the dependencies of each object file. For each +source file, the preprocessor outputs one make-rule whose +target is the object file name for that source file and +whose dependencies are all the files `#include'd in it. +This rule may be a single line or may be continued with +`\'-newline if it is long. The list of rules is printed on +standard output instead of the preprocessed C program. `-M' +implies `-E'. + +-C Tell the preprocessor not to discard comments. Used with +the `-E' option. + +-MM Like `-M' but the output mentions only the user header +files included with `#include "file"'. +System header files included with `#include ' are +omitted. + +-Aquestion(answer) Assert the answer answer for question, +in case it is tested with a preprocessor conditional such +as `#if #question(answer)'. `-A-' disables the standard +assertions that normally describe the target machine. + +-Aquestion (answer) Assert the answer answer for question, +in case it is tested with a preprocessor conditional such +as `#if #question(answer)'. `-A-' disables the standard +assertions that normally describe the target machine. + +-Umacro Undefine macro macro. `-U' options are evaluated +after all `-D' options, but before any `-include' and `-imacros' +options. + +-dM Tell the preprocessor to output only a list of the macro +definitions that are in effect at the end of preprocessing. +Used with the `-E' option. + +-dD Tell the preprocessor to pass all macro definitions into +the output, in their proper sequence in the rest of the +output. + +-dN Like `-dD' except that the macro arguments and contents +are omitted. Only `#define name' is included in the output. 3.2.3 Linker Options ---lib-path(-L) This +-L --lib-path This option is passed to the linkage editor's additional libraries search path. The path name must be absolute. Additional library files may be specified in the command line. See @@ -712,8 +741,8 @@ default value is 0. The value entered can be in Hexadecimal or Decimal format, e.g.: --xram-loc 0x8000 or --xram-loc 32768. ---code-loc The start location of the code segment -, default value 0. Note when this option is used the interrupt +--code-loc The start location of the code segment, +default value 0. Note when this option is used the interrupt vector table is also relocated to the given address. The value entered can be in Hexadecimal or Decimal format, e.g.: --code-loc 0x8000 or --code-loc 32768. @@ -742,36 +771,59 @@ internal ram, default value is 0x80. The value entered can be in Hexadecimal or Decimal format, eg. --idata-loc 0x88 or --idata-loc 136. +--out-fmt-ihx The linker output (final object code) is in +Intel Hex format. (This is the default option). + +--out-fmt-s19 The linker output (final object code) is in +Motorola S19 format. + 3.2.4 MCS51 Options --model-large Generate code for Large model programs see section Memory Models for more details. If this option is used all source files in the project should be compiled with this option. In addition the standard library routines -are compiled with small model , they will need to be recompiled. +are compiled with small model, they will need to be recompiled. --model-small Generate code for Small Model programs see section Memory Models for more details. This is the default model. ---stack-auto All functions in the source file will be compiled -as reentrant, i.e. the parameters and local variables will -be allocated on the stack. see section Parameters and Local -Variables for more details. If this option is used all source -files in the project should be compiled with this option. +3.2.5 DS390 Options ---xstack Uses a pseudo stack in the first 256 bytes in the -external ram for allocating variables and passing parameters. -See section on external stack for more details. +--model-flat24 Generate 24-bit flat mode code. This is the +one and only that the ds390 code generator supports right +now and is default when using -mds390. See section Memory +Models for more details. -3.2.5 Optimization Options +--stack-10bit Generate code for the 10 bit stack mode of +the Dallas DS80C390 part. This is the one and only that +the ds390 code generator supports right now and is default +when using -mds390. In this mode, the stack is located in +the lower 1K of the internal RAM, which is mapped to 0x400000. +Note that the support is incomplete, since it still uses +a single byte as the stack pointer. This means that only +the lower 256 bytes of the potential 1K stack space will +actually be used. However, this does allow you to reclaim +the precious 256 bytes of low RAM for use for the DATA and +IDATA segments. The compiler will not generate any code +to put the processor into 10 bit stack mode. It is important +to ensure that the processor is in this mode before calling +any re-entrant functions compiled with this option. In principle, +this should work with the --stack-auto option, but that +has not been tested. It is incompatible with the --xstack +option. It also only makes sense if the processor is in +24 bit contiguous addressing mode (see the --model-flat24 +option). + +3.2.6 Optimization Options --nogcse Will not do global subexpression elimination, this option may be used when the compiler creates undesirably large stack/data spaces to store compiler temporaries. A warning message will be generated when this happens and the compiler will indicate the number of extra bytes it -allocated. It recommended that this option NOT be used , +allocated. It recommended that this option NOT be used, #pragma NOGCSE can be used to turn off global subexpression elimination for a given function only. @@ -779,54 +831,42 @@ elimination for a given function only. may be turned off for reasons explained for the previous option. For more details of loop optimizations performed see section Loop Invariants.It recommended that this option -NOT be used , #pragma NOINVARIANT can be used to turn off -invariant optimizations for a given function only. +NOT be used, #pragma NOINVARIANT can +be used to turn off invariant optimizations for a given +function only. --noinduction Will not do loop induction optimizations, see -section Strength reduction for more details.It recommended -that this option NOT be used , #pragma NOINDUCTION can be -used to turn off induction optimizations for given function -only. +section strength reduction for more details.It is recommended +that this option is NOT used, #pragma NOINDUCTION +can be used to turn off induction optimizations for a given +function only. --nojtbound Will not generate boundary condition check when switch statements are implemented using jump-tables. See -section Switch Statements for more details.It recommended -that this option NOT be used , #pragma NOJTBOUND can be -used to turn off boundary checking for jump tables for a -given function only. +section Switch Statements for more details. It is recommended +that this option is NOT used, #pragma NOJTBOUND +can be used to turn off boundary checking for jump tables +for a given function only. ---noloopreverse Will not do loop reversal optimization +--noloopreverse Will not do loop reversal optimization. -3.2.6 DS390 Options +3.2.7 Other Options ---stack-auto See MCS51 section for description. +-c --compile-only will compile and assemble the source, +but will not call the linkage editor. ---model-flat24 Generate 24-bit flat mode code. This is the -one and only that the ds390 code generator supports right -now and is default when using -mds390. See section Memory -Models for more details. +-E Run only the C preprocessor. Preprocess all the C source +files specified and output the results to standard output. ---stack-10bit This option generates code for the 10 bit stack -mode of the Dallas DS80C390 part. This is the one and only -that the ds390 code generator supports right now and is -default when using -mds390. In this mode, the stack is located -in the lower 1K of the internal RAM, which is mapped to -0x400000. Note that the support is incomplete, since it -still uses a single byte as the stack pointer. This means -that only the lower 256 bytes of the potential 1K stack -space will actually be used. However, this does allow you -to reclaim the precious 256 bytes of low RAM for use for -the DATA and IDATA segments. The compiler will not generate -any code to put the processor into 10 bit stack mode. It -is important to ensure that the processor is in this mode -before calling any re-entrant functions compiled with this -option. In principle, this should work with the --stack-auto -option, but that has not been tested. It is incompatible -with the --xstack option. It also only makes sense if the -processor is in 24 bit contiguous addressing mode (see the ---model-flat24 option). +--stack-auto All functions in the source file will be compiled +as reentrant, i.e. the parameters and local variables will +be allocated on the stack. see section Parameters and Local +Variables for more details. If this option is used all source +files in the project should be compiled with this option. -3.2.7 Other Options +--xstack Uses a pseudo stack in the first 256 bytes in the +external ram for allocating variables and passing parameters. +See section on external stack for more details. --callee-saves function1[,function2][,function3].... The compiler by default uses a caller saves convention for register @@ -847,69 +887,24 @@ a library function the appropriate library function needs to be recompiled with the same option. If the project consists of multiple source files then all the source file should be compiled with the same --callee-saves option string. -Also see Pragma Directive CALLEE-SAVES. +Also see #pragma CALLEE-SAVES. --debug When this option is used the compiler will generate -debug information , that can be used with the SDCDB. The +debug information, that can be used with the SDCDB. The debug information is collected in a file with .cdb extension. For more information see documentation for SDCDB. ---regextend This option will cause the compiler to define -pseudo registers , if this option is used, all source files -in the project should be compiled with this option. See -section Register Extension for more details. +--regextend This option is obsolete and isn't supported +anymore. + +--noregparms This option is obsolete and isn't supported +anymore. --peep-file This option can be used to use additional rules to be used by the peep hole optimizer. See section Peep Hole optimizations for details on how to write these rules. --E Run only the C preprocessor. Preprocess all the C source -files specified and output the results to standard output. - --M Tell the preprocessor to output a rule suitable for make -describing the dependencies of each object file. For each -source file, the preprocessor outputs one make-rule whose -target is the object file name for that source file and -whose dependencies are all the files `#include'd in it. -This rule may be a single line or may be continued with -`\'-newline if it is long. The list of rules is printed on -standard output instead of the preprocessed C program. `-M' -implies `-E'. - --C Tell the preprocessor not to discard comments. Used with -the `-E' option. - --MM Like `-M' but the output mentions only the user header -files included with `#include "file"'. -System header files included with `#include ' are -omitted. - --Aquestion(answer) Assert the answer answer for question, -in case it is tested with a preprocessor conditional such -as `#if #question(answer)'. `-A-' disables the standard -assertions that normally describe the target machine. - --Aquestion (answer) Assert the answer answer for question, -in case it is tested with a preprocessor conditional such -as `#if #question(answer)'. `-A-' disables the standard -assertions that normally describe the target machine. - --Umacro Undefine macro macro. `-U' options are evaluated -after all `-D' options, but before any `-include' and `-imacros' -options. - --dM Tell the preprocessor to output only a list of the macro -definitions that are in effect at the end of preprocessing. -Used with the `-E' option. - --dD Tell the preprocessor to pass all macro definitions into -the output, in their proper sequence in the rest of the -output. - --dN Like `-dD' except that the macro arguments and contents -are omitted. Only `#define name' is included in the output. - -S Stop after the stage of compilation proper; do not assemble. The output is an assembler code file for the input file specified. @@ -935,12 +930,6 @@ for more details. --float-reent Floating point library is compiled as reentrant.See section Installation for more details. ---out-fmt-ihx The linker output (final object code) is in -Intel Hex format. (This is the default option). - ---out-fmt-s19 The linker output (final object code) is in -Motorola S19 format. - --nooverlay The compiler will not overlay parameters and local variables of any function, see section Parameters and local variables for more details. @@ -961,6 +950,16 @@ before using this option. --iram-size Causes the linker to check if the interal ram usage is within limits of the given value. +--nostdincl This will prevent the compiler from passing on +the default include path to the preprocessor. + +--nostdlib This will prevent the compiler from passing on +the default library path to the linker. + +--verbose Shows the various actions the compiler is performing. + +-V Shows the actual commands the compiler is executing. + 3.2.8 Intermediate Dump Options The following options are provided for the purpose of retargetting @@ -988,10 +987,10 @@ into a file named .dumploop. --dumprange Will create a dump of iCode's, after live range analysis, into a file named .dumprange. ---dumlrange Will dump the life ranges for all symbols +--dumlrange Will dump the life ranges for all symbols. --dumpregassign Will create a dump of iCode's, after register -assignment , into a file named .dumprassgn. +assignment, into a file named .dumprassgn. --dumplrange Will create a dump of the live ranges of iTemp's @@ -1030,7 +1029,7 @@ idata int idi; 3.3.4 bit This is a data-type and a storage class specifier. When a -variable is declared as a bit , it is allocated into the +variable is declared as a bit, it is allocated into the bit addressable memory of 8051, e.g.: bit iFlag; @@ -1054,7 +1053,7 @@ to the explicit pointers, the compiler also allows a _generic class of pointers which can be used to point to any of the memory spaces. -Pointer declaration examples. +Pointer declaration examples: /* pointer physically in xternal ram pointing to object in internal ram */ @@ -1072,10 +1071,11 @@ code unsigned char * code p; xdata space */ char * xdata p; -Well you get the idea. For compatibility with the previous -version of the compiler, the following syntax for pointer -declaration is still supported but will disappear int the -near future. +Well you get the idea. + +For compatibility with the previous version of the compiler, +the following syntax for pointer declaration is still supported +but will disappear int the near future. unsigned char _xdata *ucxdp; /* pointer to data in external ram */ @@ -1087,67 +1087,62 @@ unsigned char _idata *uccp; /* pointer to upper 128 bytes of ram */ All unqualified pointers are treated as 3-byte (4-byte for -the ds390) '_generic' pointers. These type of pointers can +the ds390) generic pointers. These type of pointers can also to be explicitly declared. unsigned char _generic *ucgp; The highest order byte of the generic pointers contains the data space information. Assembler support routines are called -whenever data is stored or retrieved using _generic pointers. +whenever data is stored or retrieved using generic pointers. These are useful for developing reusable library routines. Explicitly specifying the pointer type will generate the most efficient code. Pointers declared using a mixture of -OLD/NEW style could have unpredictable results. +OLD and NEW style could have unpredictable results. 3.5 Parameters & Local Variables Automatic (local) variables and parameters to functions can either be placed on the stack or in data-space. The default action of the compiler is to place these variables in the -internal RAM ( for small model) or external RAM (for Large -model). They can be placed on the stack either by using -the --stack-auto compiler option or by using the 'reentrant' -keyword in the function declaration, e.g.: +internal RAM (for small model) or external RAM (for Large +model). This in fact makes them static so by default functions +are non-reentrant. -unsigned char foo( char i) reentrant +They can be placed on the stack either by using the --stack-auto +compiler option or by using the reentrant keyword in the +function declaration, e.g.: + +unsigned char foo(char i) reentrant { ... } -Note that when the parameters & local variables are declared -in the internal/external ram the functions are non-reentrant. -Since stack space on 8051 is limited the 'reentrant' keyword +Since stack space on 8051 is limited, the reentrant keyword or the --stack-auto option should be used sparingly. Note -the reentrant keyword just means that the parameters & local -variables will be allocated to the stack, it DOES NOT mean -that the function is register bank independent. +that the reentrant keyword just means that the parameters +& local variables will be allocated to the stack, it does +not mean that the function is register bank independent. -When compiled with the default option (i.e. non-reentrant -), local variables can be assigned storage classes and absolute -addresses, e.g.: (jwk: pending: this is obsolete and need -a rewrite) +Local variables can be assigned storage classes and absolute +addresses, e.g.: unsigned char foo() { - -xdata unsigned char i; - -bit bvar; - -data at 0x31 unsiged char j; - -... + xdata unsigned char i; + bit bvar; + data at 0x31 unsiged char j; + ... } In the above example the variable i will be allocated in the external ram, bvar in bit addressable space and j in -internal ram. When compiled with the --stack-auto or when -a function is declared as 'reentrant' local variables cannot -be assigned storage classes or absolute addresses. +internal ram. When compiled with --stack-auto or when a +function is declared as reentrant this can only be done +for static variables. Parameters however are not allowed any storage class, (storage classes for parameters will be ignored), their allocation -is governed by the memory model in use , and the reentrancy +is governed by the memory model in use, and the reentrancy options. 3.6 Overlaying @@ -1158,20 +1153,20 @@ of a function (if possible). Parameters and local variables of a function will be allocated to an overlayable segment if the function has no other function calls and the function is non-reentrant and the memory model is small. If an explicit -storage class is specified for a local variable , it will -NOT be overplayed. +storage class is specified for a local variable, it will +NOT be overlayed. Note that the compiler (not the linkage editor) makes the decision for overlaying the data items. Functions that are called from an interrupt service routine should be preceded -by a #pragma NOOVERLAY if they are not reentrant Along the -same lines the compiler does not do any processing with -the inline assembler code so the compiler might incorrectly +by a #pragma NOOVERLAY if they are not reentrant. + +Also note that the compiler does not do any processing of +inline assembler code, so the compiler might incorrectly assign local variables and parameters of a function into -the overlay segment if the only function call from a function -is from inline assembler code, it is safe to use the #pragma -NOOVERLAY for functions which call other functions using -inline assembler code. +the overlay segment if the inline assembler code calls other +c-functions that might use the overlay. In that case the +#pragma NOOVERLAY should be used. Parameters and Local variables of functions that contain 16 or 32 bit multiplication or division will NOT be overlayed @@ -1179,28 +1174,26 @@ since these are implemented using external functions, e.g.: #pragma SAVE #pragma NOOVERLAY -void set_error( unsigned char errcd) +void set_error(unsigned char errcd) { - -P3 = errcd; + P3 = errcd; } #pragma RESTORE + void some_isr () interrupt 2 using 1 { - -... - -set_error(10); - -... + ... + set_error(10); + ... } In the above example the parameter errcd for the function -set_error would be assigned to the overlayable segment (if -the #pragma NOOVERLAY was not present) , this could cause -unpredictable runtime behavior when called from an ISR. -The pragma NOOVERLAY ensures that the parameters and local -variables for the function are NOT overlayed. +set_error would be assigned to the overlayable segment if +the #pragma NOOVERLAY was not present, this could +cause unpredictable runtime behavior when called from an +ISR. The #pragma NOOVERLAY ensures that +the parameters and local variables for the function are +NOT overlayed. 3.7 Interrupt Service Routines @@ -1212,27 +1205,27 @@ void timer_isr (void) interrupt 2 using 1 .. } -The number following the 'interrupt' keyword is the interrupt +The number following the interrupt keyword is the interrupt number this routine will service. The compiler will insert a call to this routine in the interrupt vector table for -the interrupt number specified. The 'using' keyword is used +the interrupt number specified. The using keyword is used to tell the compiler to use the specified register bank (8051 specific) when generating code for this function. Note that when some function is called from an interrupt service routine it should be preceded by a #pragma NOOVERLAY -(if it is not reentrant). A special note here, int (16 bit) +if it is not reentrant. A special note here, int (16 bit) and long (32 bit) integer division, multiplication & modulus operations are implemented using external support routines developed in ANSI-C, if an interrupt service routine needs to do any of these operations then the support routines -(as mentioned in a following section) will have to recompiled +(as mentioned in a following section) will have to be recompiled using the --stack-auto option and the source file will need to be compiled using the --int-long-rent compiler option. If you have multiple source files in your project, interrupt service routines can be present in any of them, but a prototype -of the isr MUST be present in the file that contains the -function 'main'. +of the isr MUST be present or included in the file that +contains the function main. Interrupt Numbers and the corresponding address & descriptions for the Standard 8051 are listed below. SDCC will automatically @@ -1256,36 +1249,35 @@ number specified. +--------------+--------------+----------------+ - -If the interrupt service routine is defined without 'using' +If the interrupt service routine is defined without using a register bank or with register bank 0 (using 0), the compiler -will save the registers used by itself on the stack (upon -entry and restore them at exit), however if such an interrupt +will save the registers used by itself on the stack upon +entry and restore them at exit, however if such an interrupt service routine calls another function then the entire register bank will be saved on the stack. This scheme may be advantageous for small interrupt service routines which have low register usage. If the interrupt service routine is defined to be using a -specific register bank then only "a","b" -& "dptr" are save and restored, if such an interrupt -service routine calls another function (using another register -bank) then the entire register bank of the called function -will be saved on the stack. This scheme is recommended for -larger interrupt service routines. +specific register bank then only a, b & dptr are save and +restored, if such an interrupt service routine calls another +function (using another register bank) then the entire register +bank of the called function will be saved on the stack. +This scheme is recommended for larger interrupt service +routines. Calling other functions from an interrupt service routine -is not recommended avoid it if possible. +is not recommended, avoid it if possible. + +Also see the _naked modifier. 3.8 Critical Functions A special keyword may be associated with a function declaring -it as 'critical'. SDCC will generate code to disable all -interrupts upon entry to a critical function and enable -them back before returning. Note that nesting critical functions -may cause unpredictable results. - -eg: +it as critical. SDCC will generate code to disable all interrupts +upon entry to a critical function and enable them back before +returning. Note that nesting critical functions may cause +unpredictable results. int foo () critical { @@ -1299,12 +1291,12 @@ reentrant. 3.9 Naked Functions A special keyword may be associated with a function declaring -it as '_naked'. The '_naked' function modifier attribute -prevents the compiler from generating prologue and epilogue -code for that function. This means that the user is entirely +it as _naked. The _naked function modifier attribute prevents +the compiler from generating prologue and epilogue code +for that function. This means that the user is entirely responsible for such things as saving any registers that may need to be preserved, selecting the proper register -bank, generating the 'return' instruction at the end, etc. +bank, generating the return instruction at the end, etc. Practically, this means that the contents of the function must be written in inline assembler. This is particularly useful for interrupt functions, which can have a large (and @@ -1312,63 +1304,43 @@ often unnecessary) prologue/epilogue. For example, compare the code generated by these two functions: data unsigned char counter; -void simpleIterrupt(void) interrupt 1 +void simpleInterrupt(void) interrupt 1 { - -counter++; + counter++; } void nakedInterrupt(void) interrupt 2 _naked { - -_asm - - inc _counter - - reti -; MUST explicitly include ret in _naked function. - -_endasm; + _asm + inc _counter + reti ; +MUST explicitly include ret in _naked function. + _endasm; } For an 8051 target, the generated simpleInterrupt looks like: _simpleIterrupt: - -push acc - -push b - -push dpl - -push dph - -push psw - -mov psw,#0x00 - -inc _counter - -pop psw - -pop dph - -pop dpl - -pop b - -pop acc - -reti + push acc + push b + push dpl + push dph + push psw + mov psw,#0x00 + inc _counter + pop psw + pop dph + pop dpl + pop b + pop acc + reti whereas nakedInterrupt looks like: _nakedInterrupt: - -inc _counter - -reti -; MUST explicitly include ret(i) in _naked function. + inc _counter + reti ; MUST explicitly +include ret(i) in _naked function. While there is nothing preventing you from writing C code inside a _naked function, there are many ways to shoot yourself @@ -1377,15 +1349,14 @@ to inline assembler. 3.10 Functions using private banks -The 'using' attribute (which tells the compiler to use a -register bank other than the default bank zero) should only -be applied to 'interrupt' functions (see note A below). -This will in most circumstances make the generated ISR code -more efficient since it will not have to save registers -on the stack. +The using attribute (which tells the compiler to use a register +bank other than the default bank zero) should only be applied +to interrupt functions (see note 1 below). This will in +most circumstances make the generated ISR code more efficient +since it will not have to save registers on the stack. -The 'using' attribute will have no effect on the generated -code for a non-'interrupt' function (but may occasionally +The using attribute will have no effect on the generated +code for a non-interrupt function (but may occasionally be useful anyway([footnote] possible exception: if a function is called ONLY from 'interrupt' functions using a particular bank, it can be declared with the same 'using' attribute as the calling @@ -1395,76 +1366,68 @@ make sense to create a specialized version of memcpy() 'using 1', since this would prevent the ISR from having to save bank zero to the stack on entry and switch to bank zero before calling the function) ). -(jwk: todo: I don't think this has been done yet) - -An 'interrupt' function using a non-zero bank will assume -that it can trash that register bank, and will not save -it. Since high-priority interrupts can interrupt low-priority -ones on the 8051 and friends, this means that if a high-priority -ISR 'using' a particular bank occurs while processing a -low-priority ISR 'using' the same bank, terrible and bad -things can happen. To prevent this, no single register bank -should be 'used' by both a high priority and a low priority -ISR. This is probably most easily done by having all high -priority ISRs use one bank and all low priority ISRs use -another. If you have an ISR which can change priority at -runtime, you're on your own: I suggest using the default -bank zero and taking the small performance hit. +(pending: I don't think this has been done yet) + +An interrupt function using a non-zero bank will assume that +it can trash that register bank, and will not save it. Since +high-priority interrupts can interrupt low-priority ones +on the 8051 and friends, this means that if a high-priority +ISR using a particular bank occurs while processing a low-priority +ISR using the same bank, terrible and bad things can happen. +To prevent this, no single register bank should be used +by both a high priority and a low priority ISR. This is +probably most easily done by having all high priority ISRs +use one bank and all low priority ISRs use another. If you +have an ISR which can change priority at runtime, you're +on your own: I suggest using the default bank zero and taking +the small performance hit. It is most efficient if your ISR calls no other functions. If your ISR must call other functions, it is most efficient if those functions use the same bank as the ISR (see note -A below); the next best is if the called functions use bank +1 below); the next best is if the called functions use bank zero. It is very inefficient to call a function using a different, non-zero bank from an ISR. 3.11 Absolute Addressing Data items can be assigned an absolute address with the at -
    keyword, in addition to a storage class. - -eg. +
    keyword, in addition to a storage class, e.g.: xdata at 0x8000 unsigned char PORTA_8255 ; In the above example the PORTA_8255 will be allocated to -the location 0x8000 of the external ram. - -Note that is this feature is provided to give the programmer -access to memory mapped devices attached to the controller. -The compiler does not actually reserve any space for variables -declared in this way (they are implemented with an equate -in the assembler), thus it is left to the programmer to -make sure there are no overlaps with other variables that -are declared without the absolute address, the assembler -listing file (.lst) and the linker output files (.rst) -and (.map) are a good places to look for such -overlaps. +the location 0x8000 of the external ram. Note that this +feature is provided to give the programmer access to memory +mapped devices attached to the controller. The compiler +does not actually reserve any space for variables declared +in this way (they are implemented with an equate in the +assembler). Thus it is left to the programmer to make sure +there are no overlaps with other variables that are declared +without the absolute address. The assembler listing file +(.lst) and the linker output files (.rst) and (.map) are +a good places to look for such overlaps. Absolute address can be specified for variables in all storage -classes. - -eg. +classes, e.g.: bit at 0x02 bvar; The above example will allocate the variable at offset 0x02 in the bit-addressable space. There is no real advantage -to assigning absolute addresses to variables in this manner -, unless you want strict control over all the variables -allocated. +to assigning absolute addresses to variables in this manner, +unless you want strict control over all the variables allocated. 3.12 Startup Code -The compiler inserts a jump to the C routine _sdcc__external__startup() -at the start of the CODE area. This routine can be found -in the file SDCCDIR/sdcc51lib/_startup.c, by default this -routine returns 0, if this routine returns a non-zero value -, the static & global variable initialization will be skipped -and the function main will be invoked, other wise static -& global variables will be initialized before the function -main is invoked. You could add a _sdcc__external__startup() -routine to your program to override the default if you needed +The compiler inserts a call to the C routine _sdcc__external__startup() +at the start of the CODE area. This routine is in the runtime +library. By default this routine returns 0, if this routine +returns a non-zero value, the static & global variable initialization +will be skipped and the function main will be invoked Other +wise static & global variables will be initialized before +the function main is invoked. You could add a _sdcc__external__startup() +routine to your program to override the default if you need to setup hardware or perform some other critical operation prior to static & global variable initialization. @@ -1472,139 +1435,115 @@ prior to static & global variable initialization. SDCC allows the use of in-line assembler with a few restriction as regards labels. All labels defined within inline assembler -code HAS TO BE of the form nnnnn$ where nnnn is a number +code has to be of the form nnnnn$ where nnnn is a number less than 100 (which implies a limit of utmost 100 inline assembler labels per function). It is strongly recommended that each assembly instruction (including labels) be placed -in a separate line ( as the example shows). When the --peep-asm +in a separate line (as the example shows). When the --peep-asm command line option is used, the inline assembler code will -be passed through the peephole optimizer, this might cause -some unexpected changes in the inline assembler code, please +be passed through the peephole optimizer. This might cause +some unexpected changes in the inline assembler code. Please go throught the peephole optimizer rules defined in file -'SDCCpeeph.def' carefully before using this option. - -eg +SDCCpeeph.def carefully before using this option. _asm - mov b,#10 + mov b,#10 + 00001$: - djnz b,00001$ + djnz b,00001$ + _endasm ; The inline assembler code can contain any valid code understood -by the assembler (this includes any assembler directives -and comment lines). The compiler does not do any validation +by the assembler, this includes any assembler directives +and comment lines. The compiler does not do any validation of the code within the _asm ... _endasm; keyword pair. -Inline assembler code cannot reference any C-Labels however -it can reference labels defined by the inline assembler. - -eg +Inline assembler code cannot reference any C-Labels, however +it can reference labels defined by the inline assembler, +e.g.: foo() { -... /* some c code */ -_asm - ; some assembler code - ljmp $0003 -_endasm ; -... /* some more c code */ -clabel: /* inline assembler cannot reference this -label */ -_asm - $0003: ;label (can be reference by inline assembler + /* some c code */ + _asm + ; some assembler code + ljmp $0003 + _endasm; + /* some more c code */ +clabel: /* inline assembler cannot reference +this label */ + _asm + $0003: ;label (can be reference by inline assembler only) -_endasm ; -... + _endasm ; + /* some more c code */ } In other words inline assembly code can access labels defined -in inline assembly. The same goes the other way, ie. labels -defines in inline assembly CANNOT be accessed by C statements. +in inline assembly within the scope of the funtion. -3.14 int(16 bit) and long (32 bit ) Support +The same goes the other way, ie. labels defines in inline +assembly CANNOT be accessed by C statements. + +3.14 int(16 bit) and long (32 bit) Support For signed & unsigned int (16 bit) and long (32 bit) variables, division, multiplication and modulus operations are implemented by support routines. These support routines are all developed -in ANSI-C to facilitate porting to other MCUs. The following -files contain the described routine, all of them can be -found in the directory SDCCDIR/sdcc51lib - -* _mulsint.c - signed 16 bit multiplication (calls _muluint) - -* _muluint.c - unsigned 16 bit multiplication - -* _divsint.c - signed 16 bit division (calls _divuint) - -* _divuint.c - unsigned 16 bit division. - -* _modsint.c - signed 16 bit modulus (call _moduint) - -* _moduint.c - unsigned 16 bit modulus. - -* _mulslong.c - signed 32 bit multiplication (calls _mululong) - -* _mululong.c - unsigned32 bit multiplication. - -* _divslong.c - signed 32 division (calls _divulong) - -* _divulong.c - unsigned 32 division. - -* _modslong.c - signed 32 bit modulus (calls _modulong). - -* _modulong.c - unsigned 32 bit modulus. - -All these routines are compiled as non-reentrant and small -model. Since they are compiled as non-reentrant, interrupt -service routines should not do any of the above operations, -if this unavoidable then the above routines will need to -ne compiled with the --stack-auto option, after which the -source program will have to be compiled with --int-long-rent -option. +in ANSI-C to facilitate porting to other MCUs, although +some model specific assembler optimations are used. The +following files contain the described routine, all of them +can be found in /share/sdcc/lib. + + + +_mulsint.c - signed 16 bit multiplication (calls _muluint) +_muluint.c - unsigned 16 bit multiplication +_divsint.c - signed 16 bit division (calls _divuint) +_divuint.c - unsigned 16 bit division +_modsint.c - signed 16 bit modulus (call _moduint) +_moduint.c - unsigned 16 bit modulus +_mulslong.c - signed 32 bit multiplication (calls _mululong) +_mululong.c - unsigned32 bit multiplication +_divslong.c - signed 32 division (calls _divulong) +_divulong.c - unsigned 32 division +_modslong.c - signed 32 bit modulus (calls _modulong) +_modulong.c - unsigned 32 bit modulus + +Since they are compiled as non-reentrant, interrupt service +routines should not do any of the above operations. If this +is unavoidable then the above routines will need to be compiled +with the --stack-auto option, after which the source program +will have to be compiled with --int-long-rent option. 3.15 Floating Point Support SDCC supports IEEE (single precision 4bytes) floating point numbers.The floating point support routines are derived -from gcc's floatlib.c and consists of the following routines. - -* _fsadd.c - add floating point numbers. - -* _fssub.c - subtract floating point numbers - -* _fsdiv.c - divide floating point numbers - -* _fsmul.c - multiply floating point numbers - -* _fs2uchar.c - convert floating point to unsigned char - -* _fs2char.c - convert floating point to signed char. - -* _fs2uint.c - convert floating point to unsigned int. - -* _fs2int.c - convert floating point to signed int. - -* _fs2ulong.c - convert floating point to unsigned long. - -* _fs2long.c - convert floating point to signed long. - -* _uchar2fs.c - convert unsigned char to floating point - -* _char2fs.c - convert char to floating point number - -* _uint2fs.c - convert unsigned int to floating point - -* _int2fs.c - convert int to floating point numbers - -* _ulong2fs.c - convert unsigned long to floating point number - -* _long2fs.c - convert long to floating point number. +from gcc's floatlib.c and consists of the following routines: + + + +_fsadd.c - add floating point numbers +_fssub.c - subtract floating point numbers +_fsdiv.c - divide floating point numbers +_fsmul.c - multiply floating point numbers +_fs2uchar.c - convert floating point to unsigned char +_fs2char.c - convert floating point to signed char +_fs2uint.c - convert floating point to unsigned int +_fs2int.c - convert floating point to signed int +_fs2ulong.c - convert floating point to unsigned long +_fs2long.c - convert floating point to signed long +_uchar2fs.c - convert unsigned char to floating point +_char2fs.c - convert char to floating point number +_uint2fs.c - convert unsigned int to floating point +_int2fs.c - convert int to floating point numbers +_ulong2fs.c - convert unsigned long to floating point number +_long2fs.c - convert long to floating point number Note if all these routines are used simultaneously the data space might overflow. For serious floating point usage it -is strongly recommended that the Large model be used (in -which case the floating point routines mentioned above will -need to recompiled with the --model-Large option) +is strongly recommended that the large model be used. 3.16 MCS51 Memory Models @@ -1614,8 +1553,7 @@ be combined together or the results would be unpredictable. The library routines supplied with the compiler are compiled as both small and large. The compiled library modules are contained in seperate directories as small and large so -that you can link to either set. In general the use of the -large model is discouraged. +that you can link to either set. When the large model is used all variables declared without a storage class will be allocated into the external ram, @@ -1625,32 +1563,30 @@ storage class are allocated in the internal ram. Judicious usage of the processor specific storage classes and the 'reentrant' function type will yield much more efficient -code, than using the large-model. Several optimizations +code, than using the large model. Several optimizations are disabled when the program is compiled using the large model, it is therefore strongly recommdended that the small model be used unless absolutely required. -3.17 Flat 24 bit Addressing Model +3.17 DS390 Memory Models -This option generates code for the 24 bit contiguous addressing -mode of the Dallas DS80C390 part. In this mode, up to four -meg of external RAM or code space can be directly addressed. -See the data sheets at www.dalsemi.com for further information -on this part. +The only model supported is Flat 24. This generates code +for the 24 bit contiguous addressing mode of the Dallas +DS80C390 part. In this mode, up to four meg of external +RAM or code space can be directly addressed. See the data +sheets at www.dalsemi.com for further information on this +part. In older versions of the compiler, this option was used with the MCS51 code generator (-mmcs51). Now, however, the '390 has it's own code generator, selected by the -mds390 switch. -This code generator currently supports only the flat24 model, -but the --model-flat24 switch is still required, in case -later versions of the code generator support other models -(such as the paged mode of the '390). The combination of --mmcs51 and --model-flat24 is now depracated. + Note that the compiler does not generate any code to place -the processor into24 bitmode (it defaults to 8051 compatible -mode). Boot loader or similar code must ensure that the -processor is in 24 bit contiguous addressing mode before +the processor into 24 bitmode (although tinibios in the +ds390 libraries will do that for you). If you don't use +tinibios, the boot loader or similar code must ensure that +the processor is in 24 bit contiguous addressing mode before calling the SDCC startup code. Like the --model-large option, variables will by default @@ -1662,7 +1598,8 @@ are located above 64K, the -r flag must be passed to the linker to generate the proper segment relocations, and the Intel HEX output format must be used. The -r flag can be passed to the linker by using the option -Wl-r on the sdcc -command line. +command line. However, currently the linker can not handle +code segments > 64k. 3.18 Defines Created by the Compiler @@ -1670,27 +1607,36 @@ The compiler creates the following #defines. * SDCC - this Symbol is always defined. +* SDCC_mcs51 or SDCC_ds390 or SDCC_z80, etc - depending on + the model used (e.g.: -mds390) + +* __mcs51 or __ds390 or __z80, etc - depending on the model + used (e.g. -mz80) + * SDCC_STACK_AUTO - this symbol is defined when --stack-auto option is used. -* SDCC_MODEL_SMALL - when small model is used. +* SDCC_MODEL_SMALL - when --model-small is used. * SDCC_MODEL_LARGE - when --model-large is used. * SDCC_USE_XSTACK - when --xstack option is used. +* SDCC_STACK_TENBIT - when -mds390 is used + +* SDCC_MODEL_FLAT24 - when -mds390 is used + 4 SDCC Technical Data 4.1 Optimizations -SDCC performs a a host of standard optimizations in addition +SDCC performs a host of standard optimizations in addition to some MCU specific optimizations. 4.1.1 Sub-expression Elimination -The compiler does local and global common subexpression elimination. - -eg. +The compiler does local and global common subexpression elimination, +e.g.: i = x + y + 1; j = x + y; @@ -1701,9 +1647,8 @@ iTemp = x + y i = iTemp + 1 j = iTemp -Some subexpressions are not as obvious as the above example. - -eg. +Some subexpressions are not as obvious as the above example, +e.g.: a->b[i].c = 10; a->b[i].d = 11; @@ -1720,13 +1665,10 @@ registers. 4.1.2 Dead-Code Elimination -eg. - int global; void f () { int i; - i = 1; /* dead store -*/ + i = 1; /* dead store */ global = 1; /* dead store */ global = 2; return; @@ -1736,20 +1678,18 @@ void f () { will be changed to int global; void f () -{ - global = 2; - return; +{ + global = 2; + return; } 4.1.3 Copy-Propagation -eg. - int f() { - int i, j; - i = 10; - j = i; - return j; + int i, j; + i = 10; + j = i; + return j; } will be changed to @@ -1767,74 +1707,71 @@ be eliminated by dead-code elimination. 4.1.4 Loop Optimizations Two types of loop optimizations are done by SDCC loop invariant -lifting and strength reduction of loop induction variables.In -addition to the strength reduction the optimizer marks the -induction variables and the register allocator tries to -keep the induction variables in registers for the duration +lifting and strength reduction of loop induction variables. +In addition to the strength reduction the optimizer marks +the induction variables and the register allocator tries +to keep the induction variables in registers for the duration of the loop. Because of this preference of the register -allocator , loop induction optimization causes an increase +allocator, loop induction optimization causes an increase in register pressure, which may cause unwanted spilling of other temporary variables into the stack / data space. The compiler will generate a warning message when it is forced to allocate extra space either on the stack or data space. If this extra space allocation is undesirable then induction optimization can be eliminated either for the -entire source file ( with --noinduction option) or for a -given function only (#pragma NOINDUCTION). +entire source file (with --noinduction option) or for a +given function only using #pragma NOINDUCTION. -* Loop Invariant: - -eg +Loop Invariant: for (i = 0 ; i < 100 ; i ++) - f += k + l; + f += k + l; changed to itemp = k + l; -for ( i = 0; i < 100; i++ ) f += itemp; +for (i = 0; i < 100; i++) + f += itemp; As mentioned previously some loop invariants are not as apparent, all static address computations are also moved out of the loop. -* Strength Reduction : +Strength Reduction, this optimization substitutes an expression +by a cheaper expression: -This optimization substitutes an expression by a cheaper -expression. - -eg. - -for (i=0;i < 100; i++) ar[i*5] = i*3; +for (i=0;i < 100; i++) + ar[i*5] = i*3; changed to itemp1 = 0; itemp2 = 0; for (i=0;i< 100;i++) { - ar[itemp1] = itemp2; - itemp1 += 5; - itemp2 += 3; + ar[itemp1] = itemp2; + itemp1 += 5; + itemp2 += 3; } The more expensive multiplication is changed to a less expensive addition. -4.1.5 Loop Reversing: +4.1.5 Loop Reversing This optimization is done to reduce the overhead of checking loop boundaries for every iteration. Some simple loops can be reversed and implemented using a "decrement and jump if not zero" instruction. SDCC checks for the following criterion to determine if a loop -is reversible (note: more sophisticated compiers use data-dependency +is reversible (note: more sophisticated compilers use data-dependency analysis to make this determination, SDCC uses a more simple minded analysis). * The 'for' loop is of the form - "for ( = ; [< | <=] + + for ( = ; [< | <=] ; [++ | += 1]) - " + * The does not contain "continue" or 'break". @@ -1851,17 +1788,15 @@ minded analysis). * There are NO switch statements in the loop. -Note djnz instruction can be used for 8-bit values ONLY, +Note djnz instruction can be used for 8-bit values only, therefore it is advantageous to declare loop control symbols -as either 'char', ofcourse this may not be possible on all -situations. +as char. Ofcourse this may not be possible on all situations. 4.1.6 Algebraic Simplifications SDCC does numerous algebraic simplifications, the following is a small sub-set of these optimizations. -eg i = j + 0 ; /* changed to */ i = j; i /= 2; /* changed to */ i >>= 1; i = j - j ; /* changed to */ i = 0; @@ -1875,11 +1810,9 @@ by macro expansions or as a result of copy/constant propagation. SDCC changes switch statements to jump tables when the following conditions are true. -* The case labels are in numerical sequence , the labels - need not be in order, and the starting number need not - be one or zero. - -eg +* The case labels are in numerical sequence, the labels need + not be in order, and the starting number need not be one + or zero. switch(i) { @@ -1912,9 +1845,8 @@ a jump-table. Switch statements which have gaps in the numeric sequence or those that have more that 84 case labels can be split -into more than one switch statement for efficient code generation. - -eg +into more than one switch statement for efficient code generation, +e.g.: switch (i) { case 1: ... @@ -1937,11 +1869,13 @@ case 3: ... case 4: ... } +and + switch (i) { -case 9: ... +case 9: ... case 10: ... case 11: ... -case 12:... +case 12: ... } then both the switch statements will be implemented using @@ -1952,17 +1886,14 @@ not be. Bit shifting is one of the most frequently used operation in embedded programming. SDCC tries to implement bit-shift -operations in the most efficient way possible. - -eg. +operations in the most efficient way possible, e.g.: unsigned char i; - ... i>>= 4; -.. +... -generates the following code. +generates the following code: mov a,_i swap a @@ -1970,14 +1901,14 @@ anl a,#0x0f mov _i,a In general SDCC will never setup a loop if the shift count -is known. Another example +is known. Another example: unsigned int i; ... i >>= 9; ... -will generate +will generate: mov a,(_i + 1) mov (_i + 1),#0x00 @@ -1986,19 +1917,19 @@ rrc a mov _i,a Note that SDCC stores numbers in little-endian format (i.e. -lowest order first) +lowest order first). 4.1.9 Bit-rotation A special case of the bit-shift operation is bit rotation, -SDCC recognizes the following expression to be a left bit-rotation. +SDCC recognizes the following expression to be a left bit-rotation: unsigned char i; ... -i = ( ( i << 1) | ( i >> 7)); +i = ((i << 1) | (i >> 7)); ... -will generate the following code. +will generate the following code: mov a,_i rl a @@ -2006,26 +1937,27 @@ mov _i,a SDCC uses pattern matching on the parse tree to determine this operation.Variations of this case will also be recognized -as bit-rotation i.e i = ((i >> 7) | (i << 1)); /* left-bit -rotation */ +as bit-rotation, i.e.: + +i = ((i >> 7) | (i << 1)); /* left-bit rotation */ 4.1.10 Highest Order Bit It is frequently required to obtain the highest order bit of an integral type (long, int, short or char types). SDCC recognizes the following expression to yield the highest -order bit and generates optimized code for it. +order bit and generates optimized code for it, e.g.: + + unsigned int gint; -eg -unsigned int gint; foo () { unsigned char hob; - ... - hob = (gint >> 15) & 1; - .. + ... + hob = (gint >> 15) & 1; + .. } -Will generate the following code. +will generate the following code: 61 ; hob.c 7 @@ -2045,13 +1977,11 @@ a 66 mov _foo_hob_1_1,a -Variations of this case however will NOT be recognized. It -is a standard C expression , so I heartily recommend this +Variations of this case however will not be recognized. It +is a standard C expression, so I heartily recommend this be the only way to get the highest order bit, (it is portable). Of course it will be recognized even if it is embedded in -other expressions. - -eg. +other expressions, e.g.: xyz = gint + ((gint >> 15) & 1); @@ -2059,50 +1989,53 @@ will still be recognized. 4.1.11 Peep-hole Optimizer -The compiler uses a rule based , pattern matching and re-writing +The compiler uses a rule based, pattern matching and re-writing mechanism for peep-hole optimization. It is inspired by -'copt' a peep-hole optimizer by Christopher W. Fraser (cwfraser@microsoft.com). +copt a peep-hole optimizer by Christopher W. Fraser (cwfraser@microsoft.com). A default set of rules are compiled into the compiler, additional rules may be added with the --peep-file option. The rule language is best illustrated with examples. replace { -mov %1,a -mov a,%1 } by { mov %1,a } + mov %1,a + mov a,%1 +} by { + mov %1,a +} -The above rule will the following assembly sequence +The above rule will change the following assembly sequence: -mov r1,a -mov a,r1 + mov r1,a + mov a,r1 to mov r1,a -Note: All occurrences of a '%n' ( pattern variable ) must -denote the same string. With the above rule, the assembly -sequence +Note: All occurrences of a %n (pattern variable) must denote +the same string. With the above rule, the assembly sequence: -mov r1,a -mov a,r2 + mov r1,a + mov a,r2 -will remain unmodified. Other special case optimizations -may be added by the user (via --peep-file option), eg. some -variants of the 8051 MCU allow only 'AJMP' and 'ACALL' , -the following two rules will change all 'LJMP' & 'LCALL' -to 'AJMP' & 'ACALL'. +will remain unmodified. + +Other special case optimizations may be added by the user +(via --peep-file option). E.g. some variants of the 8051 +MCU allow only ajmp and acall. The following two rules will +change all ljmp and lcall to ajmp and acall replace { lcall %1 } by { acall %1 } replace { ljmp %1 } by { ajmp %1 } -The inline-assembler' code is also passed through the peep +The inline-assembler code is also passed through the peep hole optimizer, thus the peephole optimizer can also be used as an assembly level macro expander. The rules themselves are MCU dependent whereas the rule language infra-structure is MCU independent. Peephole optimization rules for other MCU can be easily programmed using the rule language. -The syntax for a rule is as follows , +The syntax for a rule is as follows: rule := replace [ restart ] '{' '\n' @@ -2114,8 +2047,9 @@ rule := replace [ restart ] '{' '\n' '}' [if ] '\n' + := assembly instruction (each instruction -including labels must be on a separate line). +including labels must be on a separate line). The optimizer will apply to the rules one by one from the top in the sequence of their appearance, it will terminate @@ -2124,32 +2058,32 @@ specified, then the optimizer will start matching the rules again from the top, this option for a rule is expensive (performance), it is intended to be used in situations where a transformation will trigger the same rule again. A good -example of this the following rule. +example of this the following rule: replace restart { -pop %1 -push %1 } by { -; nop + pop %1 + push %1 } by { + ; nop } Note that the replace pattern cannot be a blank, but can be a comment line. Without the 'restart' option only the -inner most 'pop' 'push' pair would be eliminated. i.e. +inner most 'pop' 'push' pair would be eliminated, i.e.: -pop ar1 -pop ar2 -push ar2 -push ar1 + pop ar1 + pop ar2 + push ar2 + push ar1 -would result in +would result in: pop ar1 ; nop push ar1 -with the 'restart' option the rule will be applied again -to the resulting code and the all the 'pop' 'push' pairs -will be eliminated to yield +with the restart option the rule will be applied again to +the resulting code and then all the pop-push pairs will +be eliminated to yield: ; nop ; nop @@ -2165,22 +2099,24 @@ replace { %2:} if labelInRange The optimizer does a look-up of a function name table defined -in function 'callFuncByName' in the source file SDCCpeeph.c -, with the name 'labelInRange', if it finds a corresponding +in function callFuncByName in the source file SDCCpeeph.c, +with the name labelInRange. If it finds a corresponding entry the function is called. Note there can be no parameters -specified for these functions, in this case the use of '%5' +specified for these functions, in this case the use of %5 is crucial, since the function labelInRange expects to find the label in that particular variable (the hash table containing the variable bindings is passed as a parameter). If you -want to code more such functions , take a close look at -the function labelInRange and the calling mechanism in source -file SDCCpeeph.c. I know this whole thing is a little kludgey -, may be some day we will have some better means. If you +want to code more such functions, take a close look at the +function labelInRange and the calling mechanism in source +file SDCCpeeph.c. I know this whole thing is a little kludgey, +but maybe some day we will have some better means. If you are looking at this file, you will also see the default -rules that are compiled into the compiler, you can your +rules that are compiled into the compiler, you can add your own rules in the default set there if you get tired of specifying the --peep-file option. + + 4.2 Pragmas SDCC supports the following #pragma directives. This directives @@ -2197,8 +2133,8 @@ are applicable only at a function level. * NOINDUCTION - will stop loop induction optimizations. -* NOJTBOUND - will not generate code for boundary value checking - , when switch statements are turned into jump-tables. +* NOJTBOUND - will not generate code for boundary value checking, + when switch statements are turned into jump-tables. * NOOVERLAY - the compiler will not overlay the parameters and local variables of a function. @@ -2210,8 +2146,7 @@ are applicable only at a function level. ISR function (using interrupt keyword). The directive should be placed immediately before the ISR function definition and it affects ALL ISR functions following it. To enable - the normal register saving for ISR functions use "#pragma - EXCLUDE none" + the normal register saving for ISR functions use #pragma EXCLUDE none. * CALLEE-SAVES function1[,function2[,function3...]] - The compiler by default uses a caller saves convention for @@ -2227,9 +2162,9 @@ are applicable only at a function level. code. In future the compiler (with interprocedural analysis) will be able to determine the appropriate scheme to use for each function call. If --callee-saves command line - option is used, the function names specified in #pragma - CALLEE-SAVES is appended to the list of functions specified - inthe command line. + option is used, the function names specified in #pragma CALLEE-SAVES + is appended to the list of functions specified inthe command + line. The pragma's are intended to be used to turn-off certain optimizations which might cause the compiler to generate @@ -2357,10 +2292,10 @@ format output type argument-type %s character _generic pointer -The routine is very stack intesive , --stack-after-data parameter +The routine is very stack intesive, --stack-after-data parameter should be used when using this routine, the routine also takes about 1K of code space. It also expects an external -function named putchar(char ) to be present (this can be +function named putchar(char) to be present (this can be changed). When using the %s format the string / pointer should be cast to a generic pointer. eg. @@ -2446,7 +2381,7 @@ _generic *)mystr,myint); and faster. Please see documentation in file SDCCDIR/sdcc51lib/ser.c * ser_ir.h - Another alternate set of serial routines provided - by Josef Wolf , these routines do not + by Josef Wolf , these routines do not use the external ram. * reg51.h - contains register definitions for a standard @@ -2455,7 +2390,7 @@ _generic *)mystr,myint); * float.h - contains min, max and other floating point related stuff. -All library routines are compiled as --model-small , they +All library routines are compiled as --model-small, they are all non-reentrant, if you plan to use the large model or want to make these routines reentrant, then they will have to be recompiled with the appropriate compiler option. @@ -2478,7 +2413,7 @@ ram (depending on the memory model). In the following example the function cfunc calls an assembler routine asm_func, which takes two parameters. -extern int asm_func( unsigned char, unsigned char); +extern int asm_func(unsigned char, unsigned char); int c_func (unsigned char i, unsigned char j) @@ -2535,11 +2470,11 @@ sdcc cfunc.c asmfunc.rel 4.5.2 Assembler Routine(reentrant) In this case the second parameter onwards will be passed -on the stack , the parameters are pushed from right to left +on the stack, the parameters are pushed from right to left i.e. after the call the left most parameter will be on the top of the stack. Here is an example. -extern int asm_func( unsigned char, unsigned char); +extern int asm_func(unsigned char, unsigned char); @@ -2581,7 +2516,7 @@ the offset into the stack for parameters and local variables. 4.6 External Stack The external stack is located at the start of the external -ram segment , and is 256 bytes in size. When --xstack option +ram segment, and is 256 bytes in size. When --xstack option is used to compile the program, the parameters and local variables of all reentrant functions are allocated in this area. This option is provided for programs with large stack @@ -2639,7 +2574,7 @@ return rets;/* is invalid in SDCC although allowed in ANSI 5. Old K&R style function declarations are NOT allowed. -foo( i,j) /* this old style of function declarations */ +foo(i,j) /* this old style of function declarations */ int i,j; /* are valid in ANSI .. not valid in SDCC */ { ... @@ -2709,11 +2644,11 @@ compiler others are generally good programming practice. the programmer should do an explicit cast when integral promotion is required. -* Reducing the size of division , multiplication & modulus +* Reducing the size of division, multiplication & modulus operations can reduce code size substantially. Take the following code for example. - foobar( unsigned int p1, unsigned char ch) + foobar(unsigned int p1, unsigned char ch) { unsigned char ch1 = p1 % ch ; .... @@ -2724,7 +2659,7 @@ compiler others are generally good programming practice. be performed (this will lead to a call to a support routine). If the code is changed to - foobar( unsigned int p1, unsigned char ch) + foobar(unsigned int p1, unsigned char ch) { unsigned char ch1 = (unsigned char)p1 % ch ; @@ -2821,7 +2756,7 @@ and its MCU dependency. 1. Parsing the source and building the annotated parse tree. This phase is largely MCU independent (except for the language extensions). Syntax & semantic checks are also - done in this phase , along with some initial optimizations + done in this phase, along with some initial optimizations like back patching labels and the pattern matching optimizations like bit-rotation etc. @@ -2886,7 +2821,7 @@ and its MCU dependency. SDCC is distributed with a source level debugger. The debugger uses a command line interface, the command repertoire of -the debugger has been kept as close to gdb ( the GNU debugger) +the debugger has been kept as close to gdb (the GNU debugger) as possible. The configuration and build process is part of the standard compiler installation, which also builds and installs the debugger in the target directory specified @@ -2935,9 +2870,9 @@ The debugger will look for the following files. * --directory= this option can used to specify the directory search list. The debugger will - look into the directory list specified for source , cdb + look into the directory list specified for source, cdb & ihx files. The items in the directory list must be separated - by ':' , e.g. if the source files can be in the directories + by ':', e.g. if the source files can be in the directories /home/src1 and /home/src2, the --directory option should be --directory=/home/src1:/home/src2. Note there can be no spaces in the option. @@ -2961,8 +2896,8 @@ The debugger will look for the following files. 7.5 Debugger Commands. As mention earlier the command interface for the debugger -has been deliberately kept as close the GNU debugger gdb -, as possible, this will help int integration with existing +has been deliberately kept as close the GNU debugger gdb, +as possible, this will help int integration with existing graphical user interfaces (like ddd, xxgdb or xemacs) existing for the GNU debugger. @@ -3067,8 +3002,8 @@ REQUIRED), the files can also be loaded dynamically while XEmacs is running, set the environment variable 'EMACSLOADPATH' to the installation bin directory [$(prefix)/bin], then enter the following command ESC-x load-file sdcdbsrc. To -start the interface enter the following command ESC-x sdcdbsrc -, you will prompted to enter the file name to be debugged. +start the interface enter the following command ESC-x sdcdbsrc, +you will prompted to enter the file name to be debugged. The command line options that are passed to the simulator directly are bound to default values in the file sdcdbsrc.el