← Back to branch summary

~andersk/ubuntu/oneiric/openssl/spurious-reboot

« back to all changes in this revision

Viewing changes to crypto/bn/asm/alpha.s

  • Committer: Bazaar Package Importer
  • Author(s): Christoph Martin
  • Date: 2004-05-24 17:02:29 UTC
  • Revision ID: james.westby@ubuntu.com-20040524170229-ixlo08bbbly0xied
Tags: upstream-0.9.7d
Import upstream version 0.9.7d

Show diffs side-by-side

added added

removed removed

Lines of Context:
crypto/bn/asm/alpha.s
 
1
 # DEC Alpha assember
 
2
 # The bn_div_words is actually gcc output but the other parts are hand done.
 
3
 # Thanks to tzeruch@ceddec.com for sending me the gcc output for
 
4
 # bn_div_words.
 
5
 # I've gone back and re-done most of routines.
 
6
 # The key thing to remeber for the 164 CPU is that while a
 
7
 # multiply operation takes 8 cycles, another one can only be issued
 
8
 # after 4 cycles have elapsed.  I've done modification to help
 
9
 # improve this.  Also, normally, a ld instruction will not be available
 
10
 # for about 3 cycles.
 
11
        .file   1 "bn_asm.c"
 
12
        .set noat
 
13
gcc2_compiled.:
 
14
__gnu_compiled_c:
 
15
        .text
 
16
        .align 3
 
17
        .globl bn_mul_add_words
 
18
        .ent bn_mul_add_words
 
19
bn_mul_add_words:
 
20
bn_mul_add_words..ng:
 
21
        .frame $30,0,$26,0
 
22
        .prologue 0
 
23
        .align 5
 
24
        subq    $18,4,$18
 
25
        bis     $31,$31,$0
 
26
        blt     $18,$43         # if we are -1, -2, -3 or -4 goto tail code
 
27
        ldq     $20,0($17)      # 1 1
 
28
        ldq     $1,0($16)       # 1 1
 
29
        .align 3
 
30
$42:
 
31
        mulq    $20,$19,$5      # 1 2 1 ######
 
32
        ldq     $21,8($17)      # 2 1
 
33
        ldq     $2,8($16)       # 2 1
 
34
        umulh   $20,$19,$20     # 1 2   ######
 
35
        ldq     $27,16($17)     # 3 1
 
36
        ldq     $3,16($16)      # 3 1
 
37
        mulq    $21,$19,$6      # 2 2 1 ######
 
38
         ldq    $28,24($17)     # 4 1
 
39
        addq    $1,$5,$1        # 1 2 2
 
40
         ldq    $4,24($16)      # 4 1
 
41
        umulh   $21,$19,$21     # 2 2   ######
 
42
         cmpult $1,$5,$22       # 1 2 3 1
 
43
        addq    $20,$22,$20     # 1 3 1
 
44
         addq   $1,$0,$1        # 1 2 3 1
 
45
        mulq    $27,$19,$7      # 3 2 1 ######
 
46
         cmpult $1,$0,$0        # 1 2 3 2
 
47
        addq    $2,$6,$2        # 2 2 2
 
48
         addq   $20,$0,$0       # 1 3 2 
 
49
        cmpult  $2,$6,$23       # 2 2 3 1
 
50
         addq   $21,$23,$21     # 2 3 1
 
51
        umulh   $27,$19,$27     # 3 2   ######
 
52
         addq   $2,$0,$2        # 2 2 3 1
 
53
        cmpult  $2,$0,$0        # 2 2 3 2
 
54
         subq   $18,4,$18
 
55
        mulq    $28,$19,$8      # 4 2 1 ######
 
56
         addq   $21,$0,$0       # 2 3 2 
 
57
        addq    $3,$7,$3        # 3 2 2
 
58
         addq   $16,32,$16
 
59
        cmpult  $3,$7,$24       # 3 2 3 1
 
60
         stq    $1,-32($16)     # 1 2 4
 
61
        umulh   $28,$19,$28     # 4 2   ######
 
62
         addq   $27,$24,$27     # 3 3 1
 
63
        addq    $3,$0,$3        # 3 2 3 1
 
64
         stq    $2,-24($16)     # 2 2 4
 
65
        cmpult  $3,$0,$0        # 3 2 3 2
 
66
         stq    $3,-16($16)     # 3 2 4
 
67
        addq    $4,$8,$4        # 4 2 2
 
68
         addq   $27,$0,$0       # 3 3 2 
 
69
        cmpult  $4,$8,$25       # 4 2 3 1
 
70
         addq   $17,32,$17
 
71
        addq    $28,$25,$28     # 4 3 1
 
72
         addq   $4,$0,$4        # 4 2 3 1
 
73
        cmpult  $4,$0,$0        # 4 2 3 2
 
74
         stq    $4,-8($16)      # 4 2 4
 
75
        addq    $28,$0,$0       # 4 3 2 
 
76
         blt    $18,$43
 
77
 
 
78
        ldq     $20,0($17)      # 1 1
 
79
        ldq     $1,0($16)       # 1 1
 
80
 
 
81
        br      $42
 
82
 
 
83
        .align 4
 
84
$45:
 
85
        ldq     $20,0($17)      # 4 1
 
86
        ldq     $1,0($16)       # 4 1
 
87
        mulq    $20,$19,$5      # 4 2 1
 
88
        subq    $18,1,$18
 
89
        addq    $16,8,$16
 
90
        addq    $17,8,$17
 
91
        umulh   $20,$19,$20     # 4 2
 
92
        addq    $1,$5,$1        # 4 2 2
 
93
        cmpult  $1,$5,$22       # 4 2 3 1
 
94
        addq    $20,$22,$20     # 4 3 1
 
95
        addq    $1,$0,$1        # 4 2 3 1
 
96
        cmpult  $1,$0,$0        # 4 2 3 2
 
97
        addq    $20,$0,$0       # 4 3 2 
 
98
        stq     $1,-8($16)      # 4 2 4
 
99
        bgt     $18,$45
 
100
        ret     $31,($26),1     # else exit
 
101
 
 
102
        .align 4
 
103
$43:
 
104
        addq    $18,4,$18
 
105
        bgt     $18,$45         # goto tail code
 
106
        ret     $31,($26),1     # else exit
 
107
 
 
108
        .end bn_mul_add_words
 
109
        .align 3
 
110
        .globl bn_mul_words
 
111
        .ent bn_mul_words
 
112
bn_mul_words:
 
113
bn_mul_words..ng:
 
114
        .frame $30,0,$26,0
 
115
        .prologue 0
 
116
        .align 5
 
117
        subq    $18,4,$18
 
118
        bis     $31,$31,$0
 
119
        blt     $18,$143        # if we are -1, -2, -3 or -4 goto tail code
 
120
        ldq     $20,0($17)      # 1 1
 
121
        .align 3
 
122
$142:
 
123
 
 
124
        mulq    $20,$19,$5      # 1 2 1 #####
 
125
         ldq    $21,8($17)      # 2 1
 
126
         ldq    $27,16($17)     # 3 1
 
127
        umulh   $20,$19,$20     # 1 2   #####
 
128
         ldq    $28,24($17)     # 4 1
 
129
        mulq    $21,$19,$6      # 2 2 1 #####
 
130
         addq   $5,$0,$5        # 1 2 3 1
 
131
        subq    $18,4,$18
 
132
         cmpult $5,$0,$0        # 1 2 3 2
 
133
        umulh   $21,$19,$21     # 2 2   #####
 
134
         addq   $20,$0,$0       # 1 3 2 
 
135
        addq    $17,32,$17
 
136
         addq   $6,$0,$6        # 2 2 3 1
 
137
        mulq    $27,$19,$7      # 3 2 1 #####
 
138
         cmpult $6,$0,$0        # 2 2 3 2
 
139
        addq    $21,$0,$0       # 2 3 2 
 
140
         addq   $16,32,$16
 
141
        umulh   $27,$19,$27     # 3 2   #####
 
142
         stq    $5,-32($16)     # 1 2 4
 
143
        mulq    $28,$19,$8      # 4 2 1 #####
 
144
         addq   $7,$0,$7        # 3 2 3 1
 
145
        stq     $6,-24($16)     # 2 2 4
 
146
         cmpult $7,$0,$0        # 3 2 3 2
 
147
        umulh   $28,$19,$28     # 4 2   #####
 
148
         addq   $27,$0,$0       # 3 3 2 
 
149
        stq     $7,-16($16)     # 3 2 4
 
150
         addq   $8,$0,$8        # 4 2 3 1
 
151
        cmpult  $8,$0,$0        # 4 2 3 2
 
152
 
 
153
        addq    $28,$0,$0       # 4 3 2 
 
154
 
 
155
        stq     $8,-8($16)      # 4 2 4
 
156
 
 
157
        blt     $18,$143
 
158
 
 
159
        ldq     $20,0($17)      # 1 1
 
160
 
 
161
        br      $142
 
162
 
 
163
        .align 4
 
164
$145:
 
165
        ldq     $20,0($17)      # 4 1
 
166
        mulq    $20,$19,$5      # 4 2 1
 
167
        subq    $18,1,$18
 
168
        umulh   $20,$19,$20     # 4 2
 
169
        addq    $5,$0,$5        # 4 2 3 1
 
170
         addq   $16,8,$16
 
171
        cmpult  $5,$0,$0        # 4 2 3 2
 
172
         addq   $17,8,$17
 
173
        addq    $20,$0,$0       # 4 3 2 
 
174
        stq     $5,-8($16)      # 4 2 4
 
175
 
 
176
        bgt     $18,$145
 
177
        ret     $31,($26),1     # else exit
 
178
 
 
179
        .align 4
 
180
$143:
 
181
        addq    $18,4,$18
 
182
        bgt     $18,$145        # goto tail code
 
183
        ret     $31,($26),1     # else exit
 
184
 
 
185
        .end bn_mul_words
 
186
        .align 3
 
187
        .globl bn_sqr_words
 
188
        .ent bn_sqr_words
 
189
bn_sqr_words:
 
190
bn_sqr_words..ng:
 
191
        .frame $30,0,$26,0
 
192
        .prologue 0
 
193
 
 
194
        subq    $18,4,$18
 
195
        blt     $18,$543        # if we are -1, -2, -3 or -4 goto tail code
 
196
        ldq     $20,0($17)      # 1 1
 
197
        .align 3
 
198
$542:
 
199
        mulq    $20,$20,$5              ######
 
200
         ldq    $21,8($17)      # 1 1
 
201
        subq    $18,4
 
202
        umulh   $20,$20,$1              ######
 
203
        ldq     $27,16($17)     # 1 1
 
204
        mulq    $21,$21,$6              ######
 
205
        ldq     $28,24($17)     # 1 1
 
206
        stq     $5,0($16)       # r[0]
 
207
        umulh   $21,$21,$2              ######
 
208
        stq     $1,8($16)       # r[1]
 
209
        mulq    $27,$27,$7              ######
 
210
        stq     $6,16($16)      # r[0]
 
211
        umulh   $27,$27,$3              ######
 
212
        stq     $2,24($16)      # r[1]
 
213
        mulq    $28,$28,$8              ######
 
214
        stq     $7,32($16)      # r[0]
 
215
        umulh   $28,$28,$4              ######
 
216
        stq     $3,40($16)      # r[1]
 
217
 
 
218
        addq    $16,64,$16
 
219
        addq    $17,32,$17
 
220
        stq     $8,-16($16)     # r[0]
 
221
        stq     $4,-8($16)      # r[1]
 
222
 
 
223
        blt     $18,$543
 
224
        ldq     $20,0($17)      # 1 1
 
225
        br      $542
 
226
 
 
227
$442:
 
228
        ldq     $20,0($17)   # a[0]
 
229
        mulq    $20,$20,$5  # a[0]*w low part       r2
 
230
        addq    $16,16,$16
 
231
        addq    $17,8,$17
 
232
        subq    $18,1,$18
 
233
        umulh   $20,$20,$1  # a[0]*w high part       r3
 
234
        stq     $5,-16($16)   # r[0]
 
235
        stq     $1,-8($16)   # r[1]
 
236
 
 
237
        bgt     $18,$442
 
238
        ret     $31,($26),1     # else exit
 
239
 
 
240
        .align 4
 
241
$543:
 
242
        addq    $18,4,$18
 
243
        bgt     $18,$442        # goto tail code
 
244
        ret     $31,($26),1     # else exit
 
245
        .end bn_sqr_words
 
246
 
 
247
        .align 3
 
248
        .globl bn_add_words
 
249
        .ent bn_add_words
 
250
bn_add_words:
 
251
bn_add_words..ng:
 
252
        .frame $30,0,$26,0
 
253
        .prologue 0
 
254
 
 
255
        subq    $19,4,$19
 
256
        bis     $31,$31,$0      # carry = 0
 
257
        blt     $19,$900
 
258
        ldq     $5,0($17)       # a[0]
 
259
        ldq     $1,0($18)       # b[1]
 
260
        .align 3
 
261
$901:
 
262
        addq    $1,$5,$1        # r=a+b;
 
263
         ldq    $6,8($17)       # a[1]
 
264
        cmpult  $1,$5,$22       # did we overflow?
 
265
         ldq    $2,8($18)       # b[1]
 
266
        addq    $1,$0,$1        # c+= overflow
 
267
         ldq    $7,16($17)      # a[2]
 
268
        cmpult  $1,$0,$0        # overflow?
 
269
         ldq    $3,16($18)      # b[2]
 
270
        addq    $0,$22,$0
 
271
         ldq    $8,24($17)      # a[3]
 
272
        addq    $2,$6,$2        # r=a+b;
 
273
         ldq    $4,24($18)      # b[3]
 
274
        cmpult  $2,$6,$23       # did we overflow?
 
275
         addq   $3,$7,$3        # r=a+b;
 
276
        addq    $2,$0,$2        # c+= overflow
 
277
         cmpult $3,$7,$24       # did we overflow?
 
278
        cmpult  $2,$0,$0        # overflow?
 
279
         addq   $4,$8,$4        # r=a+b;
 
280
        addq    $0,$23,$0
 
281
         cmpult $4,$8,$25       # did we overflow?
 
282
        addq    $3,$0,$3        # c+= overflow
 
283
         stq    $1,0($16)       # r[0]=c
 
284
        cmpult  $3,$0,$0        # overflow?
 
285
         stq    $2,8($16)       # r[1]=c
 
286
        addq    $0,$24,$0
 
287
         stq    $3,16($16)      # r[2]=c
 
288
        addq    $4,$0,$4        # c+= overflow
 
289
         subq   $19,4,$19       # loop--
 
290
        cmpult  $4,$0,$0        # overflow?
 
291
         addq   $17,32,$17      # a++
 
292
        addq    $0,$25,$0
 
293
         stq    $4,24($16)      # r[3]=c
 
294
        addq    $18,32,$18      # b++
 
295
         addq   $16,32,$16      # r++
 
296
 
 
297
        blt     $19,$900
 
298
         ldq    $5,0($17)       # a[0]
 
299
        ldq     $1,0($18)       # b[1]
 
300
         br     $901
 
301
        .align 4
 
302
$945:
 
303
        ldq     $5,0($17)       # a[0]
 
304
         ldq    $1,0($18)       # b[1]
 
305
        addq    $1,$5,$1        # r=a+b;
 
306
         subq   $19,1,$19       # loop--
 
307
        addq    $1,$0,$1        # c+= overflow
 
308
         addq   $17,8,$17       # a++
 
309
        cmpult  $1,$5,$22       # did we overflow?
 
310
         cmpult $1,$0,$0        # overflow?
 
311
        addq    $18,8,$18       # b++
 
312
         stq    $1,0($16)       # r[0]=c
 
313
        addq    $0,$22,$0
 
314
         addq   $16,8,$16       # r++
 
315
 
 
316
        bgt     $19,$945
 
317
        ret     $31,($26),1     # else exit
 
318
 
 
319
$900:
 
320
        addq    $19,4,$19
 
321
        bgt     $19,$945        # goto tail code
 
322
        ret     $31,($26),1     # else exit
 
323
        .end bn_add_words
 
324
 
 
325
 #
 
326
 # What follows was taken directly from the C compiler with a few
 
327
 # hacks to redo the lables.
 
328
 #
 
329
.text
 
330
        .align 3
 
331
        .globl bn_div_words
 
332
        .ent bn_div_words
 
333
bn_div_words:
 
334
        ldgp $29,0($27)
 
335
bn_div_words..ng:
 
336
        lda $30,-48($30)
 
337
        .frame $30,48,$26,0
 
338
        stq $26,0($30)
 
339
        stq $9,8($30)
 
340
        stq $10,16($30)
 
341
        stq $11,24($30)
 
342
        stq $12,32($30)
 
343
        stq $13,40($30)
 
344
        .mask 0x4003e00,-48
 
345
        .prologue 1
 
346
        bis $16,$16,$9
 
347
        bis $17,$17,$10
 
348
        bis $18,$18,$11
 
349
        bis $31,$31,$13
 
350
        bis $31,2,$12
 
351
        bne $11,$119
 
352
        lda $0,-1
 
353
        br $31,$136
 
354
        .align 4
 
355
$119:
 
356
        bis $11,$11,$16
 
357
        jsr $26,BN_num_bits_word
 
358
        ldgp $29,0($26)
 
359
        subq $0,64,$1
 
360
        beq $1,$120
 
361
        bis $31,1,$1
 
362
        sll $1,$0,$1
 
363
        cmpule $9,$1,$1
 
364
        bne $1,$120
 
365
 #      lda $16,_IO_stderr_
 
366
 #      lda $17,$C32
 
367
 #      bis $0,$0,$18
 
368
 #      jsr $26,fprintf
 
369
 #      ldgp $29,0($26)
 
370
        jsr $26,abort
 
371
        ldgp $29,0($26)
 
372
        .align 4
 
373
$120:
 
374
        bis $31,64,$3
 
375
        cmpult $9,$11,$2
 
376
        subq $3,$0,$1
 
377
        addl $1,$31,$0
 
378
        subq $9,$11,$1
 
379
        cmoveq $2,$1,$9
 
380
        beq $0,$122
 
381
        zapnot $0,15,$2
 
382
        subq $3,$0,$1
 
383
        sll $11,$2,$11
 
384
        sll $9,$2,$3
 
385
        srl $10,$1,$1
 
386
        sll $10,$2,$10
 
387
        bis $3,$1,$9
 
388
$122:
 
389
        srl $11,32,$5
 
390
        zapnot $11,15,$6
 
391
        lda $7,-1
 
392
        .align 5
 
393
$123:
 
394
        srl $9,32,$1
 
395
        subq $1,$5,$1
 
396
        bne $1,$126
 
397
        zapnot $7,15,$27
 
398
        br $31,$127
 
399
        .align 4
 
400
$126:
 
401
        bis $9,$9,$24
 
402
        bis $5,$5,$25
 
403
        divqu $24,$25,$27
 
404
$127:
 
405
        srl $10,32,$4
 
406
        .align 5
 
407
$128:
 
408
        mulq $27,$5,$1
 
