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_EXCEPTIONS RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_CONVERSION RV NO_IMPLEMENTATION_RESTRICTIONS RR NO_ELABORATION_CODE RV SPARK_05 U system.arith_64%b s-arit64.adb 1d7754d3 NE OL PK W ada%s ada.ads ada.ali W ada.exceptions%s a-except.adb a-except.ali W ada.unchecked_conversion%s W interfaces%s interfac.ads interfac.ali W system%s system.ads system.ali U system.arith_64%s s-arit64.ads 2600fbd1 NE OL PU 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-arit64.ads 20130103110520 404da5f2 system.arith_64%s D s-arit64.adb 20151118135358 ef39b03c system.arith_64%b D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s X 1 ada.ads 16K9*Ada 19e8 7|34r6 42r27 43r27 X 3 a-unccon.ads 20v14*Unchecked_Conversion 7|34w10 42r31 43r31 X 4 interfac.ads 38K9*Interfaces 183e15 6|39w6 44r21 7|32w6 32r22 54I9*Integer_64 6|44r32 73M9*Unsigned_32 7|45r21 76M9*Unsigned_64 7|41r21 140V13*Shift_Left{76M9} 7|62s7 421s19 426s19 431s19 436s19 441s19 451s16 . 453s16 455s16 144V13*Shift_Right{76M9} 7|79s52 503s16 504s16 X 5 system.ads 37K9*System 200e11 6|41r9 84r5 7|36r14 605r5 X 6 s-arit64.ads 41K16*Arith_64 5|37k9 6|84l12 84e20 7|36b21 605l12 605t20 44I12*Int64{4|54I9} 46r42 46r56 50r47 50r61 54r47 54r61 61r17 62r21 73r17 . 74r21 7|42r53 43r60 65r24 66r14 66r49 85r43 91r43 104r42 104r56 105r20 . 127r17 128r21 184r14 236r47 236r61 304r17 305r21 557r47 557r61 558r20 579r43 . 580r20 580r48 595r43 596r20 46V13*Add_With_Ovflo_Check{44I12} 46>35 46>38 7|104b13 120l8 120t28 46i35 X{44I12} 7|104b35 105r45 108r10 46i38 Y{44I12} 7|104b38 105r58 109r13 114r13 50V13*Subtract_With_Ovflo_Check{44I12} 50>40 50>43 7|557b13 573l8 573t33 50i40 X{44I12} 7|557b40 558r45 561r10 50i43 Y{44I12} 7|557b43 558r58 562r13 567r13 54V13*Multiply_With_Ovflo_Check{44I12} 54>40 54>43 55i22 . 7|236b13 288l8 288t33 54i40 X{44I12} 7|236b40 237r35 274r10 54i43 Y{44I12} 7|236b43 241r35 275r13 281r13 60U14*Scaled_Divide 61>7 61>10 61>13 62<7 62<10 63>7 7|303b14 527l8 527t21 61i7 X{44I12} 7|304b7 308r35 517r11 517r44 61i10 Y{44I12} 7|304b10 312r35 517r27 517r59 61i13 Z{44I12} 7|304b13 316r26 519r19 525r19 62i7 Q{44I12} 7|305b7 519m10 525m10 62i10 R{44I12} 7|305b10 518m10 524m10 63b7 Round{boolean} 7|306b7 509r10 72U14*Double_Divide 73>7 73>10 73>13 74<7 74<10 75>7 7|126b14 211l8 211t21 73i7 X{44I12} 7|127b7 131r35 157r18 172r15 184r10 201r10 73i10 Y{44I12} 7|127b10 132r35 180r19 73i13 Z{44I12} 7|127b13 137r35 180r29 74i7 Q{44I12} 7|128b7 156m13 171m10 203m10 209m10 74i10 R{44I12} 7|128b10 157m13 172m10 202m10 208m10 75b7 Round{boolean} 7|129b7 195r10 X 7 s-arit64.adb 41M12 Uns64{4|76M9} 42r60 43r53 51r39 51r49 51r61 52r22 52r47 52r61 55r39 . 55r49 55r61 58r22 58r47 58r61 61r41 62r19 62r38 65r38 66r42 70r24 70r49 . 70r65 76r21 79r21 85r29 91r29 131r22 132r22 137r22 141r20 142r20 195r36 . 195r49 196r21 237r22 241r22 245r16 308r22 312r22 316r13 329r12 330r12 339r20 . 364r37 509r36 509r49 510r21 579r29 595r29 42V13 To_Uns[3|20]{4|76M9} 105s37 105s50 558s37 558s50 43V13 To_Int[3|20]{4|54I9} 105s29 202s15 203s32 203s50 208s16 209s33 209s50 . 558s29 580s66 596s29 45M12 Uns32{4|73M9} 51r25 52r33 55r25 58r33 61r27 70r35 73r31 73r51 76r35 . 76r45 79r35 79r45 82r40 82r60 134r22 135r22 138r22 139r22 217r31 217r51 . 238r22 239r22 242r22 243r22 309r22 310r22 313r22 314r22 317r13 318r13 320r29 . 323r30 326r20 533r40 533r60 51V14 "+"{41M12} 51>18 51>21 351s22 357s25 359s25 375s25 478s27 51m18 A{45M12} 51r56 51m21 B{45M12} 51r68 52V14 "+"{41M12} 52>18 52>29 168s16 266s16 360s22 52m18 A{41M12} 52r57 52m29 B{45M12} 52r68 55V14 "*"{41M12} 55>18 55>21 160s23 164s38 167s17 252s23 256s20 265s17 345s17 . 350s20 356s23 364s48 374s23 475s30 476s30 55m18 A{45M12} 55r56 55m21 B{45M12} 55r68 58V14 "/"{41M12} 58>18 58>29 399s26 399s42 471s61 58m18 A{41M12} 58r57 58m29 B{45M12} 58r68 61V14 "&"{41M12} 61>18 61>22 176s21 272s21 364s26 396s25 397s35 399s33 405s20 . 451s34 453s30 455s30 471s48 502s23 503s35 61m18 Hi{45M12} 62r26 61m22 Lo{45M12} 62r45 65V14 "abs"{41M12} 65>20 131s31 132s31 137s31 237s31 241s31 308s31 312s31 . 316s22 65i20 X{6|44I12} 66r10 66r60 70V14 "rem"{41M12} 70>20 70>31 397s26 400s22 70m20 A{41M12} 70r59 70m31 B{45M12} 70r72 73V13 Le3{boolean} 73>18 73>22 73>26 73>38 73>42 73>46 217b13 230l8 230t11 . 485s26 73m18 X1{45M12} 217b18 219r10 221r13 73m22 X2{45M12} 217b22 223r13 225r13 73m26 X3{45M12} 217b26 228r17 73m38 Y1{45M12} 217b38 219r15 221r18 73m42 Y2{45M12} 217b42 223r18 225r18 73m46 Y3{45M12} 217b46 228r23 76V13 Lo{45M12} 76>17 135s31 139s31 176s13 176s23 239s31 243s31 272s13 272s23 . 310s31 314s31 318s22 346s16 351s24 352s19 357s27 358s22 361s22 366s22 375s27 . 376s22 397s19 399s19 399s35 445s17 454s19 456s19 457s19 471s33 477s19 478s29 . 479s19 76m17 A{41M12} 76r52 79V13 Hi{45M12} 79>17 134s31 138s31 168s18 170s10 238s31 242s31 266s18 268s10 . 309s31 313s31 317s22 347s16 353s19 353s29 359s27 360s24 362s22 365s22 377s22 . 377s32 424s14 429s14 434s14 439s14 444s17 452s19 454s30 456s30 478s19 480s19 . 480s29 79m17 A{41M12} 79r65 82U14 Sub3 82=20 82=24 82=28 82>47 82>51 82>55 487s16 492s13 533b14 551l8 . 551t12 82m20 X1{45M12} 533b20 537m13 537r19 546m10 546r16 550m7 550r13 82m24 X2{45M12} 533b24 536r13 540m10 540r16 545r15 549m7 549r13 82m28 X3{45M12} 533b28 535r15 543m7 543r13 82m47 Y1{45M12} 533b47 550r18 82m51 Y2{45M12} 533b51 545r10 549r18 82m55 Y3{45M12} 533b55 535r10 543r18 85V13 To_Neg_Int{6|44I12} 85>25 278s20 284s20 519s51 524s15 525s30 579b13 . 589l8 589t18 85m25 A{41M12} 579b25 580r33 580r74 91V13 To_Pos_Int{6|44I12} 91>25 276s20 282s20 518s15 519s30 525s51 595b13 . 603l8 603t18 91m25 A{41M12} 595b25 596r37 96U14 Raise_Error 97r22 119s7 147s10 185s10 250s13 269s10 294b14 297l8 297t19 . 391s13 406s10 572s7 587s10 601s10 105i7 R{6|44I12} 109r27 110r20 114r27 115r20 131m7 Xu{41M12} 190r13 191r13 132m7 Yu{41M12} 134r35 135r35 146r10 134m7 Yhi{45M12} 154r10 160r19 135m7 Ylo{45M12} 164r34 167r13 137m7 Zu{41M12} 138r35 139r35 146r25 138m7 Zhi{45M12} 155r13 164r20 164r40 139m7 Zlo{45M12} 160r25 167r19 141m7 T1{41M12} 167m7 168r22 176r27 141m11 T2{41M12} 160m13 164m10 168m7 168r13 170r14 176r17 142m7 Du{41M12} 176m7 184r35 190r18 191r20 195r31 142m11 Qu{41M12} 190m7 196m10 196r16 203r40 203r58 209r41 209r58 142m15 Ru{41M12} 191m7 195r25 202r23 208r24 143b7 Den_Pos{boolean} 180m7 184r55 203r19 209r19 237m7 Xu{41M12} 238r35 239r35 238m7 Xhi{45M12} 248r10 252r19 239m7 Xlo{45M12} 256r16 265r13 241m7 Yu{41M12} 242r35 243r35 242m7 Yhi{45M12} 249r13 255r13 256r22 243m7 Ylo{45M12} 252r25 265r19 245m7 T1{41M12} 265m7 266r22 272r27 245m11 T2{41M12} 252m13 256m10 259m10 266m7 266r13 268r14 272m7 272r17 276r32 . 278r32 282r32 284r32 308m7 Xu{41M12} 309r35 310r35 309m7 Xhi{45M12} 355r13 356r19 364r44 373r13 374r19 310m7 Xlo{45M12} 345r13 350r16 312m7 Yu{41M12} 313r35 314r35 313m7 Yhi{45M12} 349r10 350r22 364r50 314m7 Ylo{45M12} 345r19 356r25 374r25 316m7 Zu{41M12} 317r26 318r26 405r32 421m13 421r31 424r18 426m13 426r31 429r18 . 431m13 431r31 434r18 436m13 436r31 439r18 441m13 441r31 444r21 445r21 504m10 . 504r29 509r31 317m7 Zhi{45M12} 389r10 419r14 444m10 469r43 471r63 476r32 487r37 318m7 Zlo{45M12} 390r41 397r30 399r28 399r44 400r26 445m10 475r32 487r42 320a7 D(45M12) 346m7 347m7 351r16 352m10 353m10 357r19 358m13 359r19 361m13 . 362m13 364r20 364r28 365m13 366m13 369m13 375r19 376m13 377m13 380m13 383m10 . 390r13 390r32 396r19 396r27 397r37 405r14 405r22 451r28 451r36 452m10 453r32 . 454m10 455r32 456m10 457m10 469r31 471r38 471r50 485r43 485r54 485r65 492m19 . 492r19 492m30 492r30 492m41 492r41 503r29 503r37 323a7 Qd(45M12) 469m13 475r19 476r19 486m16 486r30 502r16 502r25 326m7 S1{45M12} 480m13 485r31 487m22 487r22 492r52 326m11 S2{45M12} 479m13 485r35 487m26 487r26 492r56 326m15 S3{45M12} 477m13 485r39 487m30 487r30 492r60 329m7 Qu{41M12} 399m13 502m10 510m10 510r16 519r42 519r63 525r42 525r63 330m7 Ru{41M12} 400m13 503m10 509r25 518r27 524r27 333i7 Scale{natural} 417m10 420m13 425m13 425r22 430m13 430r22 435m13 435r22 . 440m13 440r22 451r43 453r39 455r39 503r44 504r33 339m7 T1{41M12} 345m7 346r20 347r20 350m10 351r28 353r23 356m13 357r31 359r31 . 364m13 365r26 366r26 374m13 375r31 377r26 396m13 397r23 399r23 451m10 452r23 . 454r23 475m13 477r23 478m13 478r23 479r23 480r23 339m11 T2{41M12} 351m10 352r23 353r33 357m13 358r26 360r28 375m13 376r26 . 377r36 397m13 399r39 400r19 453m10 454r34 456r23 476m13 478r33 480r33 339m15 T3{41M12} 359m13 360m13 360r19 361r26 362r26 455m10 456r34 457r23 461i14 J{integer} 469r17 469r34 471r41 471r53 475r23 476r23 485r46 485r57 . 485r68 486r20 486r34 492r22 492r33 492r44 558i7 R{6|44I12} 562r27 563r20 567r28 568r20 580i7 R{6|44I12} 584r10 585r17 596i7 R{6|44I12} 598r10 599r17