diff options
author | blazy <blazy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-20 12:37:13 +0000 |
---|---|---|
committer | blazy <blazy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-20 12:37:13 +0000 |
commit | ca0c62265eb8cdd5fb0d8a8b34ee77baf3de987e (patch) | |
tree | 50a139db8e2ac51c6ff41f3790ff72aa417ed3be /test/ccured_olden/bh/code.h | |
parent | 43668d9109b1f36329646fd07324d435be6f0050 (diff) | |
download | compcert-ca0c62265eb8cdd5fb0d8a8b34ee77baf3de987e.tar.gz compcert-ca0c62265eb8cdd5fb0d8a8b34ee77baf3de987e.zip |
Ajout du banc de tests de CCured (Olden benchmark suite, cf.
CCured: type-safe retrofitting of legacy code, G.Necula et al.)
rapportCompcert_all.txt liste les erreurs produites par ccomp.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@121 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/ccured_olden/bh/code.h')
-rw-r--r-- | test/ccured_olden/bh/code.h | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/test/ccured_olden/bh/code.h b/test/ccured_olden/bh/code.h new file mode 100644 index 00000000..89b8a098 --- /dev/null +++ b/test/ccured_olden/bh/code.h @@ -0,0 +1,60 @@ +/****************************************************************************/ +/* CODE.H: define various global things for code.c and io.c. */ +/* */ +/* Copyright (c) 1993 by Joshua E. Barnes, Honolulu, HI. */ +/* It's free because it's yours. */ +/****************************************************************************/ + +#include "defs.h" + +global string infile; /* file name for snapshot input */ + +global string outfile; /* file name for snapshot output */ + +global real freq; /* inverse of integration timestep */ + +global real freqout; /* output frequency */ + +global real tstop; /* time to stop calculation */ + +extern string headline; /* message describing calculation */ + +global real tnow; /* current value of time */ + +global real tout; /* time of next output */ + +global int nstep; /* number of time-steps */ + +global int nfcalc; /* count force calculations */ + +global int n2bcalc; /* count body-body interactions */ + +global int nbccalc; /* count body-cell interactions */ + +global int nbody; /* number of bodies in system */ + +global bodyptr bodytab; /* points to array of bodies */ + +/* + * Global function prototypes. + */ + +void initoutput(void); /* open files for output */ +void stopoutput(void); /* close output files */ +void inputdata(void); /* read initial data file */ +void maketree(bodyptr, int); /* construct tree structure */ +void hackgrav(bodyptr, bool); /* compute force on body */ +void output(void); /* perform output operation */ + +/* + * Utility routines used in code.c and io.c. These are defined in util.c + * and getparam.c, which must be compiled with same choice of precision. + */ + +bool streq(string, string); /* test string equality */ +real xrandom(real, real); /* generate a random number */ +void initparam(string *, string *); /* initialize parameter pkg */ +string getparam(string); /* get parameter as string */ +int getiparam(string); /* get parameter as integer */ +bool getbparam(string); /* get parameter as bool */ +real getrparam(string); /* get parameter as real */ |