annotate CbC-examples/quicksort/quicksort_test.cbc @ 22:0eb6cac880f0

add cbc example of quicksort.
author kent <kent@cr.ie.u-ryukyu.ac.jp>
date Tue, 13 Oct 2009 17:15:58 +0900
parents
children 775dfe898662
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #include<stdio.h>
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 #include<stdlib.h>
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 #include<assert.h>
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 #include<unistd.h>
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 #include"quicksort_test.h"
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 void
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 random_initialize(int *v, int size, int min, int max)
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 int i;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 int diff = max-min+1;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 for (i=0; i<size; i++) {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 v[i] = min+random()%diff;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 return;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 static void
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 print_array(int *v, int size)
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 int i;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 printf("[");
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 for (i=0; i<size; i++) {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 printf("%s%4d", (i%10==0)? "\n ":" ", v[i]);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 printf(" ]\n");
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 void
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 starter()
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 int *target;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 int size=100;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 target = (int*)malloc(sizeof(int)*size);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 if (!target) {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 perror("malloc");
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 exit(1);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 random_initialize(target, size, 0, 90);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 print_array(target, size);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 goto quicksort(target, 0, size-1, exit0, (void*)target);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 printf("bad region\n");
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 int
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 main(int argc, char **argv)
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 unsigned int seed=0;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 int opt;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 while ((opt = getopt(argc, argv, "s:")) != -1) {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 switch (opt) {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 case 's':
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 seed = atoi(optarg);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 break;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 default:
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 fprintf(stderr, "Usage: %s [-t times] [-n sizeofarray] [-s seed]\n", argv[0]);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 exit(1);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 srandom(seed);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 starter();
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 return 0;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
71 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 static int
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 check_sort(int *v, int size)
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 int i;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 for (i=0; i<size-1; i++) {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 if (v[i] > v[i+1])
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 return 0;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 return 1;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
83
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 __code
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 exit0(void *arg)
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 int *v = arg;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 int b;
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 print_array(arg, 100);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 b = check_sort(arg, 100);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 if (b) {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 printf("sorting successful!\n");
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 exit(-1);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
94 } else {
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 printf("sorting failure! \n");
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 exit(0);
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 }
0eb6cac880f0 add cbc example of quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
99