409
        subq $9,$1,$3
 
410
        zapnot $3,240,$1
 
411
        bne $1,$129
 
412
        mulq $6,$27,$2
 
413
        sll $3,32,$1
 
414
        addq $1,$4,$1
 
415
        cmpule $2,$1,$2
 
416
        bne $2,$129
 
417
        subq $27,1,$27
 
418
        br $31,$128
 
419
        .align 4
 
420
$129:
 
421
        mulq $27,$6,$1
 
422
        mulq $27,$5,$4
 
423
        srl $1,32,$3
 
424
        sll $1,32,$1
 
425
        addq $4,$3,$4
 
426
        cmpult $10,$1,$2
 
427
        subq $10,$1,$10
 
428
        addq $2,$4,$2
 
429
        cmpult $9,$2,$1
 
430
        bis $2,$2,$4
 
431
        beq $1,$134
 
432
        addq $9,$11,$9
 
433
        subq $27,1,$27
 
434
$134:
 
435
        subl $12,1,$12
 
436
        subq $9,$4,$9
 
437
        beq $12,$124
 
438
        sll $27,32,$13
 
439
        sll $9,32,$2
 
440
        srl $10,32,$1
 
441
        sll $10,32,$10
 
442
        bis $2,$1,$9
 
443
        br $31,$123
 
444
        .align 4
 
445
$124:
 
446
        bis $13,$27,$0
 
447
$136:
 
448
        ldq $26,0($30)
 
449
        ldq $9,8($30)
 
450
        ldq $10,16($30)
 
451
        ldq $11,24($30)
 
452
        ldq $12,32($30)
 
453
        ldq $13,40($30)
 
454
        addq $30,48,$30
 
455
        ret $31,($26),1
 
456
        .end bn_div_words
 
457
 
 
458
        .set noat
 
459
        .text
 
460
        .align 3
 
461
        .globl bn_sub_words
 
462
        .ent bn_sub_words
 
463
bn_sub_words:
 
464
bn_sub_words..ng:
 
465
        .frame $30,0,$26,0
 
466
        .prologue 0
 
467
 
 
468
        subq    $19,    4,      $19
 
469
        bis     $31,    $31,    $0
 
470
        blt     $19,    $100
 
471
        ldq     $1,     0($17)
 
472
        ldq     $2,     0($18)
 
473
$101:
 
474
        ldq     $3,     8($17)
 
475
        cmpult  $1,     $2,     $4
 
476
        ldq     $5,     8($18)
 
477
        subq    $1,     $2,     $1
 
478
        ldq     $6,     16($17)
 
479
        cmpult  $1,     $0,     $2
 
480
        ldq     $7,     16($18)
 
481
        subq    $1,     $0,     $23
 
482
        ldq     $8,     24($17)
 
483
        addq    $2,     $4,     $0
 
484
        cmpult  $3,     $5,     $24
 
485
        subq    $3,     $5,     $3
 
486
        ldq     $22,    24($18)
 
487
        cmpult  $3,     $0,     $5
 
488
        subq    $3,     $0,     $25
 
489
        addq    $5,     $24,    $0
 
490
        cmpult  $6,     $7,     $27
 
491
        subq    $6,     $7,     $6
 
492
        stq     $23,    0($16)
 
493
        cmpult  $6,     $0,     $7
 
494
        subq    $6,     $0,     $28
 
495
        addq    $7,     $27,    $0
 
496
        cmpult  $8,     $22,    $21
 
497
        subq    $8,     $22,    $8
 
498
        stq     $25,    8($16)
 
499
        cmpult  $8,     $0,     $22
 
500
        subq    $8,     $0,     $20
 
501
        addq    $22,    $21,    $0
 
502
        stq     $28,    16($16)
 
503
        subq    $19,    4,      $19
 
504
        stq     $20,    24($16)
 
505
        addq    $17,    32,     $17
 
506
        addq    $18,    32,     $18
 
507
        addq    $16,    32,     $16
 
508
        blt     $19,    $100
 
509
        ldq     $1,     0($17)
 
510
        ldq     $2,     0($18)
 
511
        br      $101
 
512
$102:
 
513
        ldq     $1,     0($17)
 
514
        ldq     $2,     0($18)
 
515
        cmpult  $1,     $2,     $27
 
516
        subq    $1,     $2,     $1
 
517
        cmpult  $1,     $0,     $2
 
518
        subq    $1,     $0,     $1
 
519
        stq     $1,     0($16)
 
520
        addq    $2,     $27,    $0
 
521
        addq    $17,    8,      $17
 
522
        addq    $18,    8,      $18
 
523
        addq    $16,    8,      $16
 
524
        subq    $19,    1,      $19
 
525
        bgt     $19,    $102
 
526
        ret     $31,($26),1
 
527
$100:
 
528
        addq    $19,    4,      $19
 
529
        bgt     $19,    $102
 
530
$103:
 
531
        ret     $31,($26),1
 
532
        .end bn_sub_words
 
533
        .text
 
534
        .align 3
 
535
        .globl bn_mul_comba4
 
536
        .ent bn_mul_comba4
 
537
bn_mul_comba4:
 
538
bn_mul_comba4..ng:
 
539
        .frame $30,0,$26,0
 
540
        .prologue 0
 
541
 
 
542
        ldq     $0,     0($17)
 
543
        ldq     $1,     0($18)
 
544
        ldq     $2,     8($17)
 
545
        ldq     $3,     8($18)
 
546
        ldq     $4,     16($17)
 
547
        ldq     $5,     16($18)
 
548
        ldq     $6,     24($17)
 
549
        ldq     $7,     24($18)
 
550
        bis     $31,    $31,    $23
 
551
        mulq    $0,     $1,     $8
 
552
        umulh   $0,     $1,     $22
 
553
        stq     $8,     0($16)
 
554
        bis     $31,    $31,    $8
 
555
        mulq    $0,     $3,     $24
 
556
        umulh   $0,     $3,     $25
 
557
        addq    $22,    $24,    $22
 
558
        cmpult  $22,    $24,    $27
 
559
        addq    $27,    $25,    $25
 
560
        addq    $23,    $25,    $23
 
561
        cmpult  $23,    $25,    $28
 
562
        addq    $8,     $28,    $8
 
563
        mulq    $2,     $1,     $21
 
564
        umulh   $2,     $1,     $20
 
565
        addq    $22,    $21,    $22
 
566
        cmpult  $22,    $21,    $19
 
567
        addq    $19,    $20,    $20
 
568
        addq    $23,    $20,    $23
 
569
        cmpult  $23,    $20,    $17
 
570
        addq    $8,     $17,    $8
 
571
        stq     $22,    8($16)
 
572
        bis     $31,    $31,    $22
 
573
        mulq    $2,     $3,     $18
 
574
        umulh   $2,     $3,     $24
 
575
        addq    $23,    $18,    $23
 
576
        cmpult  $23,    $18,    $27
 
577
        addq    $27,    $24,    $24
 
578
        addq    $8,     $24,    $8
 
579
        cmpult  $8,     $24,    $25
 
580
        addq    $22,    $25,    $22
 
581
        mulq    $0,     $5,     $28
 
582
        umulh   $0,     $5,     $21
 
583
        addq    $23,    $28,    $23
 
584
        cmpult  $23,    $28,    $19
 
585
        addq    $19,    $21,    $21
 
586
        addq    $8,     $21,    $8
 
587
        cmpult  $8,     $21,    $20
 
588
        addq    $22,    $20,    $22
 
589
        mulq    $4,     $1,     $17
 
590
        umulh   $4,     $1,     $18
 
591
        addq    $23,    $17,    $23
 
592
        cmpult  $23,    $17,    $27
 
593
        addq    $27,    $18,    $18
 
594
        addq    $8,     $18,    $8
 
595
        cmpult  $8,     $18,    $24
 
596
        addq    $22,    $24,    $22
 
597
        stq     $23,    16($16)
 
598
        bis     $31,    $31,    $23
 
599
        mulq    $0,     $7,     $25
 
600
        umulh   $0,     $7,     $28
 
601
        addq    $8,     $25,    $8
 
602
        cmpult  $8,     $25,    $19
 
603
        addq    $19,    $28,    $28
 
604
        addq    $22,    $28,    $22
 
605
        cmpult  $22,    $28,    $21
 
606
        addq    $23,    $21,    $23
 
607
        mulq    $2,     $5,     $20
 
608
        umulh   $2,     $5,     $17
 
609
        addq    $8,     $20,    $8
 
610
        cmpult  $8,     $20,    $27
 
611
        addq    $27,    $17,    $17
 
612
        addq    $22,    $17,    $22
 
613
        cmpult  $22,    $17,    $18
 
614
        addq    $23,    $18,    $23
 
615
        mulq    $4,     $3,     $24
 
616
        umulh   $4,     $3,     $25
 
617
        addq    $8,     $24,    $8
 
618
        cmpult  $8,     $24,    $19
 
619
        addq    $19,    $25,    $25
 
620
        addq    $22,    $25,    $22
 
621
        cmpult  $22,    $25,    $28
 
622
        addq    $23,    $28,    $23
 
623
        mulq    $6,     $1,     $21
 
624
        umulh   $6,     $1,     $0
 
625
        addq    $8,     $21,    $8
 
626
        cmpult  $8,     $21,    $20
 
627
        addq    $20,    $0,     $0
 
628
        addq    $22,    $0,     $22
 
629
        cmpult  $22,    $0,     $27
 
630
        addq    $23,    $27,    $23
 
631
        stq     $8,     24($16)
 
632
        bis     $31,    $31,    $8
 
633
        mulq    $2,     $7,     $17
 
634
        umulh   $2,     $7,     $18
 
635
        addq    $22,    $17,    $22
 
636
        cmpult  $22,    $17,    $24
 
637
        addq    $24,    $18,    $18
 
638
        addq    $23,    $18,    $23
 
639
        cmpult  $23,    $18,    $19
 
640
        addq    $8,     $19,    $8
 
641
        mulq    $4,     $5,     $25
 
642
        umulh   $4,     $5,     $28
 
643
        addq    $22,    $25,    $22
 
644
        cmpult  $22,    $25,    $21
 
645
        addq    $21,    $28,    $28
 
646
        addq    $23,    $28,    $23
 
647
        cmpult  $23,    $28,    $20
 
648
        addq    $8,     $20,    $8
 
649
        mulq    $6,     $3,     $0
 
650
        umulh   $6,     $3,     $27
 
651
        addq    $22,    $0,     $22
 
652
        cmpult  $22,    $0,     $1
 
653
        addq    $1,     $27,    $27
 
654
        addq    $23,    $27,    $23
 
655
        cmpult  $23,    $27,    $17
 
656
        addq    $8,     $17,    $8
 
657
        stq     $22,    32($16)
 
658
        bis     $31,    $31,    $22
 
659
        mulq    $4,     $7,     $24
 
660
        umulh   $4,     $7,     $18
 
661
        addq    $23,    $24,    $23
 
662
        cmpult  $23,    $24,    $19
 
663
        addq    $19,    $18,    $18
 
664
        addq    $8,     $18,    $8
 
665
        cmpult  $8,     $18,    $2
 
666
        addq    $22,    $2,     $22
 
667
        mulq    $6,     $5,     $25
 
668
        umulh   $6,     $5,     $21
 
669
        addq    $23,    $25,    $23
 
670
        cmpult  $23,    $25,    $28
 
671
        addq    $28,    $21,    $21
 
672
        addq    $8,     $21,    $8
 
673
        cmpult  $8,     $21,    $20
 
674
        addq    $22,    $20,    $22
 
675
        stq     $23,    40($16)
 
676
        bis     $31,    $31,    $23
 
677
        mulq    $6,     $7,     $0
 
678
        umulh   $6,     $7,     $1
 
679
        addq    $8,     $0,     $8
 
680
        cmpult  $8,     $0,     $27
 
681
        addq    $27,    $1,     $1
 
682
        addq    $22,    $1,     $22
 
683
        cmpult  $22,    $1,     $17
 
684
        addq    $23,    $17,    $23
 
685
        stq     $8,     48($16)
 
686
        stq     $22,    56($16)
 
687
        ret     $31,($26),1
 
688
        .end bn_mul_comba4
 
689
        .text
 
690
        .align 3
 
691
        .globl bn_mul_comba8
 
692
        .ent bn_mul_comba8
 
693
bn_mul_comba8:
 
694
bn_mul_comba8..ng:
 
695
        .frame $30,0,$26,0
 
696
        .prologue 0
 
697
        ldq     $1,     0($17)
 
698
        ldq     $2,     0($18)
 
699
        zapnot  $1,     15,     $7
 
700
        srl     $2,     32,     $8
 
701
        mulq    $8,     $7,     $22
 
702
        srl     $1,     32,     $6
 
703
        zapnot  $2,     15,     $5
 
704
        mulq    $5,     $6,     $4
 
705
        mulq    $7,     $5,     $24
 
706
        addq    $22,    $4,     $22
 
707
        cmpult  $22,    $4,     $1
 
708
        mulq    $6,     $8,     $3
 
709
        beq     $1,     $173
 
710
        bis     $31,    1,      $1
 
711
        sll     $1,     32,     $1
 
712
        addq    $3,     $1,     $3
 
713
$173:
 
714
        sll     $22,    32,     $4
 
715
        addq    $24,    $4,     $24
 
716
        stq     $24,    0($16)
 
717
        ldq     $2,     0($17)
 
718
        ldq     $1,     8($18)
 
719
        zapnot  $2,     15,     $7
 
720
        srl     $1,     32,     $8
 
721
        mulq    $8,     $7,     $25
 
722
        zapnot  $1,     15,     $5
 
723
        mulq    $7,     $5,     $0
 
724
        srl     $2,     32,     $6
 
725
        mulq    $5,     $6,     $23
 
726
        mulq    $6,     $8,     $6
 
727
        srl     $22,    32,     $1
 
728
        cmpult  $24,    $4,     $2
 
729
        addq    $3,     $1,     $3
 
730
        addq    $2,     $3,     $22
 
731
        addq    $25,    $23,    $25
 
732
        cmpult  $25,    $23,    $1
 
733
        bis     $31,    1,      $2
 
734
        beq     $1,     $177
 
735
        sll     $2,     32,     $1
 
736
        addq    $6,     $1,     $6
 
737
$177:
 
738
        sll     $25,    32,     $23
 
739
        ldq     $1,     0($18)
 
740
        addq    $0,     $23,    $0
 
741
        bis     $0,     $0,     $7
 
742
        ldq     $3,     8($17)
 
743
        addq    $22,    $7,     $22
 
744
        srl     $1,     32,     $8
 
745
        cmpult  $22,    $7,     $4
 
746
        zapnot  $3,     15,     $7
 
747
        mulq    $8,     $7,     $28
 
748
        zapnot  $1,     15,     $5
 
749
        mulq    $7,     $5,     $21
 
750
        srl     $25,    32,     $1
 
751
        cmpult  $0,     $23,    $2
 
752
        addq    $6,     $1,     $6
 
753
        addq    $2,     $6,     $6
 
754
        addq    $4,     $6,     $24
 
755
        srl     $3,     32,     $6
 
756
        mulq    $5,     $6,     $2
 
757
        mulq    $6,     $8,     $6
 
758
        addq    $28,    $2,     $28
 
759
        cmpult  $28,    $2,     $1
 
760
        bis     $31,    1,      $2
 
761
        beq     $1,     $181
 
762
        sll     $2,     32,     $1
 
763
        addq    $6,     $1,     $6
 
764
$181:
 
765
        sll     $28,    32,     $2
 
766
        addq    $21,    $2,     $21
 
767
        bis     $21,    $21,    $7
 
768
        addq    $22,    $7,     $22
 
769
        stq     $22,    8($16)
 
770
        ldq     $3,     16($17)
 
771
        ldq     $1,     0($18)
 
772
        cmpult  $22,    $7,     $4
 
773
        zapnot  $3,     15,     $7
 
774
        srl     $1,     32,     $8
 
775
        mulq    $8,     $7,     $22
 
776
        zapnot  $1,     15,     $5
 
777
        mulq    $7,     $5,     $20
 
778
        srl     $28,    32,     $1
 
779
        cmpult  $21,    $2,     $2
 
780
        addq    $6,     $1,     $6
 
781
        addq    $2,     $6,     $6
 
782
        addq    $4,     $6,     $6
 
783
        addq    $24,    $6,     $24
 
784
        cmpult  $24,    $6,     $23
 
785
        srl     $3,     32,     $6
 
786
        mulq    $5,     $6,     $2
 
787
        mulq    $6,     $8,     $6
 
788
        addq    $22,    $2,     $22
 
789
        cmpult  $22,    $2,     $1
 
790
        bis     $31,    1,      $2
 
791
        beq     $1,     $185
 
792
        sll     $2,     32,     $1
 
793
        addq    $6,     $1,     $6
 
794
$185:
 
795
        sll     $22,    32,     $2
 
796
        ldq     $1,     8($18)
 
797
        addq    $20,    $2,     $20
 
798
        bis     $20,    $20,    $7
 
799
        ldq     $4,     8($17)
 
800
        addq    $24,    $7,     $24
 
801
        srl     $1,     32,     $8
 
802
        cmpult  $24,    $7,     $3
 
803
        zapnot  $4,     15,     $7
 
804
        mulq    $8,     $7,     $25
 
805
        zapnot  $1,     15,     $5
 
806
        mulq    $7,     $5,     $0
 
807
        srl     $22,    32,     $1
 
808
        cmpult  $20,    $2,     $2
 
809
        addq    $6,     $1,     $6
 
810
        addq    $2,     $6,     $6
 
811
        addq    $3,     $6,     $6
 
812
        addq    $23,    $6,     $23
 
813
        cmpult  $23,    $6,     $22
 
814
        srl     $4,     32,     $6
 
815
        mulq    $5,     $6,     $5
 
816
        bis     $31,    1,      $21
 
817
        addq    $25,    $5,     $25
 
818
        cmpult  $25,    $5,     $1
 
819
        mulq    $6,     $8,     $6
 
820
        beq     $1,     $189
 
821
        sll     $21,    32,     $1
 
822
        addq    $6,     $1,     $6
 
823
$189:
 
824
        sll     $25,    32,     $5
 
825
        ldq     $2,     16($18)
 
826
        addq    $0,     $5,     $0
 
827
        bis     $0,     $0,     $7
 
828
        ldq     $4,     0($17)
 
829
        addq    $24,    $7,     $24
 
830
        srl     $2,     32,     $8
 
831
        cmpult  $24,    $7,     $3
 
832
        zapnot  $4,     15,     $7
 
833
        mulq    $8,     $7,     $28
 
834
        srl     $25,    32,     $1
 
835
        addq    $6,     $1,     $6
 
836
        cmpult  $0,     $5,     $1
 
837
        zapnot  $2,     15,     $5
 
838
        addq    $1,     $6,     $6
 
839
        addq    $3,     $6,     $6
 
840
        addq    $23,    $6,     $23
 
841
        cmpult  $23,    $6,     $1
 
842
        srl     $4,     32,     $6
 
