1	.section .text;
2	R5 = Deposit (r3, r2) || I0 += 2;
3	r0 = DEPOSIT (r7, R6) (X) || I1 += 4;
4	r4 = extract (r2, r1.L) (z) || I2 -= M0;
5	R2 = EXTRACT (r0, r2.l) (Z) || i3 += m1;
6
7	r7 = ExtracT (r3, r4.L) (X) || I3 += M1 (breV);
8	r5 = ExtRACt (R6, R1.L) (x) || i0 -= 2;
9
10	BITMUX(R1, R0, A0) (ASR) || I1 -= 4;
11	Bitmux (r2, R3, a0) (aSr) || I0 += 2;
12
13	bitmux (r4, r5, a0) (asl) || Sp = [P0];
14	BiTMux (R7, r6, a0) (ASl) || FP = [P1++];
15
16	R5.l = ones r0 || P0 = [fp--];
17	r7.L = Ones R2 || p1 = [P5 + 24];
18
19	a0 = abs a0 || p2 = [Sp+60] || r0 = [i0];
20	A0 = ABS A1 || P3 = [FP-60] || R1 = [I1++M0];
21	A1 = Abs a0 || P4 = [fp-4] || r2 = [i1++];
22	a1 = aBs A1 || fp = [sp] || r3 = [I2--];
23	A1 = abs a1, a0 = ABS A0 || R4=[p5+56] || r0.h = w [I0];
24	r0 = abs r2 || B[sp] = r0 || R1.H = W[I1++];
25
26	r4.L = R2.h + r0.L (s) || b [fp] = r0 || r2.H = w [i2--];
27	r5.H = R1.H + R1.L (S) || b [p0] = r0 || R3.l = W[I3];
28	r6.L = R6.L + r5.l (NS) || b [p1] = r0 || r4.L =w [i3++];
29
30	r4.l = r0 + r1 (RND20) || b [p2] = r0 || R5.l = W [i2--];
31	R3.H = r5 + r0 (rnd20) || r0 = b [p0] (x) || [i0] = R6;
32	r1.L = r7 - R5 (rND20) || r0 = b [p4] (z) || [I1++] = R7;
33
34	r2.L = R0 + R1 (rnd12) || r1 = b [sp] (x) || [I2--]= r7;
35	r7.H = r7 + r6 (RND12) || r1 = b [p0] (x)|| [I3++m1]=r6;
36	r5.l = r3 - R2 (rNd12) || r1 = b [p1] (z) || W [ i3 ] = r5.h;
37	r2.h = R1 - R2 (Rnd12) || r1 = b [p2] (z) || w [I2++] = R4.H;
38
39
40	r6.L = EXPADJ (r5, r4.l) || r1 = b [p3] (z) || W[I1--]=r3.h;
41	R5.l = ExpAdj (r0.h, r1.l) || r1 = b [p4] (z) || w[i0]=r2.l;
42	R4.L = expadj (R3, R5.L) (V) || r1 = b [p5] (z) || W [I0++] = R1.L;
43
44	R6 = MAX (r5, R2) || r2 = b [p0] (x) || W[i1--]=R0.l;
45	r0 = max (r1, r3) || b [p1] = r2 || NoP;
46
47	r5 = mIn (r2, R3) || b [p2] = r2 || r0 = [i1++];
48	R4 = Min (r7, R0) || b [p3] = r2 || r1 = [i1++];
49
50
51	A0 -= A1 || b [p4] = r2 || r2 = [i1++];
52	a0 -= a1 (w32) || b [p5] = r2 || r3 = [i1++];
53
54	a0 += a1 || b [sp] = r2 || r4 = [i1++];
55	A0 += A1 (w32) || b [fp] = r2 || r5 = [i1++];
56	r7 = ( a0 += a1) || b [sp] = r3 || r6 = [i1++];
57	r6.l = (A0 += a1) || b [fp] = r3 || r7 = [i1++];
58	R0.H = (a0 += A1) || b [p0] = r3 || r7 = [i0++];
59
60
61	R0.l = r1.h * r2.l || b [p1] = r3 || r1 = [i0++];
62	r1.L = r5.H * r0.H (s2rnd) || b [p2] = r3 || r2 = [i0++];
63	r7.l = r3.l * r3.H (FU) || b [p3] = r3 || r3 = [i0++];
64	r4 = r2.H * r5.H (iSS2) || b [p4] = r3 || r0 = [i0++];
65	r0 = r1.l * r3.l (is) || b [p5] = r3 || r5 = [i0++];
66	r6 = R5.H * r0.l || b [fp] = r4 || r7 = [i0++];
67
68	r2.h = r7.l * r6.H (M, iu) || b [sp] = r4 || r6 = [i0++];
69	r3.H = r5.H * r0.L || r4 = b [p0] (x) ||  [I0++M0] = R0;
70	R0.H = r1.L * r1.H (M) || r4 = b [p1] (x) || [i0++M0] = R1;
71	r1 = r7.H * r6.L (M, is) || r4 = b [p2] (x) || [i0++M0] = R2;
72	R5 = r0.l * r2.h || r4 = b [p3] (x) || [i0++m0] = R3;
73	r3 = r6.H * r0.H (m) || r4 = b [p4] (z) || [i0++m0] = R4;
74
75	a0 = r5.l * R7.H (w32) || r4 = b [p5] (z) || [i0++m0] = R5;
76	a0 = r0.h * r0.l || r5 = b [p0] (x) || [i0++M0] =R6;
77	A0 += R2.L * r3.H (FU) || r5 = b [p1] (z) || [i0++M0]=R7;
78	A0 += r4.h * r1.L || r5 = b [p2] (z) || [I1++M1] = R7;
79	a0 -= r7.l * r6.H (Is) || r5 = b [p3] (x) || [i1++m1] = r6;
80	A0 -= R5.H * r2.H || r5 = b [p4] (z) || [i1++m1]=r5;
81
82	a1 = r1.L * r0.H (M) || r5 = b [p5] (x) || [i1++m1]=r4;
83	A1 = r2.h * r0.L || r5 = b [sp] (z)  || [i1++m1] = r3;
84	A1 = R7.H * R6.L (M, W32) || r5 = b [fp] (x)  || [i1++m1] =r2;
85
86	a1 += r3.l * r2.l (fu) || r0.l = w [i0]  || [i1++m1] = r1;
87	a1 += R6.H * r1.L || r1.l = w [i0]  || [i1++m1] = R0;
88	A1 -= r0.L * R3.H (is) || r2.l = w [i0]  || [i2++m2] = R0;
89	a1 -= r2.l * r7.h || r3.l = w [i0]  || [I2++M2] =R1;
90
91	r7.l = (a0 = r6.H * r5.L) || r4.l = w [i0]  || [i2++m2] = r2;
92	r0.L = (A0 = r1.h * R2.l) (tfu) || r5.l = w [i0]  || [I2++m2] = R3;
93	R2.L = (a0 += r5.L * r4.L) || r6.l = w [i0]  || [I2++m2] = R4;
94	r3.l = (A0 += r7.H * r6.h) (T) || r7.l = w [i0]  ||  [ i2 ++ m2] = R5;
95	r0.l = (a0 -= r3.h * r2.h) || r7.l = w [i1++]  || [i2++m2] = r6;
96	r1.l = (a0 -= r5.L * r4.L) (iH) || r6.l = w [i1++]  || [i2++m2] = R7;
97
98	r1.H = (a1 = r1.l * R0.H) || r2.l = w [i1++]  || [i3++m3] = R7;
99	r2.h = (A1 = r0.H * r3.L) (M, Iss2) || r3.l = w [i1++]  || [i3++m3] = r6;
100	R6.H = (a1 += r7.l * r7.H) || r4.l = w [i1++]  || [i3++m3] = R5;
101	r7.h = (a1 += R2.L * R3.L) (S2rnd) || r5.l = w [i1++]  ||  [i3++m3] = r4;
102	r6.H = (A1 -= R4.h * r2.h) || r6.l = w [i1++]  || [i3++m3] = r3;
103	r5.h = (a1 -= r3.H * r7.L) (M, tFu) || r7.l = w [i1++]  || [i3++m3] = r2;
104
105	R0 = (A0 = R1.L * R2.L) || R1.L = W [I2--]  || [i3++m3] = r1;
106	R2 = (A0 = r1.l * r2.l) (is) || R1.L = W [I2--]  || [i3++m3] = r0;
107	r4 = (a0 += r7.h * r6.L) || R2.L = W [I2--]  || r0.h = w[i0];
108	r6 = (A0 += R5.L * r3.h) (s2RND) || R3.L = W [I2--]  || R1.H = w[i1];
109	R6 = (a0 -= r2.h * r7.l) || R4.L = W [I2--]  || r2.h = w[i2];
110	r4 = (A0 -= R0.L * r6.H) (FU) || R5.L = W [I2--]  || r3.h = w[i3];
111
112	r7 = (a1 = r0.h * r1.l) || R6.L = W [I2--]  || r4.h = w[i3];
113	R5 = (A1 = r2.H * r3.H) (M, fu) || R7.L = W [I2--]  || r4.h = W[i2];
114	R3 = (A1 += r7.l * r5.l) || w [p0] = r0.L || r6.h = W[i1];
115	r1 = (a1 += r2.h * r7.h) (iss2) || w [p0] = r1.L || r7.h = w[i0];
116	r3 = (A1 -= r0.l * R0.H) || w [p0] = r2.L || r7.L = w[I0++];
117	R5 = (a1 -= R2.l * R7.h) (m, is) || w [p0] = r3.L || R6.L = W [i1++];
118
119	r7 = -R2(s) || w [p0] = r4.L || r5.l = w[i2++];
120	A0 = -A0 || w [p0] = r5.L || r4.l = w[i3++];
121	a0 = -a1 || w [p0] = r6.L || r3.L = w [i3--];
122	A1 = -A0 || w [p0] = r7.L || r2.l = W [i1++];
123	a1 = -A1 || w [p1] = r0 || r1.L = w [i2--];
124	a1 = -a1, a0 = -a0 || w [p1] = r1 || r0.l = w [i1--];
125
126	R5.L = r3 (rnd) || w [p1] = r2 || r0 = [i0++m3];
127	r6.H = r0 (RND) || w [p1] = r3 || r1 = [i1++m2];
128
129	A0 = A0 (S) || w [p1] = r4  || r2 = [i2++m1];
130	a1 = a1 (s) || w [p1] = r5  || r3 = [i3++m0];
131	A1 = a1 (S), a0 = A0 (s) || r6 = w [p1] (z) || [i0] = r0;
132
133	R5.l = signbits r0 || r7 = w [p1] (z) || [i1] = R0;
134	r0.L = SIGNbits r7.H || r1 = w [p2++](x) || [I2] = r0;
135	r3.l = signBits A0 || r2 = w [p2++] (x) || [I3] = R0;
136	r7.L = SIGNBITS a1 || r3 = w [p2++] (z) || [i0] = R1;
137
138	r5.l = R6.H - R7.h (s) || r4 = w [p2++] (x) || [i1] = r1;
139	r0.H = r3.l - r3.h (NS) || r5 = w [p2++] (x) || [i2] = r2;
140
141	R1 = [I0++] || R2 = ABS R2 || NOP;
142