290 lines
13 KiB
Plaintext
290 lines
13 KiB
Plaintext
V "GNAT Lib v6"
|
|
A -gnatwa
|
|
A -nostdinc
|
|
A -O2
|
|
A -Wextra
|
|
A -Wall
|
|
A -g
|
|
A -gnatp
|
|
A -gnatg
|
|
A -mtune=generic
|
|
A -march=i586
|
|
P ZX
|
|
|
|
RN
|
|
RV NO_ALLOCATORS
|
|
RV NO_DIRECT_BOOLEAN_OPERATORS
|
|
RV NO_EXCEPTIONS
|
|
RV NO_LOCAL_ALLOCATORS
|
|
RV NO_LONG_LONG_INTEGERS
|
|
RV NO_RECURSION
|
|
RV NO_STANDARD_STORAGE_POOLS
|
|
RV NO_DEFAULT_INITIALIZATION
|
|
RV NO_DYNAMIC_SIZED_OBJECTS
|
|
RV SPARK_05
|
|
|
|
U system.bignums%b s-bignum.adb 3c1ae863 NE OL PK
|
|
W ada.exceptions%s a-except.adb a-except.ali
|
|
W system%s system.ads system.ali
|
|
W system.secondary_stack%s s-secsta.adb s-secsta.ali
|
|
W system.storage_elements%s s-stoele.adb s-stoele.ali
|
|
|
|
U system.bignums%s s-bignum.ads 78240157 NE OL PK
|
|
W interfaces%s interfac.ads interfac.ali
|
|
W system%s system.ads system.ali
|
|
|
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
|
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
|
|
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
|
|
D interfac.ads 20151118101227 4be8ce1b interfaces%s
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-bignum.ads 20121003080427 1e695f74 system.bignums%s
|
|
D s-bignum.adb 20150527132616 a4b7e846 system.bignums%b
|
|
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
|
|
D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%s
|
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
|
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
|
|
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
|
|
X 4 interfac.ads
|
|
38K9*Interfaces 183e15 6|36w6 51r18 7|42r8
|
|
73M9*Unsigned_32 6|51r29
|
|
120V13*Shift_Left{73M9} 7|426s25
|
|
X 5 system.ads
|
|
37K9*System 200e11 6|38r9 116r5 7|36w6 36r35 37r6 37r35 38r6 38r35 40r14
|
|
. 1105r5
|
|
67M9*Address 7|212r14
|
|
81V14*"="{boolean} 7|262r41
|
|
X 6 s-bignum.ads
|
|
38K16*Bignums 5|37k9 6|116l12 116e19 7|40b21 1105l12 1105t19
|
|
45I12*Length{natural} 54r32 57r28 7|77r36 211r36 249r22 549r11 773r23 774r23
|
|
. 787r17 1055r11
|
|
48N4*Base 7|45r19 48r48 49r50 52r52 155r30 197r37 561r22 569r25 739r22 775r33
|
|
. 834r34 845r35 950r38 979r28 1097r37 1098r35
|
|
51M12*SD{4|73M9} 54r52 7|48r33 48r40 49r33 49r40 52r25 158r27 326r38 333r38
|
|
. 426r37 740r30 745r26 782r15 783r15 784r15 837r22 908r25 953r36 980r28 1084r21
|
|
. 1097r21 1098r21
|
|
54A9*Digit_Vector(51M12)<integer> 61r11 7|57r24 60r25 68r15 86r22 111r13
|
|
. 122r15 142r22 184r26 425r26 546r16 655r22 733r22 734r22 777r14 778r14 779r14
|
|
. 780r14 1051r13
|
|
57R9*Bignum_Data 57d22 65e14 67r8 72r30 7|223r22 240r18
|
|
57i22*Len{45I12} 61r30 68r7 7|78r37 316r18 369r27 399r15 404r15 410r15 412r49
|
|
. 418r15 423r15 524r15 546r37 546r45 556r23 557r26 558r35 558r49 628r18 640r12
|
|
. 696r12 713r16 713r36 715r16 715r36 728r15 733r43 738r29 773r35 773r43 774r35
|
|
. 998r12 1001r15 1004r15 1027r12 1032r15 1064r18
|
|
58b7*Neg{boolean} 69r7 7|286r31 286r38 316m9 316r38 316r48 394r12 412r27
|
|
. 428r36 444r35 444r42 453r35 453r42 462r35 462r42 471r35 471r42 480r35 480r42
|
|
. 512r12 512r20 533m19 533r28 580r35 580r45 589r35 589r42 598r36 628m9 628r37
|
|
. 641r35 646r34 646r45 1002r23 1008r18 1041r45 1064m9 1101m9
|
|
61a7*D{54A9} 7|277r27 286r21 286r26 345r36 410r34 412r15 412r44 423r34 423r55
|
|
. 426r56 434r24 444r25 444r30 453r25 453r30 462r25 462r30 471r25 471r30 480r25
|
|
. 480r30 559r24 559r39 589r25 589r30 598r27 641r30 646r24 646r29 704r21 704r26
|
|
. 705r36 713r55 715r55 731r40 739r40 796r24 800r24 1002r40 1002r59 1006r36
|
|
. 1006r46 1039r36 1039r46 1065m9 1084m12 1090m12 1091m12 1097m12 1098m12
|
|
72P9*Bignum(57R9) 82r29 82r44 83r29 83r44 84r29 84r44 85r29 85r44 86r29 86r44
|
|
. 87r29 87r44 88r29 88r44 89r29 89r44 90r29 90r44 95r29 96r29 97r29 98r29
|
|
. 99r29 100r29 104r38 108r54 112r30 7|70r31 77r51 94r27 95r31 96r31 104r31
|
|
. 112r38 124r31 211r51 221r17 236r17 275r26 275r41 284r30 284r45 312r30 312r45
|
|
. 313r14 324r30 324r45 326r26 326r49 333r26 333r49 359r35 360r35 361r26 442r28
|
|
. 451r28 460r28 469r28 478r28 506r29 506r44 507r14 531r30 545r29 545r44 587r28
|
|
. 596r26 596r41 624r29 624r44 625r14 636r29 636r44 687r27 688r31 689r31 996r30
|
|
. 1023r38 1052r38 1054r11 1073r54 1074r11
|
|
82V13*Big_Add{72P9} 82>22 82>25 7|284b13 287l8 287t15
|
|
82p22 X{72P9} 7|284b23 286r19 286r29
|
|
82p25 Y{72P9} 7|284b26 286r24 286r36
|
|
83V13*Big_Sub{72P9} 83>22 83>25 7|531s40 636b13 648l8 648t15
|
|
83p22 X{72P9} 7|636b22 641r28 641r33 646r22 646r32
|
|
83p25 Y{72P9} 7|636b25 640r10 646r27 646r43
|
|
84V13*Big_Mul{72P9} 84>22 84>25 7|350s23 360s45 381s29 545b13 581l8 581t15
|
|
84p22 X{72P9} 7|545b22 546r35 556r21 558r33 559r22 580r33
|
|
84p25 Y{72P9} 7|545b25 546r43 557r24 558r47 559r37 580r43
|
|
85V13*Big_Div{72P9} 85>22 85>25 7|312b13 318l8 318t15
|
|
85p22 X{72P9} 7|312b23 315r16 316r36
|
|
85p25 Y{72P9} 7|312b26 315r19 316r46
|
|
86V13*Big_Exp{72P9} 86>22 86>25 7|324b13 436l8 436t15
|
|
86p22 X{72P9} 7|324b23 404r13 410r13 410r32 412r13 412r25 423r13 423r32 428r34
|
|
. 434r17
|
|
86p25 Y{72P9} 7|324b26 394r10 399r13 412r42 412r47 418r13 423r53 426r54 434r22
|
|
87V13*Big_Mod{72P9} 87>22 87>25 7|506b13 539l8 539t15
|
|
87p22 X{72P9} 7|506b22 512r10 513r26 520r19
|
|
87p25 Y{72P9} 7|506b25 512r18 513r29 520r22 531r49 533r26
|
|
88V13*Big_Rem{72P9} 88>22 88>25 7|513s17 624b13 630l8 630t15
|
|
88p22 X{72P9} 7|624b22 627r16 628r35
|
|
88p25 Y{72P9} 7|624b25 627r19
|
|
89V13*Big_Neg{72P9} 89>22 7|596b13 599l8 599t15
|
|
89p22 X{72P9} 7|596b22 598r25 598r34
|
|
90V13*Big_Abs{72P9} 90>22 7|275b13 278l8 278t15
|
|
90p22 X{72P9} 7|275b22 277r25
|
|
95V13*Big_EQ{boolean} 95>22 95>25 7|442b13 445l8 445t14
|
|
95p22 X{72P9} 7|442b21 444r23 444r33
|
|
95p25 Y{72P9} 7|442b24 444r28 444r40
|
|
96V13*Big_NE{boolean} 96>22 96>25 7|587b13 590l8 590t14
|
|
96p22 X{72P9} 7|587b21 589r23 589r33
|
|
96p25 Y{72P9} 7|587b24 589r28 589r40
|
|
97V13*Big_GE{boolean} 97>22 97>25 7|451b13 454l8 454t14
|
|
97p22 X{72P9} 7|451b21 453r23 453r33
|
|
97p25 Y{72P9} 7|451b24 453r28 453r40
|
|
98V13*Big_LE{boolean} 98>22 98>25 7|469b13 472l8 472t14
|
|
98p22 X{72P9} 7|469b21 471r23 471r33
|
|
98p25 Y{72P9} 7|469b24 471r28 471r40
|
|
99V13*Big_GT{boolean} 99>22 99>25 7|460b13 463l8 463t14
|
|
99p22 X{72P9} 7|460b21 462r23 462r33
|
|
99p25 Y{72P9} 7|460b24 462r28 462r40
|
|
100V13*Big_LT{boolean} 100>22 100>25 7|478b13 481l8 481t14
|
|
100p22 X{72P9} 7|478b21 480r23 480r33
|
|
100p25 Y{72P9} 7|478b24 480r28 480r40
|
|
104V13*Bignum_In_LLI_Range{boolean} 104>34 7|1023b13 1044l8 1044t27
|
|
104p34 X{72P9} 7|1023b34 1027r10 1032r13 1039r34 1039r44 1041r43
|
|
108V13*To_Bignum{72P9} 108>24 7|721s26 722s26 1073b13 1103l8 1103t17
|
|
108i24 X{long_long_integer} 7|1073b24 1077r10 1082r13 1084r30 1088r13 1097r30
|
|
. 1098r30 1101r16
|
|
112V13*From_Bignum{long_long_integer} 112>26 7|718s38 719s38 996b13 1017l8
|
|
. 1017t19
|
|
112p26 X{72P9} 7|996b26 998r10 1001r13 1002r21 1002r38 1002r57 1004r13 1006r34
|
|
. 1006r44 1008r16
|
|
X 7 s-bignum.adb
|
|
45M9 DD 48r22 49r22 52r36 52r43 52r59 143r22 148r30 151r33 185r26 190r33
|
|
. 193r36 552r11 559r18 559r33 559r48 567r25 730r19 731r28 731r34 739r34 775r23
|
|
. 786r17 788r17 789r17 790r17 817r20 824r24 825r24 832r28 843r29 879r28 880r30
|
|
. 889r23 892r31 909r25 910r25 919r34 919r47 948r30 948r43 974r24 979r43 1006r28
|
|
. 1039r28
|
|
48V13 MSD{6|51M12} 48>18 920s29
|
|
48m18 X{45M9} 48r44
|
|
49V13 LSD{6|51M12} 49>18 154s30 196s34 560s27 568s30 833s28 844s29 889s40
|
|
. 922s22 926s44 935s25 949s35
|
|
49m18 X{45M9} 49r44
|
|
52V14 "&"{45M9} 52>18 52>21 878s27 889s51 1006s42 1039s42
|
|
52m18 X{6|51M12} 52r47
|
|
52m21 Y{6|51M12} 52r63
|
|
55I12 LLI{long_long_integer} 718r26 719r26 1002r33 1002r52 1009r24 1011r23
|
|
57a4 One_Data{6|54A9} 340r34 400r28
|
|
60a4 Zero_Data{6|54A9} 173r34 405r28 706r34
|
|
67V13 Add{6|72P9} 68>7 68>10 69>7 70>7 121b13 132s20 176s23 205l8 205t11
|
|
. 286s14 646s17
|
|
68a7 X{6|54A9} 72r13 122b7 131r13 132r25 132r38 137r51 142r41 147r38 148r34
|
|
. 150r32 151r45 169r54 176r28 176r41 184r45 189r41 190r37 192r35 193r48
|
|
68a10 Y{6|54A9} 72r34 122b10 131r22 132r30 132r33 137r61 150r41 151r37 151r54
|
|
. 169r57 176r33 176r36 192r44 193r40 193r57
|
|
69b7 X_Neg{boolean} 123b7 130r10 132r41 132r66 137r28 159r39 176r44 176r69
|
|
. 179r31 200r43
|
|
70b7 Y_Neg{boolean} 124b7 130r18 132r50 132r57 137r36 176r53 176r60 179r40
|
|
77V13 Allocate_Bignum{6|72P9} 77>30 78r14 211b13 269l8 269t23 1063s12 1078s15
|
|
. 1083s15 1089s15 1096s15
|
|
77i30 Len{6|45I12} 78r43 211b30 223r35 233r53 240r31 265r24
|
|
82E9 Compare_Result 82e39 87r38 169r27 656r38
|
|
82n28 LT{82E9} 175r24 453r50 480r49 662r32 667r62 674r66 704r45
|
|
82n32 EQ{82E9} 172r21 444r49 589r50 678r17
|
|
82n36 GT{82E9} 179r60 462r49 471r50 662r40 667r54 674r58
|
|
85V13 Compare{82E9} 86>7 86>10 87>7 87>14 169s45 444s14 453s14 462s14 471s14
|
|
. 480s14 589s14 654b13 680l8 680t15 704s10
|
|
86a7 X{6|54A9} 89r13 655b7 666r13 667r22 672r19 673r16 674r28
|
|
86a10 Y{6|54A9} 89r34 655b10 666r23 667r31 673r25 674r36
|
|
87b7 X_Neg{boolean} 656b7 661r10 662r21 667r43 674r47
|
|
87b14 Y_Neg{boolean} 656b14 661r19
|
|
93U14 Div_Rem 94>7 94>10 95<7 96<7 97>7 98>7 315s7 520s10 627s7 686b14 990l8
|
|
. 990t15
|
|
94p7 X{6|72P9} 687b7 704r19 705r34 713r14 713r34 713r53 718r51 733r41 738r27
|
|
. 739r38 773r33 796r22
|
|
94p10 Y{6|72P9} 687b10 696r10 704r24 715r14 715r34 715r53 719r51 728r13 731r38
|
|
. 773r41 774r33 800r22
|
|
95p7 Quotient{6|72P9} 688b7 706m10 721m13 744m13 969m13
|
|
96p7 Remainder{6|72P9} 689b7 705m10 722m13 746m13 987m13
|
|
97b7 Discard_Quotient{boolean} 520r31 627r28 690b7 968r17
|
|
98b7 Discard_Remainder{boolean} 315r28 691b7 972r17
|
|
104U14 Free_Bignum 104>27 364s19 370s22 382s22 534s16
|
|
104p27 X{6|72P9}
|
|
110V13 Normalize{6|72P9} 111>7 112>7 159s23 173s23 200s26 277s14 340s23 345s23
|
|
. 400s17 405s17 411s17 428s20 580s14 598s14 641s17 705s23 706s23 744s26 746s26
|
|
. 969s25 987s26 1050b13 1067l8 1067t17
|
|
111a7 X{6|54A9} 1051b7 1058r12 1059r18 1059r34 1063r29 1065r14 1065r22
|
|
112b7 Neg{boolean} 412r18 1052b7 1064r35
|
|
142a16 Sum{6|54A9} 154m19 158m16 159r34
|
|
143m16 RD{45M9} 146m16 148m19 148r25 151m22 151r28 154r35 155m19 155r25 158r31
|
|
147i20 J{integer} 148r37 150r22 151r40 154r24
|
|
169e13 CR{82E9} 172r16 175r19 179r55
|
|
184a19 Diff{6|54A9} 196m22 200r37
|
|
185m19 RD{45M9} 188m19 190m22 190r28 193m25 193r31 196r39 197m22 197r32
|
|
189i23 J{integer} 190r40 192r25 193r43 196r28
|
|
212m7 Addr{5|67M9} 233m23 237m31 237r31 241r32
|
|
221p13 B{6|72P9} 223m13 224r20
|
|
236p13 B{6|72P9} 237m17 237r17 238m33 238r33 266r20
|
|
240r13 BD{6|57R9} 241m17 241r17 242m33 242r33 259m33 259r33 262r43
|
|
248R18 Bignum_Data_Header 251e23 253r17 258r19
|
|
249i16 Len{6|45I12} 254r16 262r32 265m17
|
|
250b16 Neg{boolean} 255r16
|
|
258r13 BDH{248R18} 259m17 259r17 260m33 260r33 262r28 265m13
|
|
313p7 Q{6|72P9} 315m22 315r22 316r7 316r16 317r14
|
|
313p10 R{6|72P9} 315m25 315r25
|
|
326V17 "**"{6|72P9} 326>22 326>34 333b17 359s47 387l12 387t15 434s19
|
|
326p22 X{6|72P9} 333b22 345r34 350r32 350r35 359r45 381r44
|
|
326m34 Y{6|51M12} 333b34 335r15 359r51 377r23
|
|
359p19 XY2{6|72P9} 360r54 360r59 364r32
|
|
360p19 XY2S{6|72P9} 369r22 370r35 378r29 381r38 382r35
|
|
361p19 Res{6|72P9} 381m22 383r29
|
|
425a13 D{6|54A9} 428r31
|
|
507p7 Q{6|72P9} 520m25 520r25
|
|
507p10 R{6|72P9} 520m28 520r28 524r13 525r20 531r52 534r29
|
|
531p16 T1{6|72P9} 533r16 535r23
|
|
546a7 Result{6|54A9} 558r18 559r52 560m13 567r29 568m16 580r25
|
|
549i7 L{6|45I12} 558m13 559r60 560r21 565r35 566m16 566r21 567r37 568r24
|
|
552m7 D{45M9} 559m13 560r32 561m13 561r18 565r19 567m16 567r21 568r35 569m16
|
|
. 569r21 574r28
|
|
556i11 J{integer} 558r41 559r27
|
|
557i14 K{integer} 558r55 559r42
|
|
625p7 Q{6|72P9} 627m22 627r22
|
|
625p10 R{6|72P9} 627m25 627r25 628r7 628r16 629r14
|
|
672i14 J{integer} 673r19 673r28 674r31 674r39
|
|
718i13 A{55I12} 721r37 722r37
|
|
719i13 B{55I12} 721r41 722r43
|
|
730m13 ND{45M9} 737m13 739m16 739r29 740r34 741m16 741r22 745r30
|
|
731m13 Div{45M9} 740r39 741r29
|
|
733a13 Result{6|54A9} 740m16 744r37
|
|
734a13 Remdr{6|54A9} 745m13 746r37
|
|
738i17 J{integer} 739r43 740r24
|
|
768q7 Algorithm_D 989l11 989e22
|
|
773i10 m{6|45I12} 777r33 779r33 795r24 831r38 961r33 979r50
|
|
774i10 n{6|45I12} 777r37 778r33 780r33 795r28 799r24 809r25 831r42 842r38
|
|
. 918r38 947r41 978r30
|
|
775m10 b{45M9} 817r15 888r27 893r34
|
|
777a10 u{6|54A9} 782m26 782r26 796m13 832r32 833m19 878r21 878r29 889r53
|
|
. 922r35 926m19 926r32 929r28 930m16 930r25 948r47 949m22 953m19 953r28 979r47
|
|
778a10 v{6|54A9} 783r26 784r26 800m13 843r33 844m19 919r38 948r34
|
|
779a10 q{6|54A9} 935m16 944m19 944r28 969r36
|
|
780a10 r{6|54A9} 980m19 987r37
|
|
782m10 u0=782:26{6|51M12} 820r13 837r16
|
|
783m10 v1=783:26{6|51M12} 808r25 817r24 879r32 880r34 892r35
|
|
784m10 v2=784:26{6|51M12} 889r27
|
|
786m10 d{45M9} 817m10 819r13 832r41 843r42 980r40 981r38
|
|
787i10 j{6|45I12} 856m10 878r24 878r32 889r56 922r38 926r22 926r35 929r31
|
|
. 930r19 930r28 935r19 944r22 944r31 948r50 949r25 953r22 953r31 960m13 960r18
|
|
. 961r28
|
|
788m10 qhat{45M9} 879m13 888r19 889r33 891m16 891r24 919r27 935r30
|
|
789m10 rhat{45M9} 880m13 889r45 892m16 892r24 893r26
|
|
790m10 temp{45M9} 878m13 879r21 880r21
|
|
795i14 J{integer} 796r16 796r27
|
|
799i14 J{integer} 800r16 800r27
|
|
824m16 Carry{45M9} 830m16 832r45 834m19 837r26 841m16 843r46 845m19 848r31
|
|
825m16 Tmp{45M9} 832m19 833r33 834r28 843m19 844r34 845r29
|
|
831i20 J{integer} 832r35 833r22
|
|
842i20 J{integer} 843r36 844r22
|
|
908m16 Borrow{6|51M12} 917m16 919r51 920m19 923m22 923r32 929r36 930r33
|
|
909m16 Carry{45M9} 946m19 948r60 950m22 953r40
|
|
910m16 Temp{45M9} 919m19 920r34 922r27 926r49 948m22 949r40 950r31
|
|
912b16 Negative{boolean} 929m16 937r19
|
|
918i20 K{integer} 919r41 922r42 926r26 926r39
|
|
947i23 K{integer} 948r37 948r54 949r29
|
|
974m16 Remdr{45M9} 977m16 979m19 979r35 980r32 981m19 981r28 984r31
|
|
978i20 K{integer} 979r54 980r22
|
|
1006m13 Mag{45M9} 1008r31 1009r29 1010r19 1011r28
|
|
1039m13 Mag{45M9} 1041r20 1041r58
|
|
1054p7 B{6|72P9} 1063m7 1064r7 1064r16 1065r7 1066r14
|
|
1055i7 J{6|45I12} 1058m7 1059r13 1059r37 1060m10 1060r15 1063r38 1065r17
|
|
1074p7 R{6|72P9} 1078m10 1083m10 1084r10 1089m10 1090r10 1091r10 1096m10
|
|
. 1097r10 1098r10 1101r7 1102r14
|
|
X 9 s-secsta.ads
|
|
36K16*Secondary_Stack 7|37w13 37r42 9|119e27
|
|
66U14*SS_Allocate 7|233s10
|
|
X 11 s-stoele.ads
|
|
42K16*Storage_Elements 7|38w13 38r42 11|117e28
|
|
54I9*Storage_Offset<integer> 7|233r29
|
|
|