843
        mulq    $5,     $6,     $25
 
844
        mulq    $7,     $5,     $2
 
845
        addq    $1,     $22,    $22
 
846
        addq    $28,    $25,    $28
 
847
        cmpult  $28,    $25,    $1
 
848
        mulq    $6,     $8,     $6
 
849
        beq     $1,     $193
 
850
        sll     $21,    32,     $1
 
851
        addq    $6,     $1,     $6
 
852
$193:
 
853
        sll     $28,    32,     $25
 
854
        addq    $2,     $25,    $2
 
855
        bis     $2,     $2,     $7
 
856
        addq    $24,    $7,     $24
 
857
        stq     $24,    16($16)
 
858
        ldq     $4,     0($17)
 
859
        ldq     $5,     24($18)
 
860
        cmpult  $24,    $7,     $3
 
861
        zapnot  $4,     15,     $7
 
862
        srl     $5,     32,     $8
 
863
        mulq    $8,     $7,     $0
 
864
        srl     $28,    32,     $1
 
865
        cmpult  $2,     $25,    $2
 
866
        addq    $6,     $1,     $6
 
867
        addq    $2,     $6,     $6
 
868
        addq    $3,     $6,     $6
 
869
        addq    $23,    $6,     $23
 
870
        cmpult  $23,    $6,     $1
 
871
        srl     $4,     32,     $6
 
872
        zapnot  $5,     15,     $5
 
873
        mulq    $5,     $6,     $24
 
874
        mulq    $7,     $5,     $2
 
875
        addq    $1,     $22,    $22
 
876
        addq    $0,     $24,    $0
 
877
        cmpult  $0,     $24,    $1
 
878
        mulq    $6,     $8,     $6
 
879
        beq     $1,     $197
 
880
        sll     $21,    32,     $1
 
881
        addq    $6,     $1,     $6
 
882
$197:
 
883
        sll     $0,     32,     $24
 
884
        ldq     $1,     16($18)
 
885
        addq    $2,     $24,    $2
 
886
        bis     $2,     $2,     $7
 
887
        ldq     $4,     8($17)
 
888
        addq    $23,    $7,     $23
 
889
        srl     $1,     32,     $8
 
890
        cmpult  $23,    $7,     $3
 
891
        zapnot  $4,     15,     $7
 
892
        mulq    $8,     $7,     $25
 
893
        zapnot  $1,     15,     $5
 
894
        mulq    $7,     $5,     $21
 
895
        srl     $0,     32,     $1
 
896
        cmpult  $2,     $24,    $2
 
897
        addq    $6,     $1,     $6
 
898
        addq    $2,     $6,     $6
 
899
        addq    $3,     $6,     $6
 
900
        addq    $22,    $6,     $22
 
901
        cmpult  $22,    $6,     $24
 
902
        srl     $4,     32,     $6
 
903
        mulq    $5,     $6,     $5
 
904
        bis     $31,    1,      $20
 
905
        addq    $25,    $5,     $25
 
906
        cmpult  $25,    $5,     $1
 
907
        mulq    $6,     $8,     $6
 
908
        beq     $1,     $201
 
909
        sll     $20,    32,     $1
 
910
        addq    $6,     $1,     $6
 
911
$201:
 
912
        sll     $25,    32,     $5
 
913
        ldq     $2,     8($18)
 
914
        addq    $21,    $5,     $21
 
915
        bis     $21,    $21,    $7
 
916
        ldq     $4,     16($17)
 
917
        addq    $23,    $7,     $23
 
918
        srl     $2,     32,     $8
 
919
        cmpult  $23,    $7,     $3
 
920
        zapnot  $4,     15,     $7
 
921
        mulq    $8,     $7,     $28
 
922
        srl     $25,    32,     $1
 
923
        addq    $6,     $1,     $6
 
924
        cmpult  $21,    $5,     $1
 
925
        zapnot  $2,     15,     $5
 
926
        addq    $1,     $6,     $6
 
927
        addq    $3,     $6,     $6
 
928
        addq    $22,    $6,     $22
 
929
        cmpult  $22,    $6,     $1
 
930
        srl     $4,     32,     $6
 
931
        mulq    $5,     $6,     $25
 
932
        mulq    $7,     $5,     $5
 
933
        addq    $1,     $24,    $24
 
934
        addq    $28,    $25,    $28
 
935
        cmpult  $28,    $25,    $1
 
936
        mulq    $6,     $8,     $6
 
937
        beq     $1,     $205
 
938
        sll     $20,    32,     $1
 
939
        addq    $6,     $1,     $6
 
940
$205:
 
941
        sll     $28,    32,     $25
 
942
        ldq     $2,     0($18)
 
943
        addq    $5,     $25,    $5
 
944
        bis     $5,     $5,     $7
 
945
        ldq     $4,     24($17)
 
946
        addq    $23,    $7,     $23
 
947
        srl     $2,     32,     $8
 
948
        cmpult  $23,    $7,     $3
 
949
        zapnot  $4,     15,     $7
 
950
        mulq    $8,     $7,     $0
 
951
        srl     $28,    32,     $1
 
952
        addq    $6,     $1,     $6
 
953
        cmpult  $5,     $25,    $1
 
954
        zapnot  $2,     15,     $5
 
955
        addq    $1,     $6,     $6
 
956
        addq    $3,     $6,     $6
 
957
        addq    $22,    $6,     $22
 
958
        cmpult  $22,    $6,     $1
 
959
        srl     $4,     32,     $6
 
960
        mulq    $5,     $6,     $25
 
961
        mulq    $7,     $5,     $2
 
962
        addq    $1,     $24,    $24
 
963
        addq    $0,     $25,    $0
 
964
        cmpult  $0,     $25,    $1
 
965
        mulq    $6,     $8,     $6
 
966
        beq     $1,     $209
 
967
        sll     $20,    32,     $1
 
968
        addq    $6,     $1,     $6
 
969
$209:
 
970
        sll     $0,     32,     $25
 
971
        addq    $2,     $25,    $2
 
972
        bis     $2,     $2,     $7
 
973
        addq    $23,    $7,     $23
 
974
        stq     $23,    24($16)
 
975
        ldq     $4,     32($17)
 
976
        ldq     $5,     0($18)
 
977
        cmpult  $23,    $7,     $3
 
978
        zapnot  $4,     15,     $7
 
979
        srl     $5,     32,     $8
 
980
        mulq    $8,     $7,     $28
 
981
        srl     $0,     32,     $1
 
982
        cmpult  $2,     $25,    $2
 
983
        addq    $6,     $1,     $6
 
984
        addq    $2,     $6,     $6
 
985
        addq    $3,     $6,     $6
 
986
        addq    $22,    $6,     $22
 
987
        cmpult  $22,    $6,     $1
 
988
        srl     $4,     32,     $6
 
989
        zapnot  $5,     15,     $5
 
990
        mulq    $5,     $6,     $23
 
991
        mulq    $7,     $5,     $2
 
992
        addq    $1,     $24,    $24
 
993
        addq    $28,    $23,    $28
 
994
        cmpult  $28,    $23,    $1
 
995
        mulq    $6,     $8,     $6
 
996
        beq     $1,     $213
 
997
        sll     $20,    32,     $1
 
998
        addq    $6,     $1,     $6
 
999
$213:
 
1000
        sll     $28,    32,     $23
 
1001
        ldq     $1,     8($18)
 
1002
        addq    $2,     $23,    $2
 
1003
        bis     $2,     $2,     $7
 
1004
        ldq     $4,     24($17)
 
1005
        addq    $22,    $7,     $22
 
1006
        srl     $1,     32,     $8
 
1007
        cmpult  $22,    $7,     $3
 
1008
        zapnot  $4,     15,     $7
 
1009
        mulq    $8,     $7,     $25
 
1010
        zapnot  $1,     15,     $5
 
1011
        mulq    $7,     $5,     $0
 
1012
        srl     $28,    32,     $1
 
1013
        cmpult  $2,     $23,    $2
 
1014
        addq    $6,     $1,     $6
 
1015
        addq    $2,     $6,     $6
 
1016
        addq    $3,     $6,     $6
 
1017
        addq    $24,    $6,     $24
 
1018
        cmpult  $24,    $6,     $23
 
1019
        srl     $4,     32,     $6
 
1020
        mulq    $5,     $6,     $5
 
1021
        bis     $31,    1,      $21
 
1022
        addq    $25,    $5,     $25
 
1023
        cmpult  $25,    $5,     $1
 
1024
        mulq    $6,     $8,     $6
 
1025
        beq     $1,     $217
 
1026
        sll     $21,    32,     $1
 
1027
        addq    $6,     $1,     $6
 
1028
$217:
 
1029
        sll     $25,    32,     $5
 
1030
        ldq     $2,     16($18)
 
1031
        addq    $0,     $5,     $0
 
1032
        bis     $0,     $0,     $7
 
1033
        ldq     $4,     16($17)
 
1034
        addq    $22,    $7,     $22
 
1035
        srl     $2,     32,     $8
 
1036
        cmpult  $22,    $7,     $3
 
1037
        zapnot  $4,     15,     $7
 
1038
        mulq    $8,     $7,     $28
 
1039
        srl     $25,    32,     $1
 
1040
        addq    $6,     $1,     $6
 
1041
        cmpult  $0,     $5,     $1
 
1042
        zapnot  $2,     15,     $5
 
1043
        addq    $1,     $6,     $6
 
1044
        addq    $3,     $6,     $6
 
1045
        addq    $24,    $6,     $24
 
1046
        cmpult  $24,    $6,     $1
 
1047
        srl     $4,     32,     $6
 
1048
        mulq    $5,     $6,     $25
 
1049
        mulq    $7,     $5,     $5
 
1050
        addq    $1,     $23,    $23
 
1051
        addq    $28,    $25,    $28
 
1052
        cmpult  $28,    $25,    $1
 
1053
        mulq    $6,     $8,     $6
 
1054
        beq     $1,     $221
 
1055
        sll     $21,    32,     $1
 
1056
        addq    $6,     $1,     $6
 
1057
$221:
 
1058
        sll     $28,    32,     $25
 
1059
        ldq     $2,     24($18)
 
1060
        addq    $5,     $25,    $5
 
1061
        bis     $5,     $5,     $7
 
1062
        ldq     $4,     8($17)
 
1063
        addq    $22,    $7,     $22
 
1064
        srl     $2,     32,     $8
 
1065
        cmpult  $22,    $7,     $3
 
1066
        zapnot  $4,     15,     $7
 
1067
        mulq    $8,     $7,     $0
 
1068
        srl     $28,    32,     $1
 
1069
        addq    $6,     $1,     $6
 
1070
        cmpult  $5,     $25,    $1
 
1071
        zapnot  $2,     15,     $5
 
1072
        addq    $1,     $6,     $6
 
1073
        addq    $3,     $6,     $6
 
1074
        addq    $24,    $6,     $24
 
1075
        cmpult  $24,    $6,     $1
 
1076
        srl     $4,     32,     $6
 
1077
        mulq    $5,     $6,     $25
 
1078
        mulq    $7,     $5,     $5
 
1079
        addq    $1,     $23,    $23
 
1080
        addq    $0,     $25,    $0
 
1081
        cmpult  $0,     $25,    $1
 
1082
        mulq    $6,     $8,     $6
 
1083
        beq     $1,     $225
 
1084
        sll     $21,    32,     $1
 
1085
        addq    $6,     $1,     $6
 
1086
$225:
 
1087
        sll     $0,     32,     $25
 
1088
        ldq     $2,     32($18)
 
1089
        addq    $5,     $25,    $5
 
1090
        bis     $5,     $5,     $7
 
1091
        ldq     $4,     0($17)
 
1092
        addq    $22,    $7,     $22
 
1093
        srl     $2,     32,     $8
 
1094
        cmpult  $22,    $7,     $3
 
1095
        zapnot  $4,     15,     $7
 
1096
        mulq    $8,     $7,     $28
 
1097
        srl     $0,     32,     $1
 
1098
        addq    $6,     $1,     $6
 
1099
        cmpult  $5,     $25,    $1
 
1100
        zapnot  $2,     15,     $5
 
1101
        addq    $1,     $6,     $6
 
1102
        addq    $3,     $6,     $6
 
1103
        addq    $24,    $6,     $24
 
1104
        cmpult  $24,    $6,     $1
 
1105
        srl     $4,     32,     $6
 
1106
        mulq    $5,     $6,     $25
 
1107
        mulq    $7,     $5,     $2
 
1108
        addq    $1,     $23,    $23
 
1109
        addq    $28,    $25,    $28
 
1110
        cmpult  $28,    $25,    $1
 
1111
        mulq    $6,     $8,     $6
 
1112
        beq     $1,     $229
 
1113
        sll     $21,    32,     $1
 
1114
        addq    $6,     $1,     $6
 
1115
$229:
 
1116
        sll     $28,    32,     $25
 
1117
        addq    $2,     $25,    $2
 
1118
        bis     $2,     $2,     $7
 
1119
        addq    $22,    $7,     $22
 
1120
        stq     $22,    32($16)
 
1121
        ldq     $4,     0($17)
 
1122
        ldq     $5,     40($18)
 
1123
        cmpult  $22,    $7,     $3
 
1124
        zapnot  $4,     15,     $7
 
1125
        srl     $5,     32,     $8
 
1126
        mulq    $8,     $7,     $0
 
1127
        srl     $28,    32,     $1
 
1128
        cmpult  $2,     $25,    $2
 
1129
        addq    $6,     $1,     $6
 
1130
        addq    $2,     $6,     $6
 
1131
        addq    $3,     $6,     $6
 
1132
        addq    $24,    $6,     $24
 
1133
        cmpult  $24,    $6,     $1
 
1134
        srl     $4,     32,     $6
 
1135
        zapnot  $5,     15,     $5
 
1136
        mulq    $5,     $6,     $22
 
1137
        mulq    $7,     $5,     $2
 
1138
        addq    $1,     $23,    $23
 
1139
        addq    $0,     $22,    $0
 
1140
        cmpult  $0,     $22,    $1
 
1141
        mulq    $6,     $8,     $6
 
1142
        beq     $1,     $233
 
1143
        sll     $21,    32,     $1
 
1144
        addq    $6,     $1,     $6
 
1145
$233:
 
1146
        sll     $0,     32,     $22
 
1147
        ldq     $1,     32($18)
 
1148
        addq    $2,     $22,    $2
 
1149
        bis     $2,     $2,     $7
 
1150
        ldq     $4,     8($17)
 
1151
        addq    $24,    $7,     $24
 
1152
        srl     $1,     32,     $8
 
1153
        cmpult  $24,    $7,     $3
 
1154
        zapnot  $4,     15,     $7
 
1155
        mulq    $8,     $7,     $25
 
1156
        zapnot  $1,     15,     $5
 
1157
        mulq    $7,     $5,     $21
 
1158
        srl     $0,     32,     $1
 
1159
        cmpult  $2,     $22,    $2
 
1160
        addq    $6,     $1,     $6
 
1161
        addq    $2,     $6,     $6
 
1162
        addq    $3,     $6,     $6
 
1163
        addq    $23,    $6,     $23
 
1164
        cmpult  $23,    $6,     $22
 
1165
        srl     $4,     32,     $6
 
1166
        mulq    $5,     $6,     $5
 
1167
        bis     $31,    1,      $20
 
1168
        addq    $25,    $5,     $25
 
1169
        cmpult  $25,    $5,     $1
 
1170
        mulq    $6,     $8,     $6
 
1171
        beq     $1,     $237
 
1172
        sll     $20,    32,     $1
 
1173
        addq    $6,     $1,     $6
 
1174
$237:
 
1175
        sll     $25,    32,     $5
 
1176
        ldq     $2,     24($18)
 
1177
        addq    $21,    $5,     $21
 
1178
        bis     $21,    $21,    $7
 
1179
        ldq     $4,     16($17)
 
1180
        addq    $24,    $7,     $24
 
1181
        srl     $2,     32,     $8
 
1182
        cmpult  $24,    $7,     $3
 
1183
        zapnot  $4,     15,     $7
 
1184
        mulq    $8,     $7,     $28
 
1185
        srl     $25,    32,     $1
 
1186
        addq    $6,     $1,     $6
 
1187
        cmpult  $21,    $5,     $1
 
1188
        zapnot  $2,     15,     $5
 
1189
        addq    $1,     $6,     $6
 
1190
        addq    $3,     $6,     $6
 
1191
        addq    $23,    $6,     $23
 
1192
        cmpult  $23,    $6,     $1
 
1193
        srl     $4,     32,     $6
 
1194
        mulq    $5,     $6,     $25
 
1195
        mulq    $7,     $5,     $5
 
1196
        addq    $1,     $22,    $22
 
1197
        addq    $28,    $25,    $28
 
1198
        cmpult  $28,    $25,    $1
 
1199
        mulq    $6,     $8,     $6
 
1200
        beq     $1,     $241
 
1201
        sll     $20,    32,     $1
 
1202
        addq    $6,     $1,     $6
 
1203
$241:
 
1204
        sll     $28,    32,     $25
 
1205
        ldq     $2,     16($18)
 
1206
        addq    $5,     $25,    $5
 
1207
        bis     $5,     $5,     $7
 
1208
        ldq     $4,     24($17)
 
1209
        addq    $24,    $7,     $24
 
1210
        srl     $2,     32,     $8
 
1211
        cmpult  $24,    $7,     $3
 
1212
        zapnot  $4,     15,     $7
 
1213
        mulq    $8,     $7,     $0
 
1214
        srl     $28,    32,     $1
 
1215
        addq    $6,     $1,     $6
 
1216
        cmpult  $5,     $25,    $1
 
1217
        zapnot  $2,     15,     $5
 
1218
        addq    $1,     $6,     $6
 
1219
        addq    $3,     $6,     $6
 
1220
        addq    $23,    $6,     $23
 
1221
        cmpult  $23,    $6,     $1
 
1222
        srl     $4,     32,     $6
 
1223
        mulq    $5,     $6,     $25
 
1224
        mulq    $7,     $5,     $5
 
1225
        addq    $1,     $22,    $22
 
1226
        addq    $0,     $25,    $0
 
1227
        cmpult  $0,     $25,    $1
 
1228
        mulq    $6,     $8,     $6
 
1229
        beq     $1,     $245
 
1230
        sll     $20,    32,     $1
 
1231
        addq    $6,     $1,     $6
 
1232
$245:
 
1233
        sll     $0,     32,     $25
 
1234
        ldq     $2,     8($18)
 
1235
        addq    $5,     $25,    $5
 
1236
        bis     $5,     $5,     $7
 
1237
        ldq     $4,     32($17)
 
1238
        addq    $24,    $7,     $24
 
1239
        srl     $2,     32,     $8
 
1240
        cmpult  $24,    $7,     $3
 
1241
        zapnot  $4,     15,     $7
 
1242
        mulq    $8,     $7,     $28
 
1243
        srl     $0,     32,     $1
 
1244
        addq    $6,     $1,     $6
 
1245
        cmpult  $5,     $25,    $1
 
