1
//* TomsFastMath, a fast ISO C bignum library.
3
/ * This project is meant to fill in where LibTomMath
4
/ * falls short. That is speed ;-)
6
/ * This project is public domain and free for all purposes.
8
/ * Tom St Denis, tomstdenis@iahu.ca
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.
23
.globl s_mp_mul_comba_4
24
.type s_mp_mul_comba_4, @function
225
cmpq $0, (%r11,%r10,8)
238
.size s_mp_mul_comba_4, .-s_mp_mul_comba_4
240
.globl s_mp_mul_comba_8
241
.type s_mp_mul_comba_8, @function
257
movq %rbp, -112(%rsp)
828
cmpq $0, (%r11,%rax,8)
842
.size s_mp_mul_comba_8, .-s_mp_mul_comba_8
844
.globl s_mp_mul_comba_16
845
.type s_mp_mul_comba_16, @function
861
movq %rbp, -112(%rsp)
1003
movq -104(%rsp),%rax
1025
movq -120(%rsp),%rax
1031
movq -112(%rsp),%rax
1037
movq -104(%rsp),%rax
1065
movq -120(%rsp),%rax
1071
movq -112(%rsp),%rax
1077
movq -104(%rsp),%rax
1111
movq -120(%rsp),%rax
1117
movq -112(%rsp),%rax
1123
movq -104(%rsp),%rax
1163
movq -120(%rsp),%rax
1169
movq -112(%rsp),%rax
1175
movq -104(%rsp),%rax
1221
movq -120(%rsp),%rax
1227
movq -112(%rsp),%rax
1233
movq -104(%rsp),%rax
1285
movq -120(%rsp),%rax
1291
movq -112(%rsp),%rax
1297
movq -104(%rsp),%rax
1355
movq -120(%rsp),%rax
1361
movq -112(%rsp),%rax
1367
movq -104(%rsp),%rax
1431
movq -120(%rsp),%rax
1437
movq -112(%rsp),%rax
1443
movq -104(%rsp),%rax
1513
movq -120(%rsp),%rax
1519
movq -112(%rsp),%rax
1525
movq -104(%rsp),%rax
1601
movq -120(%rsp),%rax
1607
movq -112(%rsp),%rax
1613
movq -104(%rsp),%rax
1690
movq %rcx, 104(%r11)
1695
movq -120(%rsp),%rax
1701
movq -112(%rsp),%rax
1707
movq -104(%rsp),%rax
1795
movq -120(%rsp),%rax
1801
movq -112(%rsp),%rax
1807
movq -104(%rsp),%rax
1896
movq %rcx, 120(%r11)
1901
movq -112(%rsp),%rax
1907
movq -104(%rsp),%rax
2001
movq -104(%rsp),%rax
2090
movq %rcx, 136(%r11)
2260
movq %rcx, 152(%r11)
2406
movq %rcx, 168(%r11)
2528
movq %rcx, 184(%r11)
2626
movq %rcx, 200(%r11)
2700
movq %rcx, 216(%r11)
2750
movq %rcx, 232(%r11)
2765
movq %rcx, 248(%r11)
2776
cmpq $0, (%r11,%rax,8)
2790
.size s_mp_mul_comba_16, .-s_mp_mul_comba_16
2792
.globl s_mp_mul_comba_32
2793
.type s_mp_mul_comba_32, @function
2813
leaq -544(%rbp), %rdi
2816
leaq -288(%rbp), %rdi
2825
movq -544(%rbp),%rax
2836
movq -544(%rbp),%rax
2845
movq -536(%rbp),%rax
2856
movq -544(%rbp),%rax
2865
movq -536(%rbp),%rax
2875
movq -528(%rbp),%rax
2887
movq -544(%rbp),%rax
2893
movq -536(%rbp),%rax
2899
movq -528(%rbp),%rax
2909
movq -520(%rbp),%rax
2921
movq -544(%rbp),%rax
2927
movq -536(%rbp),%rax
2933
movq -528(%rbp),%rax
2939
movq -520(%rbp),%rax
2949
movq -512(%rbp),%rax
2961
movq -544(%rbp),%rax
2967
movq -536(%rbp),%rax
2973
movq -528(%rbp),%rax
2979
movq -520(%rbp),%rax
2985
movq -512(%rbp),%rax
2995
movq -504(%rbp),%rax
3007
movq -544(%rbp),%rax
3013
movq -536(%rbp),%rax
3019
movq -528(%rbp),%rax
3025
movq -520(%rbp),%rax
3031
movq -512(%rbp),%rax
3037
movq -504(%rbp),%rax
3047
movq -496(%rbp),%rax
3059
movq -544(%rbp),%rax
3065
movq -536(%rbp),%rax
3071
movq -528(%rbp),%rax
3077
movq -520(%rbp),%rax
3083
movq -512(%rbp),%rax
3089
movq -504(%rbp),%rax
3095
movq -496(%rbp),%rax
3105
movq -488(%rbp),%rax
3117
movq -544(%rbp),%rax
3123
movq -536(%rbp),%rax
3129
movq -528(%rbp),%rax
3135
movq -520(%rbp),%rax
3141
movq -512(%rbp),%rax
3147
movq -504(%rbp),%rax
3153
movq -496(%rbp),%rax
3159
movq -488(%rbp),%rax
3169
movq -480(%rbp),%rax
3181
movq -544(%rbp),%rax
3187
movq -536(%rbp),%rax
3193
movq -528(%rbp),%rax
3199
movq -520(%rbp),%rax
3205
movq -512(%rbp),%rax
3211
movq -504(%rbp),%rax
3217
movq -496(%rbp),%rax
3223
movq -488(%rbp),%rax
3229
movq -480(%rbp),%rax
3239
movq -472(%rbp),%rax
3251
movq -544(%rbp),%rax
3257
movq -536(%rbp),%rax
3263
movq -528(%rbp),%rax
3269
movq -520(%rbp),%rax
3275
movq -512(%rbp),%rax
3281
movq -504(%rbp),%rax
3287
movq -496(%rbp),%rax
3293
movq -488(%rbp),%rax
3299
movq -480(%rbp),%rax
3305
movq -472(%rbp),%rax
3315
movq -464(%rbp),%rax
3327
movq -544(%rbp),%rax
3333
movq -536(%rbp),%rax
3339
movq -528(%rbp),%rax
3345
movq -520(%rbp),%rax
3351
movq -512(%rbp),%rax
3357
movq -504(%rbp),%rax
3363
movq -496(%rbp),%rax
3369
movq -488(%rbp),%rax
3375
movq -480(%rbp),%rax
3381
movq -472(%rbp),%rax
3387
movq -464(%rbp),%rax
3397
movq -456(%rbp),%rax
3409
movq -544(%rbp),%rax
3415
movq -536(%rbp),%rax
3421
movq -528(%rbp),%rax
3427
movq -520(%rbp),%rax
3433
movq -512(%rbp),%rax
3439
movq -504(%rbp),%rax
3445
movq -496(%rbp),%rax
3451
movq -488(%rbp),%rax
3457
movq -480(%rbp),%rax
3463
movq -472(%rbp),%rax
3469
movq -464(%rbp),%rax
3475
movq -456(%rbp),%rax
3485
movq -448(%rbp),%rax
3497
movq -544(%rbp),%rax
3503
movq -536(%rbp),%rax
3509
movq -528(%rbp),%rax
3515
movq -520(%rbp),%rax
3521
movq -512(%rbp),%rax
3527
movq -504(%rbp),%rax
3533
movq -496(%rbp),%rax
3539
movq -488(%rbp),%rax
3545
movq -480(%rbp),%rax
3551
movq -472(%rbp),%rax
3557
movq -464(%rbp),%rax
3563
movq -456(%rbp),%rax
3569
movq -448(%rbp),%rax
3579
movq -440(%rbp),%rax
3591
movq -544(%rbp),%rax
3597
movq -536(%rbp),%rax
3603
movq -528(%rbp),%rax
3609
movq -520(%rbp),%rax
3615
movq -512(%rbp),%rax
3621
movq -504(%rbp),%rax
3627
movq -496(%rbp),%rax
3633
movq -488(%rbp),%rax
3639
movq -480(%rbp),%rax
3645
movq -472(%rbp),%rax
3651
movq -464(%rbp),%rax
3657
movq -456(%rbp),%rax
3663
movq -448(%rbp),%rax
3669
movq -440(%rbp),%rax
3679
movq -432(%rbp),%rax
3691
movq -544(%rbp),%rax
3697
movq -536(%rbp),%rax
3703
movq -528(%rbp),%rax
3709
movq -520(%rbp),%rax
3715
movq -512(%rbp),%rax
3721
movq -504(%rbp),%rax
3727
movq -496(%rbp),%rax
3733
movq -488(%rbp),%rax
3739
movq -480(%rbp),%rax
3745
movq -472(%rbp),%rax
3751
movq -464(%rbp),%rax
3757
movq -456(%rbp),%rax
3763
movq -448(%rbp),%rax
3769
movq -440(%rbp),%rax
3775
movq -432(%rbp),%rax
3785
movq -424(%rbp),%rax
3797
movq -544(%rbp),%rax
3803
movq -536(%rbp),%rax
3809
movq -528(%rbp),%rax
3815
movq -520(%rbp),%rax
3821
movq -512(%rbp),%rax
3827
movq -504(%rbp),%rax
3833
movq -496(%rbp),%rax
3839
movq -488(%rbp),%rax
3845
movq -480(%rbp),%rax
3851
movq -472(%rbp),%rax
3857
movq -464(%rbp),%rax
3863
movq -456(%rbp),%rax
3869
movq -448(%rbp),%rax
3875
movq -440(%rbp),%rax
3881
movq -432(%rbp),%rax
3887
movq -424(%rbp),%rax
3897
movq -416(%rbp),%rax
3909
movq -544(%rbp),%rax
3915
movq -536(%rbp),%rax
3921
movq -528(%rbp),%rax
3927
movq -520(%rbp),%rax
3933
movq -512(%rbp),%rax
3939
movq -504(%rbp),%rax
3945
movq -496(%rbp),%rax
3951
movq -488(%rbp),%rax
3957
movq -480(%rbp),%rax
3963
movq -472(%rbp),%rax
3969
movq -464(%rbp),%rax
3975
movq -456(%rbp),%rax
3981
movq -448(%rbp),%rax
3987
movq -440(%rbp),%rax
3993
movq -432(%rbp),%rax
3999
movq -424(%rbp),%rax
4005
movq -416(%rbp),%rax
4015
movq -408(%rbp),%rax
4027
movq -544(%rbp),%rax
4033
movq -536(%rbp),%rax
4039
movq -528(%rbp),%rax
4045
movq -520(%rbp),%rax
4051
movq -512(%rbp),%rax
4057
movq -504(%rbp),%rax
4063
movq -496(%rbp),%rax
4069
movq -488(%rbp),%rax
4075
movq -480(%rbp),%rax
4081
movq -472(%rbp),%rax
4087
movq -464(%rbp),%rax
4093
movq -456(%rbp),%rax
4099
movq -448(%rbp),%rax
4105
movq -440(%rbp),%rax
4111
movq -432(%rbp),%rax
4117
movq -424(%rbp),%rax
4123
movq -416(%rbp),%rax
4129
movq -408(%rbp),%rax
4139
movq -400(%rbp),%rax
4151
movq -544(%rbp),%rax
4157
movq -536(%rbp),%rax
4163
movq -528(%rbp),%rax
4169
movq -520(%rbp),%rax
4175
movq -512(%rbp),%rax
4181
movq -504(%rbp),%rax
4187
movq -496(%rbp),%rax
4193
movq -488(%rbp),%rax
4199
movq -480(%rbp),%rax
4205
movq -472(%rbp),%rax
4211
movq -464(%rbp),%rax
4217
movq -456(%rbp),%rax
4223
movq -448(%rbp),%rax
4229
movq -440(%rbp),%rax
4235
movq -432(%rbp),%rax
4241
movq -424(%rbp),%rax
4247
movq -416(%rbp),%rax
4253
movq -408(%rbp),%rax
4259
movq -400(%rbp),%rax
4269
movq -392(%rbp),%rax
4281
movq -544(%rbp),%rax
4287
movq -536(%rbp),%rax
4293
movq -528(%rbp),%rax
4299
movq -520(%rbp),%rax
4305
movq -512(%rbp),%rax
4311
movq -504(%rbp),%rax
4317
movq -496(%rbp),%rax
4323
movq -488(%rbp),%rax
4329
movq -480(%rbp),%rax
4335
movq -472(%rbp),%rax
4341
movq -464(%rbp),%rax
4347
movq -456(%rbp),%rax
4353
movq -448(%rbp),%rax
4359
movq -440(%rbp),%rax
4365
movq -432(%rbp),%rax
4371
movq -424(%rbp),%rax
4377
movq -416(%rbp),%rax
4383
movq -408(%rbp),%rax
4389
movq -400(%rbp),%rax
4395
movq -392(%rbp),%rax
4405
movq -384(%rbp),%rax
4417
movq -544(%rbp),%rax
4423
movq -536(%rbp),%rax
4429
movq -528(%rbp),%rax
4435
movq -520(%rbp),%rax
4441
movq -512(%rbp),%rax
4447
movq -504(%rbp),%rax
4453
movq -496(%rbp),%rax
4459
movq -488(%rbp),%rax
4465
movq -480(%rbp),%rax
4471
movq -472(%rbp),%rax
4477
movq -464(%rbp),%rax
4483
movq -456(%rbp),%rax
4489
movq -448(%rbp),%rax
4495
movq -440(%rbp),%rax
4501
movq -432(%rbp),%rax
4507
movq -424(%rbp),%rax
4513
movq -416(%rbp),%rax
4519
movq -408(%rbp),%rax
4525
movq -400(%rbp),%rax
4531
movq -392(%rbp),%rax
4537
movq -384(%rbp),%rax
4547
movq -376(%rbp),%rax
4559
movq -544(%rbp),%rax
4565
movq -536(%rbp),%rax
4571
movq -528(%rbp),%rax
4577
movq -520(%rbp),%rax
4583
movq -512(%rbp),%rax
4589
movq -504(%rbp),%rax
4595
movq -496(%rbp),%rax
4601
movq -488(%rbp),%rax
4607
movq -480(%rbp),%rax
4613
movq -472(%rbp),%rax
4619
movq -464(%rbp),%rax
4625
movq -456(%rbp),%rax
4631
movq -448(%rbp),%rax
4637
movq -440(%rbp),%rax
4643
movq -432(%rbp),%rax
4649
movq -424(%rbp),%rax
4655
movq -416(%rbp),%rax
4661
movq -408(%rbp),%rax
4667
movq -400(%rbp),%rax
4673
movq -392(%rbp),%rax
4679
movq -384(%rbp),%rax
4685
movq -376(%rbp),%rax
4695
movq -368(%rbp),%rax
4707
movq -544(%rbp),%rax
4713
movq -536(%rbp),%rax
4719
movq -528(%rbp),%rax
4725
movq -520(%rbp),%rax
4731
movq -512(%rbp),%rax
4737
movq -504(%rbp),%rax
4743
movq -496(%rbp),%rax
4749
movq -488(%rbp),%rax
4755
movq -480(%rbp),%rax
4761
movq -472(%rbp),%rax
4767
movq -464(%rbp),%rax
4773
movq -456(%rbp),%rax
4779
movq -448(%rbp),%rax
4785
movq -440(%rbp),%rax
4791
movq -432(%rbp),%rax
4797
movq -424(%rbp),%rax
4803
movq -416(%rbp),%rax
4809
movq -408(%rbp),%rax
4815
movq -400(%rbp),%rax
4821
movq -392(%rbp),%rax
4827
movq -384(%rbp),%rax
4833
movq -376(%rbp),%rax
4839
movq -368(%rbp),%rax
4849
movq -360(%rbp),%rax
4861
movq -544(%rbp),%rax
4867
movq -536(%rbp),%rax
4873
movq -528(%rbp),%rax
4879
movq -520(%rbp),%rax
4885
movq -512(%rbp),%rax
4891
movq -504(%rbp),%rax
4897
movq -496(%rbp),%rax
4903
movq -488(%rbp),%rax
4909
movq -480(%rbp),%rax
4915
movq -472(%rbp),%rax
4921
movq -464(%rbp),%rax
4927
movq -456(%rbp),%rax
4933
movq -448(%rbp),%rax
4939
movq -440(%rbp),%rax
4945
movq -432(%rbp),%rax
4951
movq -424(%rbp),%rax
4957
movq -416(%rbp),%rax
4963
movq -408(%rbp),%rax
4969
movq -400(%rbp),%rax
4975
movq -392(%rbp),%rax
4981
movq -384(%rbp),%rax
4987
movq -376(%rbp),%rax
4993
movq -368(%rbp),%rax
4999
movq -360(%rbp),%rax
5009
movq -352(%rbp),%rax
5021
movq -544(%rbp),%rax
5027
movq -536(%rbp),%rax
5033
movq -528(%rbp),%rax
5039
movq -520(%rbp),%rax
5045
movq -512(%rbp),%rax
5051
movq -504(%rbp),%rax
5057
movq -496(%rbp),%rax
5063
movq -488(%rbp),%rax
5069
movq -480(%rbp),%rax
5075
movq -472(%rbp),%rax
5081
movq -464(%rbp),%rax
5087
movq -456(%rbp),%rax
5093
movq -448(%rbp),%rax
5099
movq -440(%rbp),%rax
5105
movq -432(%rbp),%rax
5111
movq -424(%rbp),%rax
5117
movq -416(%rbp),%rax
5123
movq -408(%rbp),%rax
5129
movq -400(%rbp),%rax
5135
movq -392(%rbp),%rax
5141
movq -384(%rbp),%rax
5147
movq -376(%rbp),%rax
5153
movq -368(%rbp),%rax
5159
movq -360(%rbp),%rax
5165
movq -352(%rbp),%rax
5175
movq -344(%rbp),%rax
5187
movq -544(%rbp),%rax
5193
movq -536(%rbp),%rax
5199
movq -528(%rbp),%rax
5205
movq -520(%rbp),%rax
5211
movq -512(%rbp),%rax
5217
movq -504(%rbp),%rax
5223
movq -496(%rbp),%rax
5229
movq -488(%rbp),%rax
5235
movq -480(%rbp),%rax
5241
movq -472(%rbp),%rax
5247
movq -464(%rbp),%rax
5253
movq -456(%rbp),%rax
5259
movq -448(%rbp),%rax
5265
movq -440(%rbp),%rax
5271
movq -432(%rbp),%rax
5277
movq -424(%rbp),%rax
5283
movq -416(%rbp),%rax
5289
movq -408(%rbp),%rax
5295
movq -400(%rbp),%rax
5301
movq -392(%rbp),%rax
5307
movq -384(%rbp),%rax
5313
movq -376(%rbp),%rax
5319
movq -368(%rbp),%rax
5325
movq -360(%rbp),%rax
5331
movq -352(%rbp),%rax
5337
movq -344(%rbp),%rax
5347
movq -336(%rbp),%rax
5359
movq -544(%rbp),%rax
5365
movq -536(%rbp),%rax
5371
movq -528(%rbp),%rax
5377
movq -520(%rbp),%rax
5383
movq -512(%rbp),%rax
5389
movq -504(%rbp),%rax
5395
movq -496(%rbp),%rax
5401
movq -488(%rbp),%rax
5407
movq -480(%rbp),%rax
5413
movq -472(%rbp),%rax
5419
movq -464(%rbp),%rax
5425
movq -456(%rbp),%rax
5431
movq -448(%rbp),%rax
5437
movq -440(%rbp),%rax
5443
movq -432(%rbp),%rax
5449
movq -424(%rbp),%rax
5455
movq -416(%rbp),%rax
5461
movq -408(%rbp),%rax
5467
movq -400(%rbp),%rax
5473
movq -392(%rbp),%rax
5479
movq -384(%rbp),%rax
5485
movq -376(%rbp),%rax
5491
movq -368(%rbp),%rax
5497
movq -360(%rbp),%rax
5503
movq -352(%rbp),%rax
5509
movq -344(%rbp),%rax
5515
movq -336(%rbp),%rax
5525
movq -328(%rbp),%rax
5537
movq -544(%rbp),%rax
5543
movq -536(%rbp),%rax
5549
movq -528(%rbp),%rax
5555
movq -520(%rbp),%rax
5561
movq -512(%rbp),%rax
5567
movq -504(%rbp),%rax
5573
movq -496(%rbp),%rax
5579
movq -488(%rbp),%rax
5585
movq -480(%rbp),%rax
5591
movq -472(%rbp),%rax
5597
movq -464(%rbp),%rax
5603
movq -456(%rbp),%rax
5609
movq -448(%rbp),%rax
5615
movq -440(%rbp),%rax
5621
movq -432(%rbp),%rax
5627
movq -424(%rbp),%rax
5633
movq -416(%rbp),%rax
5639
movq -408(%rbp),%rax
5645
movq -400(%rbp),%rax
5651
movq -392(%rbp),%rax
5657
movq -384(%rbp),%rax
5663
movq -376(%rbp),%rax
5669
movq -368(%rbp),%rax
5675
movq -360(%rbp),%rax
5681
movq -352(%rbp),%rax
5687
movq -344(%rbp),%rax
5693
movq -336(%rbp),%rax
5699
movq -328(%rbp),%rax
5709
movq -320(%rbp),%rax
5721
movq -544(%rbp),%rax
5727
movq -536(%rbp),%rax
5733
movq -528(%rbp),%rax
5739
movq -520(%rbp),%rax
5745
movq -512(%rbp),%rax
5751
movq -504(%rbp),%rax
5757
movq -496(%rbp),%rax
5763
movq -488(%rbp),%rax
5769
movq -480(%rbp),%rax
5775
movq -472(%rbp),%rax
5781
movq -464(%rbp),%rax
5787
movq -456(%rbp),%rax
5793
movq -448(%rbp),%rax
5799
movq -440(%rbp),%rax
5805
movq -432(%rbp),%rax
5811
movq -424(%rbp),%rax
5817
movq -416(%rbp),%rax
5823
movq -408(%rbp),%rax
5829
movq -400(%rbp),%rax
5835
movq -392(%rbp),%rax
5841
movq -384(%rbp),%rax
5847
movq -376(%rbp),%rax
5853
movq -368(%rbp),%rax
5859
movq -360(%rbp),%rax
5865
movq -352(%rbp),%rax
5871
movq -344(%rbp),%rax
5877
movq -336(%rbp),%rax
5883
movq -328(%rbp),%rax
5889
movq -320(%rbp),%rax
5899
movq -312(%rbp),%rax
5911
movq -544(%rbp),%rax
5917
movq -536(%rbp),%rax
5923
movq -528(%rbp),%rax
5929
movq -520(%rbp),%rax
5935
movq -512(%rbp),%rax
5941
movq -504(%rbp),%rax
5947
movq -496(%rbp),%rax
5953
movq -488(%rbp),%rax
5959
movq -480(%rbp),%rax
5965
movq -472(%rbp),%rax
5971
movq -464(%rbp),%rax
5977
movq -456(%rbp),%rax
5983
movq -448(%rbp),%rax
5989
movq -440(%rbp),%rax
5995
movq -432(%rbp),%rax
6001
movq -424(%rbp),%rax
6007
movq -416(%rbp),%rax
6013
movq -408(%rbp),%rax
6019
movq -400(%rbp),%rax
6025
movq -392(%rbp),%rax
6031
movq -384(%rbp),%rax
6037
movq -376(%rbp),%rax
6043
movq -368(%rbp),%rax
6049
movq -360(%rbp),%rax
6055
movq -352(%rbp),%rax
6061
movq -344(%rbp),%rax
6067
movq -336(%rbp),%rax
6073
movq -328(%rbp),%rax
6079
movq -320(%rbp),%rax
6085
movq -312(%rbp),%rax
6095
movq -304(%rbp),%rax
6107
movq -544(%rbp),%rax
6113
movq -536(%rbp),%rax
6119
movq -528(%rbp),%rax
6125
movq -520(%rbp),%rax
6131
movq -512(%rbp),%rax
6137
movq -504(%rbp),%rax
6143
movq -496(%rbp),%rax
6149
movq -488(%rbp),%rax
6155
movq -480(%rbp),%rax
6161
movq -472(%rbp),%rax
6167
movq -464(%rbp),%rax
6173
movq -456(%rbp),%rax
6179
movq -448(%rbp),%rax
6185
movq -440(%rbp),%rax
6191
movq -432(%rbp),%rax
6197
movq -424(%rbp),%rax
6203
movq -416(%rbp),%rax
6209
movq -408(%rbp),%rax
6215
movq -400(%rbp),%rax
6221
movq -392(%rbp),%rax
6227
movq -384(%rbp),%rax
6233
movq -376(%rbp),%rax
6239
movq -368(%rbp),%rax
6245
movq -360(%rbp),%rax
6251
movq -352(%rbp),%rax
6257
movq -344(%rbp),%rax
6263
movq -336(%rbp),%rax
6269
movq -328(%rbp),%rax
6275
movq -320(%rbp),%rax
6281
movq -312(%rbp),%rax
6287
movq -304(%rbp),%rax
6297
movq -296(%rbp),%rax
6309
movq -536(%rbp),%rax
6315
movq -528(%rbp),%rax
6321
movq -520(%rbp),%rax
6327
movq -512(%rbp),%rax
6333
movq -504(%rbp),%rax
6339
movq -496(%rbp),%rax
6345
movq -488(%rbp),%rax
6351
movq -480(%rbp),%rax
6357
movq -472(%rbp),%rax
6363
movq -464(%rbp),%rax
6369
movq -456(%rbp),%rax
6375
movq -448(%rbp),%rax
6381
movq -440(%rbp),%rax
6387
movq -432(%rbp),%rax
6393
movq -424(%rbp),%rax
6399
movq -416(%rbp),%rax
6405
movq -408(%rbp),%rax
6411
movq -400(%rbp),%rax
6417
movq -392(%rbp),%rax
6423
movq -384(%rbp),%rax
6429
movq -376(%rbp),%rax
6435
movq -368(%rbp),%rax
6441
movq -360(%rbp),%rax
6447
movq -352(%rbp),%rax
6453
movq -344(%rbp),%rax
6459
movq -336(%rbp),%rax
6465
movq -328(%rbp),%rax
6471
movq -320(%rbp),%rax
6477
movq -312(%rbp),%rax
6483
movq -304(%rbp),%rax
6493
movq -296(%rbp),%rax
6505
movq -528(%rbp),%rax
6511
movq -520(%rbp),%rax
6517
movq -512(%rbp),%rax
6523
movq -504(%rbp),%rax
6529
movq -496(%rbp),%rax
6535
movq -488(%rbp),%rax
6541
movq -480(%rbp),%rax
6547
movq -472(%rbp),%rax
6553
movq -464(%rbp),%rax
6559
movq -456(%rbp),%rax
6565
movq -448(%rbp),%rax
6571
movq -440(%rbp),%rax
6577
movq -432(%rbp),%rax
6583
movq -424(%rbp),%rax
6589
movq -416(%rbp),%rax
6595
movq -408(%rbp),%rax
6601
movq -400(%rbp),%rax
6607
movq -392(%rbp),%rax
6613
movq -384(%rbp),%rax
6619
movq -376(%rbp),%rax
6625
movq -368(%rbp),%rax
6631
movq -360(%rbp),%rax
6637
movq -352(%rbp),%rax
6643
movq -344(%rbp),%rax
6649
movq -336(%rbp),%rax
6655
movq -328(%rbp),%rax
6661
movq -320(%rbp),%rax
6667
movq -312(%rbp),%rax
6673
movq -304(%rbp),%rax
6683
movq -296(%rbp),%rax
6695
movq -520(%rbp),%rax
6701
movq -512(%rbp),%rax
6707
movq -504(%rbp),%rax
6713
movq -496(%rbp),%rax
6719
movq -488(%rbp),%rax
6725
movq -480(%rbp),%rax
6731
movq -472(%rbp),%rax
6737
movq -464(%rbp),%rax
6743
movq -456(%rbp),%rax
6749
movq -448(%rbp),%rax
6755
movq -440(%rbp),%rax
6761
movq -432(%rbp),%rax
6767
movq -424(%rbp),%rax
6773
movq -416(%rbp),%rax
6779
movq -408(%rbp),%rax
6785
movq -400(%rbp),%rax
6791
movq -392(%rbp),%rax
6797
movq -384(%rbp),%rax
6803
movq -376(%rbp),%rax
6809
movq -368(%rbp),%rax
6815
movq -360(%rbp),%rax
6821
movq -352(%rbp),%rax
6827
movq -344(%rbp),%rax
6833
movq -336(%rbp),%rax
6839
movq -328(%rbp),%rax
6845
movq -320(%rbp),%rax
6851
movq -312(%rbp),%rax
6857
movq -304(%rbp),%rax
6867
movq -296(%rbp),%rax
6879
movq -512(%rbp),%rax
6885
movq -504(%rbp),%rax
6891
movq -496(%rbp),%rax
6897
movq -488(%rbp),%rax
6903
movq -480(%rbp),%rax
6909
movq -472(%rbp),%rax
6915
movq -464(%rbp),%rax
6921
movq -456(%rbp),%rax
6927
movq -448(%rbp),%rax
6933
movq -440(%rbp),%rax
6939
movq -432(%rbp),%rax
6945
movq -424(%rbp),%rax
6951
movq -416(%rbp),%rax
6957
movq -408(%rbp),%rax
6963
movq -400(%rbp),%rax
6969
movq -392(%rbp),%rax
6975
movq -384(%rbp),%rax
6981
movq -376(%rbp),%rax
6987
movq -368(%rbp),%rax
6993
movq -360(%rbp),%rax
6999
movq -352(%rbp),%rax
7005
movq -344(%rbp),%rax
7011
movq -336(%rbp),%rax
7017
movq -328(%rbp),%rax
7023
movq -320(%rbp),%rax
7029
movq -312(%rbp),%rax
7035
movq -304(%rbp),%rax
7045
movq -296(%rbp),%rax
7057
movq -504(%rbp),%rax
7063
movq -496(%rbp),%rax
7069
movq -488(%rbp),%rax
7075
movq -480(%rbp),%rax
7081
movq -472(%rbp),%rax
7087
movq -464(%rbp),%rax
7093
movq -456(%rbp),%rax
7099
movq -448(%rbp),%rax
7105
movq -440(%rbp),%rax
7111
movq -432(%rbp),%rax
7117
movq -424(%rbp),%rax
7123
movq -416(%rbp),%rax
7129
movq -408(%rbp),%rax
7135
movq -400(%rbp),%rax
7141
movq -392(%rbp),%rax
7147
movq -384(%rbp),%rax
7153
movq -376(%rbp),%rax
7159
movq -368(%rbp),%rax
7165
movq -360(%rbp),%rax
7171
movq -352(%rbp),%rax
7177
movq -344(%rbp),%rax
7183
movq -336(%rbp),%rax
7189
movq -328(%rbp),%rax
7195
movq -320(%rbp),%rax
7201
movq -312(%rbp),%rax
7207
movq -304(%rbp),%rax
7217
movq -296(%rbp),%rax
7229
movq -496(%rbp),%rax
7235
movq -488(%rbp),%rax
7241
movq -480(%rbp),%rax
7247
movq -472(%rbp),%rax
7253
movq -464(%rbp),%rax
7259
movq -456(%rbp),%rax
7265
movq -448(%rbp),%rax
7271
movq -440(%rbp),%rax
7277
movq -432(%rbp),%rax
7283
movq -424(%rbp),%rax
7289
movq -416(%rbp),%rax
7295
movq -408(%rbp),%rax
7301
movq -400(%rbp),%rax
7307
movq -392(%rbp),%rax
7313
movq -384(%rbp),%rax
7319
movq -376(%rbp),%rax
7325
movq -368(%rbp),%rax
7331
movq -360(%rbp),%rax
7337
movq -352(%rbp),%rax
7343
movq -344(%rbp),%rax
7349
movq -336(%rbp),%rax
7355
movq -328(%rbp),%rax
7361
movq -320(%rbp),%rax
7367
movq -312(%rbp),%rax
7373
movq -304(%rbp),%rax
7383
movq -296(%rbp),%rax
7395
movq -488(%rbp),%rax
7401
movq -480(%rbp),%rax
7407
movq -472(%rbp),%rax
7413
movq -464(%rbp),%rax
7419
movq -456(%rbp),%rax
7425
movq -448(%rbp),%rax
7431
movq -440(%rbp),%rax
7437
movq -432(%rbp),%rax
7443
movq -424(%rbp),%rax
7449
movq -416(%rbp),%rax
7455
movq -408(%rbp),%rax
7461
movq -400(%rbp),%rax
7467
movq -392(%rbp),%rax
7473
movq -384(%rbp),%rax
7479
movq -376(%rbp),%rax
7485
movq -368(%rbp),%rax
7491
movq -360(%rbp),%rax
7497
movq -352(%rbp),%rax
7503
movq -344(%rbp),%rax
7509
movq -336(%rbp),%rax
7515
movq -328(%rbp),%rax
7521
movq -320(%rbp),%rax
7527
movq -312(%rbp),%rax
7533
movq -304(%rbp),%rax
7543
movq -296(%rbp),%rax
7555
movq -480(%rbp),%rax
7561
movq -472(%rbp),%rax
7567
movq -464(%rbp),%rax
7573
movq -456(%rbp),%rax
7579
movq -448(%rbp),%rax
7585
movq -440(%rbp),%rax
7591
movq -432(%rbp),%rax
7597
movq -424(%rbp),%rax
7603
movq -416(%rbp),%rax
7609
movq -408(%rbp),%rax
7615
movq -400(%rbp),%rax
7621
movq -392(%rbp),%rax
7627
movq -384(%rbp),%rax
7633
movq -376(%rbp),%rax
7639
movq -368(%rbp),%rax
7645
movq -360(%rbp),%rax
7651
movq -352(%rbp),%rax
7657
movq -344(%rbp),%rax
7663
movq -336(%rbp),%rax
7669
movq -328(%rbp),%rax
7675
movq -320(%rbp),%rax
7681
movq -312(%rbp),%rax
7687
movq -304(%rbp),%rax
7697
movq -296(%rbp),%rax
7709
movq -472(%rbp),%rax
7715
movq -464(%rbp),%rax
7721
movq -456(%rbp),%rax
7727
movq -448(%rbp),%rax
7733
movq -440(%rbp),%rax
7739
movq -432(%rbp),%rax
7745
movq -424(%rbp),%rax
7751
movq -416(%rbp),%rax
7757
movq -408(%rbp),%rax
7763
movq -400(%rbp),%rax
7769
movq -392(%rbp),%rax
7775
movq -384(%rbp),%rax
7781
movq -376(%rbp),%rax
7787
movq -368(%rbp),%rax
7793
movq -360(%rbp),%rax
7799
movq -352(%rbp),%rax
7805
movq -344(%rbp),%rax
7811
movq -336(%rbp),%rax
7817
movq -328(%rbp),%rax
7823
movq -320(%rbp),%rax
7829
movq -312(%rbp),%rax
7835
movq -304(%rbp),%rax
7845
movq -296(%rbp),%rax
7857
movq -464(%rbp),%rax
7863
movq -456(%rbp),%rax
7869
movq -448(%rbp),%rax
7875
movq -440(%rbp),%rax
7881
movq -432(%rbp),%rax
7887
movq -424(%rbp),%rax
7893
movq -416(%rbp),%rax
7899
movq -408(%rbp),%rax
7905
movq -400(%rbp),%rax
7911
movq -392(%rbp),%rax
7917
movq -384(%rbp),%rax
7923
movq -376(%rbp),%rax
7929
movq -368(%rbp),%rax
7935
movq -360(%rbp),%rax
7941
movq -352(%rbp),%rax
7947
movq -344(%rbp),%rax
7953
movq -336(%rbp),%rax
7959
movq -328(%rbp),%rax
7965
movq -320(%rbp),%rax
7971
movq -312(%rbp),%rax
7977
movq -304(%rbp),%rax
7987
movq -296(%rbp),%rax
7999
movq -456(%rbp),%rax
8005
movq -448(%rbp),%rax
8011
movq -440(%rbp),%rax
8017
movq -432(%rbp),%rax
8023
movq -424(%rbp),%rax
8029
movq -416(%rbp),%rax
8035
movq -408(%rbp),%rax
8041
movq -400(%rbp),%rax
8047
movq -392(%rbp),%rax
8053
movq -384(%rbp),%rax
8059
movq -376(%rbp),%rax
8065
movq -368(%rbp),%rax
8071
movq -360(%rbp),%rax
8077
movq -352(%rbp),%rax
8083
movq -344(%rbp),%rax
8089
movq -336(%rbp),%rax
8095
movq -328(%rbp),%rax
8101
movq -320(%rbp),%rax
8107
movq -312(%rbp),%rax
8113
movq -304(%rbp),%rax
8119
movq -296(%rbp),%rax
8130
movq -448(%rbp),%rax
8139
movq -440(%rbp),%rax
8145
movq -432(%rbp),%rax
8151
movq -424(%rbp),%rax
8157
movq -416(%rbp),%rax
8163
movq -408(%rbp),%rax
8169
movq -400(%rbp),%rax
8175
movq -392(%rbp),%rax
8181
movq -384(%rbp),%rax
8187
movq -376(%rbp),%rax
8193
movq -368(%rbp),%rax
8199
movq -360(%rbp),%rax
8205
movq -352(%rbp),%rax
8211
movq -344(%rbp),%rax
8217
movq -336(%rbp),%rax
8223
movq -328(%rbp),%rax
8229
movq -320(%rbp),%rax
8235
movq -312(%rbp),%rax
8241
movq -304(%rbp),%rax
8251
movq -296(%rbp),%rax
8263
movq -440(%rbp),%rax
8272
movq -432(%rbp),%rax
8278
movq -424(%rbp),%rax
8284
movq -416(%rbp),%rax
8290
movq -408(%rbp),%rax
8296
movq -400(%rbp),%rax
8302
movq -392(%rbp),%rax
8308
movq -384(%rbp),%rax
8314
movq -376(%rbp),%rax
8320
movq -368(%rbp),%rax
8326
movq -360(%rbp),%rax
8332
movq -352(%rbp),%rax
8338
movq -344(%rbp),%rax
8344
movq -336(%rbp),%rax
8350
movq -328(%rbp),%rax
8356
movq -320(%rbp),%rax
8362
movq -312(%rbp),%rax
8368
movq -304(%rbp),%rax
8378
movq -296(%rbp),%rax
8390
movq -432(%rbp),%rax
8396
movq -424(%rbp),%rax
8402
movq -416(%rbp),%rax
8408
movq -408(%rbp),%rax
8414
movq -400(%rbp),%rax
8420
movq -392(%rbp),%rax
8426
movq -384(%rbp),%rax
8432
movq -376(%rbp),%rax
8438
movq -368(%rbp),%rax
8444
movq -360(%rbp),%rax
8450
movq -352(%rbp),%rax
8456
movq -344(%rbp),%rax
8462
movq -336(%rbp),%rax
8468
movq -328(%rbp),%rax
8474
movq -320(%rbp),%rax
8480
movq -312(%rbp),%rax
8486
movq -304(%rbp),%rax
8496
movq -296(%rbp),%rax
8508
movq -424(%rbp),%rax
8514
movq -416(%rbp),%rax
8520
movq -408(%rbp),%rax
8526
movq -400(%rbp),%rax
8532
movq -392(%rbp),%rax
8538
movq -384(%rbp),%rax
8544
movq -376(%rbp),%rax
8550
movq -368(%rbp),%rax
8556
movq -360(%rbp),%rax
8562
movq -352(%rbp),%rax
8568
movq -344(%rbp),%rax
8574
movq -336(%rbp),%rax
8580
movq -328(%rbp),%rax
8586
movq -320(%rbp),%rax
8592
movq -312(%rbp),%rax
8598
movq -304(%rbp),%rax
8608
movq -296(%rbp),%rax
8620
movq -416(%rbp),%rax
8626
movq -408(%rbp),%rax
8632
movq -400(%rbp),%rax
8638
movq -392(%rbp),%rax
8644
movq -384(%rbp),%rax
8650
movq -376(%rbp),%rax
8656
movq -368(%rbp),%rax
8662
movq -360(%rbp),%rax
8668
movq -352(%rbp),%rax
8674
movq -344(%rbp),%rax
8680
movq -336(%rbp),%rax
8686
movq -328(%rbp),%rax
8692
movq -320(%rbp),%rax
8698
movq -312(%rbp),%rax
8704
movq -304(%rbp),%rax
8714
movq -296(%rbp),%rax
8726
movq -408(%rbp),%rax
8732
movq -400(%rbp),%rax
8738
movq -392(%rbp),%rax
8744
movq -384(%rbp),%rax
8750
movq -376(%rbp),%rax
8756
movq -368(%rbp),%rax
8762
movq -360(%rbp),%rax
8768
movq -352(%rbp),%rax
8774
movq -344(%rbp),%rax
8780
movq -336(%rbp),%rax
8786
movq -328(%rbp),%rax
8792
movq -320(%rbp),%rax
8798
movq -312(%rbp),%rax
8804
movq -304(%rbp),%rax
8814
movq -296(%rbp),%rax
8826
movq -400(%rbp),%rax
8832
movq -392(%rbp),%rax
8838
movq -384(%rbp),%rax
8844
movq -376(%rbp),%rax
8850
movq -368(%rbp),%rax
8856
movq -360(%rbp),%rax
8862
movq -352(%rbp),%rax
8868
movq -344(%rbp),%rax
8874
movq -336(%rbp),%rax
8880
movq -328(%rbp),%rax
8886
movq -320(%rbp),%rax
8892
movq -312(%rbp),%rax
8898
movq -304(%rbp),%rax
8908
movq -296(%rbp),%rax
8920
movq -392(%rbp),%rax
8926
movq -384(%rbp),%rax
8932
movq -376(%rbp),%rax
8938
movq -368(%rbp),%rax
8944
movq -360(%rbp),%rax
8950
movq -352(%rbp),%rax
8956
movq -344(%rbp),%rax
8962
movq -336(%rbp),%rax
8968
movq -328(%rbp),%rax
8974
movq -320(%rbp),%rax
8980
movq -312(%rbp),%rax
8986
movq -304(%rbp),%rax
8996
movq -296(%rbp),%rax
9008
movq -384(%rbp),%rax
9014
movq -376(%rbp),%rax
9020
movq -368(%rbp),%rax
9026
movq -360(%rbp),%rax
9032
movq -352(%rbp),%rax
9038
movq -344(%rbp),%rax
9044
movq -336(%rbp),%rax
9050
movq -328(%rbp),%rax
9056
movq -320(%rbp),%rax
9062
movq -312(%rbp),%rax
9068
movq -304(%rbp),%rax
9078
movq -296(%rbp),%rax
9090
movq -376(%rbp),%rax
9096
movq -368(%rbp),%rax
9102
movq -360(%rbp),%rax
9108
movq -352(%rbp),%rax
9114
movq -344(%rbp),%rax
9120
movq -336(%rbp),%rax
9126
movq -328(%rbp),%rax
9132
movq -320(%rbp),%rax
9138
movq -312(%rbp),%rax
9144
movq -304(%rbp),%rax
9154
movq -296(%rbp),%rax
9166
movq -368(%rbp),%rax
9172
movq -360(%rbp),%rax
9178
movq -352(%rbp),%rax
9184
movq -344(%rbp),%rax
9190
movq -336(%rbp),%rax
9196
movq -328(%rbp),%rax
9202
movq -320(%rbp),%rax
9208
movq -312(%rbp),%rax
9214
movq -304(%rbp),%rax
9224
movq -296(%rbp),%rax
9236
movq -360(%rbp),%rax
9242
movq -352(%rbp),%rax
9248
movq -344(%rbp),%rax
9254
movq -336(%rbp),%rax
9260
movq -328(%rbp),%rax
9266
movq -320(%rbp),%rax
9272
movq -312(%rbp),%rax
9278
movq -304(%rbp),%rax
9288
movq -296(%rbp),%rax
9300
movq -352(%rbp),%rax
9306
movq -344(%rbp),%rax
9312
movq -336(%rbp),%rax
9318
movq -328(%rbp),%rax
9324
movq -320(%rbp),%rax
9330
movq -312(%rbp),%rax
9336
movq -304(%rbp),%rax
9346
movq -296(%rbp),%rax
9358
movq -344(%rbp),%rax
9364
movq -336(%rbp),%rax
9370
movq -328(%rbp),%rax
9376
movq -320(%rbp),%rax
9382
movq -312(%rbp),%rax
9388
movq -304(%rbp),%rax
9398
movq -296(%rbp),%rax
9410
movq -336(%rbp),%rax
9416
movq -328(%rbp),%rax
9422
movq -320(%rbp),%rax
9428
movq -312(%rbp),%rax
9434
movq -304(%rbp),%rax
9444
movq -296(%rbp),%rax
9456
movq -328(%rbp),%rax
9462
movq -320(%rbp),%rax
9468
movq -312(%rbp),%rax
9474
movq -304(%rbp),%rax
9484
movq -296(%rbp),%rax
9496
movq -320(%rbp),%rax
9502
movq -312(%rbp),%rax
9508
movq -304(%rbp),%rax
9518
movq -296(%rbp),%rax
9530
movq -312(%rbp),%rax
9536
movq -304(%rbp),%rax
9546
movq -296(%rbp),%rax
9558
movq -304(%rbp),%rax
9568
movq -296(%rbp),%rax
9579
movq -296(%rbp),%rax
9600
leal -2(%rdx), %r12d
9601
cmpq $0, (%r9,%r12,8)
9616
.size s_mp_mul_comba_32, .-s_mp_mul_comba_32
9618
.globl s_mp_sqr_comba_4
9619
.type s_mp_sqr_comba_4, @function
9642
movq %r10, -72(%rsp)
9654
movq %rbx, -64(%rsp)
9676
movq %rdi, -56(%rsp)
9732
movq %rdi, -40(%rsp)
9747
movq %rbp, -32(%rsp)
9758
movq %rdi, -24(%rsp)
9763
movq -56(%rsp), %rbp
9765
movq -48(%rsp), %rdi
9767
movq -40(%rsp), %rsi
9769
movq -32(%rsp), %rbx
9771
movq -24(%rsp), %rcx
9773
movq -16(%rsp), %rax
9781
cmpq $0, (%rsi,%r10,8)
9791
cmpq $0, (%rsi,%rax,8)
9813
.size s_mp_sqr_comba_4, .-s_mp_sqr_comba_4
9815
.globl s_mp_sqr_comba_8
9816
.type s_mp_sqr_comba_8, @function
9848
movq %r14, -120(%rsp)
9860
movq %rbx, -112(%rsp)
9883
movq %r12, -104(%rsp)
9912
movq %r11, -96(%rsp)
9947
movq %r12, -88(%rsp)
9975
movq %rbx, -80(%rsp)
10021
movq %r10, -72(%rsp)
10059
movq %rbx, -64(%rsp)
10106
movq %r10, -56(%rsp)
10139
movq %rbx, -48(%rsp)
10178
movq %r12, -40(%rsp)
10205
movq %rdi, -32(%rsp)
10229
movq %r12, -24(%rsp)
10246
movq %rdi, -16(%rsp)
10256
movq 16(%rbp), %rax
10257
movq %rsi, -8(%rsp)
10260
movq -112(%rsp), %rbx
10262
movq -104(%rsp), %rcx
10263
movq %rcx, 16(%rax)
10264
movq -96(%rsp), %rdx
10265
movq %rdx, 24(%rax)
10266
movq -88(%rsp), %r14
10267
movq %r14, 32(%rax)
10268
movq -80(%rsp), %r13
10269
movq %r13, 40(%rax)
10270
movq -72(%rsp), %r12
10271
movq %r12, 48(%rax)
10272
movq -64(%rsp), %r11
10273
movq %r11, 56(%rax)
10274
movq -56(%rsp), %r10
10275
movq %r10, 64(%rax)
10276
movq -48(%rsp), %r9
10278
movq -40(%rsp), %r8
10280
movq -32(%rsp), %rdi
10281
movq %rdi, 88(%rax)
10282
movq -24(%rsp), %rsi
10283
movq %rsi, 96(%rax)
10284
movq -16(%rsp), %rbx
10285
movq %rbx, 104(%rax)
10286
movq -8(%rsp), %rcx
10287
movq %rcx, 112(%rax)
10289
movq %rdx, 120(%rax)
10293
leal -1(%rdx), %ecx
10294
movq 16(%rbp), %rsi
10296
cmpq $0, (%rsi,%r14,8)
10306
cmpq $0, (%rsi,%r9,8)
10336
.size s_mp_sqr_comba_8, .-s_mp_sqr_comba_8
10338
.globl s_mp_sqr_comba_16
10339
.type s_mp_sqr_comba_16, @function
10364
movq 16(%rdi), %rcx
10373
movq %r8, -288(%rbp)
10385
movq %rbx, -280(%rbp)
10407
movq %rsi, -272(%rbp)
10437
movq %r10, -264(%rbp)
10472
movq %r13, -256(%rbp)
10500
movq %rbx, -248(%rbp)
10546
movq %r10, -240(%rbp)
10585
movq %rbx, -232(%rbp)
10631
movq %r10, -224(%rbp)
10674
movq %r11, -216(%rbp)
10733
movq %r10, -208(%rbp)
10784
movq %r11, -200(%rbp)
10848
movq %r10, -192(%rbp)
10904
movq %r12, -184(%rbp)
10974
movq %r10, -176(%rbp)
11036
movq %r12, -168(%rbp)
11106
movq %r10, -160(%rbp)
11163
movq %r12, -152(%rbp)
11227
movq %r10, -144(%rbp)
11274
movq %rbx, -136(%rbp)
11333
movq %r10, -128(%rbp)
11377
movq %rbx, -120(%rbp)
11431
movq %r10, -112(%rbp)
11466
movq %rbx, -104(%rbp)
11513
movq %r10, -96(%rbp)
11548
movq %rbx, -88(%rbp)
11578
movq 104(%rcx),%rax
11585
movq %r13, -80(%rbp)
11602
movq 104(%rcx),%rax
11612
movq %r10, -72(%rbp)
11616
movq 104(%rcx),%rax
11629
movq 112(%rcx),%rax
11636
movq %rbx, -64(%rbp)
11641
movq 112(%rcx),%rax
11651
movq %rdi, -56(%rbp)
11654
movq 120(%rcx),%rax
11661
movq %rsi, -48(%rbp)
11662
movq 16(%r14), %rdi
11663
leaq -288(%rbp), %rsi
11665
movq %r8, -40(%rbp)
11672
leal -1(%rdx), %ecx
11673
movq 16(%r14), %rsi
11675
cmpq $0, (%rsi,%r9,8)
11685
cmpq $0, (%rsi,%rax,8)
11715
.size s_mp_sqr_comba_16, .-s_mp_sqr_comba_16
11717
.globl s_mp_sqr_comba_32
11718
.type s_mp_sqr_comba_32, @function
11743
movq 16(%rdi), %rcx
11752
movq %r8, -544(%rbp)
11764
movq %rbx, -536(%rbp)
11786
movq %rsi, -528(%rbp)
11816
movq %r9, -520(%rbp)
11851
movq %r13, -512(%rbp)
11879
movq %rbx, -504(%rbp)
11925
movq %r9, -496(%rbp)
11964
movq %rbx, -488(%rbp)
12010
movq %r9, -480(%rbp)
12053
movq %r11, -472(%rbp)
12112
movq %r9, -464(%rbp)
12163
movq %r11, -456(%rbp)
12226
movq %r9, -448(%rbp)
12282
movq %r12, -440(%rbp)
12354
movq %r9, -432(%rbp)
12419
movq %r12, -424(%rbp)
12499
movq %r9, -416(%rbp)
12572
movq %r12, -408(%rbp)
12658
movq %r9, -400(%rbp)
12737
movq %r12, -392(%rbp)
12829
movq %r9, -384(%rbp)
12914
movq %r12, -376(%rbp)
13012
movq %r9, -368(%rbp)
13104
movq %r12, -360(%rbp)
13205
movq %r9, -352(%rbp)
13297
movq %r12, -344(%rbp)
13398
movq 104(%rcx),%rax
13405
movq %r9, -336(%rbp)
13487
movq 104(%rcx),%rax
13501
movq %r12, -328(%rbp)
13581
movq 104(%rcx),%rax
13608
movq 112(%rcx),%rax
13615
movq %r9, -320(%rbp)
13697
movq 104(%rcx),%rax
13703
movq 112(%rcx),%rax
13717
movq %r12, -312(%rbp)
13798
movq 104(%rcx),%rax
13804
movq 112(%rcx),%rax
13830
movq 120(%rcx),%rax
13837
movq %rbx, -304(%rbp)
13919
movq 104(%rcx),%rax
13925
movq 112(%rcx),%rax
13931
movq 120(%rcx),%rax
13945
movq %r12, -296(%rbp)
14021
movq 104(%rcx),%rax
14027
movq 112(%rcx),%rax
14033
movq 120(%rcx),%rax
14054
movq 128(%rcx),%rax
14062
movq %rbx, -288(%rbp)
14134
movq 104(%rcx),%rax
14140
movq 112(%rcx),%rax
14146
movq 120(%rcx),%rax
14152
movq 128(%rcx),%rax
14166
movq %r12, -280(%rbp)
14229
movq 104(%rcx),%rax
14235
movq 112(%rcx),%rax
14241
movq 120(%rcx),%rax
14247
movq 128(%rcx),%rax
14273
movq 136(%rcx),%rax
14280
movq %r9, -272(%rbp)
14338
movq 104(%rcx),%rax
14344
movq 112(%rcx),%rax
14350
movq 120(%rcx),%rax
14356
movq 128(%rcx),%rax
14362
movq 136(%rcx),%rax
14376
movq %r12, -264(%rbp)
14426
movq 104(%rcx),%rax
14432
movq 112(%rcx),%rax
14438
movq 120(%rcx),%rax
14444
movq 128(%rcx),%rax
14450
movq 136(%rcx),%rax
14477
movq 144(%rcx),%rax
14485
movq %r9, -256(%rbp)
14530
movq 104(%rcx),%rax
14536
movq 112(%rcx),%rax
14542
movq 120(%rcx),%rax
14548
movq 128(%rcx),%rax
14554
movq 136(%rcx),%rax
14560
movq 144(%rcx),%rax
14574
movq %r12, -248(%rbp)
14613
movq 104(%rcx),%rax
14619
movq 112(%rcx),%rax
14625
movq 120(%rcx),%rax
14631
movq 128(%rcx),%rax
14637
movq 136(%rcx),%rax
14643
movq 144(%rcx),%rax
14671
movq 152(%rcx),%rax
14678
movq %r9, -240(%rbp)
14712
movq 104(%rcx),%rax
14718
movq 112(%rcx),%rax
14724
movq 120(%rcx),%rax
14730
movq 128(%rcx),%rax
14736
movq 136(%rcx),%rax
14742
movq 144(%rcx),%rax
14748
movq 152(%rcx),%rax
14767
movq %r12, -232(%rbp)
14798
movq 104(%rcx),%rax
14804
movq 112(%rcx),%rax
14810
movq 120(%rcx),%rax
14816
movq 128(%rcx),%rax
14822
movq 136(%rcx),%rax
14828
movq 144(%rcx),%rax
14834
movq 152(%rcx),%rax
14857
movq 160(%rcx),%rax
14865
movq %r9, -224(%rbp)
14889
movq 104(%rcx),%rax
14895
movq 112(%rcx),%rax
14901
movq 120(%rcx),%rax
14907
movq 128(%rcx),%rax
14913
movq 136(%rcx),%rax
14919
movq 144(%rcx),%rax
14925
movq 152(%rcx),%rax
14931
movq 160(%rcx),%rax
14950
movq %r12, -216(%rbp)
14969
movq 104(%rcx),%rax
14975
movq 112(%rcx),%rax
14981
movq 120(%rcx),%rax
14987
movq 128(%rcx),%rax
14993
movq 136(%rcx),%rax
14999
movq 144(%rcx),%rax
15005
movq 152(%rcx),%rax
15011
movq 160(%rcx),%rax
15034
movq 168(%rcx),%rax
15042
movq %r9, -208(%rbp)
15054
movq 104(%rcx),%rax
15060
movq 112(%rcx),%rax
15066
movq 120(%rcx),%rax
15072
movq 128(%rcx),%rax
15078
movq 136(%rcx),%rax
15084
movq 144(%rcx),%rax
15090
movq 152(%rcx),%rax
15096
movq 160(%rcx),%rax
15102
movq 168(%rcx),%rax
15121
movq %r12, -200(%rbp)
15128
movq 104(%rcx),%rax
15134
movq 112(%rcx),%rax
15140
movq 120(%rcx),%rax
15146
movq 128(%rcx),%rax
15152
movq 136(%rcx),%rax
15158
movq 144(%rcx),%rax
15164
movq 152(%rcx),%rax
15170
movq 160(%rcx),%rax
15176
movq 168(%rcx),%rax
15199
movq 176(%rcx),%rax
15207
movq %r9, -192(%rbp)
15210
movq 112(%rcx),%rax
15219
movq 120(%rcx),%rax
15225
movq 128(%rcx),%rax
15231
movq 136(%rcx),%rax
15237
movq 144(%rcx),%rax
15243
movq 152(%rcx),%rax
15249
movq 160(%rcx),%rax
15255
movq 168(%rcx),%rax
15261
movq 176(%rcx),%rax
15280
movq %r12, -184(%rbp)
15287
movq 120(%rcx),%rax
15293
movq 128(%rcx),%rax
15299
movq 136(%rcx),%rax
15305
movq 144(%rcx),%rax
15311
movq 152(%rcx),%rax
15317
movq 160(%rcx),%rax
15323
movq 168(%rcx),%rax
15329
movq 176(%rcx),%rax
15352
movq 184(%rcx),%rax
15360
movq %r9, -176(%rbp)
15363
movq 128(%rcx),%rax
15372
movq 136(%rcx),%rax
15378
movq 144(%rcx),%rax
15384
movq 152(%rcx),%rax
15390
movq 160(%rcx),%rax
15396
movq 168(%rcx),%rax
15402
movq 176(%rcx),%rax
15408
movq 184(%rcx),%rax
15422
movq %r12, -168(%rbp)
15426
movq 136(%rcx),%rax
15432
movq 144(%rcx),%rax
15438
movq 152(%rcx),%rax
15444
movq 160(%rcx),%rax
15450
movq 168(%rcx),%rax
15456
movq 176(%rcx),%rax
15462
movq 184(%rcx),%rax
15484
movq 192(%rcx),%rax
15492
movq %r9, -160(%rbp)
15495
movq 144(%rcx),%rax
15501
movq 152(%rcx),%rax
15507
movq 160(%rcx),%rax
15513
movq 168(%rcx),%rax
15519
movq 176(%rcx),%rax
15525
movq 184(%rcx),%rax
15531
movq 192(%rcx),%rax
15545
movq %r12, -152(%rbp)
15547
movq 152(%rcx),%rax
15553
movq 160(%rcx),%rax
15559
movq 168(%rcx),%rax
15565
movq 176(%rcx),%rax
15571
movq 184(%rcx),%rax
15577
movq 192(%rcx),%rax
15602
movq 200(%rcx),%rax
15609
movq %r9, -144(%rbp)
15612
movq 160(%rcx),%rax
15618
movq 168(%rcx),%rax
15624
movq 176(%rcx),%rax
15630
movq 184(%rcx),%rax
15636
movq 192(%rcx),%rax
15642
movq 200(%rcx),%rax
15656
movq %rbx, -136(%rbp)
15659
movq 168(%rcx),%rax
15665
movq 176(%rcx),%rax
15671
movq 184(%rcx),%rax
15677
movq 192(%rcx),%rax
15683
movq 200(%rcx),%rax
15708
movq 208(%rcx),%rax
15715
movq %r9, -128(%rbp)
15718
movq 176(%rcx),%rax
15724
movq 184(%rcx),%rax
15730
movq 192(%rcx),%rax
15736
movq 200(%rcx),%rax
15742
movq 208(%rcx),%rax
15759
movq %rbx, -120(%rbp)
15763
movq 184(%rcx),%rax
15769
movq 192(%rcx),%rax
15775
movq 200(%rcx),%rax
15781
movq 208(%rcx),%rax
15806
movq 216(%rcx),%rax
15813
movq %r9, -112(%rbp)
15816
movq 192(%rcx),%rax
15822
movq 200(%rcx),%rax
15828
movq 208(%rcx),%rax
15834
movq 216(%rcx),%rax
15848
movq %rbx, -104(%rbp)
15851
movq 200(%rcx),%rax
15857
movq 208(%rcx),%rax
15863
movq 216(%rcx),%rax
15889
movq 224(%rcx),%rax
15896
movq %r9, -96(%rbp)
15899
movq 208(%rcx),%rax
15905
movq 216(%rcx),%rax
15911
movq 224(%rcx),%rax
15929
movq %rbx, -88(%rbp)
15933
movq 216(%rcx),%rax
15945
movq 224(%rcx),%rax
15958
movq 232(%rcx),%rax
15965
movq %rsi, -80(%rbp)
15970
movq 224(%rcx),%rax
15983
movq 232(%rcx),%rax
15993
movq %rdi, -72(%rbp)
15998
movq 232(%rcx),%rax
16012
movq 240(%rcx),%rax
16019
movq %r11, -64(%rbp)
16023
movq 240(%rcx),%rax
16033
movq %rdi, -56(%rbp)
16036
movq 248(%rcx),%rax
16043
movq %rsi, -48(%rbp)
16044
movq 16(%r14), %rdi
16045
leaq -544(%rbp), %rsi
16047
movq %r8, -40(%rbp)
16054
leal -1(%rdx), %ecx
16055
movq 16(%r14), %rsi
16057
cmpq $0, (%rsi,%r10,8)
16067
cmpq $0, (%rsi,%rax,8)
16097
.size s_mp_sqr_comba_32, .-s_mp_sqr_comba_32