blob: 004f8cd794c5f23b487831694cfdcc589330bfc7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
"quicksort"(lo, hi, a): int -> int -> int -> void
{
var i, j, pivot, temp;
if (! (lo < hi)) return;
i = lo;
j = hi;
pivot = int32[a + hi * 4];
{{ loop {
if (! (i < j)) exit;
{{ loop {
if (i >= hi || int32[a + i * 4] > pivot) exit;
i = i + 1;
} }}
{{ loop {
if (j <= lo || int32[a + j * 4] < pivot) exit;
j = j - 1;
} }}
if (i < j) {
temp = int32[a + i * 4];
int32[a + i * 4] = int32[a + j * 4];
int32[a + j * 4] = temp;
}
} }}
temp = int32[a + i * 4];
int32[a + i * 4] = int32[a + hi * 4];
int32[a + hi * 4] = temp;
"quicksort"(lo, i - 1, a) : int -> int -> int -> void;
"quicksort"(i + 1, hi, a) : int -> int -> int -> void;
}
|