1246
        zapnot  $2,     15,     $5
 
1247
        addq    $1,     $6,     $6
 
1248
        addq    $3,     $6,     $6
 
1249
        addq    $23,    $6,     $23
 
1250
        cmpult  $23,    $6,     $1
 
1251
        srl     $4,     32,     $6
 
1252
        mulq    $5,     $6,     $25
 
1253
        mulq    $7,     $5,     $5
 
1254
        addq    $1,     $22,    $22
 
1255
        addq    $28,    $25,    $28
 
1256
        cmpult  $28,    $25,    $1
 
1257
        mulq    $6,     $8,     $6
 
1258
        beq     $1,     $249
 
1259
        sll     $20,    32,     $1
 
1260
        addq    $6,     $1,     $6
 
1261
$249:
 
1262
        sll     $28,    32,     $25
 
1263
        ldq     $2,     0($18)
 
1264
        addq    $5,     $25,    $5
 
1265
        bis     $5,     $5,     $7
 
1266
        ldq     $4,     40($17)
 
1267
        addq    $24,    $7,     $24
 
1268
        srl     $2,     32,     $8
 
1269
        cmpult  $24,    $7,     $3
 
1270
        zapnot  $4,     15,     $7
 
1271
        mulq    $8,     $7,     $0
 
1272
        srl     $28,    32,     $1
 
1273
        addq    $6,     $1,     $6
 
1274
        cmpult  $5,     $25,    $1
 
1275
        zapnot  $2,     15,     $5
 
1276
        addq    $1,     $6,     $6
 
1277
        addq    $3,     $6,     $6
 
1278
        addq    $23,    $6,     $23
 
1279
        cmpult  $23,    $6,     $1
 
1280
        srl     $4,     32,     $6
 
1281
        mulq    $5,     $6,     $25
 
1282
        mulq    $7,     $5,     $2
 
1283
        addq    $1,     $22,    $22
 
1284
        addq    $0,     $25,    $0
 
1285
        cmpult  $0,     $25,    $1
 
1286
        mulq    $6,     $8,     $6
 
1287
        beq     $1,     $253
 
1288
        sll     $20,    32,     $1
 
1289
        addq    $6,     $1,     $6
 
1290
$253:
 
1291
        sll     $0,     32,     $25
 
1292
        addq    $2,     $25,    $2
 
1293
        bis     $2,     $2,     $7
 
1294
        addq    $24,    $7,     $24
 
1295
        stq     $24,    40($16)
 
1296
        ldq     $4,     48($17)
 
1297
        ldq     $5,     0($18)
 
1298
        cmpult  $24,    $7,     $3
 
1299
        zapnot  $4,     15,     $7
 
1300
        srl     $5,     32,     $8
 
1301
        mulq    $8,     $7,     $28
 
1302
        srl     $0,     32,     $1
 
1303
        cmpult  $2,     $25,    $2
 
1304
        addq    $6,     $1,     $6
 
1305
        addq    $2,     $6,     $6
 
1306
        addq    $3,     $6,     $6
 
1307
        addq    $23,    $6,     $23
 
1308
        cmpult  $23,    $6,     $1
 
1309
        srl     $4,     32,     $6
 
1310
        zapnot  $5,     15,     $5
 
1311
        mulq    $5,     $6,     $24
 
1312
        mulq    $7,     $5,     $2
 
1313
        addq    $1,     $22,    $22
 
1314
        addq    $28,    $24,    $28
 
1315
        cmpult  $28,    $24,    $1
 
1316
        mulq    $6,     $8,     $6
 
1317
        beq     $1,     $257
 
1318
        sll     $20,    32,     $1
 
1319
        addq    $6,     $1,     $6
 
1320
$257:
 
1321
        sll     $28,    32,     $24
 
1322
        ldq     $1,     8($18)
 
1323
        addq    $2,     $24,    $2
 
1324
        bis     $2,     $2,     $7
 
1325
        ldq     $4,     40($17)
 
1326
        addq    $23,    $7,     $23
 
1327
        srl     $1,     32,     $8
 
1328
        cmpult  $23,    $7,     $3
 
1329
        zapnot  $4,     15,     $7
 
1330
        mulq    $8,     $7,     $25
 
1331
        zapnot  $1,     15,     $5
 
1332
        mulq    $7,     $5,     $0
 
1333
        srl     $28,    32,     $1
 
1334
        cmpult  $2,     $24,    $2
 
1335
        addq    $6,     $1,     $6
 
1336
        addq    $2,     $6,     $6
 
1337
        addq    $3,     $6,     $6
 
1338
        addq    $22,    $6,     $22
 
1339
        cmpult  $22,    $6,     $24
 
1340
        srl     $4,     32,     $6
 
1341
        mulq    $5,     $6,     $5
 
1342
        bis     $31,    1,      $21
 
1343
        addq    $25,    $5,     $25
 
1344
        cmpult  $25,    $5,     $1
 
1345
        mulq    $6,     $8,     $6
 
1346
        beq     $1,     $261
 
1347
        sll     $21,    32,     $1
 
1348
        addq    $6,     $1,     $6
 
1349
$261:
 
1350
        sll     $25,    32,     $5
 
1351
        ldq     $2,     16($18)
 
1352
        addq    $0,     $5,     $0
 
1353
        bis     $0,     $0,     $7
 
1354
        ldq     $4,     32($17)
 
1355
        addq    $23,    $7,     $23
 
1356
        srl     $2,     32,     $8
 
1357
        cmpult  $23,    $7,     $3
 
1358
        zapnot  $4,     15,     $7
 
1359
        mulq    $8,     $7,     $28
 
1360
        srl     $25,    32,     $1
 
1361
        addq    $6,     $1,     $6
 
1362
        cmpult  $0,     $5,     $1
 
1363
        zapnot  $2,     15,     $5
 
1364
        addq    $1,     $6,     $6
 
1365
        addq    $3,     $6,     $6
 
1366
        addq    $22,    $6,     $22
 
1367
        cmpult  $22,    $6,     $1
 
1368
        srl     $4,     32,     $6
 
1369
        mulq    $5,     $6,     $25
 
1370
        mulq    $7,     $5,     $5
 
1371
        addq    $1,     $24,    $24
 
1372
        addq    $28,    $25,    $28
 
1373
        cmpult  $28,    $25,    $1
 
1374
        mulq    $6,     $8,     $6
 
1375
        beq     $1,     $265
 
1376
        sll     $21,    32,     $1
 
1377
        addq    $6,     $1,     $6
 
1378
$265:
 
1379
        sll     $28,    32,     $25
 
1380
        ldq     $2,     24($18)
 
1381
        addq    $5,     $25,    $5
 
1382
        bis     $5,     $5,     $7
 
1383
        ldq     $4,     24($17)
 
1384
        addq    $23,    $7,     $23
 
1385
        srl     $2,     32,     $8
 
1386
        cmpult  $23,    $7,     $3
 
1387
        zapnot  $4,     15,     $7
 
1388
        mulq    $8,     $7,     $0
 
1389
        srl     $28,    32,     $1
 
1390
        addq    $6,     $1,     $6
 
1391
        cmpult  $5,     $25,    $1
 
1392
        zapnot  $2,     15,     $5
 
1393
        addq    $1,     $6,     $6
 
1394
        addq    $3,     $6,     $6
 
1395
        addq    $22,    $6,     $22
 
1396
        cmpult  $22,    $6,     $1
 
1397
        srl     $4,     32,     $6
 
1398
        mulq    $5,     $6,     $25
 
1399
        mulq    $7,     $5,     $5
 
1400
        addq    $1,     $24,    $24
 
1401
        addq    $0,     $25,    $0
 
1402
        cmpult  $0,     $25,    $1
 
1403
        mulq    $6,     $8,     $6
 
1404
        beq     $1,     $269
 
1405
        sll     $21,    32,     $1
 
1406
        addq    $6,     $1,     $6
 
1407
$269:
 
1408
        sll     $0,     32,     $25
 
1409
        ldq     $2,     32($18)
 
1410
        addq    $5,     $25,    $5
 
1411
        bis     $5,     $5,     $7
 
1412
        ldq     $4,     16($17)
 
1413
        addq    $23,    $7,     $23
 
1414
        srl     $2,     32,     $8
 
1415
        cmpult  $23,    $7,     $3
 
1416
        zapnot  $4,     15,     $7
 
1417
        mulq    $8,     $7,     $28
 
1418
        srl     $0,     32,     $1
 
1419
        addq    $6,     $1,     $6
 
1420
        cmpult  $5,     $25,    $1
 
1421
        zapnot  $2,     15,     $5
 
1422
        addq    $1,     $6,     $6
 
1423
        addq    $3,     $6,     $6
 
1424
        addq    $22,    $6,     $22
 
1425
        cmpult  $22,    $6,     $1
 
1426
        srl     $4,     32,     $6
 
1427
        mulq    $5,     $6,     $25
 
1428
        mulq    $7,     $5,     $5
 
1429
        addq    $1,     $24,    $24
 
1430
        addq    $28,    $25,    $28
 
1431
        cmpult  $28,    $25,    $1
 
1432
        mulq    $6,     $8,     $6
 
1433
        beq     $1,     $273
 
1434
        sll     $21,    32,     $1
 
1435
        addq    $6,     $1,     $6
 
1436
$273:
 
1437
        sll     $28,    32,     $25
 
1438
        ldq     $2,     40($18)
 
1439
        addq    $5,     $25,    $5
 
1440
        bis     $5,     $5,     $7
 
1441
        ldq     $4,     8($17)
 
1442
        addq    $23,    $7,     $23
 
1443
        srl     $2,     32,     $8
 
1444
        cmpult  $23,    $7,     $3
 
1445
        zapnot  $4,     15,     $7
 
1446
        mulq    $8,     $7,     $0
 
1447
        srl     $28,    32,     $1
 
1448
        addq    $6,     $1,     $6
 
1449
        cmpult  $5,     $25,    $1
 
1450
        zapnot  $2,     15,     $5
 
1451
        addq    $1,     $6,     $6
 
1452
        addq    $3,     $6,     $6
 
1453
        addq    $22,    $6,     $22
 
1454
        cmpult  $22,    $6,     $1
 
1455
        srl     $4,     32,     $6
 
1456
        mulq    $5,     $6,     $25
 
1457
        mulq    $7,     $5,     $5
 
1458
        addq    $1,     $24,    $24
 
1459
        addq    $0,     $25,    $0
 
1460
        cmpult  $0,     $25,    $1
 
1461
        mulq    $6,     $8,     $6
 
1462
        beq     $1,     $277
 
1463
        sll     $21,    32,     $1
 
1464
        addq    $6,     $1,     $6
 
1465
$277:
 
1466
        sll     $0,     32,     $25
 
1467
        ldq     $2,     48($18)
 
1468
        addq    $5,     $25,    $5
 
1469
        bis     $5,     $5,     $7
 
1470
        ldq     $4,     0($17)
 
1471
        addq    $23,    $7,     $23
 
1472
        srl     $2,     32,     $8
 
1473
        cmpult  $23,    $7,     $3
 
1474
        zapnot  $4,     15,     $7
 
1475
        mulq    $8,     $7,     $28
 
1476
        srl     $0,     32,     $1
 
1477
        addq    $6,     $1,     $6
 
1478
        cmpult  $5,     $25,    $1
 
1479
        zapnot  $2,     15,     $5
 
1480
        addq    $1,     $6,     $6
 
1481
        addq    $3,     $6,     $6
 
1482
        addq    $22,    $6,     $22
 
1483
        cmpult  $22,    $6,     $1
 
1484
        srl     $4,     32,     $6
 
1485
        mulq    $5,     $6,     $25
 
1486
        mulq    $7,     $5,     $2
 
1487
        addq    $1,     $24,    $24
 
1488
        addq    $28,    $25,    $28
 
1489
        cmpult  $28,    $25,    $1
 
1490
        mulq    $6,     $8,     $6
 
1491
        beq     $1,     $281
 
1492
        sll     $21,    32,     $1
 
1493
        addq    $6,     $1,     $6
 
1494
$281:
 
1495
        sll     $28,    32,     $25
 
1496
        addq    $2,     $25,    $2
 
1497
        bis     $2,     $2,     $7
 
1498
        addq    $23,    $7,     $23
 
1499
        stq     $23,    48($16)
 
1500
        ldq     $4,     0($17)
 
1501
        ldq     $5,     56($18)
 
1502
        cmpult  $23,    $7,     $3
 
1503
        zapnot  $4,     15,     $7
 
1504
        srl     $5,     32,     $8
 
1505
        mulq    $8,     $7,     $0
 
1506
        srl     $28,    32,     $1
 
1507
        cmpult  $2,     $25,    $2
 
1508
        addq    $6,     $1,     $6
 
1509
        addq    $2,     $6,     $6
 
1510
        addq    $3,     $6,     $6
 
1511
        addq    $22,    $6,     $22
 
1512
        cmpult  $22,    $6,     $1
 
1513
        srl     $4,     32,     $6
 
1514
        zapnot  $5,     15,     $5
 
1515
        mulq    $5,     $6,     $23
 
1516
        mulq    $7,     $5,     $2
 
1517
        addq    $1,     $24,    $24
 
1518
        addq    $0,     $23,    $0
 
1519
        cmpult  $0,     $23,    $1
 
1520
        mulq    $6,     $8,     $6
 
1521
        beq     $1,     $285
 
1522
        sll     $21,    32,     $1
 
1523
        addq    $6,     $1,     $6
 
1524
$285:
 
1525
        sll     $0,     32,     $23
 
1526
        ldq     $1,     48($18)
 
1527
        addq    $2,     $23,    $2
 
1528
        bis     $2,     $2,     $7
 
1529
        ldq     $4,     8($17)
 
1530
        addq    $22,    $7,     $22
 
1531
        srl     $1,     32,     $8
 
1532
        cmpult  $22,    $7,     $3
 
1533
        zapnot  $4,     15,     $7
 
1534
        mulq    $8,     $7,     $25
 
1535
        zapnot  $1,     15,     $5
 
1536
        mulq    $7,     $5,     $21
 
1537
        srl     $0,     32,     $1
 
1538
        cmpult  $2,     $23,    $2
 
1539
        addq    $6,     $1,     $6
 
1540
        addq    $2,     $6,     $6
 
1541
        addq    $3,     $6,     $6
 
1542
        addq    $24,    $6,     $24
 
1543
        cmpult  $24,    $6,     $23
 
1544
        srl     $4,     32,     $6
 
1545
        mulq    $5,     $6,     $5
 
1546
        bis     $31,    1,      $20
 
1547
        addq    $25,    $5,     $25
 
1548
        cmpult  $25,    $5,     $1
 
1549
        mulq    $6,     $8,     $6
 
1550
        beq     $1,     $289
 
1551
        sll     $20,    32,     $1
 
1552
        addq    $6,     $1,     $6
 
1553
$289:
 
1554
        sll     $25,    32,     $5
 
1555
        ldq     $2,     40($18)
 
1556
        addq    $21,    $5,     $21
 
1557
        bis     $21,    $21,    $7
 
1558
        ldq     $4,     16($17)
 
1559
        addq    $22,    $7,     $22
 
1560
        srl     $2,     32,     $8
 
1561
        cmpult  $22,    $7,     $3
 
1562
        zapnot  $4,     15,     $7
 
1563
        mulq    $8,     $7,     $28
 
1564
        srl     $25,    32,     $1
 
1565
        addq    $6,     $1,     $6
 
1566
        cmpult  $21,    $5,     $1
 
1567
        zapnot  $2,     15,     $5
 
1568
        addq    $1,     $6,     $6
 
1569
        addq    $3,     $6,     $6
 
1570
        addq    $24,    $6,     $24
 
1571
        cmpult  $24,    $6,     $1
 
1572
        srl     $4,     32,     $6
 
1573
        mulq    $5,     $6,     $25
 
1574
        mulq    $7,     $5,     $5
 
1575
        addq    $1,     $23,    $23
 
1576
        addq    $28,    $25,    $28
 
1577
        cmpult  $28,    $25,    $1
 
1578
        mulq    $6,     $8,     $6
 
1579
        beq     $1,     $293
 
1580
        sll     $20,    32,     $1
 
1581
        addq    $6,     $1,     $6
 
1582
$293:
 
1583
        sll     $28,    32,     $25
 
1584
        ldq     $2,     32($18)
 
1585
        addq    $5,     $25,    $5
 
1586
        bis     $5,     $5,     $7
 
1587
        ldq     $4,     24($17)
 
1588
        addq    $22,    $7,     $22
 
1589
        srl     $2,     32,     $8
 
1590
        cmpult  $22,    $7,     $3
 
1591
        zapnot  $4,     15,     $7
 
1592
        mulq    $8,     $7,     $0
 
1593
        srl     $28,    32,     $1
 
1594
        addq    $6,     $1,     $6
 
1595
        cmpult  $5,     $25,    $1
 
1596
        zapnot  $2,     15,     $5
 
1597
        addq    $1,     $6,     $6
 
1598
        addq    $3,     $6,     $6
 
1599
        addq    $24,    $6,     $24
 
1600
        cmpult  $24,    $6,     $1
 
1601
        srl     $4,     32,     $6
 
1602
        mulq    $5,     $6,     $25
 
1603
        mulq    $7,     $5,     $5
 
1604
        addq    $1,     $23,    $23
 
1605
        addq    $0,     $25,    $0
 
1606
        cmpult  $0,     $25,    $1
 
1607
        mulq    $6,     $8,     $6
 
1608
        beq     $1,     $297
 
1609
        sll     $20,    32,     $1
 
1610
        addq    $6,     $1,     $6
 
1611
$297:
 
1612
        sll     $0,     32,     $25
 
1613
        ldq     $2,     24($18)
 
1614
        addq    $5,     $25,    $5
 
1615
        bis     $5,     $5,     $7
 
1616
        ldq     $4,     32($17)
 
1617
        addq    $22,    $7,     $22
 
1618
        srl     $2,     32,     $8
 
1619
        cmpult  $22,    $7,     $3
 
1620
        zapnot  $4,     15,     $7
 
1621
        mulq    $8,     $7,     $28
 
1622
        srl     $0,     32,     $1
 
1623
        addq    $6,     $1,     $6
 
1624
        cmpult  $5,     $25,    $1
 
1625
        zapnot  $2,     15,     $5
 
1626
        addq    $1,     $6,     $6
 
1627
        addq    $3,     $6,     $6
 
1628
        addq    $24,    $6,     $24
 
1629
        cmpult  $24,    $6,     $1
 
1630
        srl     $4,     32,     $6
 
1631
        mulq    $5,     $6,     $25
 
1632
        mulq    $7,     $5,     $5
 
1633
        addq    $1,     $23,    $23
 
1634
        addq    $28,    $25,    $28
 
1635
        cmpult  $28,    $25,    $1
 
1636
        mulq    $6,     $8,     $6
 
1637
        beq     $1,     $301
 
1638
        sll     $20,    32,     $1
 
1639
        addq    $6,     $1,     $6
 
1640
$301:
 
