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

1 files changed, 45 insertions, 0 deletions

diff --git a/test/ccured_olden/em3d/main.c b/test/ccured_olden/em3d/main.c
new file mode 100644
index 00000000..61a3af4f
--- /dev/null
+++ b/test/ccured_olden/em3d/main.c
@@ -0,0 +1,45 @@
+#include <stdio.h>
+
+#include "em3d.h"
+#include "make_graph.h"
+
+#define chatting(A)
+
+void print_graph(graph_t graph) 
+{
+#ifdef GET_OUT
+  node_t *cur_node;
+
+  for(cur_node=graph.e_nodes; cur_node; cur_node=cur_node->next)
+    {
+      chatting(("E: value %f, from_count %d\n",cur_node->value,
+	       cur_node->from_count));
+    }
+  for(cur_node=graph.h_nodes; cur_node; cur_node=cur_node->next)
+    {
+      chatting(("H: value %f, from_count %d\n",cur_node->value,
+	       cur_node->from_count));
+    }
+#endif GET_OUT 
+}
+
+int iters;
+
+int main(int argc, char *argv[])
+{
+  int i;
+  graph_t graph;
+
+  dealwithargs(argc,argv);
+  graph=initialize_graph();
+  print_graph(graph);
+
+  for (i = 0; i < iters; i++)
+    {
+      compute_nodes(graph.e_nodes);
+      compute_nodes(graph.h_nodes);
+      fprintf(stderr, "Completed a computation phase: %d\n", i);
+      print_graph(graph);
+    }
+  return 0;
+}