Specifications

Some H8/300 devices require or allow further device-specific options which are listed in a
separate table in section 2.3.
Table 1: Command options
Option
Meaning and default value
-bcc=signed
-bcc=unsigned
Function
Controls the interpretation of the condition codes for signed
arithmetic in conditional branch (Bcc) instructions.
Under -bcc=signed, the signed conditions are considered opaque
(unknown to the analysis). This usually means that a loop using
a counter of signed type cannot be bounded automatically.
Under -bcc=unsigned, the signed conditions are interpreted as
the corresponding unsigned conditions. This may allow
automatic bounding of some loops using signed counters, but is
safe only if the counter stays in the non-negative signed range.
See section 5.5.
Default
-bcc=unsigned.
-coff
Function
Tells Bound-T that the given target program file is a COFF file.
Default
Bound-T tries to determine the file type by inspecting the file.
-device=X
-device X
-X
Function
Chooses the specific H8/300 device (model, chip) X on which
the target program runs. This defines the memory lay-out and
perhaps other processor properties. See the table in section 2.3
for a list of the supported devices and their names (X). The
prefix '-device' or "-device=" is optional; you can also say just -X,
for example -H8/3292 or just -3292.
Default
There is no default. This option must be specified.
-mint16
-mint32
Function
Tells Bound-T the size (16 bits or 32 bits) to assume for "int"
variables in COFF programs compiled with GCC. This
corresponds to the GCC options -mint16 and -mint32.
Default
-mint16
-stack=internal
-stack=external
Function
Indicates that the stack (SP = R7) is placed in internal (on-chip)
memory, giving fast access, or in external (off-chip) memory,
giving slow access. Some devices support the option
-nternal_ram=disabled which overrides -stack=internal and forces
-stack=external.
Default
-stack=internal
-read_ws=X
Function
Sets the number X of memory wait states assumed for an
external memory read.
Default
-read_ws=0
-srec
Function
Tells Bound-T that the given target program file is an S-record
file following the syntax defined in section 2.4.
Default
Bound-T tries to determine the file type by inspecting the file.
-srec=file
Function
Loads more code or data in S-record form from the named file,
adding to the code and data read from the main executable file
(as named on the command line after the options).
The format of the file is described below in section 2.4.
This option can be used at most once on the command line.
Default
No additional S-record input.
6 Using Bound-T for H8/300 Bound-T for H8/300