PageRenderTime 78ms CodeModel.GetById 16ms app.highlight 47ms RepoModel.GetById 1ms app.codeStats 2ms

/security/nss/lib/freebl/mpi/mp_comba_amd64_sun.s

http://github.com/zpao/v8monkey
Assembly | 16097 lines | 13946 code | 2151 blank | 0 comment | 1 complexity | af8ffb27c8dbf5075e5a81590f0d258d MD5 | raw file

Large files files are truncated, but you can click here to view the full file

   1//* TomsFastMath, a fast ISO C bignum library.
   2/ * 
   3/ * This project is meant to fill in where LibTomMath
   4/ * falls short.  That is speed ;-)
   5/ *
   6/ * This project is public domain and free for all purposes.
   7/ * 
   8/ * Tom St Denis, tomstdenis@iahu.ca
   9/ */
  10
  11//*
  12/ * The source file from which this assembly was derived
  13/ * comes from TFM v0.03, which has the above license.
  14/ * This source was compiled with an unnamed compiler at
  15/ * the highest optimization level.  Afterwards, the
  16/ * trailing .section was removed because it causes errors
  17/ * in the Studio 10 compiler on AMD 64.
  18/ */
  19
  20       	.file	"mp_comba.c"
  21	.text
  22	.align 16
  23.globl s_mp_mul_comba_4
  24	.type	s_mp_mul_comba_4, @function
  25s_mp_mul_comba_4:
  26.LFB2:
  27	pushq	%r12
  28.LCFI0:
  29	pushq	%rbp
  30.LCFI1:
  31	pushq	%rbx
  32.LCFI2:
  33	movq	16(%rdi), %r9
  34	movq	%rdx, %rbx
  35	movq	16(%rsi), %rdx
  36	movq	(%r9), %rax
  37	movq	%rax, -64(%rsp)
  38	movq	8(%r9), %r8
  39	movq	%r8, -56(%rsp)
  40	movq	16(%r9), %rbp
  41	movq	%rbp, -48(%rsp)
  42	movq	24(%r9), %r12
  43	movq	%r12, -40(%rsp)
  44	movq	(%rdx), %rcx
  45	movq	%rcx, -32(%rsp)
  46	movq	8(%rdx), %r10
  47	movq	%r10, -24(%rsp)
  48	movq	16(%rdx), %r11
  49	xorl	%r10d, %r10d
  50	movq	%r10, %r8
  51	movq	%r10, %r9
  52	movq	%r10, %rbp
  53	movq	%r11, -16(%rsp)
  54	movq	16(%rbx), %r11
  55	movq	24(%rdx), %rax
  56	movq	%rax, -8(%rsp)
  57/APP
  58	movq  -64(%rsp),%rax     
  59	mulq  -32(%rsp)           
  60	addq  %rax,%r8     
  61	adcq  %rdx,%r9     
  62	adcq  $0,%rbp        
  63	
  64/NO_APP
  65	movq	%r8, (%r11)
  66	movq	%rbp, %r8
  67	movq	%r10, %rbp
  68/APP
  69	movq  -64(%rsp),%rax     
  70	mulq  -24(%rsp)           
  71	addq  %rax,%r9     
  72	adcq  %rdx,%r8     
  73	adcq  $0,%rbp        
  74	
  75/NO_APP
  76	movq	%rbp, %r12
  77/APP
  78	movq  -56(%rsp),%rax     
  79	mulq  -32(%rsp)           
  80	addq  %rax,%r9     
  81	adcq  %rdx,%r8     
  82	adcq  $0,%r12        
  83	
  84/NO_APP
  85	movq	%r9, 8(%r11)
  86	movq	%r12, %r9
  87	movq	%r10, %r12
  88/APP
  89	movq  -64(%rsp),%rax     
  90	mulq  -16(%rsp)           
  91	addq  %rax,%r8     
  92	adcq  %rdx,%r9     
  93	adcq  $0,%r12        
  94	
  95/NO_APP
  96	movq	%r12, %rcx
  97/APP
  98	movq  -56(%rsp),%rax     
  99	mulq  -24(%rsp)           
 100	addq  %rax,%r8     
 101	adcq  %rdx,%r9     
 102	adcq  $0,%rcx        
 103	
 104/NO_APP
 105	movq	%r9, %rbp
 106	movq	%rcx, %r12
 107/APP
 108	movq  -48(%rsp),%rax     
 109	mulq  -32(%rsp)           
 110	addq  %rax,%r8     
 111	adcq  %rdx,%rbp     
 112	adcq  $0,%r12        
 113	
 114/NO_APP
 115	movq	%r8, 16(%r11)
 116	movq	%r12, %r9
 117	movq	%rbp, %rcx
 118	movq	%r10, %r8
 119/APP
 120	movq  -64(%rsp),%rax     
 121	mulq  -8(%rsp)           
 122	addq  %rax,%rcx     
 123	adcq  %rdx,%r9     
 124	adcq  $0,%r8        
 125	
 126	movq  -56(%rsp),%rax     
 127	mulq  -16(%rsp)           
 128	addq  %rax,%rcx     
 129	adcq  %rdx,%r9     
 130	adcq  $0,%r8        
 131	
 132	movq  -48(%rsp),%rax     
 133	mulq  -24(%rsp)           
 134	addq  %rax,%rcx     
 135	adcq  %rdx,%r9     
 136	adcq  $0,%r8        
 137	
 138/NO_APP
 139	movq	%r9, %rbp
 140	movq	%r8, %r12
 141/APP
 142	movq  -40(%rsp),%rax     
 143	mulq  -32(%rsp)           
 144	addq  %rax,%rcx     
 145	adcq  %rdx,%rbp     
 146	adcq  $0,%r12        
 147	
 148/NO_APP
 149	movq	%rcx, 24(%r11)
 150	movq	%r12, %r9
 151	movq	%rbp, %r8
 152	movq	%r10, %rcx
 153/APP
 154	movq  -56(%rsp),%rax     
 155	mulq  -8(%rsp)           
 156	addq  %rax,%r8     
 157	adcq  %rdx,%r9     
 158	adcq  $0,%rcx        
 159	
 160	movq  -48(%rsp),%rax     
 161	mulq  -16(%rsp)           
 162	addq  %rax,%r8     
 163	adcq  %rdx,%r9     
 164	adcq  $0,%rcx        
 165	
 166/NO_APP
 167	movq	%r9, %rbp
 168	movq	%rcx, %r12
 169/APP
 170	movq  -40(%rsp),%rax     
 171	mulq  -24(%rsp)           
 172	addq  %rax,%r8     
 173	adcq  %rdx,%rbp     
 174	adcq  $0,%r12        
 175	
 176/NO_APP
 177	movq	%r8, 32(%r11)
 178	movq	%r12, %r9
 179	movq	%rbp, %rcx
 180	movq	%r10, %r8
 181/APP
 182	movq  -48(%rsp),%rax     
 183	mulq  -8(%rsp)           
 184	addq  %rax,%rcx     
 185	adcq  %rdx,%r9     
 186	adcq  $0,%r8        
 187	
 188/NO_APP
 189	movq	%r8, %r12
 190	movq	%r9, %rbp
 191/APP
 192	movq  -40(%rsp),%rax     
 193	mulq  -16(%rsp)           
 194	addq  %rax,%rcx     
 195	adcq  %rdx,%rbp     
 196	adcq  $0,%r12        
 197	
 198/NO_APP
 199	movq	%rcx, 40(%r11)
 200	movq	%rbp, %r8
 201	movq	%r12, %rcx
 202/APP
 203	movq  -40(%rsp),%rax     
 204	mulq  -8(%rsp)           
 205	addq  %rax,%r8     
 206	adcq  %rdx,%rcx     
 207	adcq  $0,%r10        
 208	
 209/NO_APP
 210	movq	%r8, 48(%r11)
 211	movl	(%rsi), %esi
 212	xorl	(%rdi), %esi
 213	testq	%rcx, %rcx
 214	movq	%rcx, 56(%r11)
 215	movl	$8, 8(%rbx)
 216	jne	.L9
 217	.align 16
 218.L18:
 219	movl	8(%rbx), %edx
 220	leal	-1(%rdx), %edi
 221	testl	%edi, %edi
 222	movl	%edi, 8(%rbx)
 223	je	.L9
 224	leal	-2(%rdx), %r10d
 225	cmpq	$0, (%r11,%r10,8)
 226	je	.L18
 227.L9:
 228	movl	8(%rbx), %edx
 229	xorl	%r11d, %r11d
 230	testl	%edx, %edx
 231	cmovne	%esi, %r11d
 232	movl	%r11d, (%rbx)
 233	popq	%rbx
 234	popq	%rbp
 235	popq	%r12
 236	ret
 237.LFE2:
 238	.size	s_mp_mul_comba_4, .-s_mp_mul_comba_4
 239	.align 16
 240.globl s_mp_mul_comba_8
 241	.type	s_mp_mul_comba_8, @function
 242s_mp_mul_comba_8:
 243.LFB3:
 244	pushq	%r12
 245.LCFI3:
 246	pushq	%rbp
 247.LCFI4:
 248	pushq	%rbx
 249.LCFI5:
 250	movq	%rdx, %rbx
 251	subq	$8, %rsp
 252.LCFI6:
 253	movq	16(%rdi), %rdx
 254	movq	(%rdx), %r8
 255	movq	%r8, -120(%rsp)
 256	movq	8(%rdx), %rbp
 257	movq	%rbp, -112(%rsp)
 258	movq	16(%rdx), %r9
 259	movq	%r9, -104(%rsp)
 260	movq	24(%rdx), %r12
 261	movq	%r12, -96(%rsp)
 262	movq	32(%rdx), %rcx
 263	movq	%rcx, -88(%rsp)
 264	movq	40(%rdx), %r10
 265	movq	%r10, -80(%rsp)
 266	movq	48(%rdx), %r11
 267	movq	%r11, -72(%rsp)
 268	movq	56(%rdx), %rax
 269	movq	16(%rsi), %rdx
 270	movq	%rax, -64(%rsp)
 271	movq	(%rdx), %r8
 272	movq	%r8, -56(%rsp)
 273	movq	8(%rdx), %rbp
 274	movq	%rbp, -48(%rsp)
 275	movq	16(%rdx), %r9
 276	movq	%r9, -40(%rsp)
 277	movq	24(%rdx), %r12
 278	movq	%r12, -32(%rsp)
 279	movq	32(%rdx), %rcx
 280	movq	%rcx, -24(%rsp)
 281	movq	40(%rdx), %r10
 282	movq	%r10, -16(%rsp)
 283	movq	48(%rdx), %r11
 284	xorl	%r10d, %r10d
 285	movq	%r10, %r8
 286	movq	%r10, %r9
 287	movq	%r10, %rbp
 288	movq	%r11, -8(%rsp)
 289	movq	16(%rbx), %r11
 290	movq	56(%rdx), %rax
 291	movq	%rax, (%rsp)
 292/APP
 293	movq  -120(%rsp),%rax     
 294	mulq  -56(%rsp)           
 295	addq  %rax,%r8     
 296	adcq  %rdx,%r9     
 297	adcq  $0,%rbp        
 298	
 299/NO_APP
 300	movq	%r8, (%r11)
 301	movq	%rbp, %r8
 302	movq	%r10, %rbp
 303/APP
 304	movq  -120(%rsp),%rax     
 305	mulq  -48(%rsp)           
 306	addq  %rax,%r9     
 307	adcq  %rdx,%r8     
 308	adcq  $0,%rbp        
 309	
 310/NO_APP
 311	movq	%rbp, %r12
 312/APP
 313	movq  -112(%rsp),%rax     
 314	mulq  -56(%rsp)           
 315	addq  %rax,%r9     
 316	adcq  %rdx,%r8     
 317	adcq  $0,%r12        
 318	
 319/NO_APP
 320	movq	%r9, 8(%r11)
 321	movq	%r12, %r9
 322	movq	%r10, %r12
 323/APP
 324	movq  -120(%rsp),%rax     
 325	mulq  -40(%rsp)           
 326	addq  %rax,%r8     
 327	adcq  %rdx,%r9     
 328	adcq  $0,%r12        
 329	
 330/NO_APP
 331	movq	%r12, %rcx
 332/APP
 333	movq  -112(%rsp),%rax     
 334	mulq  -48(%rsp)           
 335	addq  %rax,%r8     
 336	adcq  %rdx,%r9     
 337	adcq  $0,%rcx        
 338	
 339/NO_APP
 340	movq	%r9, %rbp
 341	movq	%rcx, %r12
 342/APP
 343	movq  -104(%rsp),%rax     
 344	mulq  -56(%rsp)           
 345	addq  %rax,%r8     
 346	adcq  %rdx,%rbp     
 347	adcq  $0,%r12        
 348	
 349/NO_APP
 350	movq	%r8, 16(%r11)
 351	movq	%r12, %r9
 352	movq	%rbp, %rcx
 353	movq	%r10, %r8
 354/APP
 355	movq  -120(%rsp),%rax     
 356	mulq  -32(%rsp)           
 357	addq  %rax,%rcx     
 358	adcq  %rdx,%r9     
 359	adcq  $0,%r8        
 360	
 361	movq  -112(%rsp),%rax     
 362	mulq  -40(%rsp)           
 363	addq  %rax,%rcx     
 364	adcq  %rdx,%r9     
 365	adcq  $0,%r8        
 366	
 367	movq  -104(%rsp),%rax     
 368	mulq  -48(%rsp)           
 369	addq  %rax,%rcx     
 370	adcq  %rdx,%r9     
 371	adcq  $0,%r8        
 372	
 373/NO_APP
 374	movq	%r9, %rbp
 375	movq	%r8, %r12
 376/APP
 377	movq  -96(%rsp),%rax     
 378	mulq  -56(%rsp)           
 379	addq  %rax,%rcx     
 380	adcq  %rdx,%rbp     
 381	adcq  $0,%r12        
 382	
 383/NO_APP
 384	movq	%rcx, 24(%r11)
 385	movq	%r12, %r9
 386	movq	%rbp, %r8
 387	movq	%r10, %rcx
 388/APP
 389	movq  -120(%rsp),%rax     
 390	mulq  -24(%rsp)           
 391	addq  %rax,%r8     
 392	adcq  %rdx,%r9     
 393	adcq  $0,%rcx        
 394	
 395	movq  -112(%rsp),%rax     
 396	mulq  -32(%rsp)           
 397	addq  %rax,%r8     
 398	adcq  %rdx,%r9     
 399	adcq  $0,%rcx        
 400	
 401	movq  -104(%rsp),%rax     
 402	mulq  -40(%rsp)           
 403	addq  %rax,%r8     
 404	adcq  %rdx,%r9     
 405	adcq  $0,%rcx        
 406	
 407	movq  -96(%rsp),%rax     
 408	mulq  -48(%rsp)           
 409	addq  %rax,%r8     
 410	adcq  %rdx,%r9     
 411	adcq  $0,%rcx        
 412	
 413/NO_APP
 414	movq	%r9, %rbp
 415	movq	%rcx, %r12
 416/APP
 417	movq  -88(%rsp),%rax     
 418	mulq  -56(%rsp)           
 419	addq  %rax,%r8     
 420	adcq  %rdx,%rbp     
 421	adcq  $0,%r12        
 422	
 423/NO_APP
 424	movq	%r8, 32(%r11)
 425	movq	%r12, %r9
 426	movq	%rbp, %rcx
 427	movq	%r10, %r8
 428/APP
 429	movq  -120(%rsp),%rax     
 430	mulq  -16(%rsp)           
 431	addq  %rax,%rcx     
 432	adcq  %rdx,%r9     
 433	adcq  $0,%r8        
 434	
 435	movq  -112(%rsp),%rax     
 436	mulq  -24(%rsp)           
 437	addq  %rax,%rcx     
 438	adcq  %rdx,%r9     
 439	adcq  $0,%r8        
 440	
 441	movq  -104(%rsp),%rax     
 442	mulq  -32(%rsp)           
 443	addq  %rax,%rcx     
 444	adcq  %rdx,%r9     
 445	adcq  $0,%r8        
 446	
 447	movq  -96(%rsp),%rax     
 448	mulq  -40(%rsp)           
 449	addq  %rax,%rcx     
 450	adcq  %rdx,%r9     
 451	adcq  $0,%r8        
 452	
 453	movq  -88(%rsp),%rax     
 454	mulq  -48(%rsp)           
 455	addq  %rax,%rcx     
 456	adcq  %rdx,%r9     
 457	adcq  $0,%r8        
 458	
 459/NO_APP
 460	movq	%r9, %rbp
 461	movq	%r8, %r12
 462/APP
 463	movq  -80(%rsp),%rax     
 464	mulq  -56(%rsp)           
 465	addq  %rax,%rcx     
 466	adcq  %rdx,%rbp     
 467	adcq  $0,%r12        
 468	
 469/NO_APP
 470	movq	%rcx, 40(%r11)
 471	movq	%r12, %r9
 472	movq	%rbp, %r8
 473	movq	%r10, %rcx
 474/APP
 475	movq  -120(%rsp),%rax     
 476	mulq  -8(%rsp)           
 477	addq  %rax,%r8     
 478	adcq  %rdx,%r9     
 479	adcq  $0,%rcx        
 480	
 481	movq  -112(%rsp),%rax     
 482	mulq  -16(%rsp)           
 483	addq  %rax,%r8     
 484	adcq  %rdx,%r9     
 485	adcq  $0,%rcx        
 486	
 487	movq  -104(%rsp),%rax     
 488	mulq  -24(%rsp)           
 489	addq  %rax,%r8     
 490	adcq  %rdx,%r9     
 491	adcq  $0,%rcx        
 492	
 493	movq  -96(%rsp),%rax     
 494	mulq  -32(%rsp)           
 495	addq  %rax,%r8     
 496	adcq  %rdx,%r9     
 497	adcq  $0,%rcx        
 498	
 499	movq  -88(%rsp),%rax     
 500	mulq  -40(%rsp)           
 501	addq  %rax,%r8     
 502	adcq  %rdx,%r9     
 503	adcq  $0,%rcx        
 504	
 505	movq  -80(%rsp),%rax     
 506	mulq  -48(%rsp)           
 507	addq  %rax,%r8     
 508	adcq  %rdx,%r9     
 509	adcq  $0,%rcx        
 510	
 511/NO_APP
 512	movq	%r9, %rbp
 513	movq	%rcx, %r12
 514/APP
 515	movq  -72(%rsp),%rax     
 516	mulq  -56(%rsp)           
 517	addq  %rax,%r8     
 518	adcq  %rdx,%rbp     
 519	adcq  $0,%r12        
 520	
 521/NO_APP
 522	movq	%r8, 48(%r11)
 523	movq	%r12, %r9
 524	movq	%rbp, %rcx
 525	movq	%r10, %r8
 526/APP
 527	movq  -120(%rsp),%rax     
 528	mulq  (%rsp)           
 529	addq  %rax,%rcx     
 530	adcq  %rdx,%r9     
 531	adcq  $0,%r8        
 532	
 533	movq  -112(%rsp),%rax     
 534	mulq  -8(%rsp)           
 535	addq  %rax,%rcx     
 536	adcq  %rdx,%r9     
 537	adcq  $0,%r8        
 538	
 539	movq  -104(%rsp),%rax     
 540	mulq  -16(%rsp)           
 541	addq  %rax,%rcx     
 542	adcq  %rdx,%r9     
 543	adcq  $0,%r8        
 544	
 545	movq  -96(%rsp),%rax     
 546	mulq  -24(%rsp)           
 547	addq  %rax,%rcx     
 548	adcq  %rdx,%r9     
 549	adcq  $0,%r8        
 550	
 551	movq  -88(%rsp),%rax     
 552	mulq  -32(%rsp)           
 553	addq  %rax,%rcx     
 554	adcq  %rdx,%r9     
 555	adcq  $0,%r8        
 556	
 557	movq  -80(%rsp),%rax     
 558	mulq  -40(%rsp)           
 559	addq  %rax,%rcx     
 560	adcq  %rdx,%r9     
 561	adcq  $0,%r8        
 562	
 563	movq  -72(%rsp),%rax     
 564	mulq  -48(%rsp)           
 565	addq  %rax,%rcx     
 566	adcq  %rdx,%r9     
 567	adcq  $0,%r8        
 568	
 569/NO_APP
 570	movq	%r9, %rbp
 571	movq	%r8, %r12
 572/APP
 573	movq  -64(%rsp),%rax     
 574	mulq  -56(%rsp)           
 575	addq  %rax,%rcx     
 576	adcq  %rdx,%rbp     
 577	adcq  $0,%r12        
 578	
 579/NO_APP
 580	movq	%rcx, 56(%r11)
 581	movq	%r12, %r9
 582	movq	%rbp, %r8
 583	movq	%r10, %rcx
 584/APP
 585	movq  -112(%rsp),%rax     
 586	mulq  (%rsp)           
 587	addq  %rax,%r8     
 588	adcq  %rdx,%r9     
 589	adcq  $0,%rcx        
 590	
 591	movq  -104(%rsp),%rax     
 592	mulq  -8(%rsp)           
 593	addq  %rax,%r8     
 594	adcq  %rdx,%r9     
 595	adcq  $0,%rcx        
 596	
 597	movq  -96(%rsp),%rax     
 598	mulq  -16(%rsp)           
 599	addq  %rax,%r8     
 600	adcq  %rdx,%r9     
 601	adcq  $0,%rcx        
 602	
 603	movq  -88(%rsp),%rax     
 604	mulq  -24(%rsp)           
 605	addq  %rax,%r8     
 606	adcq  %rdx,%r9     
 607	adcq  $0,%rcx        
 608	
 609	movq  -80(%rsp),%rax     
 610	mulq  -32(%rsp)           
 611	addq  %rax,%r8     
 612	adcq  %rdx,%r9     
 613	adcq  $0,%rcx        
 614	
 615	movq  -72(%rsp),%rax     
 616	mulq  -40(%rsp)           
 617	addq  %rax,%r8     
 618	adcq  %rdx,%r9     
 619	adcq  $0,%rcx        
 620	
 621/NO_APP
 622	movq	%r9, %rbp
 623	movq	%rcx, %r12
 624/APP
 625	movq  -64(%rsp),%rax     
 626	mulq  -48(%rsp)           
 627	addq  %rax,%r8     
 628	adcq  %rdx,%rbp     
 629	adcq  $0,%r12        
 630	
 631/NO_APP
 632	movq	%r8, 64(%r11)
 633	movq	%r12, %r9
 634	movq	%rbp, %rcx
 635	movq	%r10, %r8
 636/APP
 637	movq  -104(%rsp),%rax     
 638	mulq  (%rsp)           
 639	addq  %rax,%rcx     
 640	adcq  %rdx,%r9     
 641	adcq  $0,%r8        
 642	
 643	movq  -96(%rsp),%rax     
 644	mulq  -8(%rsp)           
 645	addq  %rax,%rcx     
 646	adcq  %rdx,%r9     
 647	adcq  $0,%r8        
 648	
 649	movq  -88(%rsp),%rax     
 650	mulq  -16(%rsp)           
 651	addq  %rax,%rcx     
 652	adcq  %rdx,%r9     
 653	adcq  $0,%r8        
 654	
 655	movq  -80(%rsp),%rax     
 656	mulq  -24(%rsp)           
 657	addq  %rax,%rcx     
 658	adcq  %rdx,%r9     
 659	adcq  $0,%r8        
 660	
 661	movq  -72(%rsp),%rax     
 662	mulq  -32(%rsp)           
 663	addq  %rax,%rcx     
 664	adcq  %rdx,%r9     
 665	adcq  $0,%r8        
 666	
 667/NO_APP
 668	movq	%r9, %rbp
 669	movq	%r8, %r12
 670/APP
 671	movq  -64(%rsp),%rax     
 672	mulq  -40(%rsp)           
 673	addq  %rax,%rcx     
 674	adcq  %rdx,%rbp     
 675	adcq  $0,%r12        
 676	
 677/NO_APP
 678	movq	%rcx, 72(%r11)
 679	movq	%r12, %r9
 680	movq	%rbp, %r8
 681	movq	%r10, %rcx
 682/APP
 683	movq  -96(%rsp),%rax     
 684	mulq  (%rsp)           
 685	addq  %rax,%r8     
 686	adcq  %rdx,%r9     
 687	adcq  $0,%rcx        
 688	
 689	movq  -88(%rsp),%rax     
 690	mulq  -8(%rsp)           
 691	addq  %rax,%r8     
 692	adcq  %rdx,%r9     
 693	adcq  $0,%rcx        
 694	
 695	movq  -80(%rsp),%rax     
 696	mulq  -16(%rsp)           
 697	addq  %rax,%r8     
 698	adcq  %rdx,%r9     
 699	adcq  $0,%rcx        
 700	
 701	movq  -72(%rsp),%rax     
 702	mulq  -24(%rsp)           
 703	addq  %rax,%r8     
 704	adcq  %rdx,%r9     
 705	adcq  $0,%rcx        
 706	
 707/NO_APP
 708	movq	%r9, %rbp
 709	movq	%rcx, %r12
 710/APP
 711	movq  -64(%rsp),%rax     
 712	mulq  -32(%rsp)           
 713	addq  %rax,%r8     
 714	adcq  %rdx,%rbp     
 715	adcq  $0,%r12        
 716	
 717/NO_APP
 718	movq	%r8, 80(%r11)
 719	movq	%r12, %r9
 720	movq	%rbp, %rcx
 721	movq	%r10, %r8
 722/APP
 723	movq  -88(%rsp),%rax     
 724	mulq  (%rsp)           
 725	addq  %rax,%rcx     
 726	adcq  %rdx,%r9     
 727	adcq  $0,%r8        
 728	
 729	movq  -80(%rsp),%rax     
 730	mulq  -8(%rsp)           
 731	addq  %rax,%rcx     
 732	adcq  %rdx,%r9     
 733	adcq  $0,%r8        
 734	
 735	movq  -72(%rsp),%rax     
 736	mulq  -16(%rsp)           
 737	addq  %rax,%rcx     
 738	adcq  %rdx,%r9     
 739	adcq  $0,%r8        
 740	
 741/NO_APP
 742	movq	%r9, %rbp
 743	movq	%r8, %r12
 744/APP
 745	movq  -64(%rsp),%rax     
 746	mulq  -24(%rsp)           
 747	addq  %rax,%rcx     
 748	adcq  %rdx,%rbp     
 749	adcq  $0,%r12        
 750	
 751/NO_APP
 752	movq	%rcx, 88(%r11)
 753	movq	%r12, %r9
 754	movq	%rbp, %r8
 755	movq	%r10, %rcx
 756/APP
 757	movq  -80(%rsp),%rax     
 758	mulq  (%rsp)           
 759	addq  %rax,%r8     
 760	adcq  %rdx,%r9     
 761	adcq  $0,%rcx        
 762	
 763	movq  -72(%rsp),%rax     
 764	mulq  -8(%rsp)           
 765	addq  %rax,%r8     
 766	adcq  %rdx,%r9     
 767	adcq  $0,%rcx        
 768	
 769/NO_APP
 770	movq	%r9, %rbp
 771	movq	%rcx, %r12
 772/APP
 773	movq  -64(%rsp),%rax     
 774	mulq  -16(%rsp)           
 775	addq  %rax,%r8     
 776	adcq  %rdx,%rbp     
 777	adcq  $0,%r12        
 778	
 779/NO_APP
 780	movq	%r8, 96(%r11)
 781	movq	%r12, %r9
 782	movq	%rbp, %rcx
 783	movq	%r10, %r8
 784/APP
 785	movq  -72(%rsp),%rax     
 786	mulq  (%rsp)           
 787	addq  %rax,%rcx     
 788	adcq  %rdx,%r9     
 789	adcq  $0,%r8        
 790	
 791/NO_APP
 792	movq	%r8, %r12
 793	movq	%r9, %rbp
 794/APP
 795	movq  -64(%rsp),%rax     
 796	mulq  -8(%rsp)           
 797	addq  %rax,%rcx     
 798	adcq  %rdx,%rbp     
 799	adcq  $0,%r12        
 800	
 801/NO_APP
 802	movq	%rcx, 104(%r11)
 803	movq	%rbp, %r8
 804	movq	%r12, %rcx
 805/APP
 806	movq  -64(%rsp),%rax     
 807	mulq  (%rsp)           
 808	addq  %rax,%r8     
 809	adcq  %rdx,%rcx     
 810	adcq  $0,%r10        
 811	
 812/NO_APP
 813	movq	%r8, 112(%r11)
 814	movl	(%rsi), %esi
 815	xorl	(%rdi), %esi
 816	testq	%rcx, %rcx
 817	movq	%rcx, 120(%r11)
 818	movl	$16, 8(%rbx)
 819	jne	.L35
 820	.align 16
 821.L43:
 822	movl	8(%rbx), %edx
 823	leal	-1(%rdx), %edi
 824	testl	%edi, %edi
 825	movl	%edi, 8(%rbx)
 826	je	.L35
 827	leal	-2(%rdx), %eax
 828	cmpq	$0, (%r11,%rax,8)
 829	je	.L43
 830.L35:
 831	movl	8(%rbx), %r11d
 832	xorl	%edx, %edx
 833	testl	%r11d, %r11d
 834	cmovne	%esi, %edx
 835	movl	%edx, (%rbx)
 836	addq	$8, %rsp
 837	popq	%rbx
 838	popq	%rbp
 839	popq	%r12
 840	ret
 841.LFE3:
 842	.size	s_mp_mul_comba_8, .-s_mp_mul_comba_8
 843	.align 16
 844.globl s_mp_mul_comba_16
 845	.type	s_mp_mul_comba_16, @function
 846s_mp_mul_comba_16:
 847.LFB4:
 848	pushq	%r12
 849.LCFI7:
 850	pushq	%rbp
 851.LCFI8:
 852	pushq	%rbx
 853.LCFI9:
 854	movq	%rdx, %rbx
 855	subq	$136, %rsp
 856.LCFI10:
 857	movq	16(%rdi), %rax
 858	movq	(%rax), %r8
 859	movq	%r8, -120(%rsp)
 860	movq	8(%rax), %rbp
 861	movq	%rbp, -112(%rsp)
 862	movq	16(%rax), %r9
 863	movq	%r9, -104(%rsp)
 864	movq	24(%rax), %r12
 865	movq	%r12, -96(%rsp)
 866	movq	32(%rax), %rcx
 867	movq	%rcx, -88(%rsp)
 868	movq	40(%rax), %r10
 869	movq	%r10, -80(%rsp)
 870	movq	48(%rax), %rdx
 871	movq	%rdx, -72(%rsp)
 872	movq	56(%rax), %r11
 873	movq	%r11, -64(%rsp)
 874	movq	64(%rax), %r8
 875	movq	%r8, -56(%rsp)
 876	movq	72(%rax), %rbp
 877	movq	%rbp, -48(%rsp)
 878	movq	80(%rax), %r9
 879	movq	%r9, -40(%rsp)
 880	movq	88(%rax), %r12
 881	movq	%r12, -32(%rsp)
 882	movq	96(%rax), %rcx
 883	movq	%rcx, -24(%rsp)
 884	movq	104(%rax), %r10
 885	movq	%r10, -16(%rsp)
 886	movq	112(%rax), %rdx
 887	movq	%rdx, -8(%rsp)
 888	movq	120(%rax), %r11
 889	movq	%r11, (%rsp)
 890	movq	16(%rsi), %r11
 891	movq	(%r11), %r8
 892	movq	%r8, 8(%rsp)
 893	movq	8(%r11), %rbp
 894	movq	%rbp, 16(%rsp)
 895	movq	16(%r11), %r9
 896	movq	%r9, 24(%rsp)
 897	movq	24(%r11), %r12
 898	movq	%r12, 32(%rsp)
 899	movq	32(%r11), %rcx
 900	movq	%rcx, 40(%rsp)
 901	movq	40(%r11), %r10
 902	movq	%r10, 48(%rsp)
 903	movq	48(%r11), %rdx
 904	movq	%rdx, 56(%rsp)
 905	movq	56(%r11), %rax
 906	movq	%rax, 64(%rsp)
 907	movq	64(%r11), %r8
 908	movq	%r8, 72(%rsp)
 909	movq	72(%r11), %rbp
 910	movq	%rbp, 80(%rsp)
 911	movq	80(%r11), %r9
 912	movq	%r9, 88(%rsp)
 913	movq	88(%r11), %r12
 914	movq	%r12, 96(%rsp)
 915	movq	96(%r11), %rcx
 916	movq	%rcx, 104(%rsp)
 917	movq	104(%r11), %r10
 918	movq	%r10, 112(%rsp)
 919	movq	112(%r11), %rdx
 920	xorl	%r10d, %r10d
 921	movq	%r10, %r8
 922	movq	%r10, %r9
 923	movq	%r10, %rbp
 924	movq	%rdx, 120(%rsp)
 925	movq	120(%r11), %rax
 926	movq	%rax, 128(%rsp)
 927	movq	16(%rbx), %r11
 928/APP
 929	movq  -120(%rsp),%rax     
 930	mulq  8(%rsp)           
 931	addq  %rax,%r8     
 932	adcq  %rdx,%r9     
 933	adcq  $0,%rbp        
 934	
 935/NO_APP
 936	movq	%r8, (%r11)
 937	movq	%rbp, %r8
 938	movq	%r10, %rbp
 939/APP
 940	movq  -120(%rsp),%rax     
 941	mulq  16(%rsp)           
 942	addq  %rax,%r9     
 943	adcq  %rdx,%r8     
 944	adcq  $0,%rbp        
 945	
 946/NO_APP
 947	movq	%rbp, %r12
 948/APP
 949	movq  -112(%rsp),%rax     
 950	mulq  8(%rsp)           
 951	addq  %rax,%r9     
 952	adcq  %rdx,%r8     
 953	adcq  $0,%r12        
 954	
 955/NO_APP
 956	movq	%r9, 8(%r11)
 957	movq	%r12, %r9
 958	movq	%r10, %r12
 959/APP
 960	movq  -120(%rsp),%rax     
 961	mulq  24(%rsp)           
 962	addq  %rax,%r8     
 963	adcq  %rdx,%r9     
 964	adcq  $0,%r12        
 965	
 966/NO_APP
 967	movq	%r12, %rcx
 968/APP
 969	movq  -112(%rsp),%rax     
 970	mulq  16(%rsp)           
 971	addq  %rax,%r8     
 972	adcq  %rdx,%r9     
 973	adcq  $0,%rcx        
 974	
 975/NO_APP
 976	movq	%r9, %rbp
 977	movq	%rcx, %r12
 978/APP
 979	movq  -104(%rsp),%rax     
 980	mulq  8(%rsp)           
 981	addq  %rax,%r8     
 982	adcq  %rdx,%rbp     
 983	adcq  $0,%r12        
 984	
 985/NO_APP
 986	movq	%r8, 16(%r11)
 987	movq	%r12, %r9
 988	movq	%rbp, %rcx
 989	movq	%r10, %r8
 990/APP
 991	movq  -120(%rsp),%rax     
 992	mulq  32(%rsp)           
 993	addq  %rax,%rcx     
 994	adcq  %rdx,%r9     
 995	adcq  $0,%r8        
 996	
 997	movq  -112(%rsp),%rax     
 998	mulq  24(%rsp)           
 999	addq  %rax,%rcx     
