Specifications

Stack usage analysis
In a similar way, Bound-T can analyse the machine code to find out where the stack pointer is
changed and how much it is changed. From these changes, Bound-T can compute an upper
bound on the stack usage of each subprogram, also including the stack-space used by called
subprograms.
What follows
This Application Note explains how to use Bound-T to analyse H8/300 programs and how
Bound-T models the architecture of this processor. To make full use of this information, the
reader should be familiar with the architecture and instruction set of this processor, as
presented in reference [4].
The remainder of this Application Note is divided into a user guide part and reference part.The
user guide part consists of chapters 2 through 3 and is structured as follows:
• Chapter 2 shows how to use the H8/300 version of Bound-T. It briefly lists the supported
H8/300 features and cross-compilers and fully explains those Bound-T command arguments
and options that are wholly specific to the H8/300, or that have a specific interpretation for
this processor.
• Chapter 3 addresses the user-defined assertions on target program behaviour and explains
the possibilities and limitations in the context of the H8/300 and its cross-compilers.
The remainder of the Application Note forms the reference part as follows:
• Chapter 4 describes the main features of the H8/300 architecture and how they relate to
the functions of Bound-T.
• Chapter 5 defines in detail the set of H8/300 instructions and registers that is supported by
Bound-T.
• Chapter 6 explains which procedure calling protocols (ABIs) are supported by Bound-T.
• Chapter 7 listst all H8/300-specific warnings and error messages that Bound-T can issue
and explains the possible reasons and remedies for each.
The implementation of Bound-T for the H8/300 is described in Samuel Peterssons’s Master’s
thesis [9] and a related technical report [10].
1.3 References
[1] Bound-T User Guide.
Tidorum Ltd., Doc.ref. TR-UG-001.
http://www.bound-t.com/manuals/user-guide.pdf
[2] Bound-T Reference Manual.
Tidorum Ltd., Doc.ref. TR-RM-001.
http://www.bound-t.com/manuals/ref-manual.pdf
[3] Bound-T Assertion Language.
Tidorum Ltd., Doc.ref. TR-UM-003.
http://www.bound-t.com/manuals/assertion-lang.pdf
[4] H8/300 Programming Manual.
Renesas Technology Corporation, http://www.renesas.com/.
Originally published by Hitachi Ltd.
First edition, December 1989.
[5] H8/3297 Series Hardware Manual.
Renesas Technology Corporation, http://www.renesas.com/.
2 Introduction Bound-T for H8/300