1*56bb7041Schristos	.section .text;
2*56bb7041Schristos	A0 = A1 || P0 = [sp+20];
3*56bb7041Schristos	a1 = a0 || P0 = [p5+24];
4*56bb7041Schristos	a0 = R0 || P0 = [P4+28];
5*56bb7041Schristos	A1 = r1 || P0 = [P3+32];
6*56bb7041Schristos
7*56bb7041Schristos	R4 = A0 (fu) || P0 = [p3+36];
8*56bb7041Schristos	r5 = A1 (ISS2) || P0 = [P3+40];
9*56bb7041Schristos	R6 = a0 || P0 = [P4+44];
10*56bb7041Schristos	R7 = A1 || P0 = [P4+48];
11*56bb7041Schristos	R6 = A0, R7 = a1 || P0 = [P4+52];
12*56bb7041Schristos	r1 = a1, r0 = a0 (fu) || P0 = [P4+56];
13*56bb7041Schristos
14*56bb7041Schristos	A0.X = r5.l || p0 = [p4+60];
15*56bb7041Schristos	a1.X = r2.L || r0 = [i0 ++ m0];
16*56bb7041Schristos	r0.l = a0.x || r1 = [i0 ++ m1];
17*56bb7041Schristos	R7.l = A1.X || r0 = [i0 ++ m2];
18*56bb7041Schristos	A0.L = r3.l || r0 = [i0 ++ m3];
19*56bb7041Schristos	a1.l = r4.l || r0 = [i1 ++ m3];
20*56bb7041Schristos	A0.h = r6.H || r0 = [i1 ++ m2];
21*56bb7041Schristos	A1.H = r5.h || r0 = [i1 ++ m1];
22*56bb7041Schristos	r0.l = A0 (iu) || r4 = [i1 ++ m0];
23*56bb7041Schristos	R1.H = A1 (s2rnd) || r0 = [i2 ++ m0];
24*56bb7041Schristos	r1.h = a1 || r0 = [i2 ++ m1];
25*56bb7041Schristos	R2.l = A0, r2.H = A1 (IH) || r0 = [i2 ++ m2];
26*56bb7041Schristos	R2.l = A0, r2.H = A1 || r0 = [i2 ++ m3];
27*56bb7041Schristos	r0.H = A1, R0.L = a0 (t) || r5 = [i3 ++ m0];
28*56bb7041Schristos	r0.H = A1, R0.L = a0 (fu) || r5 = [i3 ++ m1];
29*56bb7041Schristos	r0.H = A1, R0.L = a0 (is) || r5 = [i3 ++ m2];
30*56bb7041Schristos	r0.H = A1, R0.L = a0 || r5 = [i3 ++ m3];
31*56bb7041Schristos
32*56bb7041Schristos	A0 = A0 >> 31 || r0 = [fp - 32];
33*56bb7041Schristos	a0 = a0 << 31 || r0 = [fp - 28];
34*56bb7041Schristos	a1 = a1 >> 0 || r0 = [fp - 24];
35*56bb7041Schristos	A1 = A1 << 0 || r0 = [fp - 20];
36*56bb7041Schristos	r7 = r5 << 31 (s) || r0 = [fp - 16];
37*56bb7041Schristos	R3 = r2 >>> 22 || r0 = [fp - 12];
38*56bb7041Schristos	r1.L = R2.H << 15 (S) || r0 = [fp - 8];
39*56bb7041Schristos	r5.h = r2.l >>> 2 || r0 = [fp - 4];
40*56bb7041Schristos
41*56bb7041Schristos	r3.l = Ashift  r4.h by r2.l || r0 = [fp - 100];
42*56bb7041Schristos	R7.H = ASHIFT R7.L by R0.L (S) || r0 = [fp - 104];
43*56bb7041Schristos	r7.h = ashift  r7.l by r0.l (s) || r0 = [fp - 108];
44*56bb7041Schristos	r6 = AShiFT R5 by R2.L || r0 = [fp - 112];
45*56bb7041Schristos	R0 = Ashift R4 by r1.l (s) || r3 = [fp - 116];
46*56bb7041Schristos	r2 = ashift r6 BY r3.L (S) || r0 = [fp - 120];
47*56bb7041Schristos	A0 = Ashift a0 by r1.l || r0 = [fp - 124];
48*56bb7041Schristos	a1 = ASHIFT a1 by r0.L || r0 = [fp - 128];
49*56bb7041Schristos
50*56bb7041Schristos	r1.H = r2.l >> 15 || R5 = W [P1--] (z);
51*56bb7041Schristos	r7.l = r0.L << 0 || R5 = W [P2] (z);
52*56bb7041Schristos	r5 = r5 >> 31 || R7 = W [P2++] (z);
53*56bb7041Schristos	r0 = r0 << 12 || R5 = W [P2--] (z);
54*56bb7041Schristos	A0 = A0 >> 1 || R5 = W [P2+0] (z);
55*56bb7041Schristos	A0 = A0 << 0 || R5 = W [P2+2] (z);
56*56bb7041Schristos	a1 = A1 << 31 || R5 = W [P2+4] (z);
57*56bb7041Schristos	a1 = a1 >> 16 || R5 = W [P2+30] (z);
58*56bb7041Schristos
59*56bb7041Schristos	R1.H = LShift r2.h by r0.l || R5 = W [P2+24] (z);
60*56bb7041Schristos	r0.l = LSHIFT r0.h by r1.l || R5 = W [P2+22] (z);
61*56bb7041Schristos	r7.L = lshift r6.L BY r2.l || R5 = W [P2+20] (z);
62*56bb7041Schristos	r5 = LShIft R4 bY r3.L || R4 = W [P2+18] (z);
63*56bb7041Schristos	A0 = Lshift a0 By R6.L || R5 = W [P2+16] (z);
64*56bb7041Schristos	A1 = LsHIFt a1 by r5.l || R5 = W [P2+14] (z);
65*56bb7041Schristos
66*56bb7041Schristos	r7 = ROT r7 by -32 || R5 = W [P2+12] (z);
67*56bb7041Schristos	R6 = Rot r7 by -31 || R5 = W [P2+10] (z);
68*56bb7041Schristos	R5 = RoT R7 by 31 || R6 = W [P2+8] (z);
69*56bb7041Schristos	R4 = Rot r7 by 30 || R5 = W [P2+6] (z);
70*56bb7041Schristos	a0 = rot A0 by 0 || R5 = W [P3] (z);
71*56bb7041Schristos	A0 = ROT a0 BY 10 || R5 = W [P3++] (z);
72*56bb7041Schristos	A1 = ROT A1 by -20 || R5 = W [P3--] (z);
73*56bb7041Schristos	A1 = ROT a1 By -32 || R5 = W [P4] (z);
74*56bb7041Schristos
75*56bb7041Schristos	r0 = rot r1 by r2.L || R5 = W [P4++] (z);
76*56bb7041Schristos	R0 = Rot R4 BY R3.L || R5 = W [P4--] (z);
77*56bb7041Schristos	A0 = ROT A0 by r7.l || R5 = W [P5] (z);
78*56bb7041Schristos	A1 = rot a1 bY r6.l || R5 = W [P5++] (z);
79*56bb7041Schristos
80*56bb7041Schristos	NOp || R5 = W [P5--] (z);
81