V "GNAT Lib v9" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -fchecking=1 A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P ZX RN RV NO_STANDARD_STORAGE_POOLS RV SPARK_05 U gnat.altivec.vector_types%s g-alvety.ads 5a4c10c8 NE OL PK W gnat%s gnat.ads gnat.ali W gnat.altivec%s g-altive.ads g-altive.ali W gnat.altivec.low_level_vectors%s g-alleve.adb g-alleve.ali D ada.ads 20200312140722 76789da1 ada%s D a-unccon.ads 20200312140722 0e9b276f ada.unchecked_conversion%s D gnat.ads 20200312140722 b5988c27 gnat%s D g-altive.ads 20200312140722 de0831fa gnat.altivec%s D g-alleve.ads 20200312140722 8c7696fa gnat.altivec.low_level_vectors%s D g-alvety.ads 20200312140722 0832b7c8 gnat.altivec.vector_types%s D g-alvevi.ads 20200312140722 35930503 gnat.altivec.vector_views%s D system.ads 20200312140722 27426ea2 system%s D s-exctab.ads 20200312140722 54135002 system.exception_table%s D s-stalib.ads 20200312140722 09bd3940 system.standard_library%s X 3 gnat.ads 34K9*GNAT 57e9 6|35r6 37r9 148r5 X 4 g-altive.ads 172K14*Altivec 3|34k9 4|430e17 6|35r11 37r14 148r10 275I9*signed_int 314I12*c_int{275I9} X 5 g-alleve.ads 39K22*Low_Level_Vectors 525e35 6|35w19 53r36 54r34 55r32 57r37 58r35 59r33 . 61r35 62r33 63r31 65r28 66r28 45R9*LL_VUC<7|58R9> 6|53r54 46R9*LL_VSC<7|65R9> 6|54r52 47R9*LL_VBC<7|72R9> 6|55r50 49R9*LL_VUS<7|85R9> 6|57r55 50R9*LL_VSS<7|92R9> 6|58r53 51R9*LL_VBS<7|99R9> 6|59r51 53R9*LL_VUI<7|112R9> 6|61r53 54R9*LL_VSI<7|119R9> 6|62r51 55R9*LL_VBI<7|126R9> 6|63r49 57R9*LL_VF<7|139R9> 6|65r46 58R9*LL_VP<7|152R9> 6|66r46 64V13*abs_v16qi{46R9} 359i31 65V13*abs_v8hi{50R9} 360i31 66V13*abs_v4si{54R9} 361i31 67V13*abs_v4sf{57R9} 362i31 69V13*abss_v16qi{46R9} 363i31 70V13*abss_v8hi{50R9} 364i31 71V13*abss_v4si{54R9} 365i31 73V13*vaddubm{46R9} 371i31 74V13*vadduhm{50R9} 373i31 75V13*vadduwm{54R9} 375i31 76V13*vaddfp{57R9} 367i31 78V13*vaddcuw{54R9} 366i31 80V13*vaddubs{46R9} 372i31 81V13*vaddsbs{46R9} 368i31 82V13*vadduhs{50R9} 374i31 83V13*vaddshs{50R9} 369i31 84V13*vadduws{54R9} 376i31 85V13*vaddsws{54R9} 370i31 87V13*vand{54R9} 377i31 88V13*vandc{54R9} 378i31 90V13*vavgub{46R9} 382i31 91V13*vavgsb{46R9} 379i31 92V13*vavguh{50R9} 383i31 93V13*vavgsh{50R9} 380i31 94V13*vavguw{54R9} 384i31 95V13*vavgsw{54R9} 381i31 97V13*vcmpbfp{54R9} 387i31 99V13*vcmpequb{46R9} 389i31 100V13*vcmpequh{50R9} 390i31 101V13*vcmpequw{54R9} 391i31 102V13*vcmpeqfp{54R9} 388i31 104V13*vcmpgefp{54R9} 392i31 106V13*vcmpgtub{46R9} 397i31 107V13*vcmpgtsb{46R9} 394i31 108V13*vcmpgtuh{50R9} 398i31 109V13*vcmpgtsh{50R9} 395i31 110V13*vcmpgtuw{54R9} 399i31 111V13*vcmpgtsw{54R9} 396i31 112V13*vcmpgtfp{54R9} 393i31 114V13*vcfux{57R9} 386i31 115V13*vcfsx{57R9} 385i31 117V13*vctsxs{54R9} 400i31 118V13*vctuxs{53R9} 401i31 120U14*dss 339i31 121U14*dssall 340i31 123U14*dst 341i31 124U14*dstst 342i31 125U14*dststt 343i31 126U14*dstt 344i31 128V13*vexptefp{57R9} 402i31 130V13*vrfim{57R9} 457i31 132V13*lvx{54R9} 355i31 133V13*lvebx{46R9} 352i31 134V13*lvehx{50R9} 353i31 135V13*lvewx{54R9} 354i31 136V13*lvxl{54R9} 356i31 138V13*vlogefp{57R9} 403i31 140V13*lvsl{46R9} 357i31 141V13*lvsr{46R9} 358i31 143V13*vmaddfp{57R9} 404i31 145V13*vmhaddshs{50R9} 412i31 147V13*vmaxub{46R9} 409i31 148V13*vmaxsb{46R9} 406i31 149V13*vmaxuh{50R9} 410i31 150V13*vmaxsh{50R9} 407i31 151V13*vmaxuw{54R9} 411i31 152V13*vmaxsw{54R9} 408i31 153V13*vmaxfp{57R9} 405i31 155V13*vmrghb{46R9} 422i31 156V13*vmrghh{50R9} 423i31 157V13*vmrghw{54R9} 424i31 158V13*vmrglb{46R9} 425i31 159V13*vmrglh{50R9} 426i31 160V13*vmrglw{54R9} 427i31 162V13*mfvscr{50R9} 346i31 164V13*vminfp{57R9} 414i31 165V13*vminsb{46R9} 415i31 166V13*vminsh{50R9} 416i31 167V13*vminsw{54R9} 417i31 168V13*vminub{46R9} 418i31 169V13*vminuh{50R9} 419i31 170V13*vminuw{54R9} 420i31 172V13*vmladduhm{50R9} 421i31 174V13*vmhraddshs{50R9} 413i31 176V13*vmsumubm{54R9} 431i31 177V13*vmsummbm{54R9} 428i31 178V13*vmsumuhm{54R9} 432i31 179V13*vmsumshm{54R9} 429i31 180V13*vmsumuhs{54R9} 433i31 181V13*vmsumshs{54R9} 430i31 183U14*mtvscr 345i31 185V13*vmuleub{50R9} 436i31 186V13*vmuleuh{54R9} 437i31 187V13*vmulesb{50R9} 434i31 188V13*vmulesh{54R9} 435i31 190V13*vmulosb{50R9} 438i31 191V13*vmulosh{54R9} 439i31 192V13*vmuloub{50R9} 440i31 193V13*vmulouh{54R9} 441i31 195V13*vnmsubfp{57R9} 442i31 197V13*vxor{54R9} 444i31 198V13*vnor{54R9} 443i31 199V13*vor{54R9} 445i31 201V13*vpkuhum{46R9} 452i31 202V13*vpkuwum{50R9} 454i31 203V13*vpkpx{50R9} 447i31 204V13*vpkuhus{46R9} 453i31 205V13*vpkuwus{50R9} 455i31 206V13*vpkshss{46R9} 448i31 207V13*vpkswss{50R9} 450i31 208V13*vpkshus{46R9} 449i31 209V13*vpkswus{50R9} 451i31 211V13*vperm_4si{54R9} 446i31 213V13*vrefp{57R9} 456i31 215V13*vrlb{46R9} 461i31 216V13*vrlh{50R9} 462i31 217V13*vrlw{54R9} 463i31 219V13*vrfin{57R9} 458i31 220V13*vrfip{57R9} 459i31 221V13*vrfiz{57R9} 460i31 223V13*vrsqrtefp{57R9} 464i31 225V13*vsel_4si{54R9} 465i31 227V13*vslb{46R9} 471i31 228V13*vslh{50R9} 472i31 229V13*vslw{54R9} 474i31 231V13*vsldoi_4si{54R9} 466i31 232V13*vsldoi_8hi{50R9} 467i31 233V13*vsldoi_16qi{46R9} 468i31 234V13*vsldoi_4sf{57R9} 469i31 236V13*vsl{54R9} 470i31 237V13*vslo{54R9} 473i31 239V13*vspltb{46R9} 475i31 240V13*vsplth{50R9} 476i31 241V13*vspltw{54R9} 480i31 243V13*vspltisb{46R9} 477i31 244V13*vspltish{50R9} 478i31 245V13*vspltisw{54R9} 479i31 247V13*vsrb{46R9} 485i31 248V13*vsrh{50R9} 486i31 249V13*vsrw{54R9} 488i31 251V13*vsrab{46R9} 482i31 252V13*vsrah{50R9} 483i31 253V13*vsraw{54R9} 484i31 255V13*vsr{54R9} 481i31 256V13*vsro{54R9} 487i31 258U14*stvx 350i31 259U14*stvebx 347i31 260U14*stvehx 348i31 261U14*stvewx 349i31 262U14*stvxl 351i31 264V13*vsububm{46R9} 494i31 265V13*vsubuhm{50R9} 496i31 266V13*vsubuwm{54R9} 498i31 267V13*vsubfp{57R9} 490i31 269V13*vsubcuw{54R9} 489i31 271V13*vsububs{46R9} 495i31 272V13*vsubsbs{46R9} 491i31 273V13*vsubuhs{50R9} 497i31 274V13*vsubshs{50R9} 492i31 275V13*vsubuws{54R9} 499i31 276V13*vsubsws{54R9} 493i31 278V13*vsum4ubs{54R9} 503i31 279V13*vsum4sbs{54R9} 501i31 280V13*vsum4shs{54R9} 502i31 282V13*vsum2sws{54R9} 500i31 283V13*vsumsws{54R9} 504i31 285V13*vupkhsb{50R9} 506i31 286V13*vupkhsh{54R9} 507i31 287V13*vupkhpx{54R9} 505i31 289V13*vupklsb{50R9} 509i31 290V13*vupklsh{54R9} 510i31 291V13*vupklpx{54R9} 508i31 293V13*vcmpequb_p{4|314I12} 521i31 294V13*vcmpequh_p{4|314I12} 520i31 295V13*vcmpequw_p{4|314I12} 515i31 296V13*vcmpeqfp_p{4|314I12} 512i31 298V13*vcmpgtub_p{4|314I12} 523i31 299V13*vcmpgtuh_p{4|314I12} 518i31 300V13*vcmpgtuw_p{4|314I12} 517i31 301V13*vcmpgtsb_p{4|314I12} 522i31 302V13*vcmpgtsh_p{4|314I12} 519i31 303V13*vcmpgtsw_p{4|314I12} 516i31 304V13*vcmpgtfp_p{4|314I12} 514i31 306V13*vcmpgefp_p{4|314I12} 513i31 307V13*vcmpbfp_p{4|314I12} 511i31 X 6 g-alvety.ads 37K22*Vector_Types 4|172k14 6|148l18 148e30 53R12*vector_unsigned_char{5|45R9} 91r48 115r59 133r19 54R12*vector_signed_char{5|46R9} 83r27 92r46 114r59 134r19 55R12*vector_bool_char{5|47R9} 93r44 113r59 135r19 57R12*vector_unsigned_short{5|49R9} 80r41 95r49 120r15 137r19 58R12*vector_signed_short{5|50R9} 81r39 84r28 96r47 118r60 138r19 59R12*vector_bool_short{5|51R9} 97r45 117r60 139r19 61R12*vector_unsigned_int{5|53R9} 99r47 124r58 141r19 62R12*vector_signed_int{5|54R9} 85r26 100r45 123r58 142r19 63R12*vector_bool_int{5|55R9} 101r43 122r58 143r19 65R12*vector_float{5|57R9} 103r40 126r51 146r18 66R12*vector_pixel{5|58R9} 104r40 127r51 145r18 80R12*vector_unsigned_short_int{57R12} 81R12*vector_signed_short_int{58R12} 83R12*vector_char{54R12} 84R12*vector_short{58R12} 85R12*vector_int{62R12} 91P9*vector_unsigned_char_ptr(53R12) 92P9*vector_signed_char_ptr(54R12) 93P9*vector_bool_char_ptr(55R12) 95P9*vector_unsigned_short_ptr(57R12) 96P9*vector_signed_short_ptr(58R12) 97P9*vector_bool_short_ptr(59R12) 99P9*vector_unsigned_int_ptr(61R12) 100P9*vector_signed_int_ptr(62R12) 101P9*vector_bool_int_ptr(63R12) 103P9*vector_float_ptr(65R12) 104P9*vector_pixel_ptr(66R12) 113P9*const_vector_bool_char_ptr(55R12) 114P9*const_vector_signed_char_ptr(54R12) 115P9*const_vector_unsigned_char_ptr(53R12) 117P9*const_vector_bool_short_ptr(59R12) 118P9*const_vector_signed_short_ptr(58R12) 119P9*const_vector_unsigned_short_ptr(57R12) 122P9*const_vector_bool_int_ptr(63R12) 123P9*const_vector_signed_int_ptr(62R12) 124P9*const_vector_unsigned_int_ptr(61R12) 126P9*const_vector_float_ptr(65R12) 127P9*const_vector_pixel_ptr(66R12) 133R12*VUC{53R12} 134R12*VSC{54R12} 135R12*VBC{55R12} 137R12*VUS{57R12} 138R12*VSS{58R12} 139R12*VBS{59R12} 141R12*VUI{61R12} 142R12*VSI{62R12} 143R12*VBI{63R12} 145R12*VP{66R12} 146R12*VF{65R12}