1641
        sll     $28,    32,     $25
 
1642
        ldq     $2,     16($18)
 
1643
        addq    $5,     $25,    $5
 
1644
        bis     $5,     $5,     $7
 
1645
        ldq     $4,     40($17)
 
1646
        addq    $22,    $7,     $22
 
1647
        srl     $2,     32,     $8
 
1648
        cmpult  $22,    $7,     $3
 
1649
        zapnot  $4,     15,     $7
 
1650
        mulq    $8,     $7,     $0
 
1651
        srl     $28,    32,     $1
 
1652
        addq    $6,     $1,     $6
 
1653
        cmpult  $5,     $25,    $1
 
1654
        zapnot  $2,     15,     $5
 
1655
        addq    $1,     $6,     $6
 
1656
        addq    $3,     $6,     $6
 
1657
        addq    $24,    $6,     $24
 
1658
        cmpult  $24,    $6,     $1
 
1659
        srl     $4,     32,     $6
 
1660
        mulq    $5,     $6,     $25
 
1661
        mulq    $7,     $5,     $5
 
1662
        addq    $1,     $23,    $23
 
1663
        addq    $0,     $25,    $0
 
1664
        cmpult  $0,     $25,    $1
 
1665
        mulq    $6,     $8,     $6
 
1666
        beq     $1,     $305
 
1667
        sll     $20,    32,     $1
 
1668
        addq    $6,     $1,     $6
 
1669
$305:
 
1670
        sll     $0,     32,     $25
 
1671
        ldq     $2,     8($18)
 
1672
        addq    $5,     $25,    $5
 
1673
        bis     $5,     $5,     $7
 
1674
        ldq     $4,     48($17)
 
1675
        addq    $22,    $7,     $22
 
1676
        srl     $2,     32,     $8
 
1677
        cmpult  $22,    $7,     $3
 
1678
        zapnot  $4,     15,     $7
 
1679
        mulq    $8,     $7,     $28
 
1680
        srl     $0,     32,     $1
 
1681
        addq    $6,     $1,     $6
 
1682
        cmpult  $5,     $25,    $1
 
1683
        zapnot  $2,     15,     $5
 
1684
        addq    $1,     $6,     $6
 
1685
        addq    $3,     $6,     $6
 
1686
        addq    $24,    $6,     $24
 
1687
        cmpult  $24,    $6,     $1
 
1688
        srl     $4,     32,     $6
 
1689
        mulq    $5,     $6,     $25
 
1690
        mulq    $7,     $5,     $5
 
1691
        addq    $1,     $23,    $23
 
1692
        addq    $28,    $25,    $28
 
1693
        cmpult  $28,    $25,    $1
 
1694
        mulq    $6,     $8,     $6
 
1695
        beq     $1,     $309
 
1696
        sll     $20,    32,     $1
 
1697
        addq    $6,     $1,     $6
 
1698
$309:
 
1699
        sll     $28,    32,     $25
 
1700
        ldq     $2,     0($18)
 
1701
        addq    $5,     $25,    $5
 
1702
        bis     $5,     $5,     $7
 
1703
        ldq     $4,     56($17)
 
1704
        addq    $22,    $7,     $22
 
1705
        srl     $2,     32,     $8
 
1706
        cmpult  $22,    $7,     $3
 
1707
        zapnot  $4,     15,     $7
 
1708
        mulq    $8,     $7,     $0
 
1709
        srl     $28,    32,     $1
 
1710
        addq    $6,     $1,     $6
 
1711
        cmpult  $5,     $25,    $1
 
1712
        zapnot  $2,     15,     $5
 
1713
        addq    $1,     $6,     $6
 
1714
        addq    $3,     $6,     $6
 
1715
        addq    $24,    $6,     $24
 
1716
        cmpult  $24,    $6,     $1
 
1717
        srl     $4,     32,     $6
 
1718
        mulq    $5,     $6,     $25
 
1719
        mulq    $7,     $5,     $2
 
1720
        addq    $1,     $23,    $23
 
1721
        addq    $0,     $25,    $0
 
1722
        cmpult  $0,     $25,    $1
 
1723
        mulq    $6,     $8,     $6
 
1724
        beq     $1,     $313
 
1725
        sll     $20,    32,     $1
 
1726
        addq    $6,     $1,     $6
 
1727
$313:
 
1728
        sll     $0,     32,     $25
 
1729
        addq    $2,     $25,    $2
 
1730
        bis     $2,     $2,     $7
 
1731
        addq    $22,    $7,     $22
 
1732
        stq     $22,    56($16)
 
1733
        ldq     $4,     56($17)
 
1734
        ldq     $5,     8($18)
 
1735
        cmpult  $22,    $7,     $3
 
1736
        zapnot  $4,     15,     $7
 
1737
        srl     $5,     32,     $8
 
1738
        mulq    $8,     $7,     $28
 
1739
        srl     $0,     32,     $1
 
1740
        cmpult  $2,     $25,    $2
 
1741
        addq    $6,     $1,     $6
 
1742
        addq    $2,     $6,     $6
 
1743
        addq    $3,     $6,     $6
 
1744
        addq    $24,    $6,     $24
 
1745
        cmpult  $24,    $6,     $1
 
1746
        srl     $4,     32,     $6
 
1747
        zapnot  $5,     15,     $5
 
1748
        mulq    $5,     $6,     $22
 
1749
        mulq    $7,     $5,     $2
 
1750
        addq    $1,     $23,    $23
 
1751
        addq    $28,    $22,    $28
 
1752
        cmpult  $28,    $22,    $1
 
1753
        mulq    $6,     $8,     $6
 
1754
        beq     $1,     $317
 
1755
        sll     $20,    32,     $1
 
1756
        addq    $6,     $1,     $6
 
1757
$317:
 
1758
        sll     $28,    32,     $22
 
1759
        ldq     $1,     16($18)
 
1760
        addq    $2,     $22,    $2
 
1761
        bis     $2,     $2,     $7
 
1762
        ldq     $4,     48($17)
 
1763
        addq    $24,    $7,     $24
 
1764
        srl     $1,     32,     $8
 
1765
        cmpult  $24,    $7,     $3
 
1766
        zapnot  $4,     15,     $7
 
1767
        mulq    $8,     $7,     $25
 
1768
        zapnot  $1,     15,     $5
 
1769
        mulq    $7,     $5,     $0
 
1770
        srl     $28,    32,     $1
 
1771
        cmpult  $2,     $22,    $2
 
1772
        addq    $6,     $1,     $6
 
1773
        addq    $2,     $6,     $6
 
1774
        addq    $3,     $6,     $6
 
1775
        addq    $23,    $6,     $23
 
1776
        cmpult  $23,    $6,     $22
 
1777
        srl     $4,     32,     $6
 
1778
        mulq    $5,     $6,     $5
 
1779
        bis     $31,    1,      $21
 
1780
        addq    $25,    $5,     $25
 
1781
        cmpult  $25,    $5,     $1
 
1782
        mulq    $6,     $8,     $6
 
1783
        beq     $1,     $321
 
1784
        sll     $21,    32,     $1
 
1785
        addq    $6,     $1,     $6
 
1786
$321:
 
1787
        sll     $25,    32,     $5
 
1788
        ldq     $2,     24($18)
 
1789
        addq    $0,     $5,     $0
 
1790
        bis     $0,     $0,     $7
 
1791
        ldq     $4,     40($17)
 
1792
        addq    $24,    $7,     $24
 
1793
        srl     $2,     32,     $8
 
1794
        cmpult  $24,    $7,     $3
 
1795
        zapnot  $4,     15,     $7
 
1796
        mulq    $8,     $7,     $28
 
1797
        srl     $25,    32,     $1
 
1798
        addq    $6,     $1,     $6
 
1799
        cmpult  $0,     $5,     $1
 
1800
        zapnot  $2,     15,     $5
 
1801
        addq    $1,     $6,     $6
 
1802
        addq    $3,     $6,     $6
 
1803
        addq    $23,    $6,     $23
 
1804
        cmpult  $23,    $6,     $1
 
1805
        srl     $4,     32,     $6
 
1806
        mulq    $5,     $6,     $25
 
1807
        mulq    $7,     $5,     $5
 
1808
        addq    $1,     $22,    $22
 
1809
        addq    $28,    $25,    $28
 
1810
        cmpult  $28,    $25,    $1
 
1811
        mulq    $6,     $8,     $6
 
1812
        beq     $1,     $325
 
1813
        sll     $21,    32,     $1
 
1814
        addq    $6,     $1,     $6
 
1815
$325:
 
1816
        sll     $28,    32,     $25
 
1817
        ldq     $2,     32($18)
 
1818
        addq    $5,     $25,    $5
 
1819
        bis     $5,     $5,     $7
 
1820
        ldq     $4,     32($17)
 
1821
        addq    $24,    $7,     $24
 
1822
        srl     $2,     32,     $8
 
1823
        cmpult  $24,    $7,     $3
 
1824
        zapnot  $4,     15,     $7
 
1825
        mulq    $8,     $7,     $0
 
1826
        srl     $28,    32,     $1
 
1827
        addq    $6,     $1,     $6
 
1828
        cmpult  $5,     $25,    $1
 
1829
        zapnot  $2,     15,     $5
 
1830
        addq    $1,     $6,     $6
 
1831
        addq    $3,     $6,     $6
 
1832
        addq    $23,    $6,     $23
 
1833
        cmpult  $23,    $6,     $1
 
1834
        srl     $4,     32,     $6
 
1835
        mulq    $5,     $6,     $25
 
1836
        mulq    $7,     $5,     $5
 
1837
        addq    $1,     $22,    $22
 
1838
        addq    $0,     $25,    $0
 
1839
        cmpult  $0,     $25,    $1
 
1840
        mulq    $6,     $8,     $6
 
1841
        beq     $1,     $329
 
1842
        sll     $21,    32,     $1
 
1843
        addq    $6,     $1,     $6
 
1844
$329:
 
1845
        sll     $0,     32,     $25
 
1846
        ldq     $2,     40($18)
 
1847
        addq    $5,     $25,    $5
 
1848
        bis     $5,     $5,     $7
 
1849
        ldq     $4,     24($17)
 
1850
        addq    $24,    $7,     $24
 
1851
        srl     $2,     32,     $8
 
1852
        cmpult  $24,    $7,     $3
 
1853
        zapnot  $4,     15,     $7
 
1854
        mulq    $8,     $7,     $28
 
1855
        srl     $0,     32,     $1
 
1856
        addq    $6,     $1,     $6
 
1857
        cmpult  $5,     $25,    $1
 
1858
        zapnot  $2,     15,     $5
 
1859
        addq    $1,     $6,     $6
 
1860
        addq    $3,     $6,     $6
 
1861
        addq    $23,    $6,     $23
 
1862
        cmpult  $23,    $6,     $1
 
1863
        srl     $4,     32,     $6
 
1864
        mulq    $5,     $6,     $25
 
1865
        mulq    $7,     $5,     $5
 
1866
        addq    $1,     $22,    $22
 
1867
        addq    $28,    $25,    $28
 
1868
        cmpult  $28,    $25,    $1
 
1869
        mulq    $6,     $8,     $6
 
1870
        beq     $1,     $333
 
1871
        sll     $21,    32,     $1
 
1872
        addq    $6,     $1,     $6
 
1873
$333:
 
1874
        sll     $28,    32,     $25
 
1875
        ldq     $2,     48($18)
 
1876
        addq    $5,     $25,    $5
 
1877
        bis     $5,     $5,     $7
 
1878
        ldq     $4,     16($17)
 
1879
        addq    $24,    $7,     $24
 
1880
        srl     $2,     32,     $8
 
1881
        cmpult  $24,    $7,     $3
 
1882
        zapnot  $4,     15,     $7
 
1883
        mulq    $8,     $7,     $0
 
1884
        srl     $28,    32,     $1
 
1885
        addq    $6,     $1,     $6
 
1886
        cmpult  $5,     $25,    $1
 
1887
        zapnot  $2,     15,     $5
 
1888
        addq    $1,     $6,     $6
 
1889
        addq    $3,     $6,     $6
 
1890
        addq    $23,    $6,     $23
 
1891
        cmpult  $23,    $6,     $1
 
1892
        srl     $4,     32,     $6
 
1893
        mulq    $5,     $6,     $25
 
1894
        mulq    $7,     $5,     $5
 
1895
        addq    $1,     $22,    $22
 
1896
        addq    $0,     $25,    $0
 
1897
        cmpult  $0,     $25,    $1
 
1898
        mulq    $6,     $8,     $6
 
1899
        beq     $1,     $337
 
1900
        sll     $21,    32,     $1
 
1901
        addq    $6,     $1,     $6
 
1902
$337:
 
1903
        sll     $0,     32,     $25
 
1904
        ldq     $2,     56($18)
 
1905
        addq    $5,     $25,    $5
 
1906
        bis     $5,     $5,     $7
 
1907
        ldq     $4,     8($17)
 
1908
        addq    $24,    $7,     $24
 
1909
        srl     $2,     32,     $8
 
1910
        cmpult  $24,    $7,     $3
 
1911
        zapnot  $4,     15,     $7
 
1912
        mulq    $8,     $7,     $28
 
1913
        srl     $0,     32,     $1
 
1914
        addq    $6,     $1,     $6
 
1915
        cmpult  $5,     $25,    $1
 
1916
        zapnot  $2,     15,     $5
 
1917
        addq    $1,     $6,     $6
 
1918
        addq    $3,     $6,     $6
 
1919
        addq    $23,    $6,     $23
 
1920
        cmpult  $23,    $6,     $1
 
1921
        srl     $4,     32,     $6
 
1922
        mulq    $5,     $6,     $25
 
1923
        mulq    $7,     $5,     $2
 
1924
        addq    $1,     $22,    $22
 
1925
        addq    $28,    $25,    $28
 
1926
        cmpult  $28,    $25,    $1
 
1927
        mulq    $6,     $8,     $6
 
1928
        beq     $1,     $341
 
1929
        sll     $21,    32,     $1
 
1930
        addq    $6,     $1,     $6
 
1931
$341:
 
1932
        sll     $28,    32,     $25
 
1933
        addq    $2,     $25,    $2
 
1934
        bis     $2,     $2,     $7
 
1935
        addq    $24,    $7,     $24
 
1936
        stq     $24,    64($16)
 
1937
        ldq     $4,     16($17)
 
1938
        ldq     $5,     56($18)
 
1939
        cmpult  $24,    $7,     $3
 
1940
        zapnot  $4,     15,     $7
 
1941
        srl     $5,     32,     $8
 
1942
        mulq    $8,     $7,     $0
 
1943
        srl     $28,    32,     $1
 
1944
        cmpult  $2,     $25,    $2
 
1945
        addq    $6,     $1,     $6
 
1946
        addq    $2,     $6,     $6
 
1947
        addq    $3,     $6,     $6
 
1948
        addq    $23,    $6,     $23
 
1949
        cmpult  $23,    $6,     $1
 
1950
        srl     $4,     32,     $6
 
1951
        zapnot  $5,     15,     $5
 
1952
        mulq    $5,     $6,     $24
 
1953
        mulq    $7,     $5,     $2
 
1954
        addq    $1,     $22,    $22
 
1955
        addq    $0,     $24,    $0
 
1956
        cmpult  $0,     $24,    $1
 
1957
        mulq    $6,     $8,     $6
 
1958
        beq     $1,     $345
 
1959
        sll     $21,    32,     $1
 
1960
        addq    $6,     $1,     $6
 
1961
$345:
 
1962
        sll     $0,     32,     $24
 
1963
        ldq     $1,     48($18)
 
1964
        addq    $2,     $24,    $2
 
1965
        bis     $2,     $2,     $7
 
1966
        ldq     $4,     24($17)
 
1967
        addq    $23,    $7,     $23
 
1968
        srl     $1,     32,     $8
 
1969
        cmpult  $23,    $7,     $3
 
1970
        zapnot  $4,     15,     $7
 
1971
        mulq    $8,     $7,     $25
 
1972
        zapnot  $1,     15,     $5
 
1973
        mulq    $7,     $5,     $21
 
1974
        srl     $0,     32,     $1
 
1975
        cmpult  $2,     $24,    $2
 
1976
        addq    $6,     $1,     $6
 
1977
        addq    $2,     $6,     $6
 
1978
        addq    $3,     $6,     $6
 
1979
        addq    $22,    $6,     $22
 
1980
        cmpult  $22,    $6,     $24
 
1981
        srl     $4,     32,     $6
 
1982
        mulq    $5,     $6,     $5
 
1983
        bis     $31,    1,      $20
 
1984
        addq    $25,    $5,     $25
 
1985
        cmpult  $25,    $5,     $1
 
1986
        mulq    $6,     $8,     $6
 
1987
        beq     $1,     $349
 
1988
        sll     $20,    32,     $1
 
1989
        addq    $6,     $1,     $6
 
1990
$349:
 
1991
        sll     $25,    32,     $5
 
1992
        ldq     $2,     40($18)
 
1993
        addq    $21,    $5,     $21
 
1994
        bis     $21,    $21,    $7
 
1995
        ldq     $4,     32($17)
 
1996
        addq    $23,    $7,     $23
 
1997
        srl     $2,     32,     $8
 
1998
        cmpult  $23,    $7,     $3
 
1999
        zapnot  $4,     15,     $7
 
2000
        mulq    $8,     $7,     $28
 
2001
        srl     $25,    32,     $1
 
2002
        addq    $6,     $1,     $6
 
2003
        cmpult  $21,    $5,     $1
 
2004
        zapnot  $2,     15,     $5
 
2005
        addq    $1,     $6,     $6
 
2006
        addq    $3,     $6,     $6
 
2007
        addq    $22,    $6,     $22
 
2008
        cmpult  $22,    $6,     $1
 
2009
        srl     $4,     32,     $6
 
2010
        mulq    $5,     $6,     $25
 
2011
        mulq    $7,     $5,     $5
 
2012
        addq    $1,     $24,    $24
 
2013
        addq    $28,    $25,    $28
 
2014
        cmpult  $28,    $25,    $1
 
2015
        mulq    $6,     $8,     $6
 
2016
        beq     $1,     $353
 
2017
        sll     $20,    32,     $1
 
2018
        addq    $6,     $1,     $6
 
2019
$353:
 
2020
        sll     $28,    32,     $25
 
2021
        ldq     $2,     32($18)
 
2022
        addq    $5,     $25,    $5
 
2023
        bis     $5,     $5,     $7
 
2024
        ldq     $4,     40($17)
 
2025
        addq    $23,    $7,     $23
 
2026
        srl     $2,     32,     $8
 
2027
        cmpult  $23,    $7,     $3
 
2028
        zapnot  $4,     15,     $7
 
2029
        mulq    $8,     $7,     $0
 
2030
        srl     $28,    32,     $1
 
2031
        addq    $6,     $1,     $6
 
2032
        cmpult  $5,     $25,    $1
 
2033
        zapnot  $2,     15,     $5
 
2034
        addq    $1,     $6,     $6
 
2035
        addq    $3,     $6,     $6
 
