Header files for the H8/300 example program

Header file types.h


 1  #if !defined(TYPES)
 2  #define TYPES
 3  
 4  typedef unsigned int uint;
 5  
 6  typedef unsigned char uchar;
 7  
 8  typedef signed char count_t;
 9
10  #endif
 

Header file routines.h


 1  /*
 2  
 3  A part of the Bound-T test program tp_bro.
 4  This is the example program in the Bound-T brochure.
 5  
 6  */
 7  
 8  /*
 9  $RCSfile: headers.html,v $
10  $Revision: 1.2 $
11  $Date: 2010-02-25 19:34:35 $
12  $Log: headers.html,v $
12  Revision 1.2  2010-02-25 19:34:35  niklas
12  Changed ARM7 to H8/300 in header.
12
12  Revision 1.1  2010-02-25 19:03:39  niklas
12  First version.
12
13  Revision 1.3  2006/02/06 14:29:40  niklas
14  Using count_t for some counters.
15  
16  Revision 1.2  2006/02/05 20:28:32  niklas
17  Removed CR line-endings.
18  
19  Revision 1.1  2006/02/05 14:22:24  niklas
20  First version.
21  
22  */
23  
24  
25  #include "types.h"
26  
27  extern void Count25 (uint *x);
28  /* Demonstrates a loop with static bounds. */
29  
30  extern void Count (count_t u, uint *x);
31  /* Demonstrates a loop that depends on the parameter u. */
32  
33  extern void Foo (count_t num, uint *x);
34  /* Demonstrates a call to Count that makes Count.u depend on */
35  /* Foo.num, so that the loop in Count depends on Foo.num.    */
36  
37  extern void Foo7 (uint *x);
38  /* Demonstrates a call to Foo with a static value for Foo.num  */
39  /* which passes on to Count.u and lets Bounds-T bound the loop */
40  /* in Count.                                                   */
41  
42  extern void Solve (uint *x);
43  /* Demonstrates a for-loop with static bounds.               */
44  /* Demonstrates bounding a call (on Count) using assertions. */
45  
46  extern count_t Ones (uint x);
47  /* Returns the number of '1' bits in x.                      */
48  /* Demonstrates a 'while' loop for which Bound-T cannot find */
49  /* a loop-bound automatically.                               */