int
main();
int putd(int );
int sort(int *,int );
int quick(int
*,int ,int );
int partition(int *,int ,int );
int exchange(int *,int
*);
int partition();
int in[10] = {10,
32,
-1,
567,
3,
18,
1,
-51,
789,
0};
int
*xx;
static char *lance_static_t92 =
"exchange(%d,%d)\n";
int main()
{
int i_4;
char *t1;
int
t2;
char *t3;
int *t4;
int t5;
int t6;
char *t7;
int t8;
char
*t9;
int *t10;
int t11;
int t12;
int
t13;
int t14;
int t21;
char *t15;
int
t16;
char *t17;
int *t18;
int t19;
int
t20;
/* 8
"sort.c" */
/* $
sort(in, (sizeof in)/(sizeof in[0]));$ */
t5 = 40 / 4;
t6
= sort(in,t5);
/* 9
"sort.c" */
/* $ for (i
= 0; i < (sizeof in)/(sizeof in[0]); i++) {$ */
i_4 = 0;
t11 = 40 / 4;
t12
= i_4 < t11;
t21 =
!t12;
if (t21) goto LL1;
LL3:
/* 10 "sort.c" */
/* $ putd(in[i]);$ */
t17
= (char *)in;
t16 = i_4 *
4;
t15 = t17 + t16;
t18 = (int *)t15;
t19 = putd(*t18);
/* 11 "sort.c" */
/* $ putchar('\n');$ */
t20 = putchar('\x0a');
/* 9 "sort.c" */
/* $ for (i = 0; i < (sizeof in)/(sizeof
in[0]); i++) {$ */
LL2:
t13 =
i_4;
t14 = t13 + 1;
i_4 = t14;
t11 = 40 / 4;
t12
= i_4 < t11;
if (t12) goto
LL3;
LL1:
/* 13 "sort.c" */
/* $ return 0;$ */
return 0;
}
int
putd(int n_8)
{
int
t22;
int t25;
int t26;
int t27;
int
t28;
int t29;
int t30;
int t31;
int
t32;
int t33;
int t23;
int t24;
/* 18 "sort.c" */
/* $ if (n < 0) {$ */
t22 = n_8 < 0;
t25
= !t22;
if (t25) goto
LL4;
/* 19
"sort.c" */
/* $
putchar('-');$ */
t23 =
putchar('\x2d');
/* 20
"sort.c" */
/* $ n =
-n;$ */
t24 = -n_8;
n_8 = t24;
/* 18 "sort.c" */
/* $ if (n < 0) {$ */
LL4:
/* 22 "sort.c" */
/* $ if (n/10)$ */
t26
= n_8 / 10;
t29 = !t26;
if (t29) goto LL5;
/* 23 "sort.c" */
/* $ putd(n/10);$ */
t27 = n_8 / 10;
t28
= putd(t27);
/* 22
"sort.c" */
/* $ if
(n/10)$ */
LL5:
/* 24 "sort.c" */
/* $ putchar(n%10 + '0');$ */
t30 = n_8 % 10;
t31 = (int )'\x30';
t32 = t30 + t31;
t33 = putchar(t32);
/* 0 "???" */
/* $ ???$ */
return;
}
int sort(int
*a_14,int n_15)
{
int
**t34;
int t35;
int t36;
/* 31 "sort.c" */
/* $ quick(xx = a, 0, --n);$ */
t34 = &xx;
*t34 = a_14;
t35 = n_15 - 1;
n_15
= t35;
t36 =
quick(*t34,0,t35);
/* 0
"???" */
/* $ ???$
*/
return;
}
int
quick(int *a_19,int lb_20,int ub_21)
{
int k_23;
int
t37;
int t38;
int t39;
int t40;
int
t41;
int t42;
int t43;
/* 38 "sort.c" */
/* $ if (lb >= ub)$ */
t37 = lb_20 >= ub_21;
t38 = !t37;
if (t38) goto LL6;
/* 39 "sort.c" */
/* $ return;$ */
return;
/* 38 "sort.c" */
/* $ if (lb >= ub)$ */
LL6:
/* 40 "sort.c" */
/* $ k = partition(a, lb, ub);$ */
t39 = partition(a_19,lb_20,ub_21);
k_23 = t39;
/* 41 "sort.c" */
/* $ quick(a, lb, k - 1);$ */
t40 = k_23 - 1;
t41 = quick(a_19,lb_20,t40);
/* 42 "sort.c" */
/* $ quick(a, k + 1, ub);$ */
t42 = k_23 + 1;
t43 = quick(a_19,t42,ub_21);
/* 0 "???" */
/* $ ???$ */
return;
}
int
partition(int *a_26,int i_27,int j_28)
{
int v_30;
int
k_31;
int t44;
int t45;
char *t46;
int
t47;
char *t48;
int *t49;
int t50;
int
t82;
char *t83;
int t84;
char *t85;
int
*t86;
char *t87;
int t88;
char *t89;
int
*t90;
int t91;
int t51;
int t52;
char
*t53;
int t54;
char *t55;
int *t56;
int
t57;
int t58;
int t59;
int t60;
int
t61;
int t62;
char *t63;
int t64;
char
*t65;
int *t66;
int t67;
int t68;
int
t69;
int t70;
int t71;
char *t72;
int
t73;
char *t74;
int *t75;
char *t76;
int
t77;
char *t78;
int *t79;
int t80;
int
t81;
/* 49
"sort.c" */
/* $ j++;$
*/
t44 = j_28;
t45 = t44 + 1;
j_28 = t45;
/* 50 "sort.c" */
/* $ k = i;$ */
k_31 = i_27;
/* 51 "sort.c" */
/* $ v = a[k];$ */
t48 = (char *)a_26;
t47 = k_31 * 4;
t46 = t48 + t47;
t49 = (int *)t46;
v_30 = *t49;
/* 52 "sort.c" */
/* $ while (i < j) {$ */
LL16:
t50
= i_27 < j_28;
t82 =
!t50;
if (t82) goto LL7;
/* 53 "sort.c" */
/* $ i++; while (a[i] < v) i++;$ */
t51 = i_27;
t52 = t51 + 1;
i_27
= t52;
LL11:
t55 = (char *)a_26;
t54 = i_27 * 4;
t53
= t55 + t54;
t56 = (int
*)t53;
t57 = *t56 <
v_30;
t60 = !t57;
if (t60) goto LL9;
t58 = i_27;
t59 = t58 + 1;
i_27
= t59;
LL10:
goto LL11;
LL9:
/* 54 "sort.c" */
/* $ j--; while (a[j] > v) j--;$ */
t61 = j_28;
t62 = t61 - 1;
j_28
= t62;
LL14:
t65 = (char *)a_26;
t64 = j_28 * 4;
t63 = t65 + t64;
t66 = (int *)t63;
t67 = *t66 > v_30;
t70 = !t67;
if (t70) goto LL12;
t68
= j_28;
t69 = t68 - 1;
j_28 = t69;
LL13:
goto
LL14;
LL12:
/* 55 "sort.c" */
/* $ if (i < j) exchange(&a[i],
&a[j]);$ */
t71 =
i_27 < j_28;
t81 =
!t71;
if (t81) goto LL15;
t74 = (char *)a_26;
t73 = i_27 * 4;
t72 = t74 + t73;
t75 = (int *)t72;
t78 = (char *)a_26;
t77 = j_28 * 4;
t76
= t78 + t77;
t79 = (int
*)t76;
t80 =
exchange(t75,t79);
LL15:
/* 52 "sort.c" */
/* $ while (i < j) {$ */
LL8:
goto
LL16;
LL7:
/* 57 "sort.c" */
/* $ exchange(&a[k], &a[j]);$
*/
t85 = (char
*)a_26;
t84 = k_31 * 4;
t83 = t85 + t84;
t86 = (int *)t83;
t89 = (char *)a_26;
t88 = j_28 * 4;
t87 = t89 + t88;
t90 = (int *)t87;
t91 = exchange(t86,t90);
/* 58 "sort.c" */
/* $ return j;$ */
return j_28;
}
int
exchange(int *x_36,int *y_37)
{
int t_39;
int
**t93;
char *t94;
char *t95;
int t96;
int
t97;
int **t98;
char *t99;
char *t100;
int
t101;
int t102;
int t103;
/* 65 "sort.c" */
/* $ printf("exchange(%d,%d)\n", x
- xx, y - xx);$ */
t93 =
&xx;
t94 = (char
*)x_36;
t95 = (char
*)*t93;
t96 = t94 - t95;
t97 = t96 / 4;
t98 = &xx;
t99 = (char *)y_37;
t100 = (char *)*t98;
t101 = t99 - t100;
t102 = t101 / 4;
t103 =
printf(lance_static_t92,t97,t102);
/* 66 "sort.c" */
/* $ t = *x; *x = *y; *y = t;$ */
t_39 = *x_36;
*x_36 = *y_37;
*y_37 = t_39;
/* 0 "???" */
/* $ ???$ */
return;
}