2036
        addq    $22,    $6,     $22
 
2037
        cmpult  $22,    $6,     $1
 
2038
        srl     $4,     32,     $6
 
2039
        mulq    $5,     $6,     $25
 
2040
        mulq    $7,     $5,     $5
 
2041
        addq    $1,     $24,    $24
 
2042
        addq    $0,     $25,    $0
 
2043
        cmpult  $0,     $25,    $1
 
2044
        mulq    $6,     $8,     $6
 
2045
        beq     $1,     $357
 
2046
        sll     $20,    32,     $1
 
2047
        addq    $6,     $1,     $6
 
2048
$357:
 
2049
        sll     $0,     32,     $25
 
2050
        ldq     $2,     24($18)
 
2051
        addq    $5,     $25,    $5
 
2052
        bis     $5,     $5,     $7
 
2053
        ldq     $4,     48($17)
 
2054
        addq    $23,    $7,     $23
 
2055
        srl     $2,     32,     $8
 
2056
        cmpult  $23,    $7,     $3
 
2057
        zapnot  $4,     15,     $7
 
2058
        mulq    $8,     $7,     $28
 
2059
        srl     $0,     32,     $1
 
2060
        addq    $6,     $1,     $6
 
2061
        cmpult  $5,     $25,    $1
 
2062
        zapnot  $2,     15,     $5
 
2063
        addq    $1,     $6,     $6
 
2064
        addq    $3,     $6,     $6
 
2065
        addq    $22,    $6,     $22
 
2066
        cmpult  $22,    $6,     $1
 
2067
        srl     $4,     32,     $6
 
2068
        mulq    $5,     $6,     $25
 
2069
        mulq    $7,     $5,     $5
 
2070
        addq    $1,     $24,    $24
 
2071
        addq    $28,    $25,    $28
 
2072
        cmpult  $28,    $25,    $1
 
2073
        mulq    $6,     $8,     $6
 
2074
        beq     $1,     $361
 
2075
        sll     $20,    32,     $1
 
2076
        addq    $6,     $1,     $6
 
2077
$361:
 
2078
        sll     $28,    32,     $25
 
2079
        ldq     $2,     16($18)
 
2080
        addq    $5,     $25,    $5
 
2081
        bis     $5,     $5,     $7
 
2082
        ldq     $4,     56($17)
 
2083
        addq    $23,    $7,     $23
 
2084
        srl     $2,     32,     $8
 
2085
        cmpult  $23,    $7,     $3
 
2086
        zapnot  $4,     15,     $7
 
2087
        mulq    $8,     $7,     $0
 
2088
        srl     $28,    32,     $1
 
2089
        addq    $6,     $1,     $6
 
2090
        cmpult  $5,     $25,    $1
 
2091
        zapnot  $2,     15,     $5
 
2092
        addq    $1,     $6,     $6
 
2093
        addq    $3,     $6,     $6
 
2094
        addq    $22,    $6,     $22
 
2095
        cmpult  $22,    $6,     $1
 
2096
        srl     $4,     32,     $6
 
2097
        mulq    $5,     $6,     $25
 
2098
        mulq    $7,     $5,     $2
 
2099
        addq    $1,     $24,    $24
 
2100
        addq    $0,     $25,    $0
 
2101
        cmpult  $0,     $25,    $1
 
2102
        mulq    $6,     $8,     $6
 
2103
        beq     $1,     $365
 
2104
        sll     $20,    32,     $1
 
2105
        addq    $6,     $1,     $6
 
2106
$365:
 
2107
        sll     $0,     32,     $25
 
2108
        addq    $2,     $25,    $2
 
2109
        bis     $2,     $2,     $7
 
2110
        addq    $23,    $7,     $23
 
2111
        stq     $23,    72($16)
 
2112
        ldq     $4,     56($17)
 
2113
        ldq     $5,     24($18)
 
2114
        cmpult  $23,    $7,     $3
 
2115
        zapnot  $4,     15,     $7
 
2116
        srl     $5,     32,     $8
 
2117
        mulq    $8,     $7,     $28
 
2118
        srl     $0,     32,     $1
 
2119
        cmpult  $2,     $25,    $2
 
2120
        addq    $6,     $1,     $6
 
2121
        addq    $2,     $6,     $6
 
2122
        addq    $3,     $6,     $6
 
2123
        addq    $22,    $6,     $22
 
2124
        cmpult  $22,    $6,     $1
 
2125
        srl     $4,     32,     $6
 
2126
        zapnot  $5,     15,     $5
 
2127
        mulq    $5,     $6,     $23
 
2128
        mulq    $7,     $5,     $2
 
2129
        addq    $1,     $24,    $24
 
2130
        addq    $28,    $23,    $28
 
2131
        cmpult  $28,    $23,    $1
 
2132
        mulq    $6,     $8,     $6
 
2133
        beq     $1,     $369
 
2134
        sll     $20,    32,     $1
 
2135
        addq    $6,     $1,     $6
 
2136
$369:
 
2137
        sll     $28,    32,     $23
 
2138
        ldq     $1,     32($18)
 
2139
        addq    $2,     $23,    $2
 
2140
        bis     $2,     $2,     $7
 
2141
        ldq     $4,     48($17)
 
2142
        addq    $22,    $7,     $22
 
2143
        srl     $1,     32,     $8
 
2144
        cmpult  $22,    $7,     $3
 
2145
        zapnot  $4,     15,     $7
 
2146
        mulq    $8,     $7,     $25
 
2147
        zapnot  $1,     15,     $5
 
2148
        mulq    $7,     $5,     $0
 
2149
        srl     $28,    32,     $1
 
2150
        cmpult  $2,     $23,    $2
 
2151
        addq    $6,     $1,     $6
 
2152
        addq    $2,     $6,     $6
 
2153
        addq    $3,     $6,     $6
 
2154
        addq    $24,    $6,     $24
 
2155
        cmpult  $24,    $6,     $23
 
2156
        srl     $4,     32,     $6
 
2157
        mulq    $5,     $6,     $5
 
2158
        bis     $31,    1,      $21
 
2159
        addq    $25,    $5,     $25
 
2160
        cmpult  $25,    $5,     $1
 
2161
        mulq    $6,     $8,     $6
 
2162
        beq     $1,     $373
 
2163
        sll     $21,    32,     $1
 
2164
        addq    $6,     $1,     $6
 
2165
$373:
 
2166
        sll     $25,    32,     $5
 
2167
        ldq     $2,     40($18)
 
2168
        addq    $0,     $5,     $0
 
2169
        bis     $0,     $0,     $7
 
2170
        ldq     $4,     40($17)
 
2171
        addq    $22,    $7,     $22
 
2172
        srl     $2,     32,     $8
 
2173
        cmpult  $22,    $7,     $3
 
2174
        zapnot  $4,     15,     $7
 
2175
        mulq    $8,     $7,     $28
 
2176
        srl     $25,    32,     $1
 
2177
        addq    $6,     $1,     $6
 
2178
        cmpult  $0,     $5,     $1
 
2179
        zapnot  $2,     15,     $5
 
2180
        addq    $1,     $6,     $6
 
2181
        addq    $3,     $6,     $6
 
2182
        addq    $24,    $6,     $24
 
2183
        cmpult  $24,    $6,     $1
 
2184
        srl     $4,     32,     $6
 
2185
        mulq    $5,     $6,     $25
 
2186
        mulq    $7,     $5,     $5
 
2187
        addq    $1,     $23,    $23
 
2188
        addq    $28,    $25,    $28
 
2189
        cmpult  $28,    $25,    $1
 
2190
        mulq    $6,     $8,     $6
 
2191
        beq     $1,     $377
 
2192
        sll     $21,    32,     $1
 
2193
        addq    $6,     $1,     $6
 
2194
$377:
 
2195
        sll     $28,    32,     $25
 
2196
        ldq     $2,     48($18)
 
2197
        addq    $5,     $25,    $5
 
2198
        bis     $5,     $5,     $7
 
2199
        ldq     $4,     32($17)
 
2200
        addq    $22,    $7,     $22
 
2201
        srl     $2,     32,     $8
 
2202
        cmpult  $22,    $7,     $3
 
2203
        zapnot  $4,     15,     $7
 
2204
        mulq    $8,     $7,     $0
 
2205
        srl     $28,    32,     $1
 
2206
        addq    $6,     $1,     $6
 
2207
        cmpult  $5,     $25,    $1
 
2208
        zapnot  $2,     15,     $5
 
2209
        addq    $1,     $6,     $6
 
2210
        addq    $3,     $6,     $6
 
2211
        addq    $24,    $6,     $24
 
2212
        cmpult  $24,    $6,     $1
 
2213
        srl     $4,     32,     $6
 
2214
        mulq    $5,     $6,     $25
 
2215
        mulq    $7,     $5,     $5
 
2216
        addq    $1,     $23,    $23
 
2217
        addq    $0,     $25,    $0
 
2218
        cmpult  $0,     $25,    $1
 
2219
        mulq    $6,     $8,     $6
 
2220
        beq     $1,     $381
 
2221
        sll     $21,    32,     $1
 
2222
        addq    $6,     $1,     $6
 
2223
$381:
 
2224
        sll     $0,     32,     $25
 
2225
        ldq     $2,     56($18)
 
2226
        addq    $5,     $25,    $5
 
2227
        bis     $5,     $5,     $7
 
2228
        ldq     $4,     24($17)
 
2229
        addq    $22,    $7,     $22
 
2230
        srl     $2,     32,     $8
 
2231
        cmpult  $22,    $7,     $3
 
2232
        zapnot  $4,     15,     $7
 
2233
        mulq    $8,     $7,     $28
 
2234
        srl     $0,     32,     $1
 
2235
        addq    $6,     $1,     $6
 
2236
        cmpult  $5,     $25,    $1
 
2237
        zapnot  $2,     15,     $5
 
2238
        addq    $1,     $6,     $6
 
2239
        addq    $3,     $6,     $6
 
2240
        addq    $24,    $6,     $24
 
2241
        cmpult  $24,    $6,     $1
 
2242
        srl     $4,     32,     $6
 
2243
        mulq    $5,     $6,     $25
 
2244
        mulq    $7,     $5,     $2
 
2245
        addq    $1,     $23,    $23
 
2246
        addq    $28,    $25,    $28
 
2247
        cmpult  $28,    $25,    $1
 
2248
        mulq    $6,     $8,     $6
 
2249
        beq     $1,     $385
 
2250
        sll     $21,    32,     $1
 
2251
        addq    $6,     $1,     $6
 
2252
$385:
 
2253
        sll     $28,    32,     $25
 
2254
        addq    $2,     $25,    $2
 
2255
        bis     $2,     $2,     $7
 
2256
        addq    $22,    $7,     $22
 
2257
        stq     $22,    80($16)
 
2258
        ldq     $4,     32($17)
 
2259
        ldq     $5,     56($18)
 
2260
        cmpult  $22,    $7,     $3
 
2261
        zapnot  $4,     15,     $7
 
2262
        srl     $5,     32,     $8
 
2263
        mulq    $8,     $7,     $0
 
2264
        srl     $28,    32,     $1
 
2265
        cmpult  $2,     $25,    $2
 
2266
        addq    $6,     $1,     $6
 
2267
        addq    $2,     $6,     $6
 
2268
        addq    $3,     $6,     $6
 
2269
        addq    $24,    $6,     $24
 
2270
        cmpult  $24,    $6,     $1
 
2271
        srl     $4,     32,     $6
 
2272
        zapnot  $5,     15,     $5
 
2273
        mulq    $5,     $6,     $22
 
2274
        mulq    $7,     $5,     $2
 
2275
        addq    $1,     $23,    $23
 
2276
        addq    $0,     $22,    $0
 
2277
        cmpult  $0,     $22,    $1
 
2278
        mulq    $6,     $8,     $6
 
2279
        beq     $1,     $389
 
2280
        sll     $21,    32,     $1
 
2281
        addq    $6,     $1,     $6
 
2282
$389:
 
2283
        sll     $0,     32,     $22
 
2284
        ldq     $1,     48($18)
 
2285
        addq    $2,     $22,    $2
 
2286
        bis     $2,     $2,     $7
 
2287
        ldq     $4,     40($17)
 
2288
        addq    $24,    $7,     $24
 
2289
        srl     $1,     32,     $8
 
2290
        cmpult  $24,    $7,     $3
 
2291
        zapnot  $4,     15,     $7
 
2292
        mulq    $8,     $7,     $25
 
2293
        zapnot  $1,     15,     $5
 
2294
        mulq    $7,     $5,     $21
 
2295
        srl     $0,     32,     $1
 
2296
        cmpult  $2,     $22,    $2
 
2297
        addq    $6,     $1,     $6
 
2298
        addq    $2,     $6,     $6
 
2299
        addq    $3,     $6,     $6
 
2300
        addq    $23,    $6,     $23
 
2301
        cmpult  $23,    $6,     $22
 
2302
        srl     $4,     32,     $6
 
2303
        mulq    $5,     $6,     $5
 
2304
        bis     $31,    1,      $20
 
2305
        addq    $25,    $5,     $25
 
2306
        cmpult  $25,    $5,     $1
 
2307
        mulq    $6,     $8,     $6
 
2308
        beq     $1,     $393
 
2309
        sll     $20,    32,     $1
 
2310
        addq    $6,     $1,     $6
 
2311
$393:
 
2312
        sll     $25,    32,     $5
 
2313
        ldq     $2,     40($18)
 
2314
        addq    $21,    $5,     $21
 
2315
        bis     $21,    $21,    $7
 
2316
        ldq     $4,     48($17)
 
2317
        addq    $24,    $7,     $24
 
2318
        srl     $2,     32,     $8
 
2319
        cmpult  $24,    $7,     $3
 
2320
        zapnot  $4,     15,     $7
 
2321
        mulq    $8,     $7,     $28
 
2322
        srl     $25,    32,     $1
 
2323
        addq    $6,     $1,     $6
 
2324
        cmpult  $21,    $5,     $1
 
2325
        zapnot  $2,     15,     $5
 
2326
        addq    $1,     $6,     $6
 
2327
        addq    $3,     $6,     $6
 
2328
        addq    $23,    $6,     $23
 
2329
        cmpult  $23,    $6,     $1
 
2330
        srl     $4,     32,     $6
 
2331
        mulq    $5,     $6,     $25
 
2332
        mulq    $7,     $5,     $5
 
2333
        addq    $1,     $22,    $22
 
2334
        addq    $28,    $25,    $28
 
2335
        cmpult  $28,    $25,    $1
 
2336
        mulq    $6,     $8,     $6
 
2337
        beq     $1,     $397
 
2338
        sll     $20,    32,     $1
 
2339
        addq    $6,     $1,     $6
 
2340
$397:
 
2341
        sll     $28,    32,     $25
 
2342
        ldq     $2,     32($18)
 
2343
        addq    $5,     $25,    $5
 
2344
        bis     $5,     $5,     $7
 
2345
        ldq     $4,     56($17)
 
2346
        addq    $24,    $7,     $24
 
2347
        srl     $2,     32,     $8
 
2348
        cmpult  $24,    $7,     $3
 
2349
        zapnot  $4,     15,     $7
 
2350
        mulq    $8,     $7,     $21
 
2351
        srl     $28,    32,     $1
 
2352
        addq    $6,     $1,     $6
 
2353
        cmpult  $5,     $25,    $1
 
2354
        zapnot  $2,     15,     $5
 
2355
        addq    $1,     $6,     $6
 
2356
        addq    $3,     $6,     $6
 
2357
        addq    $23,    $6,     $23
 
2358
        cmpult  $23,    $6,     $1
 
2359
        srl     $4,     32,     $6
 
2360
        mulq    $5,     $6,     $25
 
2361
        mulq    $7,     $5,     $2
 
2362
        addq    $1,     $22,    $22
 
2363
        addq    $21,    $25,    $21
 
2364
        cmpult  $21,    $25,    $1
 
2365
        mulq    $6,     $8,     $6
 
2366
        beq     $1,     $401
 
2367
        sll     $20,    32,     $1
 
2368
        addq    $6,     $1,     $6
 
2369
$401:
 
2370
        sll     $21,    32,     $25
 
2371
        addq    $2,     $25,    $2
 
2372
        bis     $2,     $2,     $7
 
2373
        addq    $24,    $7,     $24
 
2374
        stq     $24,    88($16)
 
2375
        ldq     $4,     56($17)
 
2376
        ldq     $5,     40($18)
 
2377
        cmpult  $24,    $7,     $3
 
2378
        zapnot  $4,     15,     $7
 
2379
        srl     $5,     32,     $8
 
2380
        mulq    $8,     $7,     $0
 
2381
        srl     $21,    32,     $1
 
2382
        cmpult  $2,     $25,    $2
 
2383
        addq    $6,     $1,     $6
 
2384
        addq    $2,     $6,     $6
 
2385
        addq    $3,     $6,     $6
 
2386
        addq    $23,    $6,     $23
 
2387
        cmpult  $23,    $6,     $1
 
2388
        srl     $4,     32,     $6
 
2389
        zapnot  $5,     15,     $5
 
2390
        mulq    $5,     $6,     $24
 
2391
        mulq    $7,     $5,     $5
 
2392
        addq    $1,     $22,    $22
 
2393
        addq    $0,     $24,    $0
 
2394
        cmpult  $0,     $24,    $1
 
2395
        mulq    $6,     $8,     $6
 
2396
        beq     $1,     $405
 
2397
        sll     $20,    32,     $1
 
2398
        addq    $6,     $1,     $6
 
2399
$405:
 
2400
        sll     $0,     32,     $24
 
2401
        ldq     $2,     48($18)
 
2402
        addq    $5,     $24,    $5
 
2403
        bis     $5,     $5,     $7
 
2404
        ldq     $4,     48($17)
 
2405
        addq    $23,    $7,     $23
 
2406
        srl     $2,     32,     $8
 
2407
        cmpult  $23,    $7,     $3
 
2408
        zapnot  $4,     15,     $7
 
2409
        mulq    $8,     $7,     $28
 
2410
        srl     $0,     32,     $1
 
2411
        addq    $6,     $1,     $6
 
2412
        cmpult  $5,     $24,    $1
 
2413
        zapnot  $2,     15,     $5
 
2414
        addq    $1,     $6,     $6
 
2415
        addq    $3,     $6,     $6
 
2416
        addq    $22,    $6,     $22
 
2417
        cmpult  $22,    $6,     $24
 
2418
        srl     $4,     32,     $6
 
2419
        mulq    $5,     $6,     $25
 
2420
        mulq    $7,     $5,     $5
 
2421
        addq    $28,    $25,    $28
 
2422
        cmpult  $28,    $25,    $1
 
2423
        mulq    $6,     $8,     $6
 
2424
        beq     $1,     $409
 
2425
        sll     $20,    32,     $1
 
2426
        addq    $6,     $1,     $6
 
2427
$409:
 
2428
        sll     $28,    32,     $25
 
2429
        ldq     $2,     56($18)
 
2430
        addq    $5,     $25,    $5
 
2431
        bis     $5,     $5,     $7
 
