home *** CD-ROM | disk | FTP | other *** search
/ Power Programming / powerprogramming1994.iso / progtool / microcrn / issue_46.arc / CING46.ARC / DHRY2.C next >
Text File  |  1988-05-11  |  32KB  |  857 lines

  1. /* From the C'ing Clearly column in Micro Cornucopia Magazine Issue #46
  2.  
  3.  
  4.  ****************************************************************************
  5.  *
  6.  *                   "DHRYSTONE" Benchmark Program
  7.  *                   -----------------------------
  8.  *                                                                            
  9.  *  Version:    C, Version 2.0
  10.  *                                                                            
  11.  *  Date:       March 3, 1988
  12.  *
  13.  *  Author:     Reinhold P. Weicker
  14.  *                      Siemens AG, E STE 35
  15.  *                      Postfach 3240
  16.  *                      8520 Erlangen
  17.  *                      Germany (West)
  18.  *                              Phone:  [xxx-49]-9131-7-20330
  19.  *                                      (8-17 Central European Time)
  20.  *                              Usenet: ..!mcvax!unido!estevax!weicker
  21.  *
  22.  *              Original Version (in Ada) published in
  23.  *              "Communications of the ACM" vol. 27., no. 10 (Oct. 1984),
  24.  *              pp. 1013 - 1030, together with the statistics
  25.  *              on which the distribution of statements etc. is based.
  26.  *
  27.  *              In this C version, the following C library functions are used:
  28.  *              - strcpy, strcmp (inside the measurement loop)
  29.  *              - printf, scanf (outside the measurement loop)
  30.  *              In addition, UNIX system calls "times ()" or "time ()"
  31.  *              are used for execution time measurement. For measurements
  32.  *              on other systems, these calls have to be changed.
  33.  *
  34.  *  Collection of Results:
  35.  *              Reinhold Weicker (address see above) and
  36.  *              
  37.  *              Rick Richardson
  38.  *              PC Research. Inc.
  39.  *              94 Apple Orchard Drive
  40.  *              Tinton Falls, NJ 07724
  41.  *                      Phone:  (201) 834-1378 (9-17 EST)               
  42.  *                      Usenet: ...!seismo!uunet!pcrat!rick
  43.  *
  44.  *      Please send results to Reinhold Weicker and/or Rick Richardson.
  45.  *      Complete information should be given on hardware and software used.
  46.  *      Hardware information includes: Machine type, CPU, type and size
  47.  *      of caches; for microprocessors: clock frequency, memory speed
  48.  *      (number of wait states).
  49.  *      Software information includes: Compiler (and runtime library)
  50.  *      manufacturer and version, compilation switches, OS version.
  51.  *      The Operating System version may give an indication about the
  52.  *      compiler; Dhrystone itself performs no OS calls in the measurement loop.
  53.  *
  54.  *      The complete output generated by the program should be mailed
  55.  *      such that at least some checks for correctness can be made.
  56.  *
  57.  ***************************************************************************
  58.  *
  59.  *  History:    This version C/2.0 has been made for two reasons:
  60.  *
  61.  *              1) There is an obvious need for a common C version of
  62.  *              Dhrystone, since C is at present the most popular system
  63.  *              programming language for the class of processors
  64.  *              (microcomputers, minicomputers) where Dhrystone is used most.
  65.  *              There should be, as far as possible, only one C version of
  66.  *              Dhrystone such that results can be compared without
  67.  *              restrictions. In the past, the C versions distributed
  68.  *              by Rick Richardson (Version 1.1) and by Reinhold Weicker
  69.  *              had small (though not significant) differences.
  70.  *
  71.  *              2) As far as it is possible without changes to the Dhrystone
  72.  *              statistics, optimizing compilers should be prevented from
  73.  *              removing significant statements.
  74.  *
  75.  *              This C version has been developed in cooperation with
  76.  *              Rick Richardson (Tinton Falls, NJ), it incorporates many
  77.  *              ideas from the "Version 1.1" distributed previously by
  78.  *              him over the UNIX network Usenet.
  79.  *              I also thank Chaim Benedelac (National Semiconductor),
  80.  *              David Ditzel (SUN), Earl Killian and John Mashey (MIPS),
  81.  *              Alan Smith and Rafael Saavedra-Barrera (UC at Berkeley)
  82.  *              for their help with comments on earlier versions of the
  83.  *              benchmark.
  84.  *
  85.  *  Changes:    In the initialization part, this version follows mostly
  86.  *              Rick Richardson's version distributed via Usenet, not the
  87.  *              version distributed earlier via floppy disk by Reinhold Weicker.
  88.  *              As a concession to older compilers, names have been made
  89.  *              unique within the first 8 characters.
  90.  *              Inside the measurement loop, this version follows the
  91.  *              version previously distributed by Reinhold Weicker.
  92.  *
  93.  *              At several places in the benchmark, code has been added,
  94.  *              but within the measurement loop only in branches that 
  95.  *              are not executed. The intention is that optimizing compilers
  96.  *              should be prevented from moving code out of the measurement
  97.  *              loop, or from removing code altogether. Since the statements
  98.  *              that are executed within the measurement loop have NOT been
  99.  *              changed, the numbers defining the "Dhrystone distribution"
  100.  *              (distribution of statements, operand types and locality)
  101.  *              still hold. Except for sophisticated optimizing compilers,
  102.  *              execution times for this version should be the same as
  103.  *              for previous versions.
  104.  *              
  105.  *              Since it has proven difficult to subtract the time for the
  106.  *              measurement loop overhead in a correct way, the loop check
  107.  *              has been made a part of the benchmark. This does have
  108.  *              an impact - though a very minor one - on the distribution
  109.  *              statistics which have been updated for this version.
  110.  *
  111.  *              All changes within the measurement loop are described
  112.  *              and discussed in the companion paper "Rationale for
  113.  *              Dhrystone version 2".
  114.  *
  115.  *              Because of the self-imposed limitation that the order and
  116.  *              distribution of the executed statements should not be
  117.  *              changed, there are still cases where optimizing compilers
  118.  *              may not generate code for some statements. To a certain
  119.  *              degree, this is unavoidable for small synthetic benchmarks.
  120.  *              Users of the benchmark are advised to check code listings
  121.  *              whether code is generated for all statements of Dhrystone.
  122.  *
  123.  ***************************************************************************
  124.  *
  125.  * Defines:     The following "Defines" are possible:
  126.  *              -DREG=register          (default: Not defined)
  127.  *                      As an approximation to what an average C programmer
  128.  *                      might do, the "register" storage class is applied
  129.  *                      (if enabled by -DREG=register)
  130.  *                      - for local variables, if they are used (dynamically)
  131.  *                        five or more times
  132.  *                      - for parameters if they are used (dynamically)
  133.  *                        six or more times
  134.  *                      Note that an optimal "register" strategy is
  135.  *                      compiler-dependent, and that "register" declarations
  136.  *                      do not necessarily lead to faster execution.
  137.  *              -DNOSTRUCTASSIGN        (default: Not defined)
  138.  *                      Define if the C compiler does not support
  139.  *                      assignment of structures.
  140.  *              -DNOENUMS               (default: Not defined)
  141.  *                      Define if the C compiler does not support
  142.  *                      enumeration types.
  143.  *              -DTIMES                 (default)
  144.  *              -DTIME
  145.  *                      The "times" function of UNIX (returning process times)
  146.  *                      or the "time" function (returning wallclock time)
  147.  *                      is used for measurement. 
  148.  *                      For single user machines, "time ()" is adequate. For
  149.  *                      multi-user machines where you cannot get single-user
  150.  *                      access, use the "times ()" function. If you have
  151.  *                      neither, use a stopwatch in the dead of night.
  152.  *                      "printf"s are provided marking the points "Start Timer"
  153.  *                      and "Stop Timer". DO NOT use the UNIX "time(1)"
  154.  *                      command, as this will measure the total time to
  155.  *                      run this program, which will (erroneously) include
  156.  *                      the time to allocate storage (malloc) and to perform
  157.  *                      the initialization.
  158.  *              -DHZ=nnn                (default: 60)
  159.  *                      The function "times" returns process times in
  160.  *                      1/HZ seconds, with HZ = 60 for most systems.
  161.  *                      CHECK YOUR SYSTEM DESCRIPTION BEFORE YOU JUST APPLY
  162.  *                      THE DEFAULT VALUE.
  163.  *
  164.  ***************************************************************************
  165.  *
  166.  *  Compilation model and measurement (IMPORTANT):
  167.  *
  168.  *  This C version of Dhrystone consists of three files:
  169.  *  - dhry_global.h (this file, containing global definitions and comments)
  170.  *  - dhry_pack_1.c (containing the code corresponding to Ada package Pack_1)
  171.  *  - dhry_pack_2.c (containing the code corresponding to Ada package Pack_2)
  172.  *
  173.  *  The following "ground rules" apply for measurements:
  174.  *  - Separate compilation
  175.  *  - No procedure merging
  176.  *  - Otherwise, compiler optimizations are allowed but should be indicated
  177.  *  - Default results are those without register declarations
  178.  *  See the companion paper "Rationale for Dhrystone Version 2" for a more
  179.  *  detailed discussion of these ground rules.
  180.  *
  181.  *  For 16-Bit processors (e.g. 80186, 80286), times for all compilation
  182.  *  models ("small", "medium", "large" etc.) should be given if possible,
  183.  *  together with a definition of these models for the compiler system used.
  184.  *
  185.  **************************************************************************
  186.  *
  187.  *  Dhrystone (C version) statistics:
  188.  *
  189.  *  [Comment from the first distribution, updated for version 2.
  190.  *   Note that because of language differences, the numbers are slightly
  191.  *   different from the Ada version.]
  192.  *
  193.  *  The following program contains statements of a high level programming
  194.  *  language (here: C) in a distribution considered representative:           
  195.  *
  196.  *    assignments                  52 (51.0 %)
  197.  *    control statements           33 (32.4 %)
  198.  *    procedure, function calls    17 (16.7 %)
  199.  *
  200.  *  103 statements are dynamically executed. The program is balanced with
  201.  *  respect to the three aspects:                                             
  202.  *
  203.  *    - statement type
  204.  *    - operand type
  205.  *    - operand locality
  206.  *         operand global, local, parameter, or constant.                     
  207.  *
  208.  *  The combination of these three aspects is balanced only approximately.    
  209.  *
  210.  *  1. Statement Type:
  211.  *  -----------------             number
  212.  *
  213.  *     V1 = V2                     9
  214.  *       (incl. V1 = F(..)
  215.  *     V = Constant               12
  216.  *     Assignment,                 7
  217.  *       with array element
  218.  *     Assignment,                 6
  219.  *       with record component
  220.  *                                --
  221.  *                                34       34
  222.  *
  223.  *     X = Y +|-|"&&"|"|" Z        5
  224.  *     X = Y +|-|"==" Constant     6
  225.  *     X = X +|- 1                 3
  226.  *     X = Y *|/ Z                 2
  227.  *     X = Expression,             1
  228.  *           two operators
  229.  *     X = Expression,             1
  230.  *           three operators
  231.  *                                --
  232.  *                                18       18
  233.  *
  234.  *     if ....                    14
  235.  *       with "else"      7
  236.  *       without "else"   7
  237.  *           executed        3
  238.  *           not executed    4
  239.  *     for ...                     7  |  counted every time
  240.  *     while ...                   4  |  the loop condition
  241.  *     do ... while                1  |  is evaluated
  242.  *     switch ...                  1
  243.  *     break                       1
  244.  *     declaration with            1
  245.  *       initialization
  246.  *                                --
  247.  *                                34       34
  248.  *
  249.  *     P (...)  procedure call    11
  250.  *       user procedure      10
  251.  *       library procedure    1
  252.  *     X = F (...)
  253.  *             function  call      6
  254.  *       user function        5                                         
  255.  *       library function     1                                               
  256.  *                                --
  257.  *                                17       17
  258.  *                                        ---
  259.  *                                        103
  260.  *
  261.  *    The average number of parameters in procedure or function calls
  262.  *    is 1.82 (not counting the function values as implicit parameters).
  263.  *
  264.  *
  265.  *  2. Operators
  266.  *  ------------
  267.  *                          number    approximate
  268.  *                                    percentage
  269.  *
  270.  *    Arithmetic             32          50.8                                 
  271.  *
  272.  *       +                     21          33.3                              
  273.  *       -                      7          11.1                              
  274.  *       *                      3           4.8
  275.  *       / (int div)            1           1.6
  276.  *
  277.  *    Comparison             27           42.8
  278.  *
  279.  *       ==                     9           14.3
  280.  *       /=                     4            6.3
  281.  *       >                      1            1.6
  282.  *       <                      3            4.8
  283.  *       >=                     1            1.6
  284.  *       <=                     9           14.3
  285.  *
  286.  *    Logic                   4            6.3
  287.  *
  288.  *       && (AND-THEN)          1            1.6
  289.  *       |  (OR)                1            1.6
  290.  *       !  (NOT)               2            3.2
  291.  * 
  292.  *                           --          -----
  293.  *                           63          100.1
  294.  *
  295.  *
  296.  *  3. Operand Type (counted once per operand reference):
  297.  *  ---------------
  298.  *                          number    approximate
  299.  *                                    percentage
  300.  *
  301.  *     Integer               175        72.3 %
  302.  *     Character              45        18.6 %
  303.  *     Pointer                12         5.0 %
  304.  *     String30                6         2.5 %
  305.  *     Array                   2         0.8 %
  306.  *     Record                  2         0.8 %
  307.  *                           ---       -------
  308.  *                           242       100.0 %
  309.  *
  310.  *  When there is an access path leading to the final operand (e.g. a record
  311.  *  component), only the final data type on the access path is counted.       
  312.  *
  313.  *
  314.  *  4. Operand Locality:                                                      
  315.  *  -------------------
  316.  *                                number    approximate
  317.  *                                          percentage
  318.  *
  319.  *     local variable              114        47.1 %
  320.  *     global variable              22         9.1 %
  321.  *     parameter                    45        18.6 %
  322.  *        value                        23         9.5 %
  323.  *        reference                    22         9.1 %
  324.  *     function result               6         2.5 %
  325.  *     constant                     55        22.7 %
  326.  *                                 ---       -------
  327.  *                                 242       100.0 %
  328.  *
  329.  *
  330.  *  The program does not compute anything meaningful, but it is syntactically
  331.  *  and semantically correct. All variables have a value assigned to them
  332.  *  before they are used as a source operand.
  333.  *
  334.  *  There has been no explicit effort to account for the effects of a
  335.  *  cache, or to balance the use of long or short displacements for code or
  336.  *  data.
  337.  *
  338.  ***************************************************************************
  339.  */
  340.  
  341. #ifdef  NOSTRUCTASSIGN
  342. #define structassign(d, s)      memcpy(&(d), &(s), sizeof(d))
  343. #else
  344. #define structassign(d, s)      d = s
  345. #endif
  346.  
  347. #ifdef  NOENUM
  348. #define Ident_1 0
  349. #define Ident_2 1
  350. #define Ident_3 2
  351. #define Ident_4 3
  352. #define Ident_5 4
  353.   typedef int   Enumeration;
  354. #else
  355.   typedef       enum    {Ident_1, Ident_2, Ident_3, Ident_4, Ident_5}
  356.                 Enumeration;
  357. #endif
  358.         /* for boolean and enumeration types in Ada, Pascal */
  359.  
  360. /* General definitions: */
  361.  
  362. #include <stdio.h>
  363.                 /* for strcpy, strcmp */
  364.  
  365. #define Null 0
  366.                 /* Value of a Null pointer */
  367. #define true  1
  368. #define false 0
  369.  
  370. typedef int     One_Thirty;
  371. typedef int     One_Fifty;
  372. typedef char    Capital_Letter;
  373. typedef int     Boolean;
  374. typedef char    Str_30 [31];
  375. typedef int     Arr_1_Dim [50];
  376. typedef int     Arr_2_Dim [50] [50];
  377.  
  378. typedef struct record
  379.     {
  380.     struct record *Ptr_Comp;
  381.     Enumeration    Discr;
  382.     union {
  383.           struct {
  384.                   Enumeration Enum_Comp;
  385.                   int         Int_Comp;
  386.                   char        Str_Comp [31];
  387.                   } var_1;
  388.           struct {
  389.                   Enumeration E_Comp_2;
  390.                   char        Str_2_Comp [31];
  391.                   } var_2;
  392.           struct {
  393.                   char        Ch_1_Comp;
  394.                   char        Ch_2_Comp;
  395.                   } var_3;
  396.           } variant;
  397.       } Rec_Type, *Rec_Pointer;
  398.  
  399. /* Global Variables: */
  400.  
  401. Rec_Pointer     Ptr_Glob,
  402.                 Next_Ptr_Glob;
  403. int             Int_Glob;
  404. Boolean         Bool_Glob;
  405. char            Ch_1_Glob,
  406.                 Ch_2_Glob;
  407. int             Arr_1_Glob [50];
  408. int             Arr_2_Glob [50] [50];
  409.  
  410. extern char     *malloc ();
  411. Enumeration     Func_1 ();
  412.   /* forward declaration necessary since Enumeration may not simply be int */
  413.  
  414. #ifndef REG
  415.         Boolean Reg = false;
  416. #define REG
  417.         /* REG becomes defined as empty */
  418.         /* i.e. no register variables   */
  419. #else
  420.         Boolean Reg = true;
  421. #endif
  422.  
  423. int main ()
  424. /*****/
  425.  
  426.   /* main program, corresponds to procedures        */
  427.   /* Main and Proc_0 in the Ada version             */
  428.  
  429. {
  430.         One_Fifty       Int_1_Loc;
  431.   REG   One_Fifty       Int_2_Loc;
  432.         One_Fifty       Int_3_Loc;
  433.   REG   char            Ch_Index;
  434.         Enumeration     Enum_Loc;
  435.         Str_30          Str_1_Loc;
  436.         Str_30          Str_2_Loc;
  437.   REG   long            Run_Index;
  438.   REG   long            Number_Of_Runs;
  439.  
  440.  
  441.   /* Initializations */
  442.  
  443.   Next_Ptr_Glob = (Rec_Pointer) malloc (sizeof (Rec_Type));
  444.   Ptr_Glob = (Rec_Pointer) malloc (sizeof (Rec_Type));
  445.  
  446.   Ptr_Glob->Ptr_Comp                    = Next_Ptr_Glob;
  447.   Ptr_Glob->Discr                       = Ident_1;
  448.   Ptr_Glob->variant.var_1.Enum_Comp     = Ident_3;
  449.   Ptr_Glob->variant.var_1.Int_Comp      = 40;
  450.   strcpy (Ptr_Glob->variant.var_1.Str_Comp, 
  451.           "DHRYSTONE PROGRAM, SOME STRING");
  452.   strcpy (Str_1_Loc, "DHRYSTONE PROGRAM, 1'ST STRING");
  453.  
  454.   Arr_2_Glob [8][7] = 10;
  455.         /* Was missing in published program. Without this               */
  456.         /* initialization, Arr_2_Glob [8][7] would have an              */
  457.         /* undefined value.                                             */
  458.         /* Warning: With 16-Bit processors and Number_Of_Runs > 32000,  */
  459.         /* overflow may occur for this array element.                   */
  460.  
  461.   printf ("\n");
  462.   printf ("Dhrystone Benchmark, Version 2.0 (Language: C)\n");
  463.   printf ("\n");
  464.   if (Reg)
  465.   {
  466.     printf ("Program compiled with 'register' attribute\n");
  467.     printf ("\n");
  468.   }
  469.   else
  470.   {
  471.     printf ("Program compiled without 'register' attribute\n");
  472.     printf ("\n");
  473.   }
  474.  
  475.   Number_Of_Runs = 50000;
  476.  
  477.   printf ("Execution starts, %ld runs through Dhrystone\n", Number_Of_Runs);
  478.  
  479.   /***************/
  480.   /* Start timer */
  481.   /***************/
  482.  
  483.   for (Run_Index = 1; Run_Index <= Number_Of_Runs; ++Run_Index)
  484.   {
  485.  
  486.     Proc_5();
  487.     Proc_4();
  488.       /* Ch_1_Glob == 'A', Ch_2_Glob == 'B', Bool_Glob == true */
  489.     Int_1_Loc = 2;
  490.     Int_2_Loc = 3;
  491.     strcpy (Str_2_Loc, "DHRYSTONE PROGRAM, 2'ND STRING");
  492.     Enum_Loc = Ident_2;
  493.     Bool_Glob = ! Func_2 (Str_1_Loc, Str_2_Loc);
  494.       /* Bool_Glob == 1 */
  495.     while (Int_1_Loc < Int_2_Loc)  /* loop body executed once */
  496.     {
  497.       Int_3_Loc = 5 * Int_1_Loc - Int_2_Loc;
  498.         /* Int_3_Loc == 7 */
  499.       Proc_7 (Int_1_Loc, Int_2_Loc, &Int_3_Loc);
  500.         /* Int_3_Loc == 7 */
  501.       Int_1_Loc += 1;
  502.     } /* while */
  503.       /* Int_1_Loc == 3, Int_2_Loc == 3, Int_3_Loc == 7 */
  504.     Proc_8 (Arr_1_Glob, Arr_2_Glob, Int_1_Loc, Int_3_Loc);
  505.       /* Int_Glob == 5 */
  506.     Proc_1 (Ptr_Glob);
  507.     for (Ch_Index = 'A'; Ch_Index <= Ch_2_Glob; ++Ch_Index)
  508.                              /* loop body executed twice */
  509.     {
  510.       if (Enum_Loc == Func_1 (Ch_Index, 'C'))
  511.           /* then, not executed */
  512.         {
  513.         Proc_6 (Ident_1, &Enum_Loc);
  514.         strcpy (Str_2_Loc, "DHRYSTONE PROGRAM, 3'RD STRING");
  515.         Int_2_Loc = Run_Index;
  516.         Int_Glob = Run_Index;
  517.         }
  518.     }
  519.       /* Int_1_Loc == 3, Int_2_Loc == 3, Int_3_Loc == 7 */
  520.     Int_2_Loc = Int_2_Loc * Int_1_Loc;
  521.     Int_1_Loc = Int_2_Loc / Int_3_Loc;
  522.     Int_2_Loc = 7 * (Int_2_Loc - Int_3_Loc) - Int_1_Loc;
  523.       /* Int_1_Loc == 1, Int_2_Loc == 13, Int_3_Loc == 7 */
  524.     Proc_2 (&Int_1_Loc);
  525.       /* Int_1_Loc == 5 */
  526.  
  527.   } /* loop "for Run_Index" */
  528.  
  529.   /**************/
  530.   /* Stop timer */
  531.   /**************/
  532.   
  533.   printf ("Execution ends\n");
  534.   printf ("\n");
  535.   printf ("Final values of the variables used in the benchmark:\n");
  536.   printf ("\n");
  537.   printf ("Int_Glob:            %d\n", Int_Glob);
  538.   printf ("        should be:   %d\n", 5);
  539.   printf ("Bool_Glob:           %d\n", Bool_Glob);
  540.   printf ("        should be:   %d\n", 1);
  541.   printf ("Ch_1_Glob:           %c\n", Ch_1_Glob);
  542.   printf ("        should be:   %c\n", 'A');
  543.   printf ("Ch_2_Glob:           %c\n", Ch_2_Glob);
  544.   printf ("        should be:   %c\n", 'B');
  545.   printf ("Arr_1_Glob[8]:       %d\n", Arr_1_Glob[8]);
  546.   printf ("        should be:   %d\n", 7);
  547.   printf ("Arr_2_Glob[8][7]:    %d\n", Arr_2_Glob[8][7]);
  548.   printf ("        should be:   Number_Of_Runs + 10\n");
  549.   printf ("Ptr_Glob->\n");
  550.   printf ("  Ptr_Comp:          %d\n", (int) Ptr_Glob->Ptr_Comp);
  551.   printf ("        should be:   (implementation-dependent)\n");
  552.   printf ("  Discr:             %d\n", Ptr_Glob->Discr);
  553.   printf ("        should be:   %d\n", 0);
  554.   printf ("  Enum_Comp:         %d\n", Ptr_Glob->variant.var_1.Enum_Comp);
  555.   printf ("        should be:   %d\n", 2);
  556.   printf ("  Int_Comp:          %d\n", Ptr_Glob->variant.var_1.Int_Comp);
  557.   printf ("        should be:   %d\n", 17);
  558.   printf ("  Str_Comp:          %s\n", Ptr_Glob->variant.var_1.Str_Comp);
  559.   printf ("        should be:   DHRYSTONE PROGRAM, SOME STRING\n");
  560.   printf ("Next_Ptr_Glob->\n");
  561.   printf ("  Ptr_Comp:          %d\n", (int) Next_Ptr_Glob->Ptr_Comp);
  562.   printf ("        should be:   (implementation-dependent), same as above\n");
  563.   printf ("  Discr:             %d\n", Next_Ptr_Glob->Discr);
  564.   printf ("        should be:   %d\n", 0);
  565.   printf ("  Enum_Comp:         %d\n", Next_Ptr_Glob->variant.var_1.Enum_Comp);
  566.   printf ("        should be:   %d\n", 1);
  567.   printf ("  Int_Comp:          %d\n", Next_Ptr_Glob->variant.var_1.Int_Comp);
  568.   printf ("        should be:   %d\n", 18);
  569.   printf ("  Str_Comp:          %s\n",
  570.                                 Next_Ptr_Glob->variant.var_1.Str_Comp);
  571.   printf ("        should be:   DHRYSTONE PROGRAM, SOME STRING\n");
  572.   printf ("Int_1_Loc:           %d\n", Int_1_Loc);
  573.   printf ("        should be:   %d\n", 5);
  574.   printf ("Int_2_Loc:           %d\n", Int_2_Loc);
  575.   printf ("        should be:   %d\n", 13);
  576.   printf ("Int_3_Loc:           %d\n", Int_3_Loc);
  577.   printf ("        should be:   %d\n", 7);
  578.   printf ("Enum_Loc:            %d\n", Enum_Loc);
  579.   printf ("        should be:   %d\n", 1);
  580.   printf ("Str_1_Loc:           %s\n", Str_1_Loc);
  581.   printf ("        should be:   DHRYSTONE PROGRAM, 1'ST STRING\n");
  582.   printf ("Str_2_Loc:           %s\n", Str_2_Loc);
  583.   printf ("        should be:   DHRYSTONE PROGRAM, 2'ND STRING\n");
  584.   printf ("\n");
  585.  
  586. }
  587.  
  588.  
  589. Proc_1 (Ptr_Val_Par)
  590. /**********************/
  591.  
  592. REG Rec_Pointer Ptr_Val_Par;
  593.     /* executed once */
  594. {
  595.   REG Rec_Pointer Next_Record = Ptr_Val_Par->Ptr_Comp;  
  596.                                         /* == Ptr_Glob_Next */
  597.   /* Local variable, initialized with Ptr_Val_Par->Ptr_Comp,    */
  598.   /* corresponds to "rename" in Ada, "with" in Pascal           */
  599.   
  600.   structassign (*Ptr_Val_Par->Ptr_Comp, *Ptr_Glob); 
  601.   Ptr_Val_Par->variant.var_1.Int_Comp = 5;
  602.   Next_Record->variant.var_1.Int_Comp 
  603.         = Ptr_Val_Par->variant.var_1.Int_Comp;
  604.   Next_Record->Ptr_Comp = Ptr_Val_Par->Ptr_Comp;
  605.   Proc_3 (&Next_Record->Ptr_Comp);
  606.     /* Ptr_Val_Par->Ptr_Comp->Ptr_Comp 
  607.                         == Ptr_Glob->Ptr_Comp */
  608.   if (Next_Record->Discr == Ident_1)
  609.     /* then, executed */
  610.   {
  611.     Next_Record->variant.var_1.Int_Comp = 6;
  612.     Proc_6 (Ptr_Val_Par->variant.var_1.Enum_Comp, 
  613.            &Next_Record->variant.var_1.Enum_Comp);
  614.     Next_Record->Ptr_Comp = Ptr_Glob->Ptr_Comp;
  615.     Proc_7 (Next_Record->variant.var_1.Int_Comp, 10, 
  616.            &Next_Record->variant.var_1.Int_Comp);
  617.   }
  618.   else /* not executed */
  619.     structassign (*Ptr_Val_Par, *Ptr_Val_Par->Ptr_Comp);
  620. } /* Proc_1 */
  621.  
  622.  
  623. Proc_2 (Int_Par_Ref)
  624. /******************/
  625.     /* executed once */
  626.     /* *Int_Par_Ref == 1, becomes 4 */
  627.  
  628. One_Fifty   *Int_Par_Ref;
  629. {
  630.   One_Fifty  Int_Loc;  
  631.   Enumeration   Enum_Loc;
  632.  
  633.   Int_Loc = *Int_Par_Ref + 10;
  634.   do /* executed once */
  635.     if (Ch_1_Glob == 'A')
  636.       /* then, executed */
  637.     {
  638.       Int_Loc -= 1;
  639.       *Int_Par_Ref = Int_Loc - Int_Glob;
  640.       Enum_Loc = Ident_1;
  641.     } /* if */
  642.   while (Enum_Loc != Ident_1); /* true */
  643. } /* Proc_2 */
  644.  
  645.  
  646. Proc_3 (Ptr_Ref_Par)
  647. /**********************/
  648.     /* executed once */
  649.     /* Ptr_Ref_Par becomes Ptr_Glob */
  650.  
  651. Rec_Pointer *Ptr_Ref_Par;
  652.  
  653. {
  654.   if (Ptr_Glob != Null)
  655.     /* then, executed */
  656.     *Ptr_Ref_Par = Ptr_Glob->Ptr_Comp;
  657.   else /* not executed */
  658.     Int_Glob = 100;
  659.   Proc_7 (10, Int_Glob, &Ptr_Glob->variant.var_1.Int_Comp);
  660. } /* Proc_3 */
  661.  
  662.  
  663.  
  664. Proc_4 () /* without parameters */
  665. /*******/
  666.     /* executed once */
  667. {
  668.   Boolean Bool_Loc;
  669.  
  670.   Bool_Loc = Ch_1_Glob == 'A';
  671.   Bool_Glob = Bool_Loc | Bool_Glob;
  672.   Ch_2_Glob = 'B';
  673. } /* Proc_4 */
  674.  
  675.  
  676. Proc_5 () /* without parameters */
  677. /*******/
  678.     /* executed once */
  679. {
  680.   Ch_1_Glob = 'A';
  681.   Bool_Glob = false;
  682. } /* Proc_5 */
  683.  
  684.  
  685.         /* Procedure for the assignment of structures,          */
  686.         /* if the C compiler doesn't support this feature       */
  687. #ifdef  NOSTRUCTASSIGN
  688. memcpy (d, s, l)
  689. register char   *d;
  690. register char   *s;
  691. register int    l;
  692. {
  693.         while (l--) *d++ = *s++;
  694. }
  695. #endif
  696.  
  697. Proc_6 (Enum_Val_Par, Enum_Ref_Par)
  698. /*********************************/
  699.     /* executed once */
  700.     /* Enum_Val_Par == Ident_3, Enum_Ref_Par becomes Ident_2 */
  701.  
  702. Enumeration  Enum_Val_Par;
  703. Enumeration *Enum_Ref_Par;
  704. {
  705.   *Enum_Ref_Par = Enum_Val_Par;
  706.   if (! Func_3 (Enum_Val_Par))
  707.     /* then, not executed */
  708.     *Enum_Ref_Par = Ident_4;
  709.   switch (Enum_Val_Par)
  710.   {
  711.     case Ident_1: 
  712.       *Enum_Ref_Par = Ident_1;
  713.       break;
  714.     case Ident_2: 
  715.       if (Int_Glob > 100)
  716.         /* then */
  717.       *Enum_Ref_Par = Ident_1;
  718.       else *Enum_Ref_Par = Ident_4;
  719.       break;
  720.     case Ident_3: /* executed */
  721.       *Enum_Ref_Par = Ident_2;
  722.       break;
  723.     case Ident_4: break;
  724.     case Ident_5: 
  725.       *Enum_Ref_Par = Ident_3;
  726.       break;
  727.   } /* switch */
  728. } /* Proc_6 */
  729.  
  730.  
  731. Proc_7 (Int_1_Par_Val, Int_2_Par_Val, Int_Par_Ref)
  732. /**********************************************/
  733.     /* executed three times                                      */ 
  734.     /* first call:      Int_1_Par_Val == 2, Int_2_Par_Val == 3,  */
  735.     /*                  Int_Par_Ref becomes 7                    */
  736.     /* second call:     Int_1_Par_Val == 10, Int_2_Par_Val == 5, */
  737.     /*                  Int_Par_Ref becomes 17                   */
  738.     /* third call:      Int_1_Par_Val == 6, Int_2_Par_Val == 10, */
  739.     /*                  Int_Par_Ref becomes 18                   */
  740. One_Fifty       Int_1_Par_Val;
  741. One_Fifty       Int_2_Par_Val;
  742. One_Fifty      *Int_Par_Ref;
  743. {
  744.   One_Fifty Int_Loc;
  745.  
  746.   Int_Loc = Int_1_Par_Val + 2;
  747.   *Int_Par_Ref = Int_2_Par_Val + Int_Loc;
  748. } /* Proc_7 */
  749.  
  750.  
  751. Proc_8 (Arr_1_Par_Ref, Arr_2_Par_Ref, Int_1_Par_Val, Int_2_Par_Val)
  752. /*********************************************************************/
  753.     /* executed once      */
  754.     /* Int_Par_Val_1 == 3 */
  755.     /* Int_Par_Val_2 == 7 */
  756. Arr_1_Dim       Arr_1_Par_Ref;
  757. Arr_2_Dim       Arr_2_Par_Ref;
  758. int             Int_1_Par_Val;
  759. int             Int_2_Par_Val;
  760. {
  761.   REG One_Fifty Int_Index;
  762.   REG One_Fifty Int_Loc;
  763.  
  764.   Int_Loc = Int_1_Par_Val + 5;
  765.   Arr_1_Par_Ref [Int_Loc] = Int_2_Par_Val;
  766.   Arr_1_Par_Ref [Int_Loc+1] = Arr_1_Par_Ref [Int_Loc];
  767.   Arr_1_Par_Ref [Int_Loc+30] = Int_Loc;
  768.   for (Int_Index = Int_Loc; Int_Index <= Int_Loc+1; ++Int_Index)
  769.     Arr_2_Par_Ref [Int_Loc] [Int_Index] = Int_Loc;
  770.   Arr_2_Par_Ref [Int_Loc] [Int_Loc-1] += 1;
  771.   Arr_2_Par_Ref [Int_Loc+20] [Int_Loc] = Arr_1_Par_Ref [Int_Loc];
  772.   Int_Glob = 5;
  773. } /* Proc_8 */
  774.  
  775.  
  776. Enumeration Func_1 (Ch_1_Par_Val, Ch_2_Par_Val)
  777. /*************************************************/
  778.     /* executed three times                                         */
  779.     /* first call:      Ch_1_Par_Val == 'H', Ch_2_Par_Val == 'R'    */
  780.     /* second call:     Ch_1_Par_Val == 'A', Ch_2_Par_Val == 'C'    */
  781.     /* third call:      Ch_1_Par_Val == 'B', Ch_2_Par_Val == 'C'    */
  782.  
  783. Capital_Letter   Ch_1_Par_Val;
  784. Capital_Letter   Ch_2_Par_Val;
  785. {
  786.   Capital_Letter        Ch_1_Loc;
  787.   Capital_Letter        Ch_2_Loc;
  788.  
  789.   Ch_1_Loc = Ch_1_Par_Val;
  790.   Ch_2_Loc = Ch_1_Loc;
  791.   if (Ch_2_Loc != Ch_2_Par_Val)
  792.     /* then, executed */
  793.     return (Ident_1);
  794.   else  /* not executed */
  795.   {
  796.     Ch_1_Glob = Ch_1_Loc;
  797.     return (Ident_2);
  798.    }
  799. } /* Func_1 */
  800.  
  801.  
  802. Boolean Func_2 (Str_1_Par_Ref, Str_2_Par_Ref)
  803. /*************************************************/
  804.     /* executed once */
  805.     /* Str_1_Par_Ref == "DHRYSTONE PROGRAM, 1'ST STRING" */
  806.     /* Str_2_Par_Ref == "DHRYSTONE PROGRAM, 2'ND STRING" */
  807.  
  808. Str_30  Str_1_Par_Ref;
  809. Str_30  Str_2_Par_Ref;
  810. {
  811.   REG One_Thirty        Int_Loc;
  812.       Capital_Letter    Ch_Loc;
  813.  
  814.   Int_Loc = 2;
  815.   while (Int_Loc <= 2) /* loop body executed once */
  816.     if (Func_1 (Str_1_Par_Ref[Int_Loc],
  817.                 Str_2_Par_Ref[Int_Loc+1]) == Ident_1)
  818.       /* then, executed */
  819.     {
  820.       Ch_Loc = 'A';
  821.       Int_Loc += 1;
  822.     } /* if, while */
  823.   if (Ch_Loc >= 'W' && Ch_Loc < 'Z')
  824.     /* then, not executed */
  825.     Int_Loc = 7;
  826.   if (Ch_Loc == 'R')
  827.     /* then, not executed */
  828.     return (true);
  829.   else /* executed */
  830.   {
  831.     if (strcmp (Str_1_Par_Ref, Str_2_Par_Ref) > 0)
  832.       /* then, not executed */
  833.     {
  834.       Int_Loc += 7;
  835.       Int_Glob = Int_Loc;
  836.       return (true);
  837.     }
  838.     else /* executed */
  839.       return (false);
  840.   } /* if Ch_Loc */
  841. } /* Func_2 */
  842.  
  843.  
  844. Boolean Func_3 (Enum_Par_Val)
  845. /***************************/
  846.     /* executed once        */
  847.     /* Enum_Par_Val == Ident_3 */
  848. Enumeration Enum_Par_Val;
  849. {
  850.   Enumeration Enum_Loc;
  851.  
  852.   Enum_Loc = Enum_Par_Val;
  853.   if (Enum_Loc == Ident_3)
  854.     /* then, executed */
  855.     return (true);
  856. } /* Func_3 */
  857.