]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/benchs/badsort.c
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / benchs / badsort.c
1
2 /* function badsort: sorting algorithm of quadratic complexity
3    ran 10000000 times on 3 lists of size 100 */
4
5
6 int tab1[] =
7   {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21,
8    22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40,
9    41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59,
10    60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
11    79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97,
12    98, 99};
13 int tab2[] =
14   {99, 98, 97, 96, 95, 94, 93, 92, 91, 90, 89, 88, 87, 86, 85, 84, 83, 82, 81,
15    80, 79, 78, 77, 76, 75, 74, 73, 72, 71, 70, 69, 68, 67, 66, 65, 64, 63, 62,
16    61, 60, 59, 58, 57, 56, 55, 54, 53, 52, 51, 50, 49, 48, 47, 46, 45, 44, 43,
17    42, 41, 40, 39, 38, 37, 36, 35, 34, 33, 32, 31, 30, 29, 28, 27, 26, 25, 24,
18    23, 22, 21, 20, 19, 18, 17, 16, 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, 5, 4, 3,
19    2, 1, 0};
20
21 int min (int tab[], int size, int n) {
22   int i, min_index, min;
23
24   if (size == 0) return 0;
25
26   min_index = n;
27   min = tab[min_index];
28   for (i = n+1 ; i < size ; i++) {
29     if (tab[i] < min) {
30       min_index = i;
31       min = tab[min_index];
32     }
33   }
34
35   return min_index;
36 }
37
38 void swap (int tab[], int i, int j) {
39   int t;
40   t = tab[i] ; tab[i] = tab[j] ; tab[j] = t;
41 }
42
43 void badsort(int tab[], int size) {
44   int i, min_index;
45
46   for (i = 0 ; i < size ; i++) {
47     min_index = min(tab, size, i);
48     swap(tab, i, min_index);
49   }
50 }
51
52 void copy (int dest[], int src[], int size) {
53   int i;
54
55   for (i = 0 ; i < size ; i++)
56     dest[i] = src[i];
57 }
58
59 void run (int tab[]) {
60   int size, tmp[100];
61
62   size = sizeof(tab) / sizeof(int);
63   copy(tmp, tab, size);
64   badsort(tmp, size);
65 }
66
67 int main () {
68   int i;
69   int tab3[] =
70     {-21, 19, -26, -62, -72, 33, -14, 20, 85, 92, -26, -33, 38, -14, -88, -35,
71      -51, 29, -84, -98, -92, -60, -52, 53, 53, -11, -99, 72, -55, 90, -83, 98,
72      29, -25, -32, -33, -98, 14, -86, 99, 77, -38, -1, -7, -98, 57, 5, -64, 72,
73      60, -5, -66, -7, -84, -97, 92, 2, 11, 70, -27, -56, -16, -81, 86, 27, 24,
74      68, -54, -15, -45, 60, 25, -31, 67, 7, -14, -41, -67, 51, -27, -1, -98,
75      -97, -16, -41, 33, -8, -45, 48, -44, -1, 56, -70, 59, -60, 64, 5, 32, 86,
76      -72};
77
78   for (i = 0 ; i < 10000000 ; i++) {
79     run(tab1);
80     run(tab2);
81     run(tab3);
82   }
83
84   return 0;
85 }