2432
        ldq     $4,     40($17)
 
2433
        addq    $23,    $7,     $23
 
2434
        srl     $2,     32,     $8
 
2435
        cmpult  $23,    $7,     $3
 
2436
        zapnot  $4,     15,     $7
 
2437
        mulq    $8,     $7,     $0
 
2438
        srl     $28,    32,     $1
 
2439
        addq    $6,     $1,     $6
 
2440
        cmpult  $5,     $25,    $1
 
2441
        zapnot  $2,     15,     $5
 
2442
        addq    $1,     $6,     $6
 
2443
        addq    $3,     $6,     $6
 
2444
        addq    $22,    $6,     $22
 
2445
        cmpult  $22,    $6,     $1
 
2446
        srl     $4,     32,     $6
 
2447
        mulq    $5,     $6,     $25
 
2448
        mulq    $7,     $5,     $2
 
2449
        addq    $1,     $24,    $24
 
2450
        addq    $0,     $25,    $0
 
2451
        cmpult  $0,     $25,    $1
 
2452
        mulq    $6,     $8,     $6
 
2453
        beq     $1,     $413
 
2454
        sll     $20,    32,     $1
 
2455
        addq    $6,     $1,     $6
 
2456
$413:
 
2457
        sll     $0,     32,     $25
 
2458
        addq    $2,     $25,    $2
 
2459
        bis     $2,     $2,     $7
 
2460
        addq    $23,    $7,     $23
 
2461
        stq     $23,    96($16)
 
2462
        ldq     $4,     48($17)
 
2463
        ldq     $5,     56($18)
 
2464
        cmpult  $23,    $7,     $3
 
2465
        zapnot  $4,     15,     $7
 
2466
        srl     $5,     32,     $8
 
2467
        mulq    $8,     $7,     $28
 
2468
        srl     $0,     32,     $1
 
2469
        cmpult  $2,     $25,    $2
 
2470
        addq    $6,     $1,     $6
 
2471
        addq    $2,     $6,     $6
 
2472
        addq    $3,     $6,     $6
 
2473
        addq    $22,    $6,     $22
 
2474
        cmpult  $22,    $6,     $1
 
2475
        srl     $4,     32,     $6
 
2476
        zapnot  $5,     15,     $5
 
2477
        mulq    $5,     $6,     $23
 
2478
        mulq    $7,     $5,     $5
 
2479
        addq    $1,     $24,    $24
 
2480
        addq    $28,    $23,    $28
 
2481
        cmpult  $28,    $23,    $1
 
2482
        mulq    $6,     $8,     $6
 
2483
        beq     $1,     $417
 
2484
        sll     $20,    32,     $1
 
2485
        addq    $6,     $1,     $6
 
2486
$417:
 
2487
        sll     $28,    32,     $23
 
2488
        ldq     $2,     48($18)
 
2489
        addq    $5,     $23,    $5
 
2490
        bis     $5,     $5,     $7
 
2491
        ldq     $4,     56($17)
 
2492
        addq    $22,    $7,     $22
 
2493
        srl     $2,     32,     $8
 
2494
        cmpult  $22,    $7,     $3
 
2495
        zapnot  $4,     15,     $7
 
2496
        mulq    $8,     $7,     $0
 
2497
        srl     $28,    32,     $1
 
2498
        addq    $6,     $1,     $6
 
2499
        cmpult  $5,     $23,    $1
 
2500
        zapnot  $2,     15,     $5
 
2501
        addq    $1,     $6,     $6
 
2502
        addq    $3,     $6,     $6
 
2503
        addq    $24,    $6,     $24
 
2504
        cmpult  $24,    $6,     $23
 
2505
        srl     $4,     32,     $6
 
2506
        mulq    $5,     $6,     $25
 
2507
        mulq    $7,     $5,     $2
 
2508
        addq    $0,     $25,    $0
 
2509
        cmpult  $0,     $25,    $1
 
2510
        mulq    $6,     $8,     $6
 
2511
        beq     $1,     $421
 
2512
        sll     $20,    32,     $1
 
2513
        addq    $6,     $1,     $6
 
2514
$421:
 
2515
        sll     $0,     32,     $25
 
2516
        addq    $2,     $25,    $2
 
2517
        bis     $2,     $2,     $7
 
2518
        addq    $22,    $7,     $22
 
2519
        stq     $22,    104($16)
 
2520
        ldq     $4,     56($17)
 
2521
        ldq     $5,     56($18)
 
2522
        cmpult  $22,    $7,     $3
 
2523
        zapnot  $4,     15,     $7
 
2524
        srl     $5,     32,     $8
 
2525
        mulq    $8,     $7,     $28
 
2526
        srl     $0,     32,     $1
 
2527
        cmpult  $2,     $25,    $2
 
2528
        addq    $6,     $1,     $6
 
2529
        addq    $2,     $6,     $6
 
2530
        addq    $3,     $6,     $6
 
2531
        addq    $24,    $6,     $24
 
2532
        cmpult  $24,    $6,     $1
 
2533
        srl     $4,     32,     $6
 
2534
        zapnot  $5,     15,     $5
 
2535
        mulq    $5,     $6,     $22
 
2536
        mulq    $7,     $5,     $2
 
2537
        addq    $1,     $23,    $23
 
2538
        addq    $28,    $22,    $28
 
2539
        cmpult  $28,    $22,    $1
 
2540
        mulq    $6,     $8,     $3
 
2541
        beq     $1,     $425
 
2542
        sll     $20,    32,     $1
 
2543
        addq    $3,     $1,     $3
 
2544
$425:
 
2545
        sll     $28,    32,     $22
 
2546
        srl     $28,    32,     $1
 
2547
        addq    $2,     $22,    $2
 
2548
        addq    $3,     $1,     $3
 
2549
        bis     $2,     $2,     $7
 
2550
        addq    $24,    $7,     $24
 
2551
        cmpult  $7,     $22,    $1
 
2552
        cmpult  $24,    $7,     $2
 
2553
        addq    $1,     $3,     $6
 
2554
        addq    $2,     $6,     $6
 
2555
        stq     $24,    112($16)
 
2556
        addq    $23,    $6,     $23
 
2557
        stq     $23,    120($16)
 
2558
        ret     $31,    ($26),  1
 
2559
        .end bn_mul_comba8
 
2560
        .text
 
2561
        .align 3
 
2562
        .globl bn_sqr_comba4
 
2563
        .ent bn_sqr_comba4
 
2564
bn_sqr_comba4:
 
2565
bn_sqr_comba4..ng:
 
2566
        .frame $30,0,$26,0
 
2567
        .prologue 0
 
2568
 
 
2569
        ldq     $0,     0($17)
 
2570
        ldq     $1,     8($17)
 
2571
        ldq     $2,     16($17)
 
2572
        ldq     $3,     24($17)
 
2573
        bis     $31,    $31,    $6
 
2574
        mulq    $0,     $0,     $4
 
2575
        umulh   $0,     $0,     $5
 
2576
        stq     $4,     0($16)
 
2577
        bis     $31,    $31,    $4
 
2578
        mulq    $0,     $1,     $7
 
2579
        umulh   $0,     $1,     $8
 
2580
        cmplt   $7,     $31,    $22
 
2581
        cmplt   $8,     $31,    $23
 
2582
        addq    $7,     $7,     $7
 
2583
        addq    $8,     $8,     $8
 
2584
        addq    $8,     $22,    $8
 
2585
        addq    $4,     $23,    $4
 
2586
        addq    $5,     $7,     $5
 
2587
        addq    $6,     $8,     $6
 
2588
        cmpult  $5,     $7,     $24
 
2589
        cmpult  $6,     $8,     $25
 
2590
        addq    $6,     $24,    $6
 
2591
        addq    $4,     $25,    $4
 
2592
        stq     $5,     8($16)
 
2593
        bis     $31,    $31,    $5
 
2594
        mulq    $1,     $1,     $27
 
2595
        umulh   $1,     $1,     $28
 
2596
        addq    $6,     $27,    $6
 
2597
        addq    $4,     $28,    $4
 
2598
        cmpult  $6,     $27,    $21
 
2599
        cmpult  $4,     $28,    $20
 
2600
        addq    $4,     $21,    $4
 
2601
        addq    $5,     $20,    $5
 
2602
        mulq    $2,     $0,     $19
 
2603
        umulh   $2,     $0,     $18
 
2604
        cmplt   $19,    $31,    $17
 
2605
        cmplt   $18,    $31,    $22
 
2606
        addq    $19,    $19,    $19
 
2607
        addq    $18,    $18,    $18
 
2608
        addq    $18,    $17,    $18
 
2609
        addq    $5,     $22,    $5
 
2610
        addq    $6,     $19,    $6
 
2611
        addq    $4,     $18,    $4
 
2612
        cmpult  $6,     $19,    $23
 
2613
        cmpult  $4,     $18,    $7
 
2614
        addq    $4,     $23,    $4
 
2615
        addq    $5,     $7,     $5
 
2616
        stq     $6,     16($16)
 
2617
        bis     $31,    $31,    $6
 
2618
        mulq    $3,     $0,     $8
 
2619
        umulh   $3,     $0,     $24
 
2620
        cmplt   $8,     $31,    $25
 
2621
        cmplt   $24,    $31,    $27
 
2622
        addq    $8,     $8,     $8
 
2623
        addq    $24,    $24,    $24
 
2624
        addq    $24,    $25,    $24
 
2625
        addq    $6,     $27,    $6
 
2626
        addq    $4,     $8,     $4
 
2627
        addq    $5,     $24,    $5
 
2628
        cmpult  $4,     $8,     $28
 
2629
        cmpult  $5,     $24,    $21
 
2630
        addq    $5,     $28,    $5
 
2631
        addq    $6,     $21,    $6
 
2632
        mulq    $2,     $1,     $20
 
2633
        umulh   $2,     $1,     $17
 
2634
        cmplt   $20,    $31,    $22
 
2635
        cmplt   $17,    $31,    $19
 
2636
        addq    $20,    $20,    $20
 
2637
        addq    $17,    $17,    $17
 
2638
        addq    $17,    $22,    $17
 
2639
        addq    $6,     $19,    $6
 
2640
        addq    $4,     $20,    $4
 
2641
        addq    $5,     $17,    $5
 
2642
        cmpult  $4,     $20,    $18
 
2643
        cmpult  $5,     $17,    $23
 
2644
        addq    $5,     $18,    $5
 
2645
        addq    $6,     $23,    $6
 
2646
        stq     $4,     24($16)
 
2647
        bis     $31,    $31,    $4
 
2648
        mulq    $2,     $2,     $7
 
2649
        umulh   $2,     $2,     $25
 
2650
        addq    $5,     $7,     $5
 
2651
        addq    $6,     $25,    $6
 
2652
        cmpult  $5,     $7,     $27
 
2653
        cmpult  $6,     $25,    $8
 
2654
        addq    $6,     $27,    $6
 
2655
        addq    $4,     $8,     $4
 
2656
        mulq    $3,     $1,     $24
 
2657
        umulh   $3,     $1,     $28
 
2658
        cmplt   $24,    $31,    $21
 
2659
        cmplt   $28,    $31,    $22
 
2660
        addq    $24,    $24,    $24
 
2661
        addq    $28,    $28,    $28
 
2662
        addq    $28,    $21,    $28
 
2663
        addq    $4,     $22,    $4
 
2664
        addq    $5,     $24,    $5
 
2665
        addq    $6,     $28,    $6
 
2666
        cmpult  $5,     $24,    $19
 
2667
        cmpult  $6,     $28,    $20
 
2668
        addq    $6,     $19,    $6
 
2669
        addq    $4,     $20,    $4
 
2670
        stq     $5,     32($16)
 
2671
        bis     $31,    $31,    $5
 
2672
        mulq    $3,     $2,     $17
 
2673
        umulh   $3,     $2,     $18
 
2674
        cmplt   $17,    $31,    $23
 
2675
        cmplt   $18,    $31,    $7
 
2676
        addq    $17,    $17,    $17
 
2677
        addq    $18,    $18,    $18
 
2678
        addq    $18,    $23,    $18
 
2679
        addq    $5,     $7,     $5
 
2680
        addq    $6,     $17,    $6
 
2681
        addq    $4,     $18,    $4
 
2682
        cmpult  $6,     $17,    $25
 
2683
        cmpult  $4,     $18,    $27
 
2684
        addq    $4,     $25,    $4
 
2685
        addq    $5,     $27,    $5
 
2686
        stq     $6,     40($16)
 
2687
        bis     $31,    $31,    $6
 
2688
        mulq    $3,     $3,     $8
 
2689
        umulh   $3,     $3,     $21
 
2690
        addq    $4,     $8,     $4
 
2691
        addq    $5,     $21,    $5
 
2692
        cmpult  $4,     $8,     $22
 
2693
        cmpult  $5,     $21,    $24
 
2694
        addq    $5,     $22,    $5
 
2695
        addq    $6,     $24,    $6
 
2696
        stq     $4,     48($16)
 
2697
        stq     $5,     56($16)
 
2698
        ret     $31,($26),1
 
2699
        .end bn_sqr_comba4
 
2700
        .text
 
2701
        .align 3
 
2702
        .globl bn_sqr_comba8
 
2703
        .ent bn_sqr_comba8
 
2704
bn_sqr_comba8:
 
2705
bn_sqr_comba8..ng:
 
2706
        .frame $30,0,$26,0
 
2707
        .prologue 0
 
2708
 
 
2709
        ldq     $0,     0($17)
 
2710
        ldq     $1,     8($17)
 
2711
        ldq     $2,     16($17)
 
2712
        ldq     $3,     24($17)
 
2713
        ldq     $4,     32($17)
 
2714
        ldq     $5,     40($17)
 
2715
        ldq     $6,     48($17)
 
2716
        ldq     $7,     56($17)
 
2717
        bis     $31,    $31,    $23
 
2718
        mulq    $0,     $0,     $8
 
2719
        umulh   $0,     $0,     $22
 
2720
        stq     $8,     0($16)
 
2721
        bis     $31,    $31,    $8
 
2722
        mulq    $1,     $0,     $24
 
2723
        umulh   $1,     $0,     $25
 
2724
        cmplt   $24,    $31,    $27
 
2725
        cmplt   $25,    $31,    $28
 
2726
        addq    $24,    $24,    $24
 
2727
        addq    $25,    $25,    $25
 
2728
        addq    $25,    $27,    $25
 
2729
        addq    $8,     $28,    $8
 
2730
        addq    $22,    $24,    $22
 
2731
        addq    $23,    $25,    $23
 
2732
        cmpult  $22,    $24,    $21
 
2733
        cmpult  $23,    $25,    $20
 
2734
        addq    $23,    $21,    $23
 
2735
        addq    $8,     $20,    $8
 
2736
        stq     $22,    8($16)
 
2737
        bis     $31,    $31,    $22
 
2738
        mulq    $1,     $1,     $19
 
2739
        umulh   $1,     $1,     $18
 
2740
        addq    $23,    $19,    $23
 
2741
        addq    $8,     $18,    $8
 
2742
        cmpult  $23,    $19,    $17
 
2743
        cmpult  $8,     $18,    $27
 
2744
        addq    $8,     $17,    $8
 
2745
        addq    $22,    $27,    $22
 
2746
        mulq    $2,     $0,     $28
 
2747
        umulh   $2,     $0,     $24
 
2748
        cmplt   $28,    $31,    $25
 
2749
        cmplt   $24,    $31,    $21
 
2750
        addq    $28,    $28,    $28
 
2751
        addq    $24,    $24,    $24
 
2752
        addq    $24,    $25,    $24
 
2753
        addq    $22,    $21,    $22
 
2754
        addq    $23,    $28,    $23
 
2755
        addq    $8,     $24,    $8
 
2756
        cmpult  $23,    $28,    $20
 
2757
        cmpult  $8,     $24,    $19
 
2758
        addq    $8,     $20,    $8
 
2759
        addq    $22,    $19,    $22
 
2760
        stq     $23,    16($16)
 
2761
        bis     $31,    $31,    $23
 
2762
        mulq    $2,     $1,     $18
 
2763
        umulh   $2,     $1,     $17
 
2764
        cmplt   $18,    $31,    $27
 
2765
        cmplt   $17,    $31,    $25
 
2766
        addq    $18,    $18,    $18
 
2767
        addq    $17,    $17,    $17
 
2768
        addq    $17,    $27,    $17
 
2769
        addq    $23,    $25,    $23
 
2770
        addq    $8,     $18,    $8
 
2771
        addq    $22,    $17,    $22
 
2772
        cmpult  $8,     $18,    $21
 
2773
        cmpult  $22,    $17,    $28
 
2774
        addq    $22,    $21,    $22
 
2775
        addq    $23,    $28,    $23
 
2776
        mulq    $3,     $0,     $24
 
2777
        umulh   $3,     $0,     $20
 
2778
        cmplt   $24,    $31,    $19
 
2779
        cmplt   $20,    $31,    $27
 
2780
        addq    $24,    $24,    $24
 
2781
        addq    $20,    $20,    $20
 
2782
        addq    $20,    $19,    $20
 
2783
        addq    $23,    $27,    $23
 
2784
        addq    $8,     $24,    $8
 
2785
        addq    $22,    $20,    $22
 
2786
        cmpult  $8,     $24,    $25
 
2787
        cmpult  $22,    $20,    $18
 
2788
        addq    $22,    $25,    $22
 
2789
        addq    $23,    $18,    $23
 
2790
        stq     $8,     24($16)
 
2791
        bis     $31,    $31,    $8
 
2792
        mulq    $2,     $2,     $17
 
2793
        umulh   $2,     $2,     $21
 
2794
        addq    $22,    $17,    $22
 
2795
        addq    $23,    $21,    $23
 
2796
        cmpult  $22,    $17,    $28
 
2797
        cmpult  $23,    $21,    $19
 
2798
        addq    $23,    $28,    $23
 
2799
        addq    $8,     $19,    $8
 
2800
        mulq    $3,     $1,     $27
 
2801
        umulh   $3,     $1,     $24
 
2802
        cmplt   $27,    $31,    $20
 
2803
        cmplt   $24,    $31,    $25
 
2804
        addq    $27,    $27,    $27
 
2805
        addq    $24,    $24,    $24
 
2806
        addq    $24,    $20,    $24
 
2807
        addq    $8,     $25,    $8
 
2808
        addq    $22,    $27,    $22
 
2809
        addq    $23,    $24,    $23
 
2810
        cmpult  $22,    $27,    $18
 
2811
        cmpult  $23,    $24,    $17
 
2812
        addq    $23,    $18,    $23
 
2813
        addq    $8,     $17,    $8
 
2814
        mulq    $4,     $0,     $21
 
2815
        umulh   $4,     $0,     $28
 
2816
        cmplt   $21,    $31,    $19
 
2817
        cmplt   $28,    $31,    $20
 
2818
        addq    $21,    $21,    $21
 
2819
        addq    $28,    $28,    $28
 
2820
        addq    $28,    $19,    $28
 
2821
        addq    $8,     $20,    $8
 
