blob: 8c73584322833764857e4ba164b3358c5d296083 (
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
31
32
|
"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) exit;
if (int32[a + i * 4] > pivot) exit;
i = i + 1;
} }}
{{ loop {
if (j <= lo) exit;
if (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;
}
|