1000	adcq  %rdx,%r9     
1001	adcq  $0,%r8        
1002	
1003	movq  -104(%rsp),%rax     
1004	mulq  16(%rsp)           
1005	addq  %rax,%rcx     
1006	adcq  %rdx,%r9     
1007	adcq  $0,%r8        
1008	
1009/NO_APP
1010	movq	%r9, %rbp
1011	movq	%r8, %r12
1012/APP
1013	movq  -96(%rsp),%rax     
1014	mulq  8(%rsp)           
1015	addq  %rax,%rcx     
1016	adcq  %rdx,%rbp     
1017	adcq  $0,%r12        
1018	
1019/NO_APP
1020	movq	%rcx, 24(%r11)
1021	movq	%r12, %r9
1022	movq	%rbp, %r8
1023	movq	%r10, %rcx
1024/APP
1025	movq  -120(%rsp),%rax     
1026	mulq  40(%rsp)           
1027	addq  %rax,%r8     
1028	adcq  %rdx,%r9     
1029	adcq  $0,%rcx        
1030	
1031	movq  -112(%rsp),%rax     
1032	mulq  32(%rsp)           
1033	addq  %rax,%r8     
1034	adcq  %rdx,%r9     
1035	adcq  $0,%rcx        
1036	
1037	movq  -104(%rsp),%rax     
1038	mulq  24(%rsp)           
1039	addq  %rax,%r8     
1040	adcq  %rdx,%r9     
1041	adcq  $0,%rcx        
1042	
1043	movq  -96(%rsp),%rax     
1044	mulq  16(%rsp)           
1045	addq  %rax,%r8     
1046	adcq  %rdx,%r9     
1047	adcq  $0,%rcx        
1048	
1049/NO_APP
1050	movq	%r9, %rbp
1051	movq	%rcx, %r12
1052/APP
1053	movq  -88(%rsp),%rax     
1054	mulq  8(%rsp)           
1055	addq  %rax,%r8     
1056	adcq  %rdx,%rbp     
1057	adcq  $0,%r12        
1058	
1059/NO_APP
1060	movq	%r8, 32(%r11)
1061	movq	%r12, %r9
1062	movq	%rbp, %rcx
1063	movq	%r10, %r8
1064/APP
1065	movq  -120(%rsp),%rax     
1066	mulq  48(%rsp)           
1067	addq  %rax,%rcx     
1068	adcq  %rdx,%r9     
1069	adcq  $0,%r8        
1070	
1071	movq  -112(%rsp),%rax     
1072	mulq  40(%rsp)           
1073	addq  %rax,%rcx     
1074	adcq  %rdx,%r9     
1075	adcq  $0,%r8        
1076	
1077	movq  -104(%rsp),%rax     
1078	mulq  32(%rsp)           
1079	addq  %rax,%rcx     
1080	adcq  %rdx,%r9     
1081	adcq  $0,%r8        
1082	
1083	movq  -96(%rsp),%rax     
1084	mulq  24(%rsp)           
1085	addq  %rax,%rcx     
1086	adcq  %rdx,%r9     
1087	adcq  $0,%r8        
1088	
1089	movq  -88(%rsp),%rax     
1090	mulq  16(%rsp)           
1091	addq  %rax,%rcx     
1092	adcq  %rdx,%r9     
1093	adcq  $0,%r8        
1094	
1095/NO_APP
1096	movq	%r9, %rbp
1097	movq	%r8, %r12
1098/APP
1099	movq  -80(%rsp),%rax     
1100	mulq  8(%rsp)           
1101	addq  %rax,%rcx     
1102	adcq  %rdx,%rbp     
1103	adcq  $0,%r12        
1104	
1105/NO_APP
1106	movq	%rcx, 40(%r11)
1107	movq	%r12, %r9
1108	movq	%rbp, %r8
1109	movq	%r10, %rcx
1110/APP
1111	movq  -120(%rsp),%rax     
1112	mulq  56(%rsp)           
1113	addq  %rax,%r8     
1114	adcq  %rdx,%r9     
1115	adcq  $0,%rcx        
1116	
1117	movq  -112(%rsp),%rax     
1118	mulq  48(%rsp)           
1119	addq  %rax,%r8     
1120	adcq  %rdx,%r9     
1121	adcq  $0,%rcx        
1122	
1123	movq  -104(%rsp),%rax     
1124	mulq  40(%rsp)           
1125	addq  %rax,%r8     
1126	adcq  %rdx,%r9     
1127	adcq  $0,%rcx        
1128	
1129	movq  -96(%rsp),%rax     
1130	mulq  32(%rsp)           
1131	addq  %rax,%r8     
1132	adcq  %rdx,%r9     
1133	adcq  $0,%rcx        
1134	
1135	movq  -88(%rsp),%rax     
1136	mulq  24(%rsp)           
1137	addq  %rax,%r8     
1138	adcq  %rdx,%r9     
1139	adcq  $0,%rcx        
1140	
1141	movq  -80(%rsp),%rax     
1142	mulq  16(%rsp)           
1143	addq  %rax,%r8     
1144	adcq  %rdx,%r9     
1145	adcq  $0,%rcx        
1146	
1147/NO_APP
1148	movq	%r9, %rbp
1149	movq	%rcx, %r12
1150/APP
1151	movq  -72(%rsp),%rax     
1152	mulq  8(%rsp)           
1153	addq  %rax,%r8     
1154	adcq  %rdx,%rbp     
1155	adcq  $0,%r12        
1156	
1157/NO_APP
1158	movq	%r8, 48(%r11)
1159	movq	%r12, %r9
1160	movq	%rbp, %rcx
1161	movq	%r10, %r8
1162/APP
1163	movq  -120(%rsp),%rax     
1164	mulq  64(%rsp)           
1165	addq  %rax,%rcx     
1166	adcq  %rdx,%r9     
1167	adcq  $0,%r8        
1168	
1169	movq  -112(%rsp),%rax     
1170	mulq  56(%rsp)           
1171	addq  %rax,%rcx     
1172	adcq  %rdx,%r9     
1173	adcq  $0,%r8        
1174	
1175	movq  -104(%rsp),%rax     
1176	mulq  48(%rsp)           
1177	addq  %rax,%rcx     
1178	adcq  %rdx,%r9     
1179	adcq  $0,%r8        
1180	
1181	movq  -96(%rsp),%rax     
1182	mulq  40(%rsp)           
1183	addq  %rax,%rcx     
1184	adcq  %rdx,%r9     
1185	adcq  $0,%r8        
1186	
1187	movq  -88(%rsp),%rax     
1188	mulq  32(%rsp)           
1189	addq  %rax,%rcx     
1190	adcq  %rdx,%r9     
1191	adcq  $0,%r8        
1192	
1193	movq  -80(%rsp),%rax     
1194	mulq  24(%rsp)           
1195	addq  %rax,%rcx     
1196	adcq  %rdx,%r9     
1197	adcq  $0,%r8        
1198	
1199	movq  -72(%rsp),%rax     
1200	mulq  16(%rsp)           
1201	addq  %rax,%rcx     
1202	adcq  %rdx,%r9     
1203	adcq  $0,%r8        
1204	
1205/NO_APP
1206	movq	%r9, %rbp
1207	movq	%r8, %r12
1208/APP
1209	movq  -64(%rsp),%rax     
1210	mulq  8(%rsp)           
1211	addq  %rax,%rcx     
1212	adcq  %rdx,%rbp     
1213	adcq  $0,%r12        
1214	
1215/NO_APP
1216	movq	%rcx, 56(%r11)
1217	movq	%r12, %r9
1218	movq	%rbp, %r8
1219	movq	%r10, %rcx
1220/APP
1221	movq  -120(%rsp),%rax     
1222	mulq  72(%rsp)           
1223	addq  %rax,%r8     
1224	adcq  %rdx,%r9     
1225	adcq  $0,%rcx        
1226	
1227	movq  -112(%rsp),%rax     
1228	mulq  64(%rsp)           
1229	addq  %rax,%r8     
1230	adcq  %rdx,%r9     
1231	adcq  $0,%rcx        
1232	
1233	movq  -104(%rsp),%rax     
1234	mulq  56(%rsp)           
1235	addq  %rax,%r8     
1236	adcq  %rdx,%r9     
1237	adcq  $0,%rcx        
1238	
1239	movq  -96(%rsp),%rax     
1240	mulq  48(%rsp)           
1241	addq  %rax,%r8     
1242	adcq  %rdx,%r9     
1243	adcq  $0,%rcx        
1244	
1245	movq  -88(%rsp),%rax     
1246	mulq  40(%rsp)           
1247	addq  %rax,%r8     
1248	adcq  %rdx,%r9     
1249	adcq  $0,%rcx        
1250	
1251	movq  -80(%rsp),%rax     
1252	mulq  32(%rsp)           
1253	addq  %rax,%r8     
1254	adcq  %rdx,%r9     
1255	adcq  $0,%rcx        
1256	
1257	movq  -72(%rsp),%rax     
1258	mulq  24(%rsp)           
1259	addq  %rax,%r8     
1260	adcq  %rdx,%r9     
1261	adcq  $0,%rcx        
1262	
1263	movq  -64(%rsp),%rax     
1264	mulq  16(%rsp)           
1265	addq  %rax,%r8     
1266	adcq  %rdx,%r9     
1267	adcq  $0,%rcx        
1268	
1269/NO_APP
1270	movq	%r9, %rbp
1271	movq	%rcx, %r12
1272/APP
1273	movq  -56(%rsp),%rax     
1274	mulq  8(%rsp)           
1275	addq  %rax,%r8     
1276	adcq  %rdx,%rbp     
1277	adcq  $0,%r12        
1278	
1279/NO_APP
1280	movq	%r8, 64(%r11)
1281	movq	%r12, %r9
1282	movq	%rbp, %rcx
1283	movq	%r10, %r8
1284/APP
1285	movq  -120(%rsp),%rax     
1286	mulq  80(%rsp)           
1287	addq  %rax,%rcx     
1288	adcq  %rdx,%r9     
1289	adcq  $0,%r8        
1290	
1291	movq  -112(%rsp),%rax     
1292	mulq  72(%rsp)           
1293	addq  %rax,%rcx     
1294	adcq  %rdx,%r9     
1295	adcq  $0,%r8        
1296	
1297	movq  -104(%rsp),%rax     
1298	mulq  64(%rsp)           
1299	addq  %rax,%rcx     
1300	adcq  %rdx,%r9     
1301	adcq  $0,%r8        
1302	
1303	movq  -96(%rsp),%rax     
1304	mulq  56(%rsp)           
1305	addq  %rax,%rcx     
1306	adcq  %rdx,%r9     
1307	adcq  $0,%r8        
1308	
1309	movq  -88(%rsp),%rax     
1310	mulq  48(%rsp)           
1311	addq  %rax,%rcx     
1312	adcq  %rdx,%r9     
1313	adcq  $0,%r8        
1314	
1315	movq  -80(%rsp),%rax     
1316	mulq  40(%rsp)           
1317	addq  %rax,%rcx     
1318	adcq  %rdx,%r9     
1319	adcq  $0,%r8        
1320	
1321	movq  -72(%rsp),%rax     
1322	mulq  32(%rsp)           
1323	addq  %rax,%rcx     
1324	adcq  %rdx,%r9     
1325	adcq  $0,%r8        
1326	
1327	movq  -64(%rsp),%rax     
1328	mulq  24(%rsp)           
1329	addq  %rax,%rcx     
1330	adcq  %rdx,%r9     
1331	adcq  $0,%r8        
1332	
1333	movq  -56(%rsp),%rax     
1334	mulq  16(%rsp)           
1335	addq  %rax,%rcx     
1336	adcq  %rdx,%r9     
1337	adcq  $0,%r8        
1338	
1339/NO_APP
1340	movq	%r9, %rbp
1341	movq	%r8, %r12
1342/APP
1343	movq  -48(%rsp),%rax     
1344	mulq  8(%rsp)           
1345	addq  %rax,%rcx     
1346	adcq  %rdx,%rbp     
1347	adcq  $0,%r12        
1348	
1349/NO_APP
1350	movq	%rcx, 72(%r11)
1351	movq	%r12, %r9
1352	movq	%rbp, %r8
1353	movq	%r10, %rcx
1354/APP
1355	movq  -120(%rsp),%rax     
1356	mulq  88(%rsp)           
1357	addq  %rax,%r8     
1358	adcq  %rdx,%r9     
1359	adcq  $0,%rcx        
1360	
1361	movq  -112(%rsp),%rax     
1362	mulq  80(%rsp)           
1363	addq  %rax,%r8     
1364	adcq  %rdx,%r9     
1365	adcq  $0,%rcx        
1366	
1367	movq  -104(%rsp),%rax     
1368	mulq  72(%rsp)           
1369	addq  %rax,%r8     
1370	adcq  %rdx,%r9     
1371	adcq  $0,%rcx        
1372	
1373	movq  -96(%rsp),%rax     
1374	mulq  64(%rsp)           
1375	addq  %rax,%r8     
1376	adcq  %rdx,%r9     
1377	adcq  $0,%rcx        
1378	
1379	movq  -88(%rsp),%rax     
1380	mulq  56(%rsp)           
1381	addq  %rax,%r8     
1382	adcq  %rdx,%r9     
1383	adcq  $0,%rcx        
1384	
1385	movq  -80(%rsp),%rax     
1386	mulq  48(%rsp)           
1387	addq  %rax,%r8     
1388	adcq  %rdx,%r9     
1389	adcq  $0,%rcx        
1390	
1391	movq  -72(%rsp),%rax     
1392	mulq  40(%rsp)           
1393	addq  %rax,%r8     
1394	adcq  %rdx,%r9     
1395	adcq  $0,%rcx        
1396	
1397	movq  -64(%rsp),%rax     
1398	mulq  32(%rsp)           
1399	addq  %rax,%r8     
1400	adcq  %rdx,%r9     
1401	adcq  $0,%rcx        
1402	
1403	movq  -56(%rsp),%rax     
1404	mulq  24(%rsp)           
1405	addq  %rax,%r8     
1406	adcq  %rdx,%r9     
1407	adcq  $0,%rcx        
1408	
1409	movq  -48(%rsp),%rax     
1410	mulq  16(%rsp)           
1411	addq  %rax,%r8     
1412	adcq  %rdx,%r9     
1413	adcq  $0,%rcx        
1414	
1415/NO_APP
1416	movq	%r9, %rbp
1417	movq	%rcx, %r12
1418/APP
1419	movq  -40(%rsp),%rax     
1420	mulq  8(%rsp)           
1421	addq  %rax,%r8     
1422	adcq  %rdx,%rbp     
1423	adcq  $0,%r12        
1424	
1425/NO_APP
1426	movq	%r8, 80(%r11)
1427	movq	%r12, %r9
1428	movq	%rbp, %rcx
1429	movq	%r10, %r8
1430/APP
1431	movq  -120(%rsp),%rax     
1432	mulq  96(%rsp)           
1433	addq  %rax,%rcx     
1434	adcq  %rdx,%r9     
1435	adcq  $0,%r8        
1436	
1437	movq  -112(%rsp),%rax     
1438	mulq  88(%rsp)           
1439	addq  %rax,%rcx     
1440	adcq  %rdx,%r9     
1441	adcq  $0,%r8        
1442	
1443	movq  -104(%rsp),%rax     
1444	mulq  80(%rsp)           
1445	addq  %rax,%rcx     
1446	adcq  %rdx,%r9     
1447	adcq  $0,%r8        
1448	
1449	movq  -96(%rsp),%rax     
1450	mulq  72(%rsp)           
1451	addq  %rax,%rcx     
1452	adcq  %rdx,%r9     
1453	adcq  $0,%r8        
1454	
1455	movq  -88(%rsp),%rax     
1456	mulq  64(%rsp)           
1457	addq  %rax,%rcx     
1458	adcq  %rdx,%r9     
1459	adcq  $0,%r8        
1460	
1461	movq  -80(%rsp),%rax     
1462	mulq  56(%rsp)           
1463	addq  %rax,%rcx     
1464	adcq  %rdx,%r9     
1465	adcq  $0,%r8        
1466	
1467	movq  -72(%rsp),%rax     
1468	mulq  48(%rsp)           
1469	addq  %rax,%rcx     
1470	adcq  %rdx,%r9     
1471	adcq  $0,%r8        
1472	
1473	movq  -64(%rsp),%rax     
1474	mulq  40(%rsp)           
1475	addq  %rax,%rcx     
1476	adcq  %rdx,%r9     
1477	adcq  $0,%r8        
1478	
1479	movq  -56(%rsp),%rax     
1480	mulq  32(%rsp)           
1481	addq  %rax,%rcx     
1482	adcq  %rdx,%r9     
1483	adcq  $0,%r8        
1484	
1485	movq  -48(%rsp),%rax     
1486	mulq  24(%rsp)           
1487	addq  %rax,%rcx     
1488	adcq  %rdx,%r9     
1489	adcq  $0,%r8        
1490	
1491	movq  -40(%rsp),%rax     
1492	mulq  16(%rsp)           
1493	addq  %rax,%rcx     
1494	adcq  %rdx,%r9     
1495	adcq  $0,%r8        
1496	
1497/NO_APP
1498	movq	%r9, %rbp
1499	movq	%r8, %r12
1500/APP
1501	movq  -32(%rsp),%rax     
1502	mulq  8(%rsp)           
1503	addq  %rax,%rcx     
1504	adcq  %rdx,%rbp     
1505	adcq  $0,%r12        
1506	
1507/NO_APP
1508	movq	%rcx, 88(%r11)
1509	movq	%r12, %r9
1510	movq	%rbp, %r8
1511	movq	%r10, %rcx
1512/APP
1513	movq  -120(%rsp),%rax     
1514	mulq  104(%rsp)           
1515	addq  %rax,%r8     
1516	adcq  %rdx,%r9     
1517	adcq  $0,%rcx        
1518	
1519	movq  -112(%rsp),%rax     
1520	mulq  96(%rsp)           
1521	addq  %rax,%r8     
1522	adcq  %rdx,%r9     
1523	adcq  $0,%rcx        
1524	
1525	movq  -104(%rsp),%rax     
1526	mulq  88(%rsp)           
1527	addq  %rax,%r8     
1528	adcq  %rdx,%r9     
1529	adcq  $0,%rcx        
1530	
1531	movq  -96(%rsp),%rax     
1532	mulq  80(%rsp)           
1533	addq  %rax,%r8     
1534	adcq  %rdx,%r9     
1535	adcq  $0,%rcx        
1536	
1537	movq  -88(%rsp),%rax     
1538	mulq  72(%rsp)           
1539	addq  %rax,%r8     
1540	adcq  %rdx,%r9     
1541	adcq  $0,%rcx        
1542	
1543	movq  -80(%rsp),%rax     
1544	mulq  64(%rsp)           
1545	addq  %rax,%r8     
1546	adcq  %rdx,%r9     
1547	adcq  $0,%rcx        
1548	
1549	movq  -72(%rsp),%rax     
1550	mulq  56(%rsp)           
1551	addq  %rax,%r8     
1552	adcq  %rdx,%r9     
1553	adcq  $0,%rcx        
1554	
1555	movq  -64(%rsp),%rax     
1556	mulq  48(%rsp)           
1557	addq  %rax,%r8     
1558	adcq  %rdx,%r9     
1559	adcq  $0,%rcx        
1560	
1561	movq  -56(%rsp),%rax     
1562	mulq  40(%rsp)           
1563	addq  %rax,%r8     
1564	adcq  %rdx,%r9     
1565	adcq  $0,%rcx        
1566	
1567	movq  -48(%rsp),%rax     
1568	mulq  32(%rsp)           
1569	addq  %rax,%r8     
1570	adcq  %rdx,%r9     
1571	adcq  $0,%rcx        
1572	
1573	movq  -40(%rsp),%rax     
1574	mulq  24(%rsp)           
1575	addq  %rax,%r8     
1576	adcq  %rdx,%r9     
1577	adcq  $0,%rcx        
1578	
1579	movq  -32(%rsp),%rax     
1580	mulq  16(%rsp)           
1581	addq  %rax,%r8     
1582	adcq  %rdx,%r9     
1583	adcq  $0,%rcx        
1584	
1585/NO_APP
1586	movq	%r9, %rbp
1587	movq	%rcx, %r12
1588/APP
1589	movq  -24(%rsp),%rax     
1590	mulq  8(%rsp)           
1591	addq  %rax,%r8     
1592	adcq  %rdx,%rbp     
1593	adcq  $0,%r12        
1594	
1595/NO_APP
1596	movq	%r8, 96(%r11)
1597	movq	%r12, %r9
1598	movq	%rbp, %rcx
1599	movq	%r10, %r8
1600/APP
1601	movq  -120(%rsp),%rax     
1602	mulq  112(%rsp)           
1603	addq  %rax,%rcx     
1604	adcq  %rdx,%r9     
1605	adcq  $0,%r8        
1606	
1607	movq  -112(%rsp),%rax     
1608	mulq  104(%rsp)           
1609	addq  %rax,%rcx     
1610	adcq  %rdx,%r9     
1611	adcq  $0,%r8        
1612	
1613	movq  -104(%rsp),%rax     
1614	mulq  96(%rsp)           
1615	addq  %rax,%rcx     
1616	adcq  %rdx,%r9     
1617	adcq  $0,%r8        
1618	
1619	movq  -96(%rsp),%rax     
1620	mulq  88(%rsp)           
1621	addq  %rax,%rcx     
1622	adcq  %rdx,%r9     
1623	adcq  $0,%r8        
1624	
1625	movq  -88(%rsp),%rax     
1626	mulq  80(%rsp)           
1627	addq  %rax,%rcx     
1628	adcq  %rdx,%r9     
1629	adcq  $0,%r8        
1630	
1631	movq  -80(%rsp),%rax     
1632	mulq  72(%rsp)           
1633	addq  %rax,%rcx     
1634	adcq  %rdx,%r9     
1635	adcq  $0,%r8        
1636	
1637	movq  -72(%rsp),%rax     
1638	mulq  64(%rsp)           
1639	addq  %rax,%rcx     
1640	adcq  %rdx,%r9     
1641	adcq  $0,%r8        
1642	
1643	movq  -64(%rsp),%rax     
1644	mulq  56(%rsp)           
1645	addq  %rax,%rcx     
1646	adcq  %rdx,%r9     
1647	adcq  $0,%r8        
1648	
1649	movq  -56(%rsp),%rax     
1650	mulq  48(%rsp)           
1651	addq  %rax,%rcx     
1652	adcq  %rdx,%r9     
1653	adcq  $0,%r8        
1654	
1655	movq  -48(%rsp),%rax     
1656	mulq  40(%rsp)           
1657	addq  %rax,%rcx     
1658	adcq  %rdx,%r9     
1659	adcq  $0,%r8        
1660	
1661	movq  -40(%rsp),%rax     
1662	mulq  32(%rsp)           
1663	addq  %rax,%rcx     
1664	adcq  %rdx,%r9     
1665	adcq  $0,%r8        
1666	
1667	movq  -32(%rsp),%rax     
1668	mulq  24(%rsp)           
1669	addq  %rax,%rcx     
1670	adcq  %rdx,%r9     
1671	adcq  $0,%r8        
1672	
1673	movq  -24(%rsp),%rax     
1674	mulq  16(%rsp)           
1675	addq  %rax,%rcx     
1676	adcq  %rdx,%r9     
1677	adcq  $0,%r8        
1678	
1679/NO_APP
1680	movq	%r9, %rbp
1681	movq	%r8, %r12
1682/APP
1683	movq  -16(%rsp),%rax     
1684	mulq  8(%rsp)           
1685	addq  %rax,%rcx     
1686	adcq  %rdx,%rbp     
1687	adcq  $0,%r12        
1688	
1689/NO_APP
1690	movq	%rcx, 104(%r11)
1691	movq	%r12, %r9
1692	movq	%rbp, %r8
1693	movq	%r10, %rcx
1694/APP
1695	movq  -120(%rsp),%rax     
1696	mulq  120(%rsp)           
1697	addq  %rax,%r8     
1698	adcq  %rdx,%r9     
1699	adcq  $0,%rcx        
1700	
1701	movq  -112(%rsp),%rax     
1702	mulq  112(%rsp)           
1703	addq  %rax,%r8     
1704	adcq  %rdx,%r9     
1705	adcq  $0,%rcx        
1706	
1707	movq  -104(%rsp),%rax     
1708	mulq  104(%rsp)           
1709	addq  %rax,%r8     
1710	adcq  %rdx,%r9     
1711	adcq  $0,%rcx        
1712	
1713	movq  -96(%rsp),%rax     
1714	mulq  96(%rsp)           
1715	addq  %rax,%r8     
1716	adcq  %rdx,%r9     
1717	adcq  $0,%rcx        
1718	
1719	movq  -88(%rsp),%rax     
1720	mulq  88(%rsp)           
1721	addq  %rax,%r8     
1722	adcq  %rdx,%r9     
1723	adcq  $0,%rcx        
1724	
1725	movq  -80(%rsp),%rax     
1726	mulq  80(%rsp)           
1727	addq  %rax,%r8     
1728	adcq  %rdx,%r9     
1729	adcq  $0,%rcx        
1730	
1731	movq  -72(%rsp),%rax     
1732	mulq  72(%rsp)           
1733	addq  %rax,%r8     
1734	adcq  %rdx,%r9     
1735	adcq  $0,%rcx        
1736	
1737	movq  -64(%rsp),%rax     
1738	mulq  64(%rsp)           
1739	addq  %rax,%r8     
1740	adcq  %rdx,%r9     
1741	adcq  $0,%rcx        
1742	
1743	movq  -56(%rsp),%rax     
1744	mulq  56(%rsp)           
1745	addq  %rax,%r8     
1746	adcq  %rdx,%r9     
1747	adcq  $0,%rcx        
1748	
1749	movq  -48(%rsp),%rax     
1750	mulq  48(%rsp)           
1751	addq  %rax,%r8     
1752	adcq  %rdx,%r9     
1753	adcq  $0,%rcx        
1754	
1755	movq  -40(%rsp),%rax     
1756	mulq  40(%rsp)           
1757	addq  %rax,%r8     
1758	adcq  %rdx,%r9     
1759	adcq  $0,%rcx        
1760	
1761	movq  -32(%rsp),%rax     
1762	mulq  32(%rsp)           
1763	addq  %rax,%r8     
1764	adcq  %rdx,%r9     
1765	adcq  $0,%rcx        
1766	
1767	movq  -24(%rsp),%rax     
1768	mulq  24(%rsp)           
1769	addq  %rax,%r8     
1770	adcq  %rdx,%r9     
1771	adcq  $0,%rcx        
1772	
1773	movq  -16(%rsp),%rax     
1774	mulq  16(%rsp)           
1775	addq  %rax,%r8     
1776	adcq  %rdx,%r9     
1777	adcq  $0,%rcx        
1778	
1779/NO_APP
1780	movq	%r9, %rbp
1781	movq	%rcx, %r12
1782/APP
1783	movq  -8(%rsp),%rax     
1784	mulq  8(%rsp)           
1785	addq  %rax,%r8     
1786	adcq  %rdx,%rbp     
1787	adcq  $0,%r12        
1788	
1789/NO_APP
1790	movq	%r8, 112(%r11)
1791	movq	%r12, %r9
1792	movq	%rbp, %rcx
1793	movq	%r10, %r8
1794/APP
1795	movq  -120(%rsp),%rax     
1796	mulq  128(%rsp)           
1797	addq  %rax,%rcx     
1798	adcq  %rdx,%r9     
1799	adcq  $0,%r8        
1800	
1801	movq  -112(%rsp),%rax     
1802	mulq  120(%rsp)           
1803	addq  %rax,%rcx     
1804	adcq  %rdx,%r9     
1805	adcq  $0,%r8        
1806	
1807	movq  -104(%rsp),%rax     
1808	mulq  112(%rsp)           
1809	addq  %rax,%rcx     
1810	adcq  %rdx,%r9     
1811	adcq  $0,%r8        
1812	
1813	movq  -96(%rsp),%rax     
1814	mulq  104(%rsp)           
1815	addq  %rax,%rcx     
1816	adcq  %rdx,%r9     
1817	adcq  $0,%r8        
1818	
1819	movq  -88(%rsp),%rax     
1820	mulq  96(%rsp)           
1821	addq  %rax,%rcx     
1822	adcq  %rdx,%r9     
1823	adcq  $0,%r8        
1824	
1825	movq  -80(%rsp),%rax     
1826	mulq  88(%rsp)           
1827	addq  %rax,%rcx     
1828	adcq  %rdx,%r9     
1829	adcq  $0,%r8        
1830	
1831	movq  -72(%rsp),%rax     
1832	mulq  80(%rsp)           
1833	addq  %rax,%rcx     
1834	adcq  %rdx,%r9     
1835	adcq  $0,%r8        
1836	
1837	movq  -64(%rsp),%rax     
1838	mulq  72(%rsp)           
1839	addq  %rax,%rcx     
1840	adcq  %rdx,%r9     
1841	adcq  $0,%r8        
1842	
1843	movq  -56(%rsp),%rax     
1844	mulq  64(%rsp)           
1845	addq  %rax,%rcx     
1846	adcq  %rdx,%r9     
1847	adcq  $0,%r8        
1848	
1849	movq  -48(%rsp),%rax     
1850	mulq  56(%rsp)           
1851	addq  %rax,%rcx     
1852	adcq  %rdx,%r9     
1853	adcq  $0,%r8        
1854	
1855	movq  -40(%rsp),%rax     
1856	mulq  48(%rsp)           
1857	addq  %rax,%rcx     
1858	adcq  %rdx,%r9     
1859	adcq  $0,%r8        
1860	
1861	movq  -32(%rsp),%rax     
1862	mulq  40(%rsp)           
1863	addq  %rax,%rcx     
1864	adcq  %rdx,%r9     
1865	adcq  $0,%r8        
1866	
1867	movq  -24(%rsp),%rax     
1868	mulq  32(%rsp)           
1869	addq  %rax,%rcx     
1870	adcq  %rdx,%r9     
1871	adcq  $0,%r8        
1872	
1873	movq  -16(%rsp),%rax     
1874	mulq  24(%rsp)           
1875	addq  %rax,%rcx     
1876	adcq  %rdx,%r9     
1877	adcq  $0,%r8        
1878	
1879	movq  -8(%rsp),%rax     
1880	mulq  16(%rsp)           
1881	addq  %rax,%rcx     
1882	adcq  %rdx,%r9     
1883	adcq  $0,%r8        
1884	
1885/NO_APP
1886	movq	%r9, %rbp
1887	movq	%r8, %r12
1888/APP
1889	movq  (%rsp),%rax     
1890	mulq  8(%rsp)           
1891	addq  %rax,%rcx     
1892	adcq  %rdx,%rbp     
1893	adcq  $0,%r12        
1894	
1895/NO_APP
1896	movq	%rcx, 120(%r11)
1897	movq	%r12, %r9
1898	movq	%rbp, %r8
1899	movq	%r10, %rcx
1900/APP
1901	movq  -112(%rsp),%rax     
1902	mulq  128(%rsp)           
1903	addq  %rax,%r8     
1904	adcq  %rdx,%r9     
1905	adcq  $0,%rcx        
1906	
1907	movq  -104(%rsp),%rax     
1908	mulq  120(%rsp)           
1909	addq  %rax,%r8     
1910	adcq  %rdx,%r9     
1911	adcq  $0,%rcx        
1912	
1913	movq  -96(%rsp),%rax     
1914	mulq  112(%rsp)           
1915	addq  %rax,%r8     
1916	adcq  %rdx,%r9     
1917	adcq  $0,%rcx        
1918	
1919	movq  -88(%rsp),%rax     
1920	mulq  104(%rsp)           
1921	addq  %rax,%r8     
1922	adcq  %rdx,%r9     
1923	adcq  $0,%rcx        
1924	
1925	movq  -80(%rsp),%rax     
1926	mulq  96(%rsp)           
1927	addq  %rax,%r8     
1928	adcq  %rdx,%r9     
1929	adcq  $0,%rcx        
1930	
1931	movq  -72(%rsp),%rax     
1932	mulq  88(%rsp)           
1933	addq  %rax,%r8     
1934	adcq  %rdx,%r9     
1935	adcq  $0,%rcx        
1936	
1937	movq  -64(%rsp),%rax     
1938	mulq  80(%rsp)           
1939	addq  %rax,%r8     
1940	adcq  %rdx,%r9     
1941	adcq  $0,%rcx        
1942	
1943	movq  -56(%rsp),%rax     
1944	mulq  72(%rsp)           
1945	addq  %rax,%r8     
1946	adcq  %rdx,%r9     
1947	adcq  $0,%rcx        
1948	
1949	movq  -48(%rsp),%rax     
1950	mulq  64(%rsp)           
1951	addq  %rax,%r8     
1952	adcq  %rdx,%r9     
1953	adcq  $0,%rcx        
1954	
1955	movq  -40(%rsp),%rax     
1956	mulq  56(%rsp)           
1957	addq  %rax,%r8     
1958	adcq  %rdx,%r9     
1959	adcq  $0,%rcx        
1960	
1961	movq  -32(%rsp),%rax     
1962	mulq  48(%rsp)           
1963	addq  %rax,%r8     
1964	adcq  %rdx,%r9     
1965	adcq  $0,%rcx        
1966	
1967	movq  -24(%rsp),%rax     
1968	mulq  40(%rsp)           
1969	addq  %rax,%r8     
1970	adcq  %rdx,%r9     
1971	adcq  $0,%rcx        
1972	
1973	movq  -16(%rsp),%rax     
1974	mulq  32(%rsp)           
1975	addq  %rax,%r8     
1976	adcq  %rdx,%r9     
1977	adcq  $0,%rcx        
1978	
1979	movq  -8(%rsp),%rax     
1980	mulq  24(%rsp)           
1981	addq  %rax,%r8     
1982	adcq  %rdx,%r9     
1983	adcq  $0,%rcx        
1984	
1985/NO_APP
1986	movq	%r9, %rbp
1987	movq	%rcx, %r12
1988/APP
1989	movq  (%rsp),%rax     
1990	mulq  16(%rsp)           
1991	addq  %rax,%r8     
1992	adcq  %rdx,%rbp     
1993	adcq  $0,%r12        
1994	
1995/NO_APP
1996	movq	%r8, 128(%r11)
1997	movq	%r12, %r9
1998	movq	%rbp, %rcx
1999	movq	%r10, %r8
2000/APP
2001	movq  -104(%rsp),%rax     
2002	mulq  128(%rsp)           
2003	addq  %rax,%rcx     
2004	adcq  %rdx,%r9     
2005	adcq  $0,%r8        
2006	
2007	movq  -96(%rsp),%rax     
2008	mulq  120(%rsp)           
2009	addq  %rax,%rcx     
2010	adcq  %rdx,%r9     
2011	adcq  $0,%r8        
2012	
2013	movq  -88(%rsp),%rax     
2014	mulq  112(%rsp)           
2015	addq  %rax,%rcx     
2016	adcq  %rdx,%r9     
2017	adcq  $0,%r8        
2018	
2019	movq  -80(%rsp),%rax     
2020	mulq  104(%rsp)           
2021	addq  %rax,%rcx     
2022	adcq  %rdx,%r9     
2023	adcq  $0,%r8        
2024	
2025	movq  -72(%rsp),%rax     
2026	mulq  96(%rsp)           
2027	addq  %rax,%rcx     
2028	adcq  %rdx,%r9     
2029	adcq  $0,%r8        
2030	
2031	movq  -64(%rsp),%rax     
2032	mulq  88(%rsp)           
2033	addq  %rax,%rcx     
2034	adcq  %rdx,%r9     
2035	adcq  $0,%r8        
2036	
2037	movq  -56(%rsp),%rax     
2038	mulq  80(%rsp)           
2039	addq  %rax,%rcx     
2040	adcq  %rdx,%r9     
2041	adcq  $0,%r8        
2042	
2043	movq  -48(%rsp),%rax     
2044	mulq  72(%rsp)           
2045	addq  %rax,%rcx     
2046	adcq  %rdx,%r9     
2047	adcq  $0,%r8        
2048	
2049	movq  -40(%rsp),%rax     
2050	mulq  64(%rsp)           
2051	addq  %rax,%rcx     
2052	adcq  %rdx,%r9     
2053	adcq  $0,%r8        
2054	
2055	movq  -32(%rsp),%rax     
2056	mulq  56(%rsp)           
2057	addq  %rax,%rcx     
2058	adcq  %rdx,%r9     
2059	adcq  $0,%r8        
2060	
2061	movq  -24(%rsp),%rax     
2062	mulq  48(%rsp)           
2063	addq  %rax,%rcx     
2064	adcq  %rdx,%r9     
2065	adcq  $0,%r8        
2066	
2067	movq  -16(%rsp),%rax     
2068	mulq  40(%rsp)           
2069	addq  %rax,%rcx     
2070	adcq  %rdx,%r9     
2071	adcq  $0,%r8        
2072	
2073	movq  -8(%rsp),%rax     
2074	mulq  32(%rsp)           
2075	addq  %rax,%rcx     
2076	adcq  %rdx,%r9     
2077	adcq  $0,%r8        
2078	
2079/NO_APP
2080	movq	%r9, %rbp
2081	movq	%r8, %r12
2082/APP
2083	movq  (%rsp),%rax     
2084	mulq  24(%rsp)           
2085	addq  %rax,%rcx     
2086	adcq  %rdx,%rbp     
2087	adcq  $0,%r12        
2088	
2089/NO_APP
2090	movq	%rcx, 136(%r11)
2091	movq	%r12, %r9
2092	movq	%rbp, %r8
2093	movq	%r10, %rcx
2094/APP
2095	movq  -96(%rsp),%rax     
2096	mulq  128(%rsp)           
2097	addq  %rax,%r8     
2098	adcq  %rdx,%r9     
2099	adcq  $0,%rcx        
2100	
2101	movq  -88(%rsp),%rax     
2102	mulq  120(%rsp)           
2103	addq  %rax,%r8     
2104	adcq  %rdx,%r9     
2105	adcq  $0,%rcx        
2106	
2107	movq  -80(%rsp),%rax     
2108	mulq  112(%rsp)           
2109	addq  %rax,%r8     
2110	adcq  %rdx,%r9     
2111	adcq  $0,%rcx        
2112	
2113	movq  -72(%rsp),%rax     
2114	mulq  104(%rsp)           
2115	addq  %rax,%r8     
2116	adcq  %rdx,%r9     
2117	adcq  $0,%rcx        
2118	
2119	movq  -64(%rsp),%rax     
2120	mulq  96(%rsp)           
2121	addq  %rax,%r8     
2122	adcq  %rdx,%r9     
2123	adcq  $0,%rcx        
2124	
2125	movq  -56(%rsp),%rax     
2126	mulq  88(%rsp)           
2127	addq  %rax,%r8     
2128	adcq  %rdx,%r9     
2129	adcq  $0,%rcx        
2130	
2131	movq  -48(%rsp),%rax     
2132	mulq  80(%rsp)           
2133	addq  %rax,%r8     
2134	adcq  %rdx,%r9     
2135	adcq  $0,%rcx        
2136	
2137	movq  -40(%rsp),%rax     
2138	mulq  72(%rsp)           
2139	addq  %rax,%r8     
2140	adcq  %rdx,%r9     
2141	adcq  $0,%rcx        
2142	
2143	movq  -32(%rsp),%rax     
2144	mulq  64(%rsp)           
2145	addq  %rax,%r8     
2146	adcq  %rdx,%r9     
2147	adcq  $0,%rcx        
2148	
2149	movq  -24(%rsp),%rax     
2150	mulq  56(%rsp)           
2151	addq  %rax,%r8     
2152	adcq  %rdx,%r9     
2153	adcq  $0,%rcx        
2154	
2155	movq  -16(%rsp),%rax     
2156	mulq  48(%rsp)           
2157	addq  %rax,%r8     
2158	adcq  %rdx,%r9     
2159	adcq  $0,%rcx        
2160	
2161	movq  -8(%rsp),%rax     
2162	mulq  40(%rsp)           
2163	addq  %rax,%r8     
2164	adcq  %rdx,%r9     
2165	adcq  $0,%rcx        
2166	
2167/NO_APP
2168	movq	%r9, %rbp
2169	movq	%rcx, %r12
2170/APP
2171	movq  (%rsp),%rax     
2172	mulq  32(%rsp)           
2173	addq  %rax,%r8     
2174	adcq  %rdx,%rbp     
2175	adcq  $0,%r12        
2176	
2177/NO_APP
2178	movq	%r8, 144(%r11)
2179	movq	%r12, %r9
2180	movq	%rbp, %rcx
2181	movq	%r10, %r8
2182/APP
2183	movq  -88(%rsp),%rax     
2184	mulq  128(%rsp)           
2185	addq  %rax,%rcx     
2186	adcq  %rdx,%r9     
2187	adcq  $0,%r8        
2188	
2189	movq  -80(%rsp),%rax     
2190	mulq  120(%rsp)           
2191	addq  %rax,%rcx     
2192	adcq  %rdx,%r9     
2193	adcq  $0,%r8        
2194	
2195	movq  -72(%rsp),%rax     
2196	mulq  112(%rsp)           
2197	addq  %rax,%rcx     
2198	adcq  %rdx,%r9     
2199	adcq  $0,%r8        
2200	
2201	movq  -64(%rsp),%rax     
2202	mulq  104(%rsp)           
2203	addq  %rax,%rcx     
2204	adcq  %rdx,%r9     
2205	adcq  $0,%r8        
2206	
2207	movq  -56(%rsp),%rax     
2208	mulq  96(%rsp)           
2209	addq  %rax,%rcx     
2210	adcq  %rdx,%r9     
2211	adcq  $0,%r8        
2212	
2213	movq  -48(%rsp),%rax     
2214	mulq  88(%rsp)           
2215	addq  %rax,%rcx     
2216	adcq  %rdx,%r9     
2217	adcq  $0,%r8        
2218	
2219	movq  -40(%rsp),%rax     
2220	mulq  80(%rsp)           
2221	addq  %rax,%rcx     
2222	adcq  %rdx,%r9     
2223	adcq  $0,%r8        
2224	
2225	movq  -32(%rsp),%rax     
2226	mulq  72(%rsp)           
2227	addq  %rax,%rcx     
2228	adcq  %rdx,%r9     
2229	adcq  $0,%r8        
2230	
2231	movq  -24(%rsp),%rax     
2232	mulq  64(%rsp)           
2233	addq  %rax,%rcx     
2234	adcq  %rdx,%r9     
2235	adcq  $0,%r8        
2236	
2237	movq  -16(%rsp),%rax     
2238	mulq  56(%rsp)           
2239	addq  %rax,%rcx     
2240	adcq  %rdx,%r9     
2241	adcq  $0,%r8        
2242	
2243	movq  -8(%rsp),%rax     
2244	mulq  48(%rsp)           
2245	addq  %rax,%rcx     
2246	adcq  %rdx,%r9     
2247	adcq  $0,%r8        
2248	
2249/NO_APP
2250	movq	%r9, %rbp
2251	movq	%r8, %r12
2252/APP
2253	movq  (%rsp),%rax     
2254	mulq  40(%rsp)           
2255	addq  %rax,%rcx     
2256	adcq  %rdx,%rbp     
2257	adcq  $0,%r12        
2258	
2259/NO_APP
2260	movq	%rcx, 152(%r11)
2261	movq	%r12, %r9
2262	movq	%rbp, %r8
2263	movq	%r10, %rcx
2264/APP
2265	movq  -80(%rsp),%rax     
2266	mulq  128(%rsp)           
2267	addq  %rax,%r8     
2268	adcq  %rdx,%r9     
2269	adcq  $0,%rcx        
2270	
2271	movq  -72(%rsp),%rax     
2272	mulq  120(%rsp)           
2273	addq  %rax,%r8     
2274	adcq  %rdx,%r9     
2275	adcq  $0,%rcx        
2276	
2277	movq  -64(%rsp),%rax     
2278	mulq  112(%rsp)           
2279	addq  %rax,%r8     
2280	adcq  %rdx,%r9     
2281	adcq  $0,%rcx        
2282	
2283	movq  -56(%rsp),%rax     
2284	mulq  104(%rsp)           
2285	addq  %rax,%r8     
2286	adcq  %rdx,%r9     
2287	adcq  $0,%rcx        
2288	
2289	movq  -48(%rsp),%rax     
2290	mulq  96(%rsp)           
2291	addq  %rax,%r8     
2292	adcq  %rdx,%r9     
2293	adcq  $0,%rcx        
2294	
2295	movq  -40(%rsp),%rax     
2296	mulq  88(%rsp)           
2297	addq  %rax,%r8     
2298	adcq  %rdx,%r9     
2299	adcq  $0,%rcx        
2300	
2301	movq  -32(%rsp),%rax     
2302	mulq  80(%rsp)           
2303	addq  %rax,%r8     
2304	adcq  %rdx,%r9     
2305	adcq  $0,%rcx        
2306	
2307	movq  -24(%rsp),%rax     
2308	mulq  72(%rsp)           
2309	addq  %rax,%r8     
2310	adcq  %rdx,%r9     
2311	adcq  $0,%rcx        
2312	
2313	movq  -16(%rsp),%rax     
2314	mulq  64(%rsp)           
2315	addq  %rax,%r8     
2316	adcq  %rdx,%r9     
2317	adcq  $0,%rcx        
2318	
2319	movq  -8(%rsp),%rax     
2320	mulq  56(%rsp)           
2321	addq  %rax,%r8     
2322	adcq  %rdx,%r9     
2323	adcq  $0,%rcx        
2324	
2325/NO_APP
2326	movq	%r9, %rbp
2327	movq	%rcx, %r12
2328/APP
2329	movq  (%rsp),%rax     
2330	mulq  48(%rsp)           
2331	addq  %rax,%r8     
2332	adcq  %rdx,%rbp     
2333	adcq  $0,%r12        
2334	
2335/NO_APP
2336	movq	%r8, 160(%r11)
2337	movq	%r12, %r9
2338	movq	%rbp, %rcx
2339	movq	%r10, %r8
2340/APP
2341	movq  -72(%rsp),%rax     
2342	mulq  128(%rsp)           
2343	addq  %rax,%rcx     
2344	adcq  %rdx,%r9     
2345	adcq  $0,%r8        
2346	
2347	movq  -64(%rsp),%rax     
2348	mulq  120(%rsp)           
2349	addq  %rax,%rcx     
2350	adcq  %rdx,%r9     
2351	adcq  $0,%r8        
2352	
2353	movq  -56(%rsp),%rax     
2354	mulq  112(%rsp)           
2355	addq  %rax,%rcx     
2356	adcq  %rdx,%r9     
2357	adcq  $0,%r8        
2358	
2359	movq  -48(%rsp),%rax     
2360	mulq  104(%rsp)           
2361	addq  %rax,%rcx     
2362	adcq  %rdx,%r9     
2363	adcq  $0,%r8        
2364	
2365	movq  -40(%rsp),%rax     
2366	mulq  96(%rsp)           
2367	addq  %rax,%rcx     
2368	adcq  %rdx,%r9     
2369	adcq  $0,%r8        
2370	
2371	movq  -32(%rsp),%rax     
2372	mulq  88(%rsp)           
2373	addq  %rax,%rcx     
2374	adcq  %rdx,%r9     
2375	adcq  $0,%r8        
2376	
2377	movq  -24(%rsp),%rax     
2378	mulq  80(%rsp)           
2379	addq  %rax,%rcx     
2380	adcq  %rdx,%r9     
2381	adcq  $0,%r8        
2382	
2383	movq  -16(%rsp),%rax     
2384	mulq  72(%rsp)           
2385	addq  %rax,%rcx     
2386	adcq  %rdx,%r9     
2387	adcq  $0,%r8        
2388	
2389	movq  -8(%rsp),%rax     
2390	mulq  64(%rsp)           
2391	addq  %rax,%rcx     
2392	adcq  %rdx,%r9     
2393	adcq  $0,%r8        
2394	
2395/NO_APP
2396	movq	%r9, %rbp
2397	movq	%r8, %r12
2398/APP
2399	movq  (%rsp),%rax     
2400	mulq  56(%rsp)           
2401	addq  %rax,%rcx     
2402	adcq  %rdx,%rbp     
2403	adcq  $0,%r12        
2404	
2405/NO_APP
2406	movq	%rcx, 168(%r11)
2407	movq	%r12, %r9
2408	movq	%rbp, %r8
2409	movq	%r10, %rcx
2410/APP
2411	movq  -64(%rsp),%rax     
2412	mulq  128(%rsp)           
2413	addq  %rax,%r8     
2414	adcq  %rdx,%r9     
2415	adcq  $0,%rcx        
2416	
2417	movq  -56(%rsp),%rax     
2418	mulq  120(%rsp)           
2419	addq  %rax,%r8     
2420	adcq  %rdx,%r9     
2421	adcq  $0,%rcx        
2422	
2423	movq  -48(%rsp),%rax     
2424	mulq  112(%rsp)           
2425	addq  %rax,%r8     
2426	adcq  %rdx,%r9     
2427	adcq  $0,%rcx        
2428	
2429	movq  -40(%rsp),%rax     
2430	mulq  104(%rsp)           
2431	addq  %rax,%r8     
2432	adcq  %rdx,%r9     
2433	adcq  $0,%rcx        
2434	
2435	movq  -32(%rsp),%rax     
2436	mulq  96(%rsp)           
2437	addq  %rax,%r8     
2438	adcq  %rdx,%r9     
2439	adcq  $0,%rcx        
2440	
2441	movq  -24(%rsp),%rax     
2442	mulq  88(%rsp)           
2443	addq  %rax,%r8     
2444	adcq  %rdx,%r9     
2445	adcq  $0,%rcx        
2446	
2447	movq  -16(%rsp),%rax     
2448	mulq  80(%rsp)           
2449	addq  %rax,%r8     
2450	adcq  %rdx,%r9     
2451	adcq  $0,%rcx        
2452	
2453	movq  -8(%rsp),%rax     
2454	mulq  72(%rsp)           
2455	addq  %rax,%r8     
2456	adcq  %rdx,%r9     
2457	adcq  $0,%rcx        
2458	
2459/NO_APP
2460	movq	%r9, %rbp
2461	movq	%rcx, %r12
2462/APP
2463	movq  (%rsp),%rax     
2464	mulq  64(%rsp)           
2465	addq  %rax,%r8     
2466	adcq  %rdx,%rbp     
2467	adcq  $0,%r12        
2468	
2469/NO_APP
2470	movq	%r8, 176(%r11)
2471	movq	%r12, %r9
2472	movq	%rbp, %rcx
2473	movq	%r10, %r8
2474/APP
2475	movq  -56(%rsp),%rax     
2476	mulq  128(%rsp)           
2477	addq  %rax,%rcx     
2478	adcq  %rdx,%r9     
2479	adcq  $0,%r8        
2480	
2481	movq  -48(%rsp),%rax     
2482	mulq  120(%rsp)           
2483	addq  %rax,%rcx     
2484	adcq  %rdx,%r9     
2485	adcq  $0,%r8        
2486	
2487	movq  -40(%rsp),%rax     
2488	mulq  112(%rsp)           
2489	addq  %rax,%rcx     
2490	adcq  %rdx,%r9     
2491	adcq  $0,%r8        
2492	
2493	movq  -32(%rsp),%rax     
2494	mulq  104(%rsp)           
2495	addq  %rax,%rcx     
2496	adcq  %rdx,%r9     
2497	adcq  $0,%r8        
2498	
2499	movq  -24(%rsp),%rax     
2500	mulq  96(%rsp)           
2501	addq  %rax,%rcx     
2502	adcq  %rdx,%r9     
2503	adcq  $0,%r8        
2504	
2505	movq  -16(%rsp),%rax     
2506	mulq  88(%rsp)           
2507	addq  %rax,%rcx     
2508	adcq  %rdx,%r9     
2509	adcq  $0,%r8        
2510	
2511	movq  -8(%rsp),%rax     
2512	mulq  80(%rsp)           
2513	addq  %rax,%rcx     
2514	adcq  %rdx,%r9     
2515	adcq  $0,%r8        
2516	
2517/NO_APP
2518	movq	%r9, %rbp
2519	movq	%r8, %r12
2520/APP
2521	movq  (%rsp),%rax     
2522	mulq  72(%rsp)           
2523	addq  %rax,%rcx     
2524	adcq  %rdx,%rbp     
2525	adcq  $0,%r12        
2526	
2527/NO_APP
2528	movq	%rcx, 184(%r11)
2529	movq	%r12, %r9
2530	movq	%rbp, %r8
2531	movq	%r10, %rcx
2532/APP
2533	movq  -48(%rsp),%rax     
2534	mulq  128(%rsp)           
2535	addq  %rax,%r8     
2536	adcq  %rdx,%r9     
2537	adcq  $0,%rcx        
2538	
2539	movq  -40(%rsp),%rax     
2540	mulq  120(%rsp)           
2541	addq  %rax,%r8     
2542	adcq  %rdx,%r9     
2543	adcq  $0,%rcx        
2544	
2545	movq  -32(%rsp),%rax     
2546	mulq  112(%rsp)           
2547	addq  %rax,%r8     
2548	adcq  %rdx,%r9     
2549	adcq  $0,%rcx        
2550	
2551	movq  -24(%rsp),%rax     
2552	mulq  104(%rsp)           
2553	addq  %rax,%r8     
2554	adcq  %rdx,%r9     
2555	adcq  $0,%rcx        
2556	
2557	movq  -16(%rsp),%rax     
2558	mulq  96(%rsp)           
2559	addq  %rax,%r8     
2560	adcq  %rdx,%r9     
2561	adcq  $0,%rcx        
2562	
2563	movq  -8(%rsp),%rax     
2564	mulq  88(%rsp)           
2565	addq  %rax,%r8     
2566	adcq  %rdx,%r9     
2567	adcq  $0,%rcx        
2568	
2569/NO_APP
2570	movq	%r9, %rbp
2571	movq	%rcx, %r12
2572/APP
2573	movq  (%rsp),%rax     
2574	mulq  80(%rsp)           
2575	addq  %rax,%r8     
2576	adcq  %rdx,%rbp     
2577	adcq  $0,%r12        
2578	
2579/NO_APP
2580	movq	%r8, 192(%r11)
2581	movq	%r12, %r9
2582	movq	%rbp, %rcx
2583	movq	%r10, %r8
2584/APP
2585	movq  -40(%rsp),%rax     
2586	mulq  128(%rsp)           
2587	addq  %rax,%rcx     
2588	adcq  %rdx,%r9     
2589	adcq  $0,%r8        
2590	
2591	movq  -32(%rsp),%rax     
2592	mulq  120(%rsp)           
2593	addq  %rax,%rcx     
2594	adcq  %rdx,%r9     
2595	adcq  $0,%r8        
2596	
2597	movq  -24(%rsp),%rax     
2598	mulq  112(%rsp)           
2599	addq  %rax,%rcx     
2600	adcq  %rdx,%r9     
2601	adcq  $0,%r8        
2602	
2603	movq  -16(%rsp),%rax     
2604	mulq  104(%rsp)           
2605	addq  %rax,%rcx     
2606	adcq  %rdx,%r9     
2607	adcq  $0,%r8        
2608	
2609	movq  -8(%rsp),%rax     
2610	mulq  96(%rsp)           
2611	addq  %rax,%rcx     
2612	adcq  %rdx,%r9     
2613	adcq  $0,%r8        
2614	
2615/NO_APP
2616	movq	%r9, %rbp
2617	movq	%r8, %r12
2618/APP
2619	movq  (%rsp),%rax     
2620	mulq  88(%rsp)           
2621	addq  %rax,%rcx     
2622	adcq  %rdx,%rbp     
2623	adcq  $0,%r12        
2624	
2625/NO_APP
2626	movq	%rcx, 200(%r11)
2627	movq	%r12, %r9
2628	movq	%rbp, %r8
2629	movq	%r10, %rcx
2630/APP
2631	movq  -32(%rsp),%rax     
2632	mulq  128(%rsp)           
2633	addq  %rax,%r8     
2634	adcq  %rdx,%r9     
2635	adcq  $0,%rcx        
2636	
2637	movq  -24(%rsp),%rax     
2638	mulq  120(%rsp)           
2639	addq  %rax,%r8     
2640	adcq  %rdx,%r9     
2641	adcq  $0,%rcx        
2642	
2643	movq  -16(%rsp),%rax     
2644	mulq  112(%rsp)           
2645	addq  %rax,%r8     
2646	adcq  %rdx,%r9     
2647	adcq  $0,%rcx        
2648	
2649	movq  -8(%rsp),%rax     
2650	m

Large files files are truncated, but you can click here to view the full file