2822
        addq    $22,    $21,    $22
 
2823
        addq    $23,    $28,    $23
 
2824
        cmpult  $22,    $21,    $25
 
2825
        cmpult  $23,    $28,    $27
 
2826
        addq    $23,    $25,    $23
 
2827
        addq    $8,     $27,    $8
 
2828
        stq     $22,    32($16)
 
2829
        bis     $31,    $31,    $22
 
2830
        mulq    $3,     $2,     $24
 
2831
        umulh   $3,     $2,     $18
 
2832
        cmplt   $24,    $31,    $17
 
2833
        cmplt   $18,    $31,    $19
 
2834
        addq    $24,    $24,    $24
 
2835
        addq    $18,    $18,    $18
 
2836
        addq    $18,    $17,    $18
 
2837
        addq    $22,    $19,    $22
 
2838
        addq    $23,    $24,    $23
 
2839
        addq    $8,     $18,    $8
 
2840
        cmpult  $23,    $24,    $20
 
2841
        cmpult  $8,     $18,    $21
 
2842
        addq    $8,     $20,    $8
 
2843
        addq    $22,    $21,    $22
 
2844
        mulq    $4,     $1,     $28
 
2845
        umulh   $4,     $1,     $25
 
2846
        cmplt   $28,    $31,    $27
 
2847
        cmplt   $25,    $31,    $17
 
2848
        addq    $28,    $28,    $28
 
2849
        addq    $25,    $25,    $25
 
2850
        addq    $25,    $27,    $25
 
2851
        addq    $22,    $17,    $22
 
2852
        addq    $23,    $28,    $23
 
2853
        addq    $8,     $25,    $8
 
2854
        cmpult  $23,    $28,    $19
 
2855
        cmpult  $8,     $25,    $24
 
2856
        addq    $8,     $19,    $8
 
2857
        addq    $22,    $24,    $22
 
2858
        mulq    $5,     $0,     $18
 
2859
        umulh   $5,     $0,     $20
 
2860
        cmplt   $18,    $31,    $21
 
2861
        cmplt   $20,    $31,    $27
 
2862
        addq    $18,    $18,    $18
 
2863
        addq    $20,    $20,    $20
 
2864
        addq    $20,    $21,    $20
 
2865
        addq    $22,    $27,    $22
 
2866
        addq    $23,    $18,    $23
 
2867
        addq    $8,     $20,    $8
 
2868
        cmpult  $23,    $18,    $17
 
2869
        cmpult  $8,     $20,    $28
 
2870
        addq    $8,     $17,    $8
 
2871
        addq    $22,    $28,    $22
 
2872
        stq     $23,    40($16)
 
2873
        bis     $31,    $31,    $23
 
2874
        mulq    $3,     $3,     $25
 
2875
        umulh   $3,     $3,     $19
 
2876
        addq    $8,     $25,    $8
 
2877
        addq    $22,    $19,    $22
 
2878
        cmpult  $8,     $25,    $24
 
2879
        cmpult  $22,    $19,    $21
 
2880
        addq    $22,    $24,    $22
 
2881
        addq    $23,    $21,    $23
 
2882
        mulq    $4,     $2,     $27
 
2883
        umulh   $4,     $2,     $18
 
2884
        cmplt   $27,    $31,    $20
 
2885
        cmplt   $18,    $31,    $17
 
2886
        addq    $27,    $27,    $27
 
2887
        addq    $18,    $18,    $18
 
2888
        addq    $18,    $20,    $18
 
2889
        addq    $23,    $17,    $23
 
2890
        addq    $8,     $27,    $8
 
2891
        addq    $22,    $18,    $22
 
2892
        cmpult  $8,     $27,    $28
 
2893
        cmpult  $22,    $18,    $25
 
2894
        addq    $22,    $28,    $22
 
2895
        addq    $23,    $25,    $23
 
2896
        mulq    $5,     $1,     $19
 
2897
        umulh   $5,     $1,     $24
 
2898
        cmplt   $19,    $31,    $21
 
2899
        cmplt   $24,    $31,    $20
 
2900
        addq    $19,    $19,    $19
 
2901
        addq    $24,    $24,    $24
 
2902
        addq    $24,    $21,    $24
 
2903
        addq    $23,    $20,    $23
 
2904
        addq    $8,     $19,    $8
 
2905
        addq    $22,    $24,    $22
 
2906
        cmpult  $8,     $19,    $17
 
2907
        cmpult  $22,    $24,    $27
 
2908
        addq    $22,    $17,    $22
 
2909
        addq    $23,    $27,    $23
 
2910
        mulq    $6,     $0,     $18
 
2911
        umulh   $6,     $0,     $28
 
2912
        cmplt   $18,    $31,    $25
 
2913
        cmplt   $28,    $31,    $21
 
2914
        addq    $18,    $18,    $18
 
2915
        addq    $28,    $28,    $28
 
2916
        addq    $28,    $25,    $28
 
2917
        addq    $23,    $21,    $23
 
2918
        addq    $8,     $18,    $8
 
2919
        addq    $22,    $28,    $22
 
2920
        cmpult  $8,     $18,    $20
 
2921
        cmpult  $22,    $28,    $19
 
2922
        addq    $22,    $20,    $22
 
2923
        addq    $23,    $19,    $23
 
2924
        stq     $8,     48($16)
 
2925
        bis     $31,    $31,    $8
 
2926
        mulq    $4,     $3,     $24
 
2927
        umulh   $4,     $3,     $17
 
2928
        cmplt   $24,    $31,    $27
 
2929
        cmplt   $17,    $31,    $25
 
2930
        addq    $24,    $24,    $24
 
2931
        addq    $17,    $17,    $17
 
2932
        addq    $17,    $27,    $17
 
2933
        addq    $8,     $25,    $8
 
2934
        addq    $22,    $24,    $22
 
2935
        addq    $23,    $17,    $23
 
2936
        cmpult  $22,    $24,    $21
 
2937
        cmpult  $23,    $17,    $18
 
2938
        addq    $23,    $21,    $23
 
2939
        addq    $8,     $18,    $8
 
2940
        mulq    $5,     $2,     $28
 
2941
        umulh   $5,     $2,     $20
 
2942
        cmplt   $28,    $31,    $19
 
2943
        cmplt   $20,    $31,    $27
 
2944
        addq    $28,    $28,    $28
 
2945
        addq    $20,    $20,    $20
 
2946
        addq    $20,    $19,    $20
 
2947
        addq    $8,     $27,    $8
 
2948
        addq    $22,    $28,    $22
 
2949
        addq    $23,    $20,    $23
 
2950
        cmpult  $22,    $28,    $25
 
2951
        cmpult  $23,    $20,    $24
 
2952
        addq    $23,    $25,    $23
 
2953
        addq    $8,     $24,    $8
 
2954
        mulq    $6,     $1,     $17
 
2955
        umulh   $6,     $1,     $21
 
2956
        cmplt   $17,    $31,    $18
 
2957
        cmplt   $21,    $31,    $19
 
2958
        addq    $17,    $17,    $17
 
2959
        addq    $21,    $21,    $21
 
2960
        addq    $21,    $18,    $21
 
2961
        addq    $8,     $19,    $8
 
2962
        addq    $22,    $17,    $22
 
2963
        addq    $23,    $21,    $23
 
2964
        cmpult  $22,    $17,    $27
 
2965
        cmpult  $23,    $21,    $28
 
2966
        addq    $23,    $27,    $23
 
2967
        addq    $8,     $28,    $8
 
2968
        mulq    $7,     $0,     $20
 
2969
        umulh   $7,     $0,     $25
 
2970
        cmplt   $20,    $31,    $24
 
2971
        cmplt   $25,    $31,    $18
 
2972
        addq    $20,    $20,    $20
 
2973
        addq    $25,    $25,    $25
 
2974
        addq    $25,    $24,    $25
 
2975
        addq    $8,     $18,    $8
 
2976
        addq    $22,    $20,    $22
 
2977
        addq    $23,    $25,    $23
 
2978
        cmpult  $22,    $20,    $19
 
2979
        cmpult  $23,    $25,    $17
 
2980
        addq    $23,    $19,    $23
 
2981
        addq    $8,     $17,    $8
 
2982
        stq     $22,    56($16)
 
2983
        bis     $31,    $31,    $22
 
2984
        mulq    $4,     $4,     $21
 
2985
        umulh   $4,     $4,     $27
 
2986
        addq    $23,    $21,    $23
 
2987
        addq    $8,     $27,    $8
 
2988
        cmpult  $23,    $21,    $28
 
2989
        cmpult  $8,     $27,    $24
 
2990
        addq    $8,     $28,    $8
 
2991
        addq    $22,    $24,    $22
 
2992
        mulq    $5,     $3,     $18
 
2993
        umulh   $5,     $3,     $20
 
2994
        cmplt   $18,    $31,    $25
 
2995
        cmplt   $20,    $31,    $19
 
2996
        addq    $18,    $18,    $18
 
2997
        addq    $20,    $20,    $20
 
2998
        addq    $20,    $25,    $20
 
2999
        addq    $22,    $19,    $22
 
3000
        addq    $23,    $18,    $23
 
3001
        addq    $8,     $20,    $8
 
3002
        cmpult  $23,    $18,    $17
 
3003
        cmpult  $8,     $20,    $21
 
3004
        addq    $8,     $17,    $8
 
3005
        addq    $22,    $21,    $22
 
3006
        mulq    $6,     $2,     $27
 
3007
        umulh   $6,     $2,     $28
 
3008
        cmplt   $27,    $31,    $24
 
3009
        cmplt   $28,    $31,    $25
 
3010
        addq    $27,    $27,    $27
 
3011
        addq    $28,    $28,    $28
 
3012
        addq    $28,    $24,    $28
 
3013
        addq    $22,    $25,    $22
 
3014
        addq    $23,    $27,    $23
 
3015
        addq    $8,     $28,    $8
 
3016
        cmpult  $23,    $27,    $19
 
3017
        cmpult  $8,     $28,    $18
 
3018
        addq    $8,     $19,    $8
 
3019
        addq    $22,    $18,    $22
 
3020
        mulq    $7,     $1,     $20
 
3021
        umulh   $7,     $1,     $17
 
3022
        cmplt   $20,    $31,    $21
 
3023
        cmplt   $17,    $31,    $24
 
3024
        addq    $20,    $20,    $20
 
3025
        addq    $17,    $17,    $17
 
3026
        addq    $17,    $21,    $17
 
3027
        addq    $22,    $24,    $22
 
3028
        addq    $23,    $20,    $23
 
3029
        addq    $8,     $17,    $8
 
3030
        cmpult  $23,    $20,    $25
 
3031
        cmpult  $8,     $17,    $27
 
3032
        addq    $8,     $25,    $8
 
3033
        addq    $22,    $27,    $22
 
3034
        stq     $23,    64($16)
 
3035
        bis     $31,    $31,    $23
 
3036
        mulq    $5,     $4,     $28
 
3037
        umulh   $5,     $4,     $19
 
3038
        cmplt   $28,    $31,    $18
 
3039
        cmplt   $19,    $31,    $21
 
3040
        addq    $28,    $28,    $28
 
3041
        addq    $19,    $19,    $19
 
3042
        addq    $19,    $18,    $19
 
3043
        addq    $23,    $21,    $23
 
3044
        addq    $8,     $28,    $8
 
3045
        addq    $22,    $19,    $22
 
3046
        cmpult  $8,     $28,    $24
 
3047
        cmpult  $22,    $19,    $20
 
3048
        addq    $22,    $24,    $22
 
3049
        addq    $23,    $20,    $23
 
3050
        mulq    $6,     $3,     $17
 
3051
        umulh   $6,     $3,     $25
 
3052
        cmplt   $17,    $31,    $27
 
3053
        cmplt   $25,    $31,    $18
 
3054
        addq    $17,    $17,    $17
 
3055
        addq    $25,    $25,    $25
 
3056
        addq    $25,    $27,    $25
 
3057
        addq    $23,    $18,    $23
 
3058
        addq    $8,     $17,    $8
 
3059
        addq    $22,    $25,    $22
 
3060
        cmpult  $8,     $17,    $21
 
3061
        cmpult  $22,    $25,    $28
 
3062
        addq    $22,    $21,    $22
 
3063
        addq    $23,    $28,    $23
 
3064
        mulq    $7,     $2,     $19
 
3065
        umulh   $7,     $2,     $24
 
3066
        cmplt   $19,    $31,    $20
 
3067
        cmplt   $24,    $31,    $27
 
3068
        addq    $19,    $19,    $19
 
3069
        addq    $24,    $24,    $24
 
3070
        addq    $24,    $20,    $24
 
3071
        addq    $23,    $27,    $23
 
3072
        addq    $8,     $19,    $8
 
3073
        addq    $22,    $24,    $22
 
3074
        cmpult  $8,     $19,    $18
 
3075
        cmpult  $22,    $24,    $17
 
3076
        addq    $22,    $18,    $22
 
3077
        addq    $23,    $17,    $23
 
3078
        stq     $8,     72($16)
 
3079
        bis     $31,    $31,    $8
 
3080
        mulq    $5,     $5,     $25
 
3081
        umulh   $5,     $5,     $21
 
3082
        addq    $22,    $25,    $22
 
3083
        addq    $23,    $21,    $23
 
3084
        cmpult  $22,    $25,    $28
 
3085
        cmpult  $23,    $21,    $20
 
3086
        addq    $23,    $28,    $23
 
3087
        addq    $8,     $20,    $8
 
3088
        mulq    $6,     $4,     $27
 
3089
        umulh   $6,     $4,     $19
 
3090
        cmplt   $27,    $31,    $24
 
3091
        cmplt   $19,    $31,    $18
 
3092
        addq    $27,    $27,    $27
 
3093
        addq    $19,    $19,    $19
 
3094
        addq    $19,    $24,    $19
 
3095
        addq    $8,     $18,    $8
 
3096
        addq    $22,    $27,    $22
 
3097
        addq    $23,    $19,    $23
 
3098
        cmpult  $22,    $27,    $17
 
3099
        cmpult  $23,    $19,    $25
 
3100
        addq    $23,    $17,    $23
 
3101
        addq    $8,     $25,    $8
 
3102
        mulq    $7,     $3,     $21
 
3103
        umulh   $7,     $3,     $28
 
3104
        cmplt   $21,    $31,    $20
 
3105
        cmplt   $28,    $31,    $24
 
3106
        addq    $21,    $21,    $21
 
3107
        addq    $28,    $28,    $28
 
3108
        addq    $28,    $20,    $28
 
3109
        addq    $8,     $24,    $8
 
3110
        addq    $22,    $21,    $22
 
3111
        addq    $23,    $28,    $23
 
3112
        cmpult  $22,    $21,    $18
 
3113
        cmpult  $23,    $28,    $27
 
3114
        addq    $23,    $18,    $23
 
3115
        addq    $8,     $27,    $8
 
3116
        stq     $22,    80($16)
 
3117
        bis     $31,    $31,    $22
 
3118
        mulq    $6,     $5,     $19
 
3119
        umulh   $6,     $5,     $17
 
3120
        cmplt   $19,    $31,    $25
 
3121
        cmplt   $17,    $31,    $20
 
3122
        addq    $19,    $19,    $19
 
3123
        addq    $17,    $17,    $17
 
3124
        addq    $17,    $25,    $17
 
3125
        addq    $22,    $20,    $22
 
3126
        addq    $23,    $19,    $23
 
3127
        addq    $8,     $17,    $8
 
3128
        cmpult  $23,    $19,    $24
 
3129
        cmpult  $8,     $17,    $21
 
3130
        addq    $8,     $24,    $8
 
3131
        addq    $22,    $21,    $22
 
3132
        mulq    $7,     $4,     $28
 
3133
        umulh   $7,     $4,     $18
 
3134
        cmplt   $28,    $31,    $27
 
3135
        cmplt   $18,    $31,    $25
 
3136
        addq    $28,    $28,    $28
 
3137
        addq    $18,    $18,    $18
 
3138
        addq    $18,    $27,    $18
 
3139
        addq    $22,    $25,    $22
 
3140
        addq    $23,    $28,    $23
 
3141
        addq    $8,     $18,    $8
 
3142
        cmpult  $23,    $28,    $20
 
3143
        cmpult  $8,     $18,    $19
 
3144
        addq    $8,     $20,    $8
 
3145
        addq    $22,    $19,    $22
 
3146
        stq     $23,    88($16)
 
3147
        bis     $31,    $31,    $23
 
3148
        mulq    $6,     $6,     $17
 
3149
        umulh   $6,     $6,     $24
 
3150
        addq    $8,     $17,    $8
 
3151
        addq    $22,    $24,    $22
 
3152
        cmpult  $8,     $17,    $21
 
3153
        cmpult  $22,    $24,    $27
 
3154
        addq    $22,    $21,    $22
 
3155
        addq    $23,    $27,    $23
 
3156
        mulq    $7,     $5,     $25
 
3157
        umulh   $7,     $5,     $28
 
3158
        cmplt   $25,    $31,    $18
 
3159
        cmplt   $28,    $31,    $20
 
3160
        addq    $25,    $25,    $25
 
3161
        addq    $28,    $28,    $28
 
3162
        addq    $28,    $18,    $28
 
3163
        addq    $23,    $20,    $23
 
3164
        addq    $8,     $25,    $8
 
3165
        addq    $22,    $28,    $22
 
3166
        cmpult  $8,     $25,    $19
 
3167
        cmpult  $22,    $28,    $17
 
3168
        addq    $22,    $19,    $22
 
3169
        addq    $23,    $17,    $23
 
3170
        stq     $8,     96($16)
 
3171
        bis     $31,    $31,    $8
 
3172
        mulq    $7,     $6,     $24
 
3173
        umulh   $7,     $6,     $21
 
3174
        cmplt   $24,    $31,    $27
 
3175
        cmplt   $21,    $31,    $18
 
3176
        addq    $24,    $24,    $24
 
3177
        addq    $21,    $21,    $21
 
3178
        addq    $21,    $27,    $21
 
3179
        addq    $8,     $18,    $8
 
3180
        addq    $22,    $24,    $22
 
3181
        addq    $23,    $21,    $23
 
3182
        cmpult  $22,    $24,    $20
 
3183
        cmpult  $23,    $21,    $25
 
3184
        addq    $23,    $20,    $23
 
3185
        addq    $8,     $25,    $8
 
3186
        stq     $22,    104($16)
 
3187
        bis     $31,    $31,    $22
 
3188
        mulq    $7,     $7,     $28
 
3189
        umulh   $7,     $7,     $19
 
3190
        addq    $23,    $28,    $23
 
3191
        addq    $8,     $19,    $8
 
3192
        cmpult  $23,    $28,    $17
 
3193
        cmpult  $8,     $19,    $27
 
3194
        addq    $8,     $17,    $8
 
3195
        addq    $22,    $27,    $22
 
3196
        stq     $23,    112($16)
 
3197
        stq     $8,     120($16)
 
3198
        ret     $31,($26),1
 
3199
        .end bn_sqr_comba8