V "GNAT Lib v5" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=i486 A -march=i486 P RN RV NO_DIRECT_BOOLEAN_OPERATORS RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U eval_fat%b eval_fat.adb 6c40d311 NE OO PK W einfo%s einfo.adb einfo.ali W errout%s errout.adb errout.ali W sem_util%s sem_util.adb sem_util.ali U eval_fat%s eval_fat.ads 706cc3ec EE NE OO PK W types%s types.adb types.ali W uintp%s uintp.adb uintp.ali W urealp%s urealp.adb urealp.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s D alloc.ads 20150107084147 61013b91 alloc%s D einfo.ads 20150313134724 eedc4daa einfo%s D err_vars.ads 20140801132617 d6d090e9 err_vars%s D errout.ads 20150220143551 c027450c errout%s D erroutc.ads 20150220143551 e593d57c erroutc%s D eval_fat.ads 20121106101120 e9fa5a5d eval_fat%s D eval_fat.adb 20140611105515 b0709bb1 eval_fat%b D exp_tss.ads 20110803143626 f9401ee4 exp_tss%s D hostparm.ads 20140801100131 a20ca6cf hostparm%s D namet.ads 20150302110329 53fa811d namet%s D opt.ads 20150302110329 e5e8f770 opt%s D sem_util.ads 20150302110329 1b311a5b sem_util%s D snames.ads 20150513111933 0164078b snames%s D system.ads 20141030114420 57068cbf system%s D s-conca2.ads 20140225151544 02a0d7d0 system.concat_2%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s D s-string.ads 20140225151139 8fe54fb7 system.strings%s D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s D table.ads 20090506081141 e3a9ec16 table%s D types.ads 20150130153101 63969ace types%s D uintp.ads 20141017090750 1f00ed2e uintp%s D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s D unchdeal.ads 20070406091342 214516a4 unchecked_deallocation%s D urealp.ads 20130411125352 e500ee51 urealp%s X 5 einfo.ads 37K9*Einfo 8992e10 10|26w6 26r20 6586I12*U{26|48I9} 7153V13*Machine_Emin_Value{6586I12} 10|488s31 505s39 707s33 7154V13*Machine_Mantissa_Value{6586I12} 10|140s21 177s19 467s49 506s43 708s33 X 7 errout.ads 40K9*Errout 932e11 10|27w6 27r20 720U14*Error_Msg_N 10|510s19 515s19 547s22 X 9 eval_fat.ads 37K9*Eval_Fat 116l5 116e13 10|30b14 784l5 784t13 39I12*UI{26|48I9} 56r65 60r76 66r62 76r60 105r22 106r22 10|54r22 95r55 97r18 . 130r22 133r15 163r22 164r22 168r14 169r14 171r23 176r41 421r45 422r16 423r16 . 455r16 466r57 467r21 468r12 487r16 488r25 505r33 537r46 566r16 594r18 595r18 . 596r18 684r50 707r27 708r27 709r18 42I12*T{29|78I9} 52r53 52r76 54r44 54r76 56r51 56r76 58r54 58r76 60r44 62r44 . 62r76 64r44 64r76 66r44 66r76 68r44 68r76 70r44 70r76 72r47 72r76 74r44 . 74r76 76r44 76r76 78r44 78r76 80r44 80r76 82r44 82r76 98r15 100r31 104r18 . 10|52r18 53r22 64r44 64r54 79r34 79r44 80r21 95r41 95r66 96r18 108r46 108r56 . 110r16 128r18 129r22 162r18 421r35 434r32 434r42 435r21 453r35 453r45 454r16 . 466r39 466r68 469r12 482r15 484r31 486r16 539r46 564r32 564r42 565r16 576r31 . 576r41 585r39 585r49 586r18 587r18 588r18 589r18 590r18 591r18 592r18 593r18 . 661r35 661r45 662r16 663r16 684r34 684r61 706r31 706r41 710r18 711r18 745r37 . 745r47 755r44 755r54 756r25 757r16 758r16 45I12*R{25|387I12} 52r37 54r37 56r37 58r37 60r37 62r37 64r37 66r37 68r37 . 70r37 72r37 74r37 76r37 78r37 80r37 82r37 97r15 103r18 10|51r18 64r28 79r27 . 95r27 108r29 127r18 161r18 421r28 434r25 453r28 466r32 481r15 564r25 576r24 . 585r29 661r28 684r27 706r24 745r30 755r37 52V13*Adjacent{42I12} 52>32 52>40 52>43 10|64b13 73l8 73t16 52i32 RT{45I12} 10|64b23 69r23 71r23 52i40 X{42I12} 10|64b31 66r20 67r17 68r23 69r27 71r27 52i43 Towards{42I12} 10|64b34 66r10 68r13 54V13*Ceiling{42I12} 54>32 54>40 10|79b13 89l8 89t15 728s19 54i32 RT{45I12} 10|79b22 80r38 54i40 X{42I12} 10|79b30 80r42 82r26 84r13 85r17 56V13*Compose{42I12} 56>32 56>40 56>54 10|95b13 102l8 102t15 569s14 621s15 56i32 RT{45I12} 10|95b22 100r18 101r23 56i40 Fraction{42I12} 10|95b30 100r22 56i54 Exponent{39I12} 10|95b44 101r37 58V13*Copy_Sign{42I12} 58>32 58>40 58>47 10|108b13 120l8 120t17 58i32 RT{45I12} 10|108b24 109r29 58i40 Value{42I12} 10|108b32 113r21 58i47 Sign{42I12} 10|108b39 115r26 60V13*Exponent{39I12} 60>32 60>40 10|421b13 428l8 428t16 471s12 614s19 709s38 60i32 RT{45I12} 10|421b23 426r22 60i40 X{42I12} 10|421b31 426r26 62V13*Floor{42I12} 62>32 62>40 10|434b13 447l8 447t13 62i32 RT{45I12} 10|434b20 435r38 62i40 X{42I12} 10|434b28 435r42 438r26 441r18 442r17 64V13*Fraction{42I12} 64>32 64>40 10|453b13 460l8 460t16 64i32 RT{45I12} 10|453b23 458r18 64i40 X{42I12} 10|453b31 458r22 66V13*Leading_Part{42I12} 66>32 66>40 66>47 10|466b13 474l8 474t20 66i32 RT{45I12} 10|466b27 467r73 471r22 472r45 473r23 66i40 X{42I12} 10|466b35 471r26 472r49 66i47 Radix_Digits{39I12} 10|466b42 467r35 68V13*Model{42I12} 68>32 68>40 10|564b13 570l8 570t13 68i32 RT{45I12} 10|564b20 568r18 569r23 68i40 X{42I12} 10|564b28 568r22 70V13*Pred{42I12} 70>32 70>40 10|71s17 576b13 579l8 579t12 70i32 RT{45I12} 10|576b19 578r21 70i40 X{42I12} 10|576b27 578r26 72V13*Remainder{42I12} 72>32 72>40 72>43 10|585b13 655l8 655t17 72i32 RT{45I12} 10|585b24 614r29 618r21 619r21 621r24 72i40 X{42I12} 10|585b32 602r26 608r18 72i43 Y{42I12} 10|585b35 609r18 643r19 647r19 651r37 74V13*Rounding{42I12} 74>32 74>40 10|661b13 678l8 678t16 74i32 RT{45I12} 10|661b23 666r29 74i40 X{42I12} 10|661b31 666r37 667r21 673r26 76V13*Scaling{42I12} 76>32 76>40 76>47 10|101s14 472s36 473s14 540s32 557s14 . 684b13 700l8 700t15 727s15 731s24 732s36 738s14 76i32 RT{45I12} 10|684b22 685r29 76i40 X{42I12} 10|684b30 688r17 690r36 691r38 693r41 696r17 698r17 76i47 Adjustment{39I12} 10|684b37 691r43 695r13 696r30 698r32 78V13*Succ{42I12} 78>32 78>40 10|69s17 578s15 706b13 739l8 739t12 78i32 RT{45I12} 10|706b19 707r53 708r57 709r48 721r25 727r24 728r28 731r33 . 732r45 738r23 78i40 X{42I12} 10|706b27 709r52 714r22 727r28 80V13*Truncation{42I12} 80>32 80>40 10|80s26 435s26 666s17 745b13 749l8 749t18 . 761s17 769s22 80i32 RT{45I12} 10|745b25 746r29 80i40 X{42I12} 10|745b33 748r38 82V13*Unbiased_Rounding{42I12} 82>32 82>40 10|755b13 782l8 782t25 82i32 RT{45I12} 10|755b32 761r29 769r34 82i40 X{42I12} 10|755b40 756r34 772r26 774r29 780r17 86E9*Rounding_Mode 86e61 87r8 99r15 107r18 10|55r18 131r18 165r18 483r15 86n27*Floor{86E9} 10|393r18 86n34*Ceiling{86E9} 10|388r18 86n43*Round{86E9} 10|55r35 131r35 376r18 86n50*Round_Even{86E9} 10|358r18 426r44 96V13*Machine{42I12} 97>7 98>7 99>7 100>7 10|480b13 558l8 558t15 97i7 RT{45I12} 10|481b7 488r51 491r18 505r59 506r67 508r55 509r37 520r34 . 540r41 557r23 98i7 X{42I12} 10|482b7 491r22 509r66 543r38 99e7 Mode{86E9} 10|483b7 491r40 100i7 Enode{25|384I9} 10|484b7 511r67 516r66 549r25 102U14*Decompose_Int 103>7 104>7 105<7 106<7 107>7 10|136s7 160b14 415l8 . 415t21 426s7 103i7 RT{45I12} 10|161b7 177r43 104i7 X{42I12} 10|162b7 167r28 168r36 169r34 389r59 394r55 409r29 105i7 Fraction{39I12} 10|163b7 185m10 324m7 333m16 333r28 339r23 342m13 342r25 . 346m40 373m19 373r31 385m19 385r31 390m19 390r31 395m19 395r31 402r13 403m13 . 410m13 410r26 413m40 106i7 Exponent{39I12} 10|164b7 186m10 192m10 202m16 209m43 244m16 244r28 . 247m43 287m13 287r25 291m43 307m13 307r25 310m43 404m13 404r25 413m50 107e7 Mode{86E9} 10|165b7 357r15 X 10 eval_fat.adb 32i4 Radix{25|59I9} 44r7 44r19 44r31 44r43 141r21 177r9 242r61 243r31 284r31 . 288r34 306r22 341r22 342r36 402r49 542r22 688r22 692r25 696r21 698r21 41A9 Radix_Power_Table(25|59I9)<25|59I9> 43r28 43a4 Radix_Powers{41A9} 200r28 201r23 50U14 Decompose 51>7 52>7 53<7 54<7 55>7 100s7 126b14 149l8 149t17 458s7 . 491s7 568s7 618s10 619s10 51i7 RT{9|45I12} 127b7 136r22 140r45 52i7 X{9|42I12} 128b7 136r30 144r26 53i7 Fraction{9|42I12} 129b7 138m7 145m10 145r23 54i7 Exponent{9|39I12} 130b7 136m40 55e7 Mode{9|86E9} 131b7 136r50 80i7 XT{9|42I12} 83r17 84r17 87r17 96i7 Arg_Frac{9|42I12} 100m32 101r27 97i7 Arg_Exp{9|39I12} 98r29 100m42 110i7 Result{9|42I12} 113m7 116r18 118r17 133i7 Int_F{9|39I12} 136m33 139r21 167i7 Base{25|59I9} 201r16 203m16 212r10 242r34 242r52 243m16 243r24 259r25 . 262r21 268m10 168i7 N{9|39I12} 184r10 259m16 259r21 265m43 265r43 284r27 286m13 288r30 . 291m40 291r40 301r21 331r19 332m16 332r21 341m13 341r18 346m50 346r50 369r34 . 371r38 384r19 389r19 394r19 169i7 D{9|39I12} 202r29 204m16 209m40 209r40 244r39 258r16 259r35 260m16 . 262m16 262r29 265m46 265r46 285r38 301r25 306m13 306r18 310m40 310r40 331r24 . 332r25 369r42 371r47 384r28 171i7 N_Times_Radix{9|39I12} 284m10 285r21 286r18 288m13 173b7 Even{boolean} 325m7 334m16 334r28 343m13 369r20 371r24 176i7 Most_Significant_Digit{9|39I12} 339r35 402r24 403r25 179r7 Uintp_Mark{26|397R9} 191m10 209r28 214m13 247r31 256m13 265r31 282m10 . 291r28 299m10 310r28 328m10 346r28 350m10 413r28 190q7 Calculate_D_And_Exponent_1 210l11 210e37 200i14 Power 201r37 202r33 213q10 Calculate_Exponent 248l14 248e32 255q10 Calculate_N_And_D 266l14 266e31 281q7 Calculate_N_And_Exponent 292l11 292e35 298q7 Calculate_D_And_Exponent_2 311l11 311e37 327q7 Calculate_Fraction_And_N 347l11 347e35 349q7 Calculate_Fraction_And_Exponent 414l11 414e42 422i7 X_Frac{9|39I12} 424r29 426m29 423i7 X_Exp{9|39I12} 426m37 427r14 435i7 XT{9|42I12} 439r17 441r13 445r17 454i7 X_Frac{9|42I12} 458m25 459r14 455i7 X_Exp{9|39I12} 456r29 458m33 467i7 RD{9|39I12} 471r31 468i7 L{9|39I12} 471m7 472r53 473r30 469i7 Y{9|42I12} 472m7 473r27 486i7 X_Frac{9|42I12} 491m25 540r49 546r39 550m22 557r27 487i7 X_Exp{9|39I12} 491m33 503r10 508r16 537r52 557r35 488i7 Emin{9|39I12} 503r18 505i13 Emin_Den{9|39I12} 508r24 537r60 537i19 Denorm_Sig_Bits{9|39I12} 540r57 541r22 539i19 X_Frac_Denorm{9|42I12} 546r22 550r32 565i7 X_Frac{9|42I12} 568m25 569r27 566i7 X_Exp{9|39I12} 568m33 569r35 586i7 A{9|42I12} 642m10 646m10 650r10 650r25 587i7 B{9|42I12} 643m10 647m10 650r14 650r29 588i7 Arg{9|42I12} 608m7 611r10 613r22 618r25 624r22 589i7 P{9|42I12} 609m7 611r16 614r33 619r25 621m10 627r28 629r39 634m13 634r18 590i7 Arg_Frac{9|42I12} 599r29 618m30 591i7 P_Frac{9|42I12} 619m30 621r28 592i7 Sign_X{9|42I12} 603m10 605m10 654r14 593i7 IEEE_Rem{9|42I12} 613m10 624m10 627r16 629m16 629r28 642r15 646r15 . 651m10 651r22 654r23 594i7 Arg_Exp{9|39I12} 618m40 621r36 622r15 595i7 P_Exp{9|39I12} 614m10 619m40 622r25 641r10 596i7 K{9|39I12} 622m10 626r45 597b7 P_Even{boolean} 612m10 623m10 628m16 631m16 650r44 626i14 Cnt 662i7 Result{9|42I12} 666m7 667r25 670m10 670r20 674r18 676r17 663i7 Tail{9|42I12} 667m7 669r10 707i7 Emin{9|39I12} 709r32 715r17 721r39 708i7 Mantissa{9|39I12} 722r23 731r47 709i7 Exp{9|39I12} 715m10 721r32 722m10 722r17 724m10 724r17 727r32 738r37 710i7 Frac{9|42I12} 727m7 728r32 730r21 711i7 New_Frac{9|42I12} 728m7 730r10 731r13 732m13 732r25 734m13 734r25 738r27 756i7 Abs_X{9|42I12} 761r33 762r17 757i7 Result{9|42I12} 761m7 762r25 765m10 765r20 768m10 769r39 773r18 775r17 758i7 Tail{9|42I12} 762m7 764r10 767r13 X 15 sem_util.ads 37K9*Sem_Util 10|28w6 28r20 15|2038e13 957V13*Has_Denormals{boolean} 10|508s40 520s19 721s10 1006V13*Has_Signed_Zeros{boolean} 10|509s19 X 25 types.ads 52K9*Types 9|33w6 33r18 25|942e10 59I9*Int 10|32r21 41r37 41r58 167r14 62I12*Nat{59I9} 384I9*Node_Id 9|100r15 10|484r15 387I12*Entity_Id{384I9} 9|45r17 X 26 uintp.ads 42K9*Uintp 9|34w6 34r18 10|179r20 26|558e10 48I9*Uint<25|59I9> 9|39r18 54i4*Uint_0{48I9} 10|184r14 185r22 186r22 192r22 324r19 389r23 394r23 55i4*Uint_1{48I9} 10|204r21 260r21 506r73 78i4*Uint_Minus_1{48I9} 10|732r58 195V13*UI_Max{48I9} 10|709s24 200V13*UI_Min{48I9} 10|467s27 254V13*UI_To_Int{25|59I9} 10|626s34 334V14*"+"=334:65{48I9} 10|244s37 506s71 336V14*"+"=336:65{48I9} 10|307s34 333s37 373s40 385s40 390s40 395s40 404s34 . 537s69 342V14*"*"=342:65{48I9} 10|259s23 344V14*"*"=344:65{48I9} 10|202s31 284s29 288s32 306s20 341s20 342s34 369s36 . 371s40 384s21 402s47 346V14*"-"=346:65{48I9} 10|332s23 471s29 506s41 537s58 622s23 691s41 722s21 348V14*"-"=348:65{48I9} 10|177s47 287s34 724s21 731s56 352V14*"**"=352:67{48I9} 10|177s15 259s30 262s26 696s27 698s27 355V14*"abs"=355:53{48I9} 10|168s21 365V14*"-"=365:53{48I9} 10|202s28 259s34 410s25 472s52 698s31 727s31 367V14*"="=367:70{boolean} 10|184s12 402s22 721s36 371V14*">="=371:70{boolean} 10|285s35 331s21 339s32 371s44 384s25 373V14*">="=373:70{boolean} 10|641s16 695s24 375V14*">"=375:70{boolean} 10|369s40 389s21 394s21 383V14*"<"=383:70{boolean} 10|301s23 503s16 508s22 385V14*"<"=385:70{boolean} 10|258s18 397R9*Save_Mark 10|179r26 26|510e14 399V13*Mark{397R9} 10|191s24 214s27 256s27 282s24 299s24 328s24 350s24 405U14*Release_And_Save 10|247s13 410U14*Release_And_Save 10|209s10 265s13 291s10 310s10 346s10 413s10 X 29 urealp.ads 37K9*Urealp 9|35w6 35r18 29|369e11 78I9*Ureal<25|59I9> 9|42r17 88V13*Ureal_0{78I9} 10|517s26 91V13*Ureal_M_0{78I9} 10|512s26 97V13*Ureal_Half{78I9} 10|634s22 643s23 669s18 764s17 767s20 769s59 100V13*Ureal_1{78I9} 10|87s22 445s22 603s21 605s21 670s29 731s38 732s49 734s36 . 765s29 103V13*Ureal_2{78I9} 10|646s26 768s20 769s48 149V13*Rbase{25|62I12} 10|167s21 688s10 152V13*Denominator{26|48I9} 10|169s21 691s25 155V13*Numerator{26|48I9} 10|168s25 690s25 164V13*UR_From_Uint{78I9} 10|472s12 748s14 172V13*UR_Trunc{26|48I9} 10|472s26 540s22 748s28 195V13*UR_From_Components{78I9} 10|138s19 539s51 689s17 196i7 Num{26|48I9} 10|139r9 690r13 197i7 Den{26|48I9} 10|140r9 691r13 198i7 Rbase{25|62I12} 10|141r9 692r13 199b7 Negative{boolean} 10|142r9 693r13 259V13*UR_Is_Zero{boolean} 10|714s10 262V13*UR_Is_Negative{boolean} 10|82s10 115s10 144s10 389s43 394s39 409s13 . 509s50 543s22 673s10 693s25 772s10 265V13*UR_Is_Positive{boolean} 10|438s10 602s10 774s13 289V14*"+"=289:68{78I9} 10|87s20 670s27 732s34 734s34 765s27 769s57 293V14*"/"=293:68{78I9} 10|769s46 295V14*"/"=295:68{78I9} 10|698s19 297V14*"*"=297:68{78I9} 10|634s20 643s21 646s24 654s21 768s28 299V14*"*"=299:68{78I9} 10|696s19 301V14*"-"=301:68{78I9} 10|445s20 629s37 651s31 667s23 762s23 308V14*"abs"=308:55{78I9} 10|113s17 136s26 540s45 608s14 609s14 643s15 647s15 . 651s33 666s33 667s17 756s30 310V14*"-"=310:55{78I9} 10|116s17 145s22 578s14 578s25 605s20 674s17 731s37 . 773s17 312V14*"="=312:64{boolean} 10|66s18 84s15 441s16 546s36 650s27 730s19 731s22 . 767s18 314V14*"<"=314:64{boolean} 10|611s14 318V14*">="=318:64{boolean} 10|627s25 669s15 320V14*">"=320:64{boolean} 10|68s21 650s12 764s15