gcc/ada/libgnat/g-alveop.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --       G N A T . A L T I V E C . V E C T O R _ O P E R A T I O N S        --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --          Copyright (C) 2004-2023, Free Software Foundation, Inc.         --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
  17 --                                                                          --
  18 -- As a special exception under Section 7 of GPL version 3, you are granted --
  19 -- additional permissions described in the GCC Runtime Library Exception,   --
  20 -- version 3.1, as published by the Free Software Foundation.               --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 -- GNAT was originally developed  by the GNAT team at  New York University. --
  28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  29 --                                                                          --
  30 ------------------------------------------------------------------------------
  31
  32 --  This unit is the user-level Ada interface to AltiVec operations on vector
  33 --  objects. It is common to both the Soft and the Hard bindings.
  34
  35 with GNAT.Altivec.Vector_Types;      use GNAT.Altivec.Vector_Types;
  36 with GNAT.Altivec.Low_Level_Vectors; use GNAT.Altivec.Low_Level_Vectors;
  37
  38 ------------------------------------
  39 -- GNAT.Altivec.Vector_Operations --
  40 ------------------------------------
  41
  42 ------------------------------------
  43 -- GNAT.Altivec.Vector_Operations --
  44 ------------------------------------
  45
  46 package GNAT.Altivec.Vector_Operations is
  47
  48    -------------------------------------
  49    -- Different Flavors of Interfaces --
  50    -------------------------------------
  51
  52    --  The vast majority of the user visible functions are just neutral type
  53    --  conversion wrappers around calls to low level primitives. For instance:
  54
  55    --        function vec_sll
  56    --          (A : vector_signed_int;
  57    --           B : vector_unsigned_char) return vector_signed_int is
  58    --        begin
  59    --          return To_VSI (vsl (To_VSI (A), To_VSI (B)));
  60    --        end vec_sll;
  61
  62    --  We actually don't always need an explicit wrapper and can bind directly
  63    --  with a straight Import of the low level routine, or a renaming of such
  64    --  instead.
  65
  66    --  A direct binding is not possible (that is, a wrapper is mandatory) in
  67    --  a number of cases:
  68
  69    --  o When the high-level/low-level types don't match, in which case a
  70    --  straight import would risk wrong code generation or compiler blowups in
  71    --  the Hard binding case. This is the case for 'B' in the example above.
  72
  73    --  o When the high-level/low-level argument lists differ, as is the case
  74    --  for most of the AltiVec predicates, relying on a low-level primitive
  75    --  which expects a control code argument, like:
  76
  77    --        function vec_any_ne
  78    --           (A : vector_signed_int;
  79    --            B : vector_signed_int) return c_int is
  80    --        begin
  81    --          return vcmpequw_p (CR6_LT_REV, To_VSI (A), To_VSI (B));
  82    --        end vec_any_ne;
  83
  84    --  o When the high-level/low-level arguments order don't match, as in:
  85
  86    --        function vec_cmplt
  87    --           (A : vector_unsigned_char;
  88    --            B : vector_unsigned_char) return vector_bool_char is
  89    --         begin
  90    --           return To_VBC (vcmpgtub (To_VSC (B), To_VSC (A)));
  91    --         end vec_cmplt;
  92
  93    -----------------------------
  94    -- Inlining Considerations --
  95    -----------------------------
  96
  97    --  The intent in the hard binding case is to eventually map operations to
  98    --  hardware instructions. Needless to say, intermediate function calls do
  99    --  not fit this purpose, so all user visible subprograms need to be marked
 100    --  Inline_Always. Some of the builtins we eventually bind to expect literal
 101    --  arguments. Wrappers to such builtins are made Convention Intrinsic as
 102    --  well so we don't attempt to compile the bodies on their own.
 103
 104    --  In the soft case, the bulk of the work is performed by the low level
 105    --  routines, and those exported by this unit are short enough for the
 106    --  inlining to make sense and even be beneficial.
 107
 108    -------------------------------------------------------
 109    -- [PIM-4.4 Generic and Specific AltiVec operations] --
 110    -------------------------------------------------------
 111
 112    -------------
 113    -- vec_abs --
 114    -------------
 115
 116    function vec_abs
 117      (A : vector_signed_char) return vector_signed_char;
 118
 119    function vec_abs
 120      (A : vector_signed_short) return vector_signed_short;
 121
 122    function vec_abs
 123      (A : vector_signed_int) return vector_signed_int;
 124
 125    function vec_abs
 126      (A : vector_float) return vector_float;
 127
 128    --------------
 129    -- vec_abss --
 130    --------------
 131
 132    function vec_abss
 133      (A : vector_signed_char) return vector_signed_char;
 134
 135    function vec_abss
 136      (A : vector_signed_short) return vector_signed_short;
 137
 138    function vec_abss
 139      (A : vector_signed_int) return vector_signed_int;
 140
 141    -------------
 142    -- vec_add --
 143    -------------
 144
 145    function vec_add
 146      (A : vector_bool_char;
 147       B : vector_signed_char) return vector_signed_char;
 148
 149    function vec_add
 150      (A : vector_signed_char;
 151       B : vector_bool_char) return vector_signed_char;
 152
 153    function vec_add
 154      (A : vector_signed_char;
 155       B : vector_signed_char) return vector_signed_char;
 156
 157    function vec_add
 158      (A : vector_bool_char;
 159       B : vector_unsigned_char) return vector_unsigned_char;
 160
 161    function vec_add
 162      (A : vector_unsigned_char;
 163       B : vector_bool_char) return vector_unsigned_char;
 164
 165    function vec_add
 166      (A : vector_unsigned_char;
 167       B : vector_unsigned_char) return vector_unsigned_char;
 168
 169    function vec_add
 170      (A : vector_bool_short;
 171       B : vector_signed_short) return vector_signed_short;
 172
 173    function vec_add
 174      (A : vector_signed_short;
 175       B : vector_bool_short) return vector_signed_short;
 176
 177    function vec_add
 178      (A : vector_signed_short;
 179       B : vector_signed_short) return vector_signed_short;
 180
 181    function vec_add
 182      (A : vector_bool_short;
 183       B : vector_unsigned_short) return vector_unsigned_short;
 184
 185    function vec_add
 186      (A : vector_unsigned_short;
 187       B : vector_bool_short) return vector_unsigned_short;
 188
 189    function vec_add
 190      (A : vector_unsigned_short;
 191       B : vector_unsigned_short) return vector_unsigned_short;
 192
 193    function vec_add
 194      (A : vector_bool_int;
 195       B : vector_signed_int) return vector_signed_int;
 196
 197    function vec_add
 198      (A : vector_signed_int;
 199       B : vector_bool_int) return vector_signed_int;
 200
 201    function vec_add
 202      (A : vector_signed_int;
 203       B : vector_signed_int) return vector_signed_int;
 204
 205    function vec_add
 206      (A : vector_bool_int;
 207       B : vector_unsigned_int) return vector_unsigned_int;
 208
 209    function vec_add
 210      (A : vector_unsigned_int;
 211       B : vector_bool_int) return vector_unsigned_int;
 212
 213    function vec_add
 214      (A : vector_unsigned_int;
 215       B : vector_unsigned_int) return vector_unsigned_int;
 216
 217    function vec_add
 218      (A : vector_float;
 219       B : vector_float) return vector_float;
 220
 221    ----------------
 222    -- vec_vaddfp --
 223    ----------------
 224
 225    function vec_vaddfp
 226      (A : vector_float;
 227       B : vector_float) return vector_float;
 228
 229    -----------------
 230    -- vec_vadduwm --
 231    -----------------
 232
 233    function vec_vadduwm
 234      (A : vector_bool_int;
 235       B : vector_signed_int) return vector_signed_int;
 236
 237    function vec_vadduwm
 238      (A : vector_signed_int;
 239       B : vector_bool_int) return vector_signed_int;
 240
 241    function vec_vadduwm
 242      (A : vector_signed_int;
 243       B : vector_signed_int) return vector_signed_int;
 244
 245    function vec_vadduwm
 246      (A : vector_bool_int;
 247       B : vector_unsigned_int) return vector_unsigned_int;
 248
 249    function vec_vadduwm
 250      (A : vector_unsigned_int;
 251       B : vector_bool_int) return vector_unsigned_int;
 252
 253    function vec_vadduwm
 254      (A : vector_unsigned_int;
 255       B : vector_unsigned_int) return vector_unsigned_int;
 256
 257    -----------------
 258    -- vec_vadduhm --
 259    -----------------
 260
 261    function vec_vadduhm
 262      (A : vector_bool_short;
 263       B : vector_signed_short) return vector_signed_short;
 264
 265    function vec_vadduhm
 266      (A : vector_signed_short;
 267       B : vector_bool_short) return vector_signed_short;
 268
 269    function vec_vadduhm
 270      (A : vector_signed_short;
 271       B : vector_signed_short) return vector_signed_short;
 272
 273    function vec_vadduhm
 274      (A : vector_bool_short;
 275       B : vector_unsigned_short) return vector_unsigned_short;
 276
 277    function vec_vadduhm
 278      (A : vector_unsigned_short;
 279       B : vector_bool_short) return vector_unsigned_short;
 280
 281    function vec_vadduhm
 282      (A : vector_unsigned_short;
 283       B : vector_unsigned_short) return vector_unsigned_short;
 284
 285    -----------------
 286    -- vec_vaddubm --
 287    -----------------
 288
 289    function vec_vaddubm
 290      (A : vector_bool_char;
 291       B : vector_signed_char) return vector_signed_char;
 292
 293    function vec_vaddubm
 294      (A : vector_signed_char;
 295       B : vector_bool_char) return vector_signed_char;
 296
 297    function vec_vaddubm
 298      (A : vector_signed_char;
 299       B : vector_signed_char) return vector_signed_char;
 300
 301    function vec_vaddubm
 302      (A : vector_bool_char;
 303       B : vector_unsigned_char) return vector_unsigned_char;
 304
 305    function vec_vaddubm
 306      (A : vector_unsigned_char;
 307       B : vector_bool_char) return vector_unsigned_char;
 308
 309    function vec_vaddubm
 310      (A : vector_unsigned_char;
 311       B : vector_unsigned_char) return vector_unsigned_char;
 312
 313    --------------
 314    -- vec_addc --
 315    --------------
 316
 317    function vec_addc
 318      (A : vector_unsigned_int;
 319       B : vector_unsigned_int) return vector_unsigned_int;
 320
 321    --------------
 322    -- vec_adds --
 323    --------------
 324
 325    function vec_adds
 326      (A : vector_bool_char;
 327       B : vector_unsigned_char) return vector_unsigned_char;
 328
 329    function vec_adds
 330      (A : vector_unsigned_char;
 331       B : vector_bool_char) return vector_unsigned_char;
 332
 333    function vec_adds
 334      (A : vector_unsigned_char;
 335       B : vector_unsigned_char) return vector_unsigned_char;
 336
 337    function vec_adds
 338      (A : vector_bool_char;
 339       B : vector_signed_char) return vector_signed_char;
 340
 341    function vec_adds
 342      (A : vector_signed_char;
 343       B : vector_bool_char) return vector_signed_char;
 344
 345    function vec_adds
 346      (A : vector_signed_char;
 347       B : vector_signed_char) return vector_signed_char;
 348
 349    function vec_adds
 350      (A : vector_bool_short;
 351       B : vector_unsigned_short) return vector_unsigned_short;
 352
 353    function vec_adds
 354      (A : vector_unsigned_short;
 355       B : vector_bool_short) return vector_unsigned_short;
 356
 357    function vec_adds
 358      (A : vector_unsigned_short;
 359       B : vector_unsigned_short) return vector_unsigned_short;
 360
 361    function vec_adds
 362      (A : vector_bool_short;
 363       B : vector_signed_short) return vector_signed_short;
 364
 365    function vec_adds
 366      (A : vector_signed_short;
 367       B : vector_bool_short) return vector_signed_short;
 368
 369    function vec_adds
 370      (A : vector_signed_short;
 371       B : vector_signed_short) return vector_signed_short;
 372
 373    function vec_adds
 374      (A : vector_bool_int;
 375       B : vector_unsigned_int) return vector_unsigned_int;
 376
 377    function vec_adds
 378      (A : vector_unsigned_int;
 379       B : vector_bool_int) return vector_unsigned_int;
 380
 381    function vec_adds
 382      (A : vector_unsigned_int;
 383       B : vector_unsigned_int) return vector_unsigned_int;
 384
 385    function vec_adds
 386      (A : vector_bool_int;
 387       B : vector_signed_int) return vector_signed_int;
 388
 389    function vec_adds
 390      (A : vector_signed_int;
 391       B : vector_bool_int) return vector_signed_int;
 392
 393    function vec_adds
 394      (A : vector_signed_int;
 395       B : vector_signed_int) return vector_signed_int;
 396
 397    -----------------
 398    -- vec_vaddsws --
 399    -----------------
 400
 401    function vec_vaddsws
 402      (A : vector_bool_int;
 403       B : vector_signed_int) return vector_signed_int;
 404
 405    function vec_vaddsws
 406      (A : vector_signed_int;
 407       B : vector_bool_int) return vector_signed_int;
 408
 409    function vec_vaddsws
 410      (A : vector_signed_int;
 411       B : vector_signed_int) return vector_signed_int;
 412
 413    -----------------
 414    -- vec_vadduws --
 415    -----------------
 416
 417    function vec_vadduws
 418      (A : vector_bool_int;
 419       B : vector_unsigned_int) return vector_unsigned_int;
 420
 421    function vec_vadduws
 422      (A : vector_unsigned_int;
 423       B : vector_bool_int) return vector_unsigned_int;
 424
 425    function vec_vadduws
 426      (A : vector_unsigned_int;
 427       B : vector_unsigned_int) return vector_unsigned_int;
 428
 429    -----------------
 430    -- vec_vaddshs --
 431    -----------------
 432
 433    function vec_vaddshs
 434      (A : vector_bool_short;
 435       B : vector_signed_short) return vector_signed_short;
 436
 437    function vec_vaddshs
 438      (A : vector_signed_short;
 439       B : vector_bool_short) return vector_signed_short;
 440
 441    function vec_vaddshs
 442      (A : vector_signed_short;
 443       B : vector_signed_short) return vector_signed_short;
 444
 445    -----------------
 446    -- vec_vadduhs --
 447    -----------------
 448
 449    function vec_vadduhs
 450      (A : vector_bool_short;
 451       B : vector_unsigned_short) return vector_unsigned_short;
 452
 453    function vec_vadduhs
 454      (A : vector_unsigned_short;
 455       B : vector_bool_short) return vector_unsigned_short;
 456
 457    function vec_vadduhs
 458      (A : vector_unsigned_short;
 459       B : vector_unsigned_short) return vector_unsigned_short;
 460
 461    -----------------
 462    -- vec_vaddsbs --
 463    -----------------
 464
 465    function vec_vaddsbs
 466      (A : vector_bool_char;
 467       B : vector_signed_char) return vector_signed_char;
 468
 469    function vec_vaddsbs
 470      (A : vector_signed_char;
 471       B : vector_bool_char) return vector_signed_char;
 472
 473    function vec_vaddsbs
 474      (A : vector_signed_char;
 475       B : vector_signed_char) return vector_signed_char;
 476
 477    -----------------
 478    -- vec_vaddubs --
 479    -----------------
 480
 481    function vec_vaddubs
 482      (A : vector_bool_char;
 483       B : vector_unsigned_char) return vector_unsigned_char;
 484
 485    function vec_vaddubs
 486      (A : vector_unsigned_char;
 487       B : vector_bool_char) return vector_unsigned_char;
 488
 489    function vec_vaddubs
 490      (A : vector_unsigned_char;
 491       B : vector_unsigned_char) return vector_unsigned_char;
 492
 493    -------------
 494    -- vec_and --
 495    -------------
 496
 497    function vec_and
 498      (A : vector_float;
 499       B : vector_float) return vector_float;
 500
 501    function vec_and
 502      (A : vector_float;
 503       B : vector_bool_int) return vector_float;
 504
 505    function vec_and
 506      (A : vector_bool_int;
 507       B : vector_float) return vector_float;
 508
 509    function vec_and
 510      (A : vector_bool_int;
 511       B : vector_bool_int) return vector_bool_int;
 512
 513    function vec_and
 514      (A : vector_bool_int;
 515       B : vector_signed_int) return vector_signed_int;
 516
 517    function vec_and
 518      (A : vector_signed_int;
 519       B : vector_bool_int) return vector_signed_int;
 520
 521    function vec_and
 522      (A : vector_signed_int;
 523       B : vector_signed_int) return vector_signed_int;
 524
 525    function vec_and
 526      (A : vector_bool_int;
 527       B : vector_unsigned_int) return vector_unsigned_int;
 528
 529    function vec_and
 530      (A : vector_unsigned_int;
 531       B : vector_bool_int) return vector_unsigned_int;
 532
 533    function vec_and
 534      (A : vector_unsigned_int;
 535       B : vector_unsigned_int) return vector_unsigned_int;
 536
 537    function vec_and
 538      (A : vector_bool_short;
 539       B : vector_bool_short) return vector_bool_short;
 540
 541    function vec_and
 542      (A : vector_bool_short;
 543       B : vector_signed_short) return vector_signed_short;
 544
 545    function vec_and
 546      (A : vector_signed_short;
 547       B : vector_bool_short) return vector_signed_short;
 548
 549    function vec_and
 550      (A : vector_signed_short;
 551       B : vector_signed_short) return vector_signed_short;
 552
 553    function vec_and
 554      (A : vector_bool_short;
 555       B : vector_unsigned_short) return vector_unsigned_short;
 556
 557    function vec_and
 558      (A : vector_unsigned_short;
 559       B : vector_bool_short) return vector_unsigned_short;
 560
 561    function vec_and
 562      (A : vector_unsigned_short;
 563       B : vector_unsigned_short) return vector_unsigned_short;
 564
 565    function vec_and
 566      (A : vector_bool_char;
 567       B : vector_signed_char) return vector_signed_char;
 568
 569    function vec_and
 570      (A : vector_bool_char;
 571       B : vector_bool_char) return vector_bool_char;
 572
 573    function vec_and
 574      (A : vector_signed_char;
 575       B : vector_bool_char) return vector_signed_char;
 576
 577    function vec_and
 578      (A : vector_signed_char;
 579       B : vector_signed_char) return vector_signed_char;
 580
 581    function vec_and
 582      (A : vector_bool_char;
 583       B : vector_unsigned_char) return vector_unsigned_char;
 584
 585    function vec_and
 586      (A : vector_unsigned_char;
 587       B : vector_bool_char) return vector_unsigned_char;
 588
 589    function vec_and
 590      (A : vector_unsigned_char;
 591       B : vector_unsigned_char) return vector_unsigned_char;
 592
 593    --------------
 594    -- vec_andc --
 595    --------------
 596
 597    function vec_andc
 598      (A : vector_float;
 599       B : vector_float) return vector_float;
 600
 601    function vec_andc
 602      (A : vector_float;
 603       B : vector_bool_int) return vector_float;
 604
 605    function vec_andc
 606      (A : vector_bool_int;
 607       B : vector_float) return vector_float;
 608
 609    function vec_andc
 610      (A : vector_bool_int;
 611       B : vector_bool_int) return vector_bool_int;
 612
 613    function vec_andc
 614      (A : vector_bool_int;
 615       B : vector_signed_int) return vector_signed_int;
 616
 617    function vec_andc
 618      (A : vector_signed_int;
 619       B : vector_bool_int) return vector_signed_int;
 620
 621    function vec_andc
 622      (A : vector_signed_int;
 623       B : vector_signed_int) return vector_signed_int;
 624
 625    function vec_andc
 626      (A : vector_bool_int;
 627       B : vector_unsigned_int) return vector_unsigned_int;
 628
 629    function vec_andc
 630      (A : vector_unsigned_int;
 631       B : vector_bool_int) return vector_unsigned_int;
 632
 633    function vec_andc
 634      (A : vector_unsigned_int;
 635       B : vector_unsigned_int) return vector_unsigned_int;
 636
 637    function vec_andc
 638      (A : vector_bool_short;
 639       B : vector_bool_short) return vector_bool_short;
 640
 641    function vec_andc
 642      (A : vector_bool_short;
 643       B : vector_signed_short) return vector_signed_short;
 644
 645    function vec_andc
 646      (A : vector_signed_short;
 647       B : vector_bool_short) return vector_signed_short;
 648
 649    function vec_andc
 650      (A : vector_signed_short;
 651       B : vector_signed_short) return vector_signed_short;
 652
 653    function vec_andc
 654      (A : vector_bool_short;
 655       B : vector_unsigned_short) return vector_unsigned_short;
 656
 657    function vec_andc
 658      (A : vector_unsigned_short;
 659       B : vector_bool_short) return vector_unsigned_short;
 660
 661    function vec_andc
 662      (A : vector_unsigned_short;
 663       B : vector_unsigned_short) return vector_unsigned_short;
 664
 665    function vec_andc
 666      (A : vector_bool_char;
 667       B : vector_signed_char) return vector_signed_char;
 668
 669    function vec_andc
 670      (A : vector_bool_char;
 671       B : vector_bool_char) return vector_bool_char;
 672
 673    function vec_andc
 674      (A : vector_signed_char;
 675       B : vector_bool_char) return vector_signed_char;
 676
 677    function vec_andc
 678      (A : vector_signed_char;
 679       B : vector_signed_char) return vector_signed_char;
 680
 681    function vec_andc
 682      (A : vector_bool_char;
 683       B : vector_unsigned_char) return vector_unsigned_char;
 684
 685    function vec_andc
 686      (A : vector_unsigned_char;
 687       B : vector_bool_char) return vector_unsigned_char;
 688
 689    function vec_andc
 690      (A : vector_unsigned_char;
 691       B : vector_unsigned_char) return vector_unsigned_char;
 692
 693    -------------
 694    -- vec_avg --
 695    -------------
 696
 697    function vec_avg
 698      (A : vector_unsigned_char;
 699       B : vector_unsigned_char) return vector_unsigned_char;
 700
 701    function vec_avg
 702      (A : vector_signed_char;
 703       B : vector_signed_char) return vector_signed_char;
 704
 705    function vec_avg
 706      (A : vector_unsigned_short;
 707       B : vector_unsigned_short) return vector_unsigned_short;
 708
 709    function vec_avg
 710      (A : vector_signed_short;
 711       B : vector_signed_short) return vector_signed_short;
 712
 713    function vec_avg
 714      (A : vector_unsigned_int;
 715       B : vector_unsigned_int) return vector_unsigned_int;
 716
 717    function vec_avg
 718      (A : vector_signed_int;
 719       B : vector_signed_int) return vector_signed_int;
 720
 721    ----------------
 722    -- vec_vavgsw --
 723    ----------------
 724
 725    function vec_vavgsw
 726      (A : vector_signed_int;
 727       B : vector_signed_int) return vector_signed_int;
 728
 729    ----------------
 730    -- vec_vavguw --
 731    ----------------
 732
 733    function vec_vavguw
 734      (A : vector_unsigned_int;
 735       B : vector_unsigned_int) return vector_unsigned_int;
 736
 737    ----------------
 738    -- vec_vavgsh --
 739    ----------------
 740
 741    function vec_vavgsh
 742      (A : vector_signed_short;
 743       B : vector_signed_short) return vector_signed_short;
 744
 745    ----------------
 746    -- vec_vavguh --
 747    ----------------
 748
 749    function vec_vavguh
 750      (A : vector_unsigned_short;
 751       B : vector_unsigned_short) return vector_unsigned_short;
 752
 753    ----------------
 754    -- vec_vavgsb --
 755    ----------------
 756
 757    function vec_vavgsb
 758      (A : vector_signed_char;
 759       B : vector_signed_char) return vector_signed_char;
 760
 761    ----------------
 762    -- vec_vavgub --
 763    ----------------
 764
 765    function vec_vavgub
 766      (A : vector_unsigned_char;
 767       B : vector_unsigned_char) return vector_unsigned_char;
 768
 769    --------------
 770    -- vec_ceil --
 771    --------------
 772
 773    function vec_ceil
 774      (A : vector_float) return vector_float;
 775
 776    --------------
 777    -- vec_cmpb --
 778    --------------
 779
 780    function vec_cmpb
 781      (A : vector_float;
 782       B : vector_float) return vector_signed_int;
 783
 784    function vec_cmpeq
 785      (A : vector_signed_char;
 786       B : vector_signed_char) return vector_bool_char;
 787
 788    function vec_cmpeq
 789      (A : vector_unsigned_char;
 790       B : vector_unsigned_char) return vector_bool_char;
 791
 792    function vec_cmpeq
 793      (A : vector_signed_short;
 794       B : vector_signed_short) return vector_bool_short;
 795
 796    function vec_cmpeq
 797      (A : vector_unsigned_short;
 798       B : vector_unsigned_short) return vector_bool_short;
 799
 800    function vec_cmpeq
 801      (A : vector_signed_int;
 802       B : vector_signed_int) return vector_bool_int;
 803
 804    function vec_cmpeq
 805      (A : vector_unsigned_int;
 806       B : vector_unsigned_int) return vector_bool_int;
 807
 808    function vec_cmpeq
 809      (A : vector_float;
 810       B : vector_float) return vector_bool_int;
 811
 812    ------------------
 813    -- vec_vcmpeqfp --
 814    ------------------
 815
 816    function vec_vcmpeqfp
 817      (A : vector_float;
 818       B : vector_float) return vector_bool_int;
 819
 820    ------------------
 821    -- vec_vcmpequw --
 822    ------------------
 823
 824    function vec_vcmpequw
 825      (A : vector_signed_int;
 826       B : vector_signed_int) return vector_bool_int;
 827
 828    function vec_vcmpequw
 829      (A : vector_unsigned_int;
 830       B : vector_unsigned_int) return vector_bool_int;
 831
 832    ------------------
 833    -- vec_vcmpequh --
 834    ------------------
 835
 836    function vec_vcmpequh
 837      (A : vector_signed_short;
 838       B : vector_signed_short) return vector_bool_short;
 839
 840    function vec_vcmpequh
 841      (A : vector_unsigned_short;
 842       B : vector_unsigned_short) return vector_bool_short;
 843
 844    ------------------
 845    -- vec_vcmpequb --
 846    ------------------
 847
 848    function vec_vcmpequb
 849      (A : vector_signed_char;
 850       B : vector_signed_char) return vector_bool_char;
 851
 852    function vec_vcmpequb
 853      (A : vector_unsigned_char;
 854       B : vector_unsigned_char) return vector_bool_char;
 855
 856    ---------------
 857    -- vec_cmpge --
 858    ---------------
 859
 860    function vec_cmpge
 861      (A : vector_float;
 862       B : vector_float) return vector_bool_int;
 863
 864    ---------------
 865    -- vec_cmpgt --
 866    ---------------
 867
 868    function vec_cmpgt
 869      (A : vector_unsigned_char;
 870       B : vector_unsigned_char) return vector_bool_char;
 871
 872    function vec_cmpgt
 873      (A : vector_signed_char;
 874       B : vector_signed_char) return vector_bool_char;
 875
 876    function vec_cmpgt
 877      (A : vector_unsigned_short;
 878       B : vector_unsigned_short) return vector_bool_short;
 879
 880    function vec_cmpgt
 881      (A : vector_signed_short;
 882       B : vector_signed_short) return vector_bool_short;
 883
 884    function vec_cmpgt
 885      (A : vector_unsigned_int;
 886       B : vector_unsigned_int) return vector_bool_int;
 887
 888    function vec_cmpgt
 889      (A : vector_signed_int;
 890       B : vector_signed_int) return vector_bool_int;
 891
 892    function vec_cmpgt
 893      (A : vector_float;
 894       B : vector_float) return vector_bool_int;
 895
 896    ------------------
 897    -- vec_vcmpgtfp --
 898    ------------------
 899
 900    function vec_vcmpgtfp
 901      (A : vector_float;
 902       B : vector_float) return vector_bool_int;
 903
 904    ------------------
 905    -- vec_vcmpgtsw --
 906    ------------------
 907
 908    function vec_vcmpgtsw
 909      (A : vector_signed_int;
 910       B : vector_signed_int) return vector_bool_int;
 911
 912    ------------------
 913    -- vec_vcmpgtuw --
 914    ------------------
 915
 916    function vec_vcmpgtuw
 917      (A : vector_unsigned_int;
 918       B : vector_unsigned_int) return vector_bool_int;
 919
 920    ------------------
 921    -- vec_vcmpgtsh --
 922    ------------------
 923
 924    function vec_vcmpgtsh
 925      (A : vector_signed_short;
 926       B : vector_signed_short) return vector_bool_short;
 927
 928    ------------------
 929    -- vec_vcmpgtuh --
 930    ------------------
 931
 932    function vec_vcmpgtuh
 933      (A : vector_unsigned_short;
 934       B : vector_unsigned_short) return vector_bool_short;
 935
 936    ------------------
 937    -- vec_vcmpgtsb --
 938    ------------------
 939
 940    function vec_vcmpgtsb
 941      (A : vector_signed_char;
 942       B : vector_signed_char) return vector_bool_char;
 943
 944    ------------------
 945    -- vec_vcmpgtub --
 946    ------------------
 947
 948    function vec_vcmpgtub
 949      (A : vector_unsigned_char;
 950       B : vector_unsigned_char) return vector_bool_char;
 951
 952    ---------------
 953    -- vec_cmple --
 954    ---------------
 955
 956    function vec_cmple
 957      (A : vector_float;
 958       B : vector_float) return vector_bool_int;
 959
 960    ---------------
 961    -- vec_cmplt --
 962    ---------------
 963
 964    function vec_cmplt
 965      (A : vector_unsigned_char;
 966       B : vector_unsigned_char) return vector_bool_char;
 967
 968    function vec_cmplt
 969      (A : vector_signed_char;
 970       B : vector_signed_char) return vector_bool_char;
 971
 972    function vec_cmplt
 973      (A : vector_unsigned_short;
 974       B : vector_unsigned_short) return vector_bool_short;
 975
 976    function vec_cmplt
 977      (A : vector_signed_short;
 978       B : vector_signed_short) return vector_bool_short;
 979
 980    function vec_cmplt
 981      (A : vector_unsigned_int;
 982       B : vector_unsigned_int) return vector_bool_int;
 983
 984    function vec_cmplt
 985      (A : vector_signed_int;
 986       B : vector_signed_int) return vector_bool_int;
 987
 988    function vec_cmplt
 989      (A : vector_float;
 990       B : vector_float) return vector_bool_int;
 991
 992    ---------------
 993    -- vec_vcfsx --
 994    ---------------
 995
 996    function vec_vcfsx
 997      (A : vector_signed_int;
 998       B : c_int) return vector_float
 999    renames Low_Level_Vectors.vcfsx;
1000
1001    ---------------
1002    -- vec_vcfux --
1003    ---------------
1004
1005    function vec_vcfux
1006      (A : vector_unsigned_int;
1007       B : c_int) return vector_float
1008    renames Low_Level_Vectors.vcfux;
1009
1010    ----------------
1011    -- vec_vctsxs --
1012    ----------------
1013
1014    function vec_vctsxs
1015      (A : vector_float;
1016       B : c_int) return vector_signed_int
1017    renames Low_Level_Vectors.vctsxs;
1018
1019    ----------------
1020    -- vec_vctuxs --
1021    ----------------
1022
1023    function vec_vctuxs
1024      (A : vector_float;
1025       B : c_int) return vector_unsigned_int
1026    renames Low_Level_Vectors.vctuxs;
1027
1028    -------------
1029    -- vec_dss --
1030    -------------
1031
1032    procedure vec_dss
1033      (A : c_int)
1034    renames Low_Level_Vectors.dss;
1035
1036    ----------------
1037    -- vec_dssall --
1038    ----------------
1039
1040    procedure vec_dssall
1041    renames Low_Level_Vectors.dssall;
1042
1043    -------------
1044    -- vec_dst --
1045    -------------
1046
1047    procedure vec_dst
1048      (A : const_vector_unsigned_char_ptr;
1049       B : c_int;
1050       C : c_int);
1051
1052    procedure vec_dst
1053      (A : const_vector_signed_char_ptr;
1054       B : c_int;
1055       C : c_int);
1056
1057    procedure vec_dst
1058      (A : const_vector_bool_char_ptr;
1059       B : c_int;
1060       C : c_int);
1061
1062    procedure vec_dst
1063      (A : const_vector_unsigned_short_ptr;
1064       B : c_int;
1065       C : c_int);
1066
1067    procedure vec_dst
1068      (A : const_vector_signed_short_ptr;
1069       B : c_int;
1070       C : c_int);
1071
1072    procedure vec_dst
1073      (A : const_vector_bool_short_ptr;
1074       B : c_int;
1075       C : c_int);
1076
1077    procedure vec_dst
1078      (A : const_vector_pixel_ptr;
1079       B : c_int;
1080       C : c_int);
1081
1082    procedure vec_dst
1083      (A : const_vector_unsigned_int_ptr;
1084       B : c_int;
1085       C : c_int);
1086
1087    procedure vec_dst
1088      (A : const_vector_signed_int_ptr;
1089       B : c_int;
1090       C : c_int);
1091
1092    procedure vec_dst
1093      (A : const_vector_bool_int_ptr;
1094       B : c_int;
1095       C : c_int);
1096
1097    procedure vec_dst
1098      (A : const_vector_float_ptr;
1099       B : c_int;
1100       C : c_int);
1101
1102    procedure vec_dst
1103      (A : const_unsigned_char_ptr;
1104       B : c_int;
1105       C : c_int);
1106
1107    procedure vec_dst
1108      (A : const_signed_char_ptr;
1109       B : c_int;
1110       C : c_int);
1111
1112    procedure vec_dst
1113      (A : const_unsigned_short_ptr;
1114       B : c_int;
1115       C : c_int);
1116
1117    procedure vec_dst
1118      (A : const_short_ptr;
1119       B : c_int;
1120       C : c_int);
1121
1122    procedure vec_dst
1123      (A : const_unsigned_int_ptr;
1124       B : c_int;
1125       C : c_int);
1126
1127    procedure vec_dst
1128      (A : const_int_ptr;
1129       B : c_int;
1130       C : c_int);
1131
1132    procedure vec_dst
1133      (A : const_unsigned_long_ptr;
1134       B : c_int;
1135       C : c_int);
1136
1137    procedure vec_dst
1138      (A : const_long_ptr;
1139       B : c_int;
1140       C : c_int);
1141
1142    procedure vec_dst
1143      (A : const_float_ptr;
1144       B : c_int;
1145       C : c_int);
1146    pragma Inline_Always (vec_dst);
1147    pragma Convention (Intrinsic, vec_dst);
1148
1149    ---------------
1150    -- vec_dstst --
1151    ---------------
1152
1153    procedure vec_dstst
1154      (A : const_vector_unsigned_char_ptr;
1155       B : c_int;
1156       C : c_int);
1157
1158    procedure vec_dstst
1159      (A : const_vector_signed_char_ptr;
1160       B : c_int;
1161       C : c_int);
1162
1163    procedure vec_dstst
1164      (A : const_vector_bool_char_ptr;
1165       B : c_int;
1166       C : c_int);
1167
1168    procedure vec_dstst
1169      (A : const_vector_unsigned_short_ptr;
1170       B : c_int;
1171       C : c_int);
1172
1173    procedure vec_dstst
1174      (A : const_vector_signed_short_ptr;
1175       B : c_int;
1176       C : c_int);
1177
1178    procedure vec_dstst
1179      (A : const_vector_bool_short_ptr;
1180       B : c_int;
1181       C : c_int);
1182
1183    procedure vec_dstst
1184      (A : const_vector_pixel_ptr;
1185       B : c_int;
1186       C : c_int);
1187
1188    procedure vec_dstst
1189      (A : const_vector_unsigned_int_ptr;
1190       B : c_int;
1191       C : c_int);
1192
1193    procedure vec_dstst
1194      (A : const_vector_signed_int_ptr;
1195       B : c_int;
1196       C : c_int);
1197
1198    procedure vec_dstst
1199      (A : const_vector_bool_int_ptr;
1200       B : c_int;
1201       C : c_int);
1202
1203    procedure vec_dstst
1204      (A : const_vector_float_ptr;
1205       B : c_int;
1206       C : c_int);
1207
1208    procedure vec_dstst
1209      (A : const_unsigned_char_ptr;
1210       B : c_int;
1211       C : c_int);
1212
1213    procedure vec_dstst
1214      (A : const_signed_char_ptr;
1215       B : c_int;
1216       C : c_int);
1217
1218    procedure vec_dstst
1219      (A : const_unsigned_short_ptr;
1220       B : c_int;
1221       C : c_int);
1222
1223    procedure vec_dstst
1224      (A : const_short_ptr;
1225       B : c_int;
1226       C : c_int);
1227
1228    procedure vec_dstst
1229      (A : const_unsigned_int_ptr;
1230       B : c_int;
1231       C : c_int);
1232
1233    procedure vec_dstst
1234      (A : const_int_ptr;
1235       B : c_int;
1236       C : c_int);
1237
1238    procedure vec_dstst
1239      (A : const_unsigned_long_ptr;
1240       B : c_int;
1241       C : c_int);
1242
1243    procedure vec_dstst
1244      (A : const_long_ptr;
1245       B : c_int;
1246       C : c_int);
1247
1248    procedure vec_dstst
1249      (A : const_float_ptr;
1250       B : c_int;
1251       C : c_int);
1252    pragma Inline_Always (vec_dstst);
1253    pragma Convention (Intrinsic, vec_dstst);
1254
1255    ----------------
1256    -- vec_dststt --
1257    ----------------
1258
1259    procedure vec_dststt
1260      (A : const_vector_unsigned_char_ptr;
1261       B : c_int;
1262       C : c_int);
1263
1264    procedure vec_dststt
1265      (A : const_vector_signed_char_ptr;
1266       B : c_int;
1267       C : c_int);
1268
1269    procedure vec_dststt
1270      (A : const_vector_bool_char_ptr;
1271       B : c_int;
1272       C : c_int);
1273
1274    procedure vec_dststt
1275      (A : const_vector_unsigned_short_ptr;
1276       B : c_int;
1277       C : c_int);
1278
1279    procedure vec_dststt
1280      (A : const_vector_signed_short_ptr;
1281       B : c_int;
1282       C : c_int);
1283
1284    procedure vec_dststt
1285      (A : const_vector_bool_short_ptr;
1286       B : c_int;
1287       C : c_int);
1288
1289    procedure vec_dststt
1290      (A : const_vector_pixel_ptr;
1291       B : c_int;
1292       C : c_int);
1293
1294    procedure vec_dststt
1295      (A : const_vector_unsigned_int_ptr;
1296       B : c_int;
1297       C : c_int);
1298
1299    procedure vec_dststt
1300      (A : const_vector_signed_int_ptr;
1301       B : c_int;
1302       C : c_int);
1303
1304    procedure vec_dststt
1305      (A : const_vector_bool_int_ptr;
1306       B : c_int;
1307       C : c_int);
1308
1309    procedure vec_dststt
1310      (A : const_vector_float_ptr;
1311       B : c_int;
1312       C : c_int);
1313
1314    procedure vec_dststt
1315      (A : const_unsigned_char_ptr;
1316       B : c_int;
1317       C : c_int);
1318
1319    procedure vec_dststt
1320      (A : const_signed_char_ptr;
1321       B : c_int;
1322       C : c_int);
1323
1324    procedure vec_dststt
1325      (A : const_unsigned_short_ptr;
1326       B : c_int;
1327       C : c_int);
1328
1329    procedure vec_dststt
1330      (A : const_short_ptr;
1331       B : c_int;
1332       C : c_int);
1333
1334    procedure vec_dststt
1335      (A : const_unsigned_int_ptr;
1336       B : c_int;
1337       C : c_int);
1338
1339    procedure vec_dststt
1340      (A : const_int_ptr;
1341       B : c_int;
1342       C : c_int);
1343
1344    procedure vec_dststt
1345      (A : const_unsigned_long_ptr;
1346       B : c_int;
1347       C : c_int);
1348
1349    procedure vec_dststt
1350      (A : const_long_ptr;
1351       B : c_int;
1352       C : c_int);
1353
1354    procedure vec_dststt
1355      (A : const_float_ptr;
1356       B : c_int;
1357       C : c_int);
1358    pragma Inline_Always (vec_dststt);
1359    pragma Convention (Intrinsic, vec_dststt);
1360
1361    --------------
1362    -- vec_dstt --
1363    --------------
1364
1365    procedure vec_dstt
1366      (A : const_vector_unsigned_char_ptr;
1367       B : c_int;
1368       C : c_int);
1369
1370    procedure vec_dstt
1371      (A : const_vector_signed_char_ptr;
1372       B : c_int;
1373       C : c_int);
1374
1375    procedure vec_dstt
1376      (A : const_vector_bool_char_ptr;
1377       B : c_int;
1378       C : c_int);
1379
1380    procedure vec_dstt
1381      (A : const_vector_unsigned_short_ptr;
1382       B : c_int;
1383       C : c_int);
1384
1385    procedure vec_dstt
1386      (A : const_vector_signed_short_ptr;
1387       B : c_int;
1388       C : c_int);
1389
1390    procedure vec_dstt
1391      (A : const_vector_bool_short_ptr;
1392       B : c_int;
1393       C : c_int);
1394
1395    procedure vec_dstt
1396      (A : const_vector_pixel_ptr;
1397       B : c_int;
1398       C : c_int);
1399
1400    procedure vec_dstt
1401      (A : const_vector_unsigned_int_ptr;
1402       B : c_int;
1403       C : c_int);
1404
1405    procedure vec_dstt
1406      (A : const_vector_signed_int_ptr;
1407       B : c_int;
1408       C : c_int);
1409
1410    procedure vec_dstt
1411      (A : const_vector_bool_int_ptr;
1412       B : c_int;
1413       C : c_int);
1414
1415    procedure vec_dstt
1416      (A : const_vector_float_ptr;
1417       B : c_int;
1418       C : c_int);
1419
1420    procedure vec_dstt
1421      (A : const_unsigned_char_ptr;
1422       B : c_int;
1423       C : c_int);
1424
1425    procedure vec_dstt
1426      (A : const_signed_char_ptr;
1427       B : c_int;
1428       C : c_int);
1429
1430    procedure vec_dstt
1431      (A : const_unsigned_short_ptr;
1432       B : c_int;
1433       C : c_int);
1434
1435    procedure vec_dstt
1436      (A : const_short_ptr;
1437       B : c_int;
1438       C : c_int);
1439
1440    procedure vec_dstt
1441      (A : const_unsigned_int_ptr;
1442       B : c_int;
1443       C : c_int);
1444
1445    procedure vec_dstt
1446      (A : const_int_ptr;
1447       B : c_int;
1448       C : c_int);
1449
1450    procedure vec_dstt
1451      (A : const_unsigned_long_ptr;
1452       B : c_int;
1453       C : c_int);
1454
1455    procedure vec_dstt
1456      (A : const_long_ptr;
1457       B : c_int;
1458       C : c_int);
1459
1460    procedure vec_dstt
1461      (A : const_float_ptr;
1462       B : c_int;
1463       C : c_int);
1464    pragma Inline_Always (vec_dstt);
1465    pragma Convention (Intrinsic, vec_dstt);
1466
1467    ---------------
1468    -- vec_expte --
1469    ---------------
1470
1471    function vec_expte
1472      (A : vector_float) return vector_float;
1473
1474    ---------------
1475    -- vec_floor --
1476    ---------------
1477
1478    function vec_floor
1479      (A : vector_float) return vector_float;
1480
1481    ------------
1482    -- vec_ld --
1483    ------------
1484
1485    function vec_ld
1486      (A : c_long;
1487       B : const_vector_float_ptr) return vector_float;
1488
1489    function vec_ld
1490      (A : c_long;
1491       B : const_float_ptr) return vector_float;
1492
1493    function vec_ld
1494      (A : c_long;
1495       B : const_vector_bool_int_ptr) return vector_bool_int;
1496
1497    function vec_ld
1498      (A : c_long;
1499       B : const_vector_signed_int_ptr) return vector_signed_int;
1500
1501    function vec_ld
1502      (A : c_long;
1503       B : const_int_ptr) return vector_signed_int;
1504
1505    function vec_ld
1506      (A : c_long;
1507       B : const_long_ptr) return vector_signed_int;
1508
1509    function vec_ld
1510      (A : c_long;
1511       B : const_vector_unsigned_int_ptr) return vector_unsigned_int;
1512
1513    function vec_ld
1514      (A : c_long;
1515       B : const_unsigned_int_ptr) return vector_unsigned_int;
1516
1517    function vec_ld
1518      (A : c_long;
1519       B : const_unsigned_long_ptr) return vector_unsigned_int;
1520
1521    function vec_ld
1522      (A : c_long;
1523       B : const_vector_bool_short_ptr) return vector_bool_short;
1524
1525    function vec_ld
1526      (A : c_long;
1527       B : const_vector_pixel_ptr) return vector_pixel;
1528
1529    function vec_ld
1530      (A : c_long;
1531       B : const_vector_signed_short_ptr) return vector_signed_short;
1532
1533    function vec_ld
1534      (A : c_long;
1535       B : const_short_ptr) return vector_signed_short;
1536
1537    function vec_ld
1538      (A : c_long;
1539       B : const_vector_unsigned_short_ptr) return vector_unsigned_short;
1540
1541    function vec_ld
1542      (A : c_long;
1543       B : const_unsigned_short_ptr) return vector_unsigned_short;
1544
1545    function vec_ld
1546      (A : c_long;
1547       B : const_vector_bool_char_ptr) return vector_bool_char;
1548
1549    function vec_ld
1550      (A : c_long;
1551       B : const_vector_signed_char_ptr) return vector_signed_char;
1552
1553    function vec_ld
1554      (A : c_long;
1555       B : const_signed_char_ptr) return vector_signed_char;
1556
1557    function vec_ld
1558      (A : c_long;
1559       B : const_vector_unsigned_char_ptr) return vector_unsigned_char;
1560
1561    function vec_ld
1562      (A : c_long;
1563       B : const_unsigned_char_ptr) return vector_unsigned_char;
1564
1565    -------------
1566    -- vec_lde --
1567    -------------
1568
1569    function vec_lde
1570      (A : c_long;
1571       B : const_signed_char_ptr) return vector_signed_char;
1572
1573    function vec_lde
1574      (A : c_long;
1575       B : const_unsigned_char_ptr) return vector_unsigned_char;
1576
1577    function vec_lde
1578      (A : c_long;
1579       B : const_short_ptr) return vector_signed_short;
1580
1581    function vec_lde
1582      (A : c_long;
1583       B : const_unsigned_short_ptr) return vector_unsigned_short;
1584
1585    function vec_lde
1586      (A : c_long;
1587       B : const_float_ptr) return vector_float;
1588
1589    function vec_lde
1590      (A : c_long;
1591       B : const_int_ptr) return vector_signed_int;
1592
1593    function vec_lde
1594      (A : c_long;
1595       B : const_unsigned_int_ptr) return vector_unsigned_int;
1596
1597    function vec_lde
1598      (A : c_long;
1599       B : const_long_ptr) return vector_signed_int;
1600
1601    function vec_lde
1602      (A : c_long;
1603       B : const_unsigned_long_ptr) return vector_unsigned_int;
1604
1605    ---------------
1606    -- vec_lvewx --
1607    ---------------
1608
1609    function vec_lvewx
1610      (A : c_long;
1611       B : float_ptr) return vector_float;
1612
1613    function vec_lvewx
1614      (A : c_long;
1615       B : int_ptr) return vector_signed_int;
1616
1617    function vec_lvewx
1618      (A : c_long;
1619       B : unsigned_int_ptr) return vector_unsigned_int;
1620
1621    function vec_lvewx
1622      (A : c_long;
1623       B : long_ptr) return vector_signed_int;
1624
1625    function vec_lvewx
1626      (A : c_long;
1627       B : unsigned_long_ptr) return vector_unsigned_int;
1628
1629    ---------------
1630    -- vec_lvehx --
1631    ---------------
1632
1633    function vec_lvehx
1634      (A : c_long;
1635       B : short_ptr) return vector_signed_short;
1636
1637    function vec_lvehx
1638      (A : c_long;
1639       B : unsigned_short_ptr) return vector_unsigned_short;
1640
1641    ---------------
1642    -- vec_lvebx --
1643    ---------------
1644
1645    function vec_lvebx
1646      (A : c_long;
1647       B : signed_char_ptr) return vector_signed_char;
1648
1649    function vec_lvebx
1650      (A : c_long;
1651       B : unsigned_char_ptr) return vector_unsigned_char;
1652
1653    -------------
1654    -- vec_ldl --
1655    -------------
1656
1657    function vec_ldl
1658      (A : c_long;
1659       B : const_vector_float_ptr) return vector_float;
1660
1661    function vec_ldl
1662      (A : c_long;
1663       B : const_float_ptr) return vector_float;
1664
1665    function vec_ldl
1666      (A : c_long;
1667       B : const_vector_bool_int_ptr) return vector_bool_int;
1668
1669    function vec_ldl
1670      (A : c_long;
1671       B : const_vector_signed_int_ptr) return vector_signed_int;
1672
1673    function vec_ldl
1674      (A : c_long;
1675       B : const_int_ptr) return vector_signed_int;
1676
1677    function vec_ldl
1678      (A : c_long;
1679       B : const_long_ptr) return vector_signed_int;
1680
1681    function vec_ldl
1682      (A : c_long;
1683       B : const_vector_unsigned_int_ptr) return vector_unsigned_int;
1684
1685    function vec_ldl
1686      (A : c_long;
1687       B : const_unsigned_int_ptr) return vector_unsigned_int;
1688
1689    function vec_ldl
1690      (A : c_long;
1691       B : const_unsigned_long_ptr) return vector_unsigned_int;
1692
1693    function vec_ldl
1694      (A : c_long;
1695       B : const_vector_bool_short_ptr) return vector_bool_short;
1696
1697    function vec_ldl
1698      (A : c_long;
1699       B : const_vector_pixel_ptr) return vector_pixel;
1700
1701    function vec_ldl
1702      (A : c_long;
1703       B : const_vector_signed_short_ptr) return vector_signed_short;
1704
1705    function vec_ldl
1706      (A : c_long;
1707       B : const_short_ptr) return vector_signed_short;
1708
1709    function vec_ldl
1710      (A : c_long;
1711       B : const_vector_unsigned_short_ptr) return vector_unsigned_short;
1712
1713    function vec_ldl
1714      (A : c_long;
1715       B : const_unsigned_short_ptr) return vector_unsigned_short;
1716
1717    function vec_ldl
1718      (A : c_long;
1719       B : const_vector_bool_char_ptr) return vector_bool_char;
1720
1721    function vec_ldl
1722      (A : c_long;
1723       B : const_vector_signed_char_ptr) return vector_signed_char;
1724
1725    function vec_ldl
1726      (A : c_long;
1727       B : const_signed_char_ptr) return vector_signed_char;
1728
1729    function vec_ldl
1730      (A : c_long;
1731       B : const_vector_unsigned_char_ptr) return vector_unsigned_char;
1732
1733    function vec_ldl
1734      (A : c_long;
1735       B : const_unsigned_char_ptr) return vector_unsigned_char;
1736
1737    --------------
1738    -- vec_loge --
1739    --------------
1740
1741    function vec_loge
1742      (A : vector_float) return vector_float;
1743
1744    --------------
1745    -- vec_lvsl --
1746    --------------
1747
1748    function vec_lvsl
1749      (A : c_long;
1750       B : constv_unsigned_char_ptr) return vector_unsigned_char;
1751
1752    function vec_lvsl
1753      (A : c_long;
1754       B : constv_signed_char_ptr) return vector_unsigned_char;
1755
1756    function vec_lvsl
1757      (A : c_long;
1758       B : constv_unsigned_short_ptr) return vector_unsigned_char;
1759
1760    function vec_lvsl
1761      (A : c_long;
1762       B : constv_short_ptr) return vector_unsigned_char;
1763
1764    function vec_lvsl
1765      (A : c_long;
1766       B : constv_unsigned_int_ptr) return vector_unsigned_char;
1767
1768    function vec_lvsl
1769      (A : c_long;
1770       B : constv_int_ptr) return vector_unsigned_char;
1771
1772    function vec_lvsl
1773      (A : c_long;
1774       B : constv_unsigned_long_ptr) return vector_unsigned_char;
1775
1776    function vec_lvsl
1777      (A : c_long;
1778       B : constv_long_ptr) return vector_unsigned_char;
1779
1780    function vec_lvsl
1781      (A : c_long;
1782       B : constv_float_ptr) return vector_unsigned_char;
1783
1784    --------------
1785    -- vec_lvsr --
1786    --------------
1787
1788    function vec_lvsr
1789      (A : c_long;
1790       B : constv_unsigned_char_ptr) return vector_unsigned_char;
1791
1792    function vec_lvsr
1793      (A : c_long;
1794       B : constv_signed_char_ptr) return vector_unsigned_char;
1795
1796    function vec_lvsr
1797      (A : c_long;
1798       B : constv_unsigned_short_ptr) return vector_unsigned_char;
1799
1800    function vec_lvsr
1801      (A : c_long;
1802       B : constv_short_ptr) return vector_unsigned_char;
1803
1804    function vec_lvsr
1805      (A : c_long;
1806       B : constv_unsigned_int_ptr) return vector_unsigned_char;
1807
1808    function vec_lvsr
1809      (A : c_long;
1810       B : constv_int_ptr) return vector_unsigned_char;
1811
1812    function vec_lvsr
1813      (A : c_long;
1814       B : constv_unsigned_long_ptr) return vector_unsigned_char;
1815
1816    function vec_lvsr
1817      (A : c_long;
1818       B : constv_long_ptr) return vector_unsigned_char;
1819
1820    function vec_lvsr
1821      (A : c_long;
1822       B : constv_float_ptr) return vector_unsigned_char;
1823
1824    --------------
1825    -- vec_madd --
1826    --------------
1827
1828    function vec_madd
1829      (A : vector_float;
1830       B : vector_float;
1831       C : vector_float) return vector_float;
1832
1833    ---------------
1834    -- vec_madds --
1835    ---------------
1836
1837    function vec_madds
1838      (A : vector_signed_short;
1839       B : vector_signed_short;
1840       C : vector_signed_short) return vector_signed_short;
1841
1842    -------------
1843    -- vec_max --
1844    -------------
1845
1846    function vec_max
1847      (A : vector_bool_char;
1848       B : vector_unsigned_char) return vector_unsigned_char;
1849
1850    function vec_max
1851      (A : vector_unsigned_char;
1852       B : vector_bool_char) return vector_unsigned_char;
1853
1854    function vec_max
1855      (A : vector_unsigned_char;
1856       B : vector_unsigned_char) return vector_unsigned_char;
1857
1858    function vec_max
1859      (A : vector_bool_char;
1860       B : vector_signed_char) return vector_signed_char;
1861
1862    function vec_max
1863      (A : vector_signed_char;
1864       B : vector_bool_char) return vector_signed_char;
1865
1866    function vec_max
1867      (A : vector_signed_char;
1868       B : vector_signed_char) return vector_signed_char;
1869
1870    function vec_max
1871      (A : vector_bool_short;
1872       B : vector_unsigned_short) return vector_unsigned_short;
1873
1874    function vec_max
1875      (A : vector_unsigned_short;
1876       B : vector_bool_short) return vector_unsigned_short;
1877
1878    function vec_max
1879      (A : vector_unsigned_short;
1880       B : vector_unsigned_short) return vector_unsigned_short;
1881
1882    function vec_max
1883      (A : vector_bool_short;
1884       B : vector_signed_short) return vector_signed_short;
1885
1886    function vec_max
1887      (A : vector_signed_short;
1888       B : vector_bool_short) return vector_signed_short;
1889
1890    function vec_max
1891      (A : vector_signed_short;
1892       B : vector_signed_short) return vector_signed_short;
1893
1894    function vec_max
1895      (A : vector_bool_int;
1896       B : vector_unsigned_int) return vector_unsigned_int;
1897
1898    function vec_max
1899      (A : vector_unsigned_int;
1900       B : vector_bool_int) return vector_unsigned_int;
1901
1902    function vec_max
1903      (A : vector_unsigned_int;
1904       B : vector_unsigned_int) return vector_unsigned_int;
1905
1906    function vec_max
1907      (A : vector_bool_int;
1908       B : vector_signed_int) return vector_signed_int;
1909
1910    function vec_max
1911      (A : vector_signed_int;
1912       B : vector_bool_int) return vector_signed_int;
1913
1914    function vec_max
1915      (A : vector_signed_int;
1916       B : vector_signed_int) return vector_signed_int;
1917
1918    function vec_max
1919      (A : vector_float;
1920       B : vector_float) return vector_float;
1921
1922    ----------------
1923    -- vec_vmaxfp --
1924    ----------------
1925
1926    function vec_vmaxfp
1927      (A : vector_float;
1928       B : vector_float) return vector_float;
1929
1930    ----------------
1931    -- vec_vmaxsw --
1932    ----------------
1933
1934    function vec_vmaxsw
1935      (A : vector_bool_int;
1936       B : vector_signed_int) return vector_signed_int;
1937
1938    function vec_vmaxsw
1939      (A : vector_signed_int;
1940       B : vector_bool_int) return vector_signed_int;
1941
1942    function vec_vmaxsw
1943      (A : vector_signed_int;
1944       B : vector_signed_int) return vector_signed_int;
1945
1946    ----------------
1947    -- vec_vmaxuw --
1948    ----------------
1949
1950    function vec_vmaxuw
1951      (A : vector_bool_int;
1952       B : vector_unsigned_int) return vector_unsigned_int;
1953
1954    function vec_vmaxuw
1955      (A : vector_unsigned_int;
1956       B : vector_bool_int) return vector_unsigned_int;
1957
1958    function vec_vmaxuw
1959      (A : vector_unsigned_int;
1960       B : vector_unsigned_int) return vector_unsigned_int;
1961
1962    ----------------
1963    -- vec_vmaxsh --
1964    ----------------
1965
1966    function vec_vmaxsh
1967      (A : vector_bool_short;
1968       B : vector_signed_short) return vector_signed_short;
1969
1970    function vec_vmaxsh
1971      (A : vector_signed_short;
1972       B : vector_bool_short) return vector_signed_short;
1973
1974    function vec_vmaxsh
1975      (A : vector_signed_short;
1976       B : vector_signed_short) return vector_signed_short;
1977
1978    ----------------
1979    -- vec_vmaxuh --
1980    ----------------
1981
1982    function vec_vmaxuh
1983      (A : vector_bool_short;
1984       B : vector_unsigned_short) return vector_unsigned_short;
1985
1986    function vec_vmaxuh
1987      (A : vector_unsigned_short;
1988       B : vector_bool_short) return vector_unsigned_short;
1989
1990    function vec_vmaxuh
1991      (A : vector_unsigned_short;
1992       B : vector_unsigned_short) return vector_unsigned_short;
1993
1994    ----------------
1995    -- vec_vmaxsb --
1996    ----------------
1997
1998    function vec_vmaxsb
1999      (A : vector_bool_char;
2000       B : vector_signed_char) return vector_signed_char;
2001
2002    function vec_vmaxsb
2003      (A : vector_signed_char;
2004       B : vector_bool_char) return vector_signed_char;
2005
2006    function vec_vmaxsb
2007      (A : vector_signed_char;
2008       B : vector_signed_char) return vector_signed_char;
2009
2010    ----------------
2011    -- vec_vmaxub --
2012    ----------------
2013
2014    function vec_vmaxub
2015      (A : vector_bool_char;
2016       B : vector_unsigned_char) return vector_unsigned_char;
2017
2018    function vec_vmaxub
2019      (A : vector_unsigned_char;
2020       B : vector_bool_char) return vector_unsigned_char;
2021
2022    function vec_vmaxub
2023      (A : vector_unsigned_char;
2024       B : vector_unsigned_char) return vector_unsigned_char;
2025
2026    ----------------
2027    -- vec_mergeh --
2028    ----------------
2029
2030    function vec_mergeh
2031      (A : vector_bool_char;
2032       B : vector_bool_char) return vector_bool_char;
2033
2034    function vec_mergeh
2035      (A : vector_signed_char;
2036       B : vector_signed_char) return vector_signed_char;
2037
2038    function vec_mergeh
2039      (A : vector_unsigned_char;
2040       B : vector_unsigned_char) return vector_unsigned_char;
2041
2042    function vec_mergeh
2043      (A : vector_bool_short;
2044       B : vector_bool_short) return vector_bool_short;
2045
2046    function vec_mergeh
2047      (A : vector_pixel;
2048       B : vector_pixel) return vector_pixel;
2049
2050    function vec_mergeh
2051      (A : vector_signed_short;
2052       B : vector_signed_short) return vector_signed_short;
2053
2054    function vec_mergeh
2055      (A : vector_unsigned_short;
2056       B : vector_unsigned_short) return vector_unsigned_short;
2057
2058    function vec_mergeh
2059      (A : vector_float;
2060       B : vector_float) return vector_float;
2061
2062    function vec_mergeh
2063      (A : vector_bool_int;
2064       B : vector_bool_int) return vector_bool_int;
2065
2066    function vec_mergeh
2067      (A : vector_signed_int;
2068       B : vector_signed_int) return vector_signed_int;
2069
2070    function vec_mergeh
2071      (A : vector_unsigned_int;
2072       B : vector_unsigned_int) return vector_unsigned_int;
2073
2074    ----------------
2075    -- vec_vmrghw --
2076    ----------------
2077
2078    function vec_vmrghw
2079      (A : vector_float;
2080       B : vector_float) return vector_float;
2081
2082    function vec_vmrghw
2083      (A : vector_bool_int;
2084       B : vector_bool_int) return vector_bool_int;
2085
2086    function vec_vmrghw
2087      (A : vector_signed_int;
2088       B : vector_signed_int) return vector_signed_int;
2089
2090    function vec_vmrghw
2091      (A : vector_unsigned_int;
2092       B : vector_unsigned_int) return vector_unsigned_int;
2093
2094    ----------------
2095    -- vec_vmrghh --
2096    ----------------
2097
2098    function vec_vmrghh
2099      (A : vector_bool_short;
2100       B : vector_bool_short) return vector_bool_short;
2101
2102    function vec_vmrghh
2103      (A : vector_signed_short;
2104       B : vector_signed_short) return vector_signed_short;
2105
2106    function vec_vmrghh
2107      (A : vector_unsigned_short;
2108       B : vector_unsigned_short) return vector_unsigned_short;
2109
2110    function vec_vmrghh
2111      (A : vector_pixel;
2112       B : vector_pixel) return vector_pixel;
2113
2114    ----------------
2115    -- vec_vmrghb --
2116    ----------------
2117
2118    function vec_vmrghb
2119      (A : vector_bool_char;
2120       B : vector_bool_char) return vector_bool_char;
2121
2122    function vec_vmrghb
2123      (A : vector_signed_char;
2124       B : vector_signed_char) return vector_signed_char;
2125
2126    function vec_vmrghb
2127      (A : vector_unsigned_char;
2128       B : vector_unsigned_char) return vector_unsigned_char;
2129
2130    ----------------
2131    -- vec_mergel --
2132    ----------------
2133
2134    function vec_mergel
2135      (A : vector_bool_char;
2136       B : vector_bool_char) return vector_bool_char;
2137
2138    function vec_mergel
2139      (A : vector_signed_char;
2140       B : vector_signed_char) return vector_signed_char;
2141
2142    function vec_mergel
2143      (A : vector_unsigned_char;
2144       B : vector_unsigned_char) return vector_unsigned_char;
2145
2146    function vec_mergel
2147      (A : vector_bool_short;
2148       B : vector_bool_short) return vector_bool_short;
2149
2150    function vec_mergel
2151      (A : vector_pixel;
2152       B : vector_pixel) return vector_pixel;
2153
2154    function vec_mergel
2155      (A : vector_signed_short;
2156       B : vector_signed_short) return vector_signed_short;
2157
2158    function vec_mergel
2159      (A : vector_unsigned_short;
2160       B : vector_unsigned_short) return vector_unsigned_short;
2161
2162    function vec_mergel
2163      (A : vector_float;
2164       B : vector_float) return vector_float;
2165
2166    function vec_mergel
2167      (A : vector_bool_int;
2168       B : vector_bool_int) return vector_bool_int;
2169
2170    function vec_mergel
2171      (A : vector_signed_int;
2172       B : vector_signed_int) return vector_signed_int;
2173
2174    function vec_mergel
2175      (A : vector_unsigned_int;
2176       B : vector_unsigned_int) return vector_unsigned_int;
2177
2178    ----------------
2179    -- vec_vmrglw --
2180    ----------------
2181
2182    function vec_vmrglw
2183      (A : vector_float;
2184       B : vector_float) return vector_float;
2185
2186    function vec_vmrglw
2187      (A : vector_signed_int;
2188       B : vector_signed_int) return vector_signed_int;
2189
2190    function vec_vmrglw
2191      (A : vector_unsigned_int;
2192       B : vector_unsigned_int) return vector_unsigned_int;
2193
2194    function vec_vmrglw
2195      (A : vector_bool_int;
2196       B : vector_bool_int) return vector_bool_int;
2197
2198    ----------------
2199    -- vec_vmrglh --
2200    ----------------
2201
2202    function vec_vmrglh
2203      (A : vector_bool_short;
2204       B : vector_bool_short) return vector_bool_short;
2205
2206    function vec_vmrglh
2207      (A : vector_signed_short;
2208       B : vector_signed_short) return vector_signed_short;
2209
2210    function vec_vmrglh
2211      (A : vector_unsigned_short;
2212       B : vector_unsigned_short) return vector_unsigned_short;
2213
2214    function vec_vmrglh
2215      (A : vector_pixel;
2216       B : vector_pixel) return vector_pixel;
2217
2218    ----------------
2219    -- vec_vmrglb --
2220    ----------------
2221
2222    function vec_vmrglb
2223      (A : vector_bool_char;
2224       B : vector_bool_char) return vector_bool_char;
2225
2226    function vec_vmrglb
2227      (A : vector_signed_char;
2228       B : vector_signed_char) return vector_signed_char;
2229
2230    function vec_vmrglb
2231      (A : vector_unsigned_char;
2232       B : vector_unsigned_char) return vector_unsigned_char;
2233
2234    ----------------
2235    -- vec_mfvscr --
2236    ----------------
2237
2238    function vec_mfvscr return vector_unsigned_short;
2239
2240    -------------
2241    -- vec_min --
2242    -------------
2243
2244    function vec_min
2245      (A : vector_bool_char;
2246       B : vector_unsigned_char) return vector_unsigned_char;
2247
2248    function vec_min
2249      (A : vector_unsigned_char;
2250       B : vector_bool_char) return vector_unsigned_char;
2251
2252    function vec_min
2253      (A : vector_unsigned_char;
2254       B : vector_unsigned_char) return vector_unsigned_char;
2255
2256    function vec_min
2257      (A : vector_bool_char;
2258       B : vector_signed_char) return vector_signed_char;
2259
2260    function vec_min
2261      (A : vector_signed_char;
2262       B : vector_bool_char) return vector_signed_char;
2263
2264    function vec_min
2265      (A : vector_signed_char;
2266       B : vector_signed_char) return vector_signed_char;
2267
2268    function vec_min
2269      (A : vector_bool_short;
2270       B : vector_unsigned_short) return vector_unsigned_short;
2271
2272    function vec_min
2273      (A : vector_unsigned_short;
2274       B : vector_bool_short) return vector_unsigned_short;
2275
2276    function vec_min
2277      (A : vector_unsigned_short;
2278       B : vector_unsigned_short) return vector_unsigned_short;
2279
2280    function vec_min
2281      (A : vector_bool_short;
2282       B : vector_signed_short) return vector_signed_short;
2283
2284    function vec_min
2285      (A : vector_signed_short;
2286       B : vector_bool_short) return vector_signed_short;
2287
2288    function vec_min
2289      (A : vector_signed_short;
2290       B : vector_signed_short) return vector_signed_short;
2291
2292    function vec_min
2293      (A : vector_bool_int;
2294       B : vector_unsigned_int) return vector_unsigned_int;
2295
2296    function vec_min
2297      (A : vector_unsigned_int;
2298       B : vector_bool_int) return vector_unsigned_int;
2299
2300    function vec_min
2301      (A : vector_unsigned_int;
2302       B : vector_unsigned_int) return vector_unsigned_int;
2303
2304    function vec_min
2305      (A : vector_bool_int;
2306       B : vector_signed_int) return vector_signed_int;
2307
2308    function vec_min
2309      (A : vector_signed_int;
2310       B : vector_bool_int) return vector_signed_int;
2311
2312    function vec_min
2313      (A : vector_signed_int;
2314       B : vector_signed_int) return vector_signed_int;
2315
2316    function vec_min
2317      (A : vector_float;
2318       B : vector_float) return vector_float;
2319
2320    ----------------
2321    -- vec_vminfp --
2322    ----------------
2323
2324    function vec_vminfp
2325      (A : vector_float;
2326       B : vector_float) return vector_float;
2327
2328    ----------------
2329    -- vec_vminsw --
2330    ----------------
2331
2332    function vec_vminsw
2333      (A : vector_bool_int;
2334       B : vector_signed_int) return vector_signed_int;
2335
2336    function vec_vminsw
2337      (A : vector_signed_int;
2338       B : vector_bool_int) return vector_signed_int;
2339
2340    function vec_vminsw
2341      (A : vector_signed_int;
2342       B : vector_signed_int) return vector_signed_int;
2343
2344    ----------------
2345    -- vec_vminuw --
2346    ----------------
2347
2348    function vec_vminuw
2349      (A : vector_bool_int;
2350       B : vector_unsigned_int) return vector_unsigned_int;
2351
2352    function vec_vminuw
2353      (A : vector_unsigned_int;
2354       B : vector_bool_int) return vector_unsigned_int;
2355
2356    function vec_vminuw
2357      (A : vector_unsigned_int;
2358       B : vector_unsigned_int) return vector_unsigned_int;
2359
2360    ----------------
2361    -- vec_vminsh --
2362    ----------------
2363
2364    function vec_vminsh
2365      (A : vector_bool_short;
2366       B : vector_signed_short) return vector_signed_short;
2367
2368    function vec_vminsh
2369      (A : vector_signed_short;
2370       B : vector_bool_short) return vector_signed_short;
2371
2372    function vec_vminsh
2373      (A : vector_signed_short;
2374       B : vector_signed_short) return vector_signed_short;
2375
2376    ----------------
2377    -- vec_vminuh --
2378    ----------------
2379
2380    function vec_vminuh
2381      (A : vector_bool_short;
2382       B : vector_unsigned_short) return vector_unsigned_short;
2383
2384    function vec_vminuh
2385      (A : vector_unsigned_short;
2386       B : vector_bool_short) return vector_unsigned_short;
2387
2388    function vec_vminuh
2389      (A : vector_unsigned_short;
2390       B : vector_unsigned_short) return vector_unsigned_short;
2391
2392    ----------------
2393    -- vec_vminsb --
2394    ----------------
2395
2396    function vec_vminsb
2397      (A : vector_bool_char;
2398       B : vector_signed_char) return vector_signed_char;
2399
2400    function vec_vminsb
2401      (A : vector_signed_char;
2402       B : vector_bool_char) return vector_signed_char;
2403
2404    function vec_vminsb
2405      (A : vector_signed_char;
2406       B : vector_signed_char) return vector_signed_char;
2407
2408    ----------------
2409    -- vec_vminub --
2410    ----------------
2411
2412    function vec_vminub
2413      (A : vector_bool_char;
2414       B : vector_unsigned_char) return vector_unsigned_char;
2415
2416    function vec_vminub
2417      (A : vector_unsigned_char;
2418       B : vector_bool_char) return vector_unsigned_char;
2419
2420    function vec_vminub
2421      (A : vector_unsigned_char;
2422       B : vector_unsigned_char) return vector_unsigned_char;
2423
2424    ---------------
2425    -- vec_mladd --
2426    ---------------
2427
2428    function vec_mladd
2429      (A : vector_signed_short;
2430       B : vector_signed_short;
2431       C : vector_signed_short) return vector_signed_short;
2432
2433    function vec_mladd
2434      (A : vector_signed_short;
2435       B : vector_unsigned_short;
2436       C : vector_unsigned_short) return vector_signed_short;
2437
2438    function vec_mladd
2439      (A : vector_unsigned_short;
2440       B : vector_signed_short;
2441       C : vector_signed_short) return vector_signed_short;
2442
2443    function vec_mladd
2444      (A : vector_unsigned_short;
2445       B : vector_unsigned_short;
2446       C : vector_unsigned_short) return vector_unsigned_short;
2447
2448    ----------------
2449    -- vec_mradds --
2450    ----------------
2451
2452    function vec_mradds
2453      (A : vector_signed_short;
2454       B : vector_signed_short;
2455       C : vector_signed_short) return vector_signed_short;
2456
2457    --------------
2458    -- vec_msum --
2459    --------------
2460
2461    function vec_msum
2462      (A : vector_unsigned_char;
2463       B : vector_unsigned_char;
2464       C : vector_unsigned_int) return vector_unsigned_int;
2465
2466    function vec_msum
2467      (A : vector_signed_char;
2468       B : vector_unsigned_char;
2469       C : vector_signed_int) return vector_signed_int;
2470
2471    function vec_msum
2472      (A : vector_unsigned_short;
2473       B : vector_unsigned_short;
2474       C : vector_unsigned_int) return vector_unsigned_int;
2475
2476    function vec_msum
2477      (A : vector_signed_short;
2478       B : vector_signed_short;
2479       C : vector_signed_int) return vector_signed_int;
2480
2481    ------------------
2482    -- vec_vmsumshm --
2483    ------------------
2484
2485    function vec_vmsumshm
2486      (A : vector_signed_short;
2487       B : vector_signed_short;
2488       C : vector_signed_int) return vector_signed_int;
2489
2490    ------------------
2491    -- vec_vmsumuhm --
2492    ------------------
2493
2494    function vec_vmsumuhm
2495      (A : vector_unsigned_short;
2496       B : vector_unsigned_short;
2497       C : vector_unsigned_int) return vector_unsigned_int;
2498
2499    ------------------
2500    -- vec_vmsummbm --
2501    ------------------
2502
2503    function vec_vmsummbm
2504      (A : vector_signed_char;
2505       B : vector_unsigned_char;
2506       C : vector_signed_int) return vector_signed_int;
2507
2508    ------------------
2509    -- vec_vmsumubm --
2510    ------------------
2511
2512    function vec_vmsumubm
2513      (A : vector_unsigned_char;
2514       B : vector_unsigned_char;
2515       C : vector_unsigned_int) return vector_unsigned_int;
2516
2517    ---------------
2518    -- vec_msums --
2519    ---------------
2520
2521    function vec_msums
2522      (A : vector_unsigned_short;
2523       B : vector_unsigned_short;
2524       C : vector_unsigned_int) return vector_unsigned_int;
2525
2526    function vec_msums
2527      (A : vector_signed_short;
2528       B : vector_signed_short;
2529       C : vector_signed_int) return vector_signed_int;
2530
2531    function vec_vmsumshs
2532      (A : vector_signed_short;
2533       B : vector_signed_short;
2534       C : vector_signed_int) return vector_signed_int;
2535
2536    ------------------
2537    -- vec_vmsumuhs --
2538    ------------------
2539
2540    function vec_vmsumuhs
2541      (A : vector_unsigned_short;
2542       B : vector_unsigned_short;
2543       C : vector_unsigned_int) return vector_unsigned_int;
2544
2545    ----------------
2546    -- vec_mtvscr --
2547    ----------------
2548
2549    procedure vec_mtvscr
2550      (A : vector_signed_int);
2551
2552    procedure vec_mtvscr
2553      (A : vector_unsigned_int);
2554
2555    procedure vec_mtvscr
2556      (A : vector_bool_int);
2557
2558    procedure vec_mtvscr
2559      (A : vector_signed_short);
2560
2561    procedure vec_mtvscr
2562      (A : vector_unsigned_short);
2563
2564    procedure vec_mtvscr
2565      (A : vector_bool_short);
2566
2567    procedure vec_mtvscr
2568      (A : vector_pixel);
2569
2570    procedure vec_mtvscr
2571      (A : vector_signed_char);
2572
2573    procedure vec_mtvscr
2574      (A : vector_unsigned_char);
2575
2576    procedure vec_mtvscr
2577      (A : vector_bool_char);
2578
2579    --------------
2580    -- vec_mule --
2581    --------------
2582
2583    function vec_mule
2584      (A : vector_unsigned_char;
2585       B : vector_unsigned_char) return vector_unsigned_short;
2586
2587    function vec_mule
2588      (A : vector_signed_char;
2589       B : vector_signed_char) return vector_signed_short;
2590
2591    function vec_mule
2592      (A : vector_unsigned_short;
2593       B : vector_unsigned_short) return vector_unsigned_int;
2594
2595    function vec_mule
2596      (A : vector_signed_short;
2597       B : vector_signed_short) return vector_signed_int;
2598
2599    -----------------
2600    -- vec_vmulesh --
2601    -----------------
2602
2603    function vec_vmulesh
2604      (A : vector_signed_short;
2605       B : vector_signed_short) return vector_signed_int;
2606
2607    -----------------
2608    -- vec_vmuleuh --
2609    -----------------
2610
2611    function vec_vmuleuh
2612      (A : vector_unsigned_short;
2613       B : vector_unsigned_short) return vector_unsigned_int;
2614
2615    -----------------
2616    -- vec_vmulesb --
2617    -----------------
2618
2619    function vec_vmulesb
2620      (A : vector_signed_char;
2621       B : vector_signed_char) return vector_signed_short;
2622
2623    -----------------
2624    -- vec_vmuleub --
2625    -----------------
2626
2627    function vec_vmuleub
2628      (A : vector_unsigned_char;
2629       B : vector_unsigned_char) return vector_unsigned_short;
2630
2631    --------------
2632    -- vec_mulo --
2633    --------------
2634
2635    function vec_mulo
2636      (A : vector_unsigned_char;
2637       B : vector_unsigned_char) return vector_unsigned_short;
2638
2639    function vec_mulo
2640      (A : vector_signed_char;
2641       B : vector_signed_char) return vector_signed_short;
2642
2643    function vec_mulo
2644      (A : vector_unsigned_short;
2645       B : vector_unsigned_short) return vector_unsigned_int;
2646
2647    function vec_mulo
2648      (A : vector_signed_short;
2649       B : vector_signed_short) return vector_signed_int;
2650
2651    -----------------
2652    -- vec_vmulosh --
2653    -----------------
2654
2655    function vec_vmulosh
2656      (A : vector_signed_short;
2657       B : vector_signed_short) return vector_signed_int;
2658
2659    -----------------
2660    -- vec_vmulouh --
2661    -----------------
2662
2663    function vec_vmulouh
2664      (A : vector_unsigned_short;
2665       B : vector_unsigned_short) return vector_unsigned_int;
2666
2667    -----------------
2668    -- vec_vmulosb --
2669    -----------------
2670
2671    function vec_vmulosb
2672      (A : vector_signed_char;
2673       B : vector_signed_char) return vector_signed_short;
2674
2675    -----------------
2676    -- vec_vmuloub --
2677    -----------------
2678
2679    function vec_vmuloub
2680      (A : vector_unsigned_char;
2681       B : vector_unsigned_char) return vector_unsigned_short;
2682
2683    ---------------
2684    -- vec_nmsub --
2685    ---------------
2686
2687    function vec_nmsub
2688      (A : vector_float;
2689       B : vector_float;
2690       C : vector_float) return vector_float;
2691
2692    -------------
2693    -- vec_nor --
2694    -------------
2695
2696    function vec_nor
2697      (A : vector_float;
2698       B : vector_float) return vector_float;
2699
2700    function vec_nor
2701      (A : vector_signed_int;
2702       B : vector_signed_int) return vector_signed_int;
2703
2704    function vec_nor
2705      (A : vector_unsigned_int;
2706       B : vector_unsigned_int) return vector_unsigned_int;
2707
2708    function vec_nor
2709      (A : vector_bool_int;
2710       B : vector_bool_int) return vector_bool_int;
2711
2712    function vec_nor
2713      (A : vector_signed_short;
2714       B : vector_signed_short) return vector_signed_short;
2715
2716    function vec_nor
2717      (A : vector_unsigned_short;
2718       B : vector_unsigned_short) return vector_unsigned_short;
2719
2720    function vec_nor
2721      (A : vector_bool_short;
2722       B : vector_bool_short) return vector_bool_short;
2723
2724    function vec_nor
2725      (A : vector_signed_char;
2726       B : vector_signed_char) return vector_signed_char;
2727
2728    function vec_nor
2729      (A : vector_unsigned_char;
2730       B : vector_unsigned_char) return vector_unsigned_char;
2731
2732    function vec_nor
2733      (A : vector_bool_char;
2734       B : vector_bool_char) return vector_bool_char;
2735
2736    ------------
2737    -- vec_or --
2738    ------------
2739
2740    function vec_or
2741      (A : vector_float;
2742       B : vector_float) return vector_float;
2743
2744    function vec_or
2745      (A : vector_float;
2746       B : vector_bool_int) return vector_float;
2747
2748    function vec_or
2749      (A : vector_bool_int;
2750       B : vector_float) return vector_float;
2751
2752    function vec_or
2753      (A : vector_bool_int;
2754       B : vector_bool_int) return vector_bool_int;
2755
2756    function vec_or
2757      (A : vector_bool_int;
2758       B : vector_signed_int) return vector_signed_int;
2759
2760    function vec_or
2761      (A : vector_signed_int;
2762       B : vector_bool_int) return vector_signed_int;
2763
2764    function vec_or
2765      (A : vector_signed_int;
2766       B : vector_signed_int) return vector_signed_int;
2767
2768    function vec_or
2769      (A : vector_bool_int;
2770       B : vector_unsigned_int) return vector_unsigned_int;
2771
2772    function vec_or
2773      (A : vector_unsigned_int;
2774       B : vector_bool_int) return vector_unsigned_int;
2775
2776    function vec_or
2777      (A : vector_unsigned_int;
2778       B : vector_unsigned_int) return vector_unsigned_int;
2779
2780    function vec_or
2781      (A : vector_bool_short;
2782       B : vector_bool_short) return vector_bool_short;
2783
2784    function vec_or
2785      (A : vector_bool_short;
2786       B : vector_signed_short) return vector_signed_short;
2787
2788    function vec_or
2789      (A : vector_signed_short;
2790       B : vector_bool_short) return vector_signed_short;
2791
2792    function vec_or
2793      (A : vector_signed_short;
2794       B : vector_signed_short) return vector_signed_short;
2795
2796    function vec_or
2797      (A : vector_bool_short;
2798       B : vector_unsigned_short) return vector_unsigned_short;
2799
2800    function vec_or
2801      (A : vector_unsigned_short;
2802       B : vector_bool_short) return vector_unsigned_short;
2803
2804    function vec_or
2805      (A : vector_unsigned_short;
2806       B : vector_unsigned_short) return vector_unsigned_short;
2807
2808    function vec_or
2809      (A : vector_bool_char;
2810       B : vector_signed_char) return vector_signed_char;
2811
2812    function vec_or
2813      (A : vector_bool_char;
2814       B : vector_bool_char) return vector_bool_char;
2815
2816    function vec_or
2817      (A : vector_signed_char;
2818       B : vector_bool_char) return vector_signed_char;
2819
2820    function vec_or
2821      (A : vector_signed_char;
2822       B : vector_signed_char) return vector_signed_char;
2823
2824    function vec_or
2825      (A : vector_bool_char;
2826       B : vector_unsigned_char) return vector_unsigned_char;
2827
2828    function vec_or
2829      (A : vector_unsigned_char;
2830       B : vector_bool_char) return vector_unsigned_char;
2831
2832    function vec_or
2833      (A : vector_unsigned_char;
2834       B : vector_unsigned_char) return vector_unsigned_char;
2835
2836    --------------
2837    -- vec_pack --
2838    --------------
2839
2840    function vec_pack
2841      (A : vector_signed_short;
2842       B : vector_signed_short) return vector_signed_char;
2843
2844    function vec_pack
2845      (A : vector_unsigned_short;
2846       B : vector_unsigned_short) return vector_unsigned_char;
2847
2848    function vec_pack
2849      (A : vector_bool_short;
2850       B : vector_bool_short) return vector_bool_char;
2851
2852    function vec_pack
2853      (A : vector_signed_int;
2854       B : vector_signed_int) return vector_signed_short;
2855
2856    function vec_pack
2857      (A : vector_unsigned_int;
2858       B : vector_unsigned_int) return vector_unsigned_short;
2859
2860    function vec_pack
2861      (A : vector_bool_int;
2862       B : vector_bool_int) return vector_bool_short;
2863
2864    -----------------
2865    -- vec_vpkuwum --
2866    -----------------
2867
2868    function vec_vpkuwum
2869      (A : vector_bool_int;
2870       B : vector_bool_int) return vector_bool_short;
2871
2872    function vec_vpkuwum
2873      (A : vector_signed_int;
2874       B : vector_signed_int) return vector_signed_short;
2875
2876    function vec_vpkuwum
2877      (A : vector_unsigned_int;
2878       B : vector_unsigned_int) return vector_unsigned_short;
2879
2880    -----------------
2881    -- vec_vpkuhum --
2882    -----------------
2883
2884    function vec_vpkuhum
2885      (A : vector_bool_short;
2886       B : vector_bool_short) return vector_bool_char;
2887
2888    function vec_vpkuhum
2889      (A : vector_signed_short;
2890       B : vector_signed_short) return vector_signed_char;
2891
2892    function vec_vpkuhum
2893      (A : vector_unsigned_short;
2894       B : vector_unsigned_short) return vector_unsigned_char;
2895
2896    ----------------
2897    -- vec_packpx --
2898    ----------------
2899
2900    function vec_packpx
2901      (A : vector_unsigned_int;
2902       B : vector_unsigned_int) return vector_pixel;
2903
2904    ---------------
2905    -- vec_packs --
2906    ---------------
2907
2908    function vec_packs
2909      (A : vector_unsigned_short;
2910       B : vector_unsigned_short) return vector_unsigned_char;
2911
2912    function vec_packs
2913      (A : vector_signed_short;
2914       B : vector_signed_short) return vector_signed_char;
2915
2916    function vec_packs
2917      (A : vector_unsigned_int;
2918       B : vector_unsigned_int) return vector_unsigned_short;
2919
2920    function vec_packs
2921      (A : vector_signed_int;
2922       B : vector_signed_int) return vector_signed_short;
2923
2924    -----------------
2925    -- vec_vpkswss --
2926    -----------------
2927
2928    function vec_vpkswss
2929      (A : vector_signed_int;
2930       B : vector_signed_int) return vector_signed_short;
2931
2932    -----------------
2933    -- vec_vpkuwus --
2934    -----------------
2935
2936    function vec_vpkuwus
2937      (A : vector_unsigned_int;
2938       B : vector_unsigned_int) return vector_unsigned_short;
2939
2940    -----------------
2941    -- vec_vpkshss --
2942    -----------------
2943
2944    function vec_vpkshss
2945      (A : vector_signed_short;
2946       B : vector_signed_short) return vector_signed_char;
2947
2948    -----------------
2949    -- vec_vpkuhus --
2950    -----------------
2951
2952    function vec_vpkuhus
2953      (A : vector_unsigned_short;
2954       B : vector_unsigned_short) return vector_unsigned_char;
2955
2956    ----------------
2957    -- vec_packsu --
2958    ----------------
2959
2960    function vec_packsu
2961      (A : vector_unsigned_short;
2962       B : vector_unsigned_short) return vector_unsigned_char;
2963
2964    function vec_packsu
2965      (A : vector_signed_short;
2966       B : vector_signed_short) return vector_unsigned_char;
2967
2968    function vec_packsu
2969      (A : vector_unsigned_int;
2970       B : vector_unsigned_int) return vector_unsigned_short;
2971
2972    function vec_packsu
2973      (A : vector_signed_int;
2974       B : vector_signed_int) return vector_unsigned_short;
2975
2976    -----------------
2977    -- vec_vpkswus --
2978    -----------------
2979
2980    function vec_vpkswus
2981      (A : vector_signed_int;
2982       B : vector_signed_int) return vector_unsigned_short;
2983
2984    -----------------
2985    -- vec_vpkshus --
2986    -----------------
2987
2988    function vec_vpkshus
2989      (A : vector_signed_short;
2990       B : vector_signed_short) return vector_unsigned_char;
2991
2992    --------------
2993    -- vec_perm --
2994    --------------
2995
2996    function vec_perm
2997      (A : vector_float;
2998       B : vector_float;
2999       C : vector_unsigned_char) return vector_float;
3000
3001    function vec_perm
3002      (A : vector_signed_int;
3003       B : vector_signed_int;
3004       C : vector_unsigned_char) return vector_signed_int;
3005
3006    function vec_perm
3007      (A : vector_unsigned_int;
3008       B : vector_unsigned_int;
3009       C : vector_unsigned_char) return vector_unsigned_int;
3010
3011    function vec_perm
3012      (A : vector_bool_int;
3013       B : vector_bool_int;
3014       C : vector_unsigned_char) return vector_bool_int;
3015
3016    function vec_perm
3017      (A : vector_signed_short;
3018       B : vector_signed_short;
3019       C : vector_unsigned_char) return vector_signed_short;
3020
3021    function vec_perm
3022      (A : vector_unsigned_short;
3023       B : vector_unsigned_short;
3024       C : vector_unsigned_char) return vector_unsigned_short;
3025
3026    function vec_perm
3027      (A : vector_bool_short;
3028       B : vector_bool_short;
3029       C : vector_unsigned_char) return vector_bool_short;
3030
3031    function vec_perm
3032      (A : vector_pixel;
3033       B : vector_pixel;
3034       C : vector_unsigned_char) return vector_pixel;
3035
3036    function vec_perm
3037      (A : vector_signed_char;
3038       B : vector_signed_char;
3039       C : vector_unsigned_char) return vector_signed_char;
3040
3041    function vec_perm
3042      (A : vector_unsigned_char;
3043       B : vector_unsigned_char;
3044       C : vector_unsigned_char) return vector_unsigned_char;
3045
3046    function vec_perm
3047      (A : vector_bool_char;
3048       B : vector_bool_char;
3049       C : vector_unsigned_char) return vector_bool_char;
3050
3051    ------------
3052    -- vec_re --
3053    ------------
3054
3055    function vec_re
3056      (A : vector_float) return vector_float;
3057
3058    ------------
3059    -- vec_rl --
3060    ------------
3061
3062    function vec_rl
3063      (A : vector_signed_char;
3064       B : vector_unsigned_char) return vector_signed_char;
3065
3066    function vec_rl
3067      (A : vector_unsigned_char;
3068       B : vector_unsigned_char) return vector_unsigned_char;
3069
3070    function vec_rl
3071      (A : vector_signed_short;
3072       B : vector_unsigned_short) return vector_signed_short;
3073
3074    function vec_rl
3075      (A : vector_unsigned_short;
3076       B : vector_unsigned_short) return vector_unsigned_short;
3077
3078    function vec_rl
3079      (A : vector_signed_int;
3080       B : vector_unsigned_int) return vector_signed_int;
3081
3082    function vec_rl
3083      (A : vector_unsigned_int;
3084       B : vector_unsigned_int) return vector_unsigned_int;
3085
3086    --------------
3087    -- vec_vrlw --
3088    --------------
3089
3090    function vec_vrlw
3091      (A : vector_signed_int;
3092       B : vector_unsigned_int) return vector_signed_int;
3093
3094    function vec_vrlw
3095      (A : vector_unsigned_int;
3096       B : vector_unsigned_int) return vector_unsigned_int;
3097
3098    --------------
3099    -- vec_vrlh --
3100    --------------
3101
3102    function vec_vrlh
3103      (A : vector_signed_short;
3104       B : vector_unsigned_short) return vector_signed_short;
3105
3106    function vec_vrlh
3107      (A : vector_unsigned_short;
3108       B : vector_unsigned_short) return vector_unsigned_short;
3109
3110    --------------
3111    -- vec_vrlb --
3112    --------------
3113
3114    function vec_vrlb
3115      (A : vector_signed_char;
3116       B : vector_unsigned_char) return vector_signed_char;
3117
3118    function vec_vrlb
3119      (A : vector_unsigned_char;
3120       B : vector_unsigned_char) return vector_unsigned_char;
3121
3122    ---------------
3123    -- vec_round --
3124    ---------------
3125
3126    function vec_round
3127      (A : vector_float) return vector_float;
3128
3129    ----------------
3130    -- vec_rsqrte --
3131    ----------------
3132
3133    function vec_rsqrte
3134      (A : vector_float) return vector_float;
3135
3136    -------------
3137    -- vec_sel --
3138    -------------
3139
3140    function vec_sel
3141      (A : vector_float;
3142       B : vector_float;
3143       C : vector_bool_int) return vector_float;
3144
3145    function vec_sel
3146      (A : vector_float;
3147       B : vector_float;
3148       C : vector_unsigned_int) return vector_float;
3149
3150    function vec_sel
3151      (A : vector_signed_int;
3152       B : vector_signed_int;
3153       C : vector_bool_int) return vector_signed_int;
3154
3155    function vec_sel
3156      (A : vector_signed_int;
3157       B : vector_signed_int;
3158       C : vector_unsigned_int) return vector_signed_int;
3159
3160    function vec_sel
3161      (A : vector_unsigned_int;
3162       B : vector_unsigned_int;
3163       C : vector_bool_int) return vector_unsigned_int;
3164
3165    function vec_sel
3166      (A : vector_unsigned_int;
3167       B : vector_unsigned_int;
3168       C : vector_unsigned_int) return vector_unsigned_int;
3169
3170    function vec_sel
3171      (A : vector_bool_int;
3172       B : vector_bool_int;
3173       C : vector_bool_int) return vector_bool_int;
3174
3175    function vec_sel
3176      (A : vector_bool_int;
3177       B : vector_bool_int;
3178       C : vector_unsigned_int) return vector_bool_int;
3179
3180    function vec_sel
3181      (A : vector_signed_short;
3182       B : vector_signed_short;
3183       C : vector_bool_short) return vector_signed_short;
3184
3185    function vec_sel
3186      (A : vector_signed_short;
3187       B : vector_signed_short;
3188       C : vector_unsigned_short) return vector_signed_short;
3189
3190    function vec_sel
3191      (A : vector_unsigned_short;
3192       B : vector_unsigned_short;
3193       C : vector_bool_short) return vector_unsigned_short;
3194
3195    function vec_sel
3196      (A : vector_unsigned_short;
3197       B : vector_unsigned_short;
3198       C : vector_unsigned_short) return vector_unsigned_short;
3199
3200    function vec_sel
3201      (A : vector_bool_short;
3202       B : vector_bool_short;
3203       C : vector_bool_short) return vector_bool_short;
3204
3205    function vec_sel
3206      (A : vector_bool_short;
3207       B : vector_bool_short;
3208       C : vector_unsigned_short) return vector_bool_short;
3209
3210    function vec_sel
3211      (A : vector_signed_char;
3212       B : vector_signed_char;
3213       C : vector_bool_char) return vector_signed_char;
3214
3215    function vec_sel
3216      (A : vector_signed_char;
3217       B : vector_signed_char;
3218       C : vector_unsigned_char) return vector_signed_char;
3219
3220    function vec_sel
3221      (A : vector_unsigned_char;
3222       B : vector_unsigned_char;
3223       C : vector_bool_char) return vector_unsigned_char;
3224
3225    function vec_sel
3226      (A : vector_unsigned_char;
3227       B : vector_unsigned_char;
3228       C : vector_unsigned_char) return vector_unsigned_char;
3229
3230    function vec_sel
3231      (A : vector_bool_char;
3232       B : vector_bool_char;
3233       C : vector_bool_char) return vector_bool_char;
3234
3235    function vec_sel
3236      (A : vector_bool_char;
3237       B : vector_bool_char;
3238       C : vector_unsigned_char) return vector_bool_char;
3239
3240    ------------
3241    -- vec_sl --
3242    ------------
3243
3244    function vec_sl
3245      (A : vector_signed_char;
3246       B : vector_unsigned_char) return vector_signed_char;
3247
3248    function vec_sl
3249      (A : vector_unsigned_char;
3250       B : vector_unsigned_char) return vector_unsigned_char;
3251
3252    function vec_sl
3253      (A : vector_signed_short;
3254       B : vector_unsigned_short) return vector_signed_short;
3255
3256    function vec_sl
3257      (A : vector_unsigned_short;
3258       B : vector_unsigned_short) return vector_unsigned_short;
3259
3260    function vec_sl
3261      (A : vector_signed_int;
3262       B : vector_unsigned_int) return vector_signed_int;
3263
3264    function vec_sl
3265      (A : vector_unsigned_int;
3266       B : vector_unsigned_int) return vector_unsigned_int;
3267
3268    --------------
3269    -- vec_vslw --
3270    --------------
3271
3272    function vec_vslw
3273      (A : vector_signed_int;
3274       B : vector_unsigned_int) return vector_signed_int;
3275
3276    function vec_vslw
3277      (A : vector_unsigned_int;
3278       B : vector_unsigned_int) return vector_unsigned_int;
3279
3280    --------------
3281    -- vec_vslh --
3282    --------------
3283
3284    function vec_vslh
3285      (A : vector_signed_short;
3286       B : vector_unsigned_short) return vector_signed_short;
3287
3288    function vec_vslh
3289      (A : vector_unsigned_short;
3290       B : vector_unsigned_short) return vector_unsigned_short;
3291
3292    --------------
3293    -- vec_vslb --
3294    --------------
3295
3296    function vec_vslb
3297      (A : vector_signed_char;
3298       B : vector_unsigned_char) return vector_signed_char;
3299
3300    function vec_vslb
3301      (A : vector_unsigned_char;
3302       B : vector_unsigned_char) return vector_unsigned_char;
3303
3304    -------------
3305    -- vec_sld --
3306    -------------
3307
3308    function vec_sld
3309      (A : vector_unsigned_int;
3310       B : vector_unsigned_int;
3311       C : c_int) return vector_unsigned_int;
3312
3313    function vec_sld
3314      (A : vector_bool_int;
3315       B : vector_bool_int;
3316       C : c_int) return vector_bool_int;
3317
3318    function vec_sld
3319      (A : vector_unsigned_short;
3320       B : vector_unsigned_short;
3321       C : c_int) return vector_unsigned_short;
3322
3323    function vec_sld
3324      (A : vector_bool_short;
3325       B : vector_bool_short;
3326       C : c_int) return vector_bool_short;
3327
3328    function vec_sld
3329      (A : vector_pixel;
3330       B : vector_pixel;
3331       C : c_int) return vector_pixel;
3332
3333    function vec_sld
3334      (A : vector_unsigned_char;
3335       B : vector_unsigned_char;
3336       C : c_int) return vector_unsigned_char;
3337
3338    function vec_sld
3339      (A : vector_bool_char;
3340       B : vector_bool_char;
3341       C : c_int) return vector_bool_char;
3342    pragma Inline_Always (vec_sld);
3343    pragma Convention (Intrinsic, vec_sld);
3344
3345    function vec_sld
3346      (A : vector_float;
3347       B : vector_float;
3348       C : c_int) return vector_float
3349    renames Low_Level_Vectors.vsldoi_4sf;
3350
3351    function vec_sld
3352      (A : vector_signed_int;
3353       B : vector_signed_int;
3354       C : c_int) return vector_signed_int
3355    renames Low_Level_Vectors.vsldoi_4si;
3356
3357    function vec_sld
3358      (A : vector_signed_short;
3359       B : vector_signed_short;
3360       C : c_int) return vector_signed_short
3361    renames Low_Level_Vectors.vsldoi_8hi;
3362
3363    function vec_sld
3364      (A : vector_signed_char;
3365       B : vector_signed_char;
3366       C : c_int) return vector_signed_char
3367    renames Low_Level_Vectors.vsldoi_16qi;
3368
3369    -------------
3370    -- vec_sll --
3371    -------------
3372
3373    function vec_sll
3374      (A : vector_signed_int;
3375       B : vector_unsigned_int) return vector_signed_int;
3376
3377    function vec_sll
3378      (A : vector_signed_int;
3379       B : vector_unsigned_short) return vector_signed_int;
3380
3381    function vec_sll
3382      (A : vector_signed_int;
3383       B : vector_unsigned_char) return vector_signed_int;
3384
3385    function vec_sll
3386      (A : vector_unsigned_int;
3387       B : vector_unsigned_int) return vector_unsigned_int;
3388
3389    function vec_sll
3390      (A : vector_unsigned_int;
3391       B : vector_unsigned_short) return vector_unsigned_int;
3392
3393    function vec_sll
3394      (A : vector_unsigned_int;
3395       B : vector_unsigned_char) return vector_unsigned_int;
3396
3397    function vec_sll
3398      (A : vector_bool_int;
3399       B : vector_unsigned_int) return vector_bool_int;
3400
3401    function vec_sll
3402      (A : vector_bool_int;
3403       B : vector_unsigned_short) return vector_bool_int;
3404
3405    function vec_sll
3406      (A : vector_bool_int;
3407       B : vector_unsigned_char) return vector_bool_int;
3408
3409    function vec_sll
3410      (A : vector_signed_short;
3411       B : vector_unsigned_int) return vector_signed_short;
3412
3413    function vec_sll
3414      (A : vector_signed_short;
3415       B : vector_unsigned_short) return vector_signed_short;
3416
3417    function vec_sll
3418      (A : vector_signed_short;
3419       B : vector_unsigned_char) return vector_signed_short;
3420
3421    function vec_sll
3422      (A : vector_unsigned_short;
3423       B : vector_unsigned_int) return vector_unsigned_short;
3424
3425    function vec_sll
3426      (A : vector_unsigned_short;
3427       B : vector_unsigned_short) return vector_unsigned_short;
3428
3429    function vec_sll
3430      (A : vector_unsigned_short;
3431       B : vector_unsigned_char) return vector_unsigned_short;
3432
3433    function vec_sll
3434      (A : vector_bool_short;
3435       B : vector_unsigned_int) return vector_bool_short;
3436
3437    function vec_sll
3438      (A : vector_bool_short;
3439       B : vector_unsigned_short) return vector_bool_short;
3440
3441    function vec_sll
3442      (A : vector_bool_short;
3443       B : vector_unsigned_char) return vector_bool_short;
3444
3445    function vec_sll
3446      (A : vector_pixel;
3447       B : vector_unsigned_int) return vector_pixel;
3448
3449    function vec_sll
3450      (A : vector_pixel;
3451       B : vector_unsigned_short) return vector_pixel;
3452
3453    function vec_sll
3454      (A : vector_pixel;
3455       B : vector_unsigned_char) return vector_pixel;
3456
3457    function vec_sll
3458      (A : vector_signed_char;
3459       B : vector_unsigned_int) return vector_signed_char;
3460
3461    function vec_sll
3462      (A : vector_signed_char;
3463       B : vector_unsigned_short) return vector_signed_char;
3464
3465    function vec_sll
3466      (A : vector_signed_char;
3467       B : vector_unsigned_char) return vector_signed_char;
3468
3469    function vec_sll
3470      (A : vector_unsigned_char;
3471       B : vector_unsigned_int) return vector_unsigned_char;
3472
3473    function vec_sll
3474      (A : vector_unsigned_char;
3475       B : vector_unsigned_short) return vector_unsigned_char;
3476
3477    function vec_sll
3478      (A : vector_unsigned_char;
3479       B : vector_unsigned_char) return vector_unsigned_char;
3480
3481    function vec_sll
3482      (A : vector_bool_char;
3483       B : vector_unsigned_int) return vector_bool_char;
3484
3485    function vec_sll
3486      (A : vector_bool_char;
3487       B : vector_unsigned_short) return vector_bool_char;
3488
3489    function vec_sll
3490      (A : vector_bool_char;
3491       B : vector_unsigned_char) return vector_bool_char;
3492
3493    -------------
3494    -- vec_slo --
3495    -------------
3496
3497    function vec_slo
3498      (A : vector_float;
3499       B : vector_signed_char) return vector_float;
3500
3501    function vec_slo
3502      (A : vector_float;
3503       B : vector_unsigned_char) return vector_float;
3504
3505    function vec_slo
3506      (A : vector_signed_int;
3507       B : vector_signed_char) return vector_signed_int;
3508
3509    function vec_slo
3510      (A : vector_signed_int;
3511       B : vector_unsigned_char) return vector_signed_int;
3512
3513    function vec_slo
3514      (A : vector_unsigned_int;
3515       B : vector_signed_char) return vector_unsigned_int;
3516
3517    function vec_slo
3518      (A : vector_unsigned_int;
3519       B : vector_unsigned_char) return vector_unsigned_int;
3520
3521    function vec_slo
3522      (A : vector_signed_short;
3523       B : vector_signed_char) return vector_signed_short;
3524
3525    function vec_slo
3526      (A : vector_signed_short;
3527       B : vector_unsigned_char) return vector_signed_short;
3528
3529    function vec_slo
3530      (A : vector_unsigned_short;
3531       B : vector_signed_char) return vector_unsigned_short;
3532
3533    function vec_slo
3534      (A : vector_unsigned_short;
3535       B : vector_unsigned_char) return vector_unsigned_short;
3536
3537    function vec_slo
3538      (A : vector_pixel;
3539       B : vector_signed_char) return vector_pixel;
3540
3541    function vec_slo
3542      (A : vector_pixel;
3543       B : vector_unsigned_char) return vector_pixel;
3544
3545    function vec_slo
3546      (A : vector_signed_char;
3547       B : vector_signed_char) return vector_signed_char;
3548
3549    function vec_slo
3550      (A : vector_signed_char;
3551       B : vector_unsigned_char) return vector_signed_char;
3552
3553    function vec_slo
3554      (A : vector_unsigned_char;
3555       B : vector_signed_char) return vector_unsigned_char;
3556
3557    function vec_slo
3558      (A : vector_unsigned_char;
3559       B : vector_unsigned_char) return vector_unsigned_char;
3560
3561    ----------------
3562    -- vec_vspltw --
3563    ----------------
3564
3565    function vec_vspltw
3566      (A : vector_float;
3567       B : c_int) return vector_float;
3568
3569    function vec_vspltw
3570      (A : vector_unsigned_int;
3571       B : c_int) return vector_unsigned_int;
3572
3573    function vec_vspltw
3574      (A : vector_bool_int;
3575       B : c_int) return vector_bool_int;
3576    pragma Inline_Always (vec_vspltw);
3577    pragma Convention (Intrinsic, vec_vspltw);
3578
3579    function vec_vspltw
3580      (A : vector_signed_int;
3581       B : c_int) return vector_signed_int
3582    renames Low_Level_Vectors.vspltw;
3583
3584    ----------------
3585    -- vec_vsplth --
3586    ----------------
3587
3588    function vec_vsplth
3589      (A : vector_bool_short;
3590       B : c_int) return vector_bool_short;
3591
3592    function vec_vsplth
3593      (A : vector_unsigned_short;
3594       B : c_int) return vector_unsigned_short;
3595
3596    function vec_vsplth
3597      (A : vector_pixel;
3598       B : c_int) return vector_pixel;
3599    pragma Inline_Always (vec_vsplth);
3600    pragma Convention (Intrinsic, vec_vsplth);
3601
3602    function vec_vsplth
3603      (A : vector_signed_short;
3604       B : c_int) return vector_signed_short
3605    renames Low_Level_Vectors.vsplth;
3606
3607    ----------------
3608    -- vec_vspltb --
3609    ----------------
3610
3611    function vec_vspltb
3612      (A : vector_unsigned_char;
3613       B : c_int) return vector_unsigned_char;
3614
3615    function vec_vspltb
3616      (A : vector_bool_char;
3617       B : c_int) return vector_bool_char;
3618    pragma Inline_Always (vec_vspltb);
3619    pragma Convention (Intrinsic, vec_vspltb);
3620
3621    function vec_vspltb
3622      (A : vector_signed_char;
3623       B : c_int) return vector_signed_char
3624    renames Low_Level_Vectors.vspltb;
3625
3626    ------------------
3627    -- vec_vspltisb --
3628    ------------------
3629
3630    function vec_vspltisb
3631      (A : c_int) return vector_signed_char
3632    renames Low_Level_Vectors.vspltisb;
3633
3634    ------------------
3635    -- vec_vspltish --
3636    ------------------
3637
3638    function vec_vspltish
3639      (A : c_int) return vector_signed_short
3640    renames Low_Level_Vectors.vspltish;
3641
3642    ------------------
3643    -- vec_vspltisw --
3644    ------------------
3645
3646    function vec_vspltisw
3647      (A : c_int) return vector_signed_int
3648      renames Low_Level_Vectors.vspltisw;
3649
3650    ------------
3651    -- vec_sr --
3652    ------------
3653
3654    function vec_sr
3655      (A : vector_signed_char;
3656       B : vector_unsigned_char) return vector_signed_char;
3657
3658    function vec_sr
3659      (A : vector_unsigned_char;
3660       B : vector_unsigned_char) return vector_unsigned_char;
3661
3662    function vec_sr
3663      (A : vector_signed_short;
3664       B : vector_unsigned_short) return vector_signed_short;
3665
3666    function vec_sr
3667      (A : vector_unsigned_short;
3668       B : vector_unsigned_short) return vector_unsigned_short;
3669
3670    function vec_sr
3671      (A : vector_signed_int;
3672       B : vector_unsigned_int) return vector_signed_int;
3673
3674    function vec_sr
3675      (A : vector_unsigned_int;
3676       B : vector_unsigned_int) return vector_unsigned_int;
3677
3678    --------------
3679    -- vec_vsrw --
3680    --------------
3681
3682    function vec_vsrw
3683      (A : vector_signed_int;
3684       B : vector_unsigned_int) return vector_signed_int;
3685
3686    function vec_vsrw
3687      (A : vector_unsigned_int;
3688       B : vector_unsigned_int) return vector_unsigned_int;
3689
3690    --------------
3691    -- vec_vsrh --
3692    --------------
3693
3694    function vec_vsrh
3695      (A : vector_signed_short;
3696       B : vector_unsigned_short) return vector_signed_short;
3697
3698    function vec_vsrh
3699      (A : vector_unsigned_short;
3700       B : vector_unsigned_short) return vector_unsigned_short;
3701
3702    --------------
3703    -- vec_vsrb --
3704    --------------
3705
3706    function vec_vsrb
3707      (A : vector_signed_char;
3708       B : vector_unsigned_char) return vector_signed_char;
3709
3710    function vec_vsrb
3711      (A : vector_unsigned_char;
3712       B : vector_unsigned_char) return vector_unsigned_char;
3713
3714    -------------
3715    -- vec_sra --
3716    -------------
3717
3718    function vec_sra
3719      (A : vector_signed_char;
3720       B : vector_unsigned_char) return vector_signed_char;
3721
3722    function vec_sra
3723      (A : vector_unsigned_char;
3724       B : vector_unsigned_char) return vector_unsigned_char;
3725
3726    function vec_sra
3727      (A : vector_signed_short;
3728       B : vector_unsigned_short) return vector_signed_short;
3729
3730    function vec_sra
3731      (A : vector_unsigned_short;
3732       B : vector_unsigned_short) return vector_unsigned_short;
3733
3734    function vec_sra
3735      (A : vector_signed_int;
3736       B : vector_unsigned_int) return vector_signed_int;
3737
3738    function vec_sra
3739      (A : vector_unsigned_int;
3740       B : vector_unsigned_int) return vector_unsigned_int;
3741
3742    ---------------
3743    -- vec_vsraw --
3744    ---------------
3745
3746    function vec_vsraw
3747      (A : vector_signed_int;
3748       B : vector_unsigned_int) return vector_signed_int;
3749
3750    function vec_vsraw
3751      (A : vector_unsigned_int;
3752       B : vector_unsigned_int) return vector_unsigned_int;
3753
3754    function vec_vsrah
3755      (A : vector_signed_short;
3756       B : vector_unsigned_short) return vector_signed_short;
3757
3758    function vec_vsrah
3759      (A : vector_unsigned_short;
3760       B : vector_unsigned_short) return vector_unsigned_short;
3761
3762    function vec_vsrab
3763      (A : vector_signed_char;
3764       B : vector_unsigned_char) return vector_signed_char;
3765
3766    function vec_vsrab
3767      (A : vector_unsigned_char;
3768       B : vector_unsigned_char) return vector_unsigned_char;
3769
3770    -------------
3771    -- vec_srl --
3772    -------------
3773
3774    function vec_srl
3775      (A : vector_signed_int;
3776       B : vector_unsigned_int) return vector_signed_int;
3777
3778    function vec_srl
3779      (A : vector_signed_int;
3780       B : vector_unsigned_short) return vector_signed_int;
3781
3782    function vec_srl
3783      (A : vector_signed_int;
3784       B : vector_unsigned_char) return vector_signed_int;
3785
3786    function vec_srl
3787      (A : vector_unsigned_int;
3788       B : vector_unsigned_int) return vector_unsigned_int;
3789
3790    function vec_srl
3791      (A : vector_unsigned_int;
3792       B : vector_unsigned_short) return vector_unsigned_int;
3793
3794    function vec_srl
3795      (A : vector_unsigned_int;
3796       B : vector_unsigned_char) return vector_unsigned_int;
3797
3798    function vec_srl
3799      (A : vector_bool_int;
3800       B : vector_unsigned_int) return vector_bool_int;
3801
3802    function vec_srl
3803      (A : vector_bool_int;
3804       B : vector_unsigned_short) return vector_bool_int;
3805
3806    function vec_srl
3807      (A : vector_bool_int;
3808       B : vector_unsigned_char) return vector_bool_int;
3809
3810    function vec_srl
3811      (A : vector_signed_short;
3812       B : vector_unsigned_int) return vector_signed_short;
3813
3814    function vec_srl
3815      (A : vector_signed_short;
3816       B : vector_unsigned_short) return vector_signed_short;
3817
3818    function vec_srl
3819      (A : vector_signed_short;
3820       B : vector_unsigned_char) return vector_signed_short;
3821
3822    function vec_srl
3823      (A : vector_unsigned_short;
3824       B : vector_unsigned_int) return vector_unsigned_short;
3825
3826    function vec_srl
3827      (A : vector_unsigned_short;
3828       B : vector_unsigned_short) return vector_unsigned_short;
3829
3830    function vec_srl
3831      (A : vector_unsigned_short;
3832       B : vector_unsigned_char) return vector_unsigned_short;
3833
3834    function vec_srl
3835      (A : vector_bool_short;
3836       B : vector_unsigned_int) return vector_bool_short;
3837
3838    function vec_srl
3839      (A : vector_bool_short;
3840       B : vector_unsigned_short) return vector_bool_short;
3841
3842    function vec_srl
3843      (A : vector_bool_short;
3844       B : vector_unsigned_char) return vector_bool_short;
3845
3846    function vec_srl
3847      (A : vector_pixel;
3848       B : vector_unsigned_int) return vector_pixel;
3849
3850    function vec_srl
3851      (A : vector_pixel;
3852       B : vector_unsigned_short) return vector_pixel;
3853
3854    function vec_srl
3855      (A : vector_pixel;
3856       B : vector_unsigned_char) return vector_pixel;
3857
3858    function vec_srl
3859      (A : vector_signed_char;
3860       B : vector_unsigned_int) return vector_signed_char;
3861
3862    function vec_srl
3863      (A : vector_signed_char;
3864       B : vector_unsigned_short) return vector_signed_char;
3865
3866    function vec_srl
3867      (A : vector_signed_char;
3868       B : vector_unsigned_char) return vector_signed_char;
3869
3870    function vec_srl
3871      (A : vector_unsigned_char;
3872       B : vector_unsigned_int) return vector_unsigned_char;
3873
3874    function vec_srl
3875      (A : vector_unsigned_char;
3876       B : vector_unsigned_short) return vector_unsigned_char;
3877
3878    function vec_srl
3879      (A : vector_unsigned_char;
3880       B : vector_unsigned_char) return vector_unsigned_char;
3881
3882    function vec_srl
3883      (A : vector_bool_char;
3884       B : vector_unsigned_int) return vector_bool_char;
3885
3886    function vec_srl
3887      (A : vector_bool_char;
3888       B : vector_unsigned_short) return vector_bool_char;
3889
3890    function vec_srl
3891      (A : vector_bool_char;
3892       B : vector_unsigned_char) return vector_bool_char;
3893
3894    function vec_sro
3895      (A : vector_float;
3896       B : vector_signed_char) return vector_float;
3897
3898    function vec_sro
3899      (A : vector_float;
3900       B : vector_unsigned_char) return vector_float;
3901
3902    function vec_sro
3903      (A : vector_signed_int;
3904       B : vector_signed_char) return vector_signed_int;
3905
3906    function vec_sro
3907      (A : vector_signed_int;
3908       B : vector_unsigned_char) return vector_signed_int;
3909
3910    function vec_sro
3911      (A : vector_unsigned_int;
3912       B : vector_signed_char) return vector_unsigned_int;
3913
3914    function vec_sro
3915      (A : vector_unsigned_int;
3916       B : vector_unsigned_char) return vector_unsigned_int;
3917
3918    function vec_sro
3919      (A : vector_signed_short;
3920       B : vector_signed_char) return vector_signed_short;
3921
3922    function vec_sro
3923      (A : vector_signed_short;
3924       B : vector_unsigned_char) return vector_signed_short;
3925
3926    function vec_sro
3927      (A : vector_unsigned_short;
3928       B : vector_signed_char) return vector_unsigned_short;
3929
3930    function vec_sro
3931      (A : vector_unsigned_short;
3932       B : vector_unsigned_char) return vector_unsigned_short;
3933
3934    function vec_sro
3935      (A : vector_pixel;
3936       B : vector_signed_char) return vector_pixel;
3937
3938    function vec_sro
3939      (A : vector_pixel;
3940       B : vector_unsigned_char) return vector_pixel;
3941
3942    function vec_sro
3943      (A : vector_signed_char;
3944       B : vector_signed_char) return vector_signed_char;
3945
3946    function vec_sro
3947      (A : vector_signed_char;
3948       B : vector_unsigned_char) return vector_signed_char;
3949
3950    function vec_sro
3951      (A : vector_unsigned_char;
3952       B : vector_signed_char) return vector_unsigned_char;
3953
3954    function vec_sro
3955      (A : vector_unsigned_char;
3956       B : vector_unsigned_char) return vector_unsigned_char;
3957
3958    procedure vec_st
3959      (A : vector_float;
3960       B : c_int;
3961       C : vector_float_ptr);
3962
3963    procedure vec_st
3964      (A : vector_float;
3965       B : c_int;
3966       C : float_ptr);
3967
3968    procedure vec_st
3969      (A : vector_signed_int;
3970       B : c_int;
3971       C : vector_signed_int_ptr);
3972
3973    procedure vec_st
3974      (A : vector_signed_int;
3975       B : c_int;
3976       C : int_ptr);
3977
3978    procedure vec_st
3979      (A : vector_unsigned_int;
3980       B : c_int;
3981       C : vector_unsigned_int_ptr);
3982
3983    procedure vec_st
3984      (A : vector_unsigned_int;
3985       B : c_int;
3986       C : unsigned_int_ptr);
3987
3988    procedure vec_st
3989      (A : vector_bool_int;
3990       B : c_int;
3991       C : vector_bool_int_ptr);
3992
3993    procedure vec_st
3994      (A : vector_bool_int;
3995       B : c_int;
3996       C : unsigned_int_ptr);
3997
3998    procedure vec_st
3999      (A : vector_bool_int;
4000       B : c_int;
4001       C : int_ptr);
4002
4003    procedure vec_st
4004      (A : vector_signed_short;
4005       B : c_int;
4006       C : vector_signed_short_ptr);
4007
4008    procedure vec_st
4009      (A : vector_signed_short;
4010       B : c_int;
4011       C : short_ptr);
4012
4013    procedure vec_st
4014      (A : vector_unsigned_short;
4015       B : c_int;
4016       C : vector_unsigned_short_ptr);
4017
4018    procedure vec_st
4019      (A : vector_unsigned_short;
4020       B : c_int;
4021       C : unsigned_short_ptr);
4022
4023    procedure vec_st
4024      (A : vector_bool_short;
4025       B : c_int;
4026       C : vector_bool_short_ptr);
4027
4028    procedure vec_st
4029      (A : vector_bool_short;
4030       B : c_int;
4031       C : unsigned_short_ptr);
4032
4033    procedure vec_st
4034      (A : vector_pixel;
4035       B : c_int;
4036       C : vector_pixel_ptr);
4037
4038    procedure vec_st
4039      (A : vector_pixel;
4040       B : c_int;
4041       C : unsigned_short_ptr);
4042
4043    procedure vec_st
4044      (A : vector_pixel;
4045       B : c_int;
4046       C : short_ptr);
4047
4048    procedure vec_st
4049      (A : vector_bool_short;
4050       B : c_int;
4051       C : short_ptr);
4052
4053    procedure vec_st
4054      (A : vector_signed_char;
4055       B : c_int;
4056       C : vector_signed_char_ptr);
4057
4058    procedure vec_st
4059      (A : vector_signed_char;
4060       B : c_int;
4061       C : signed_char_ptr);
4062
4063    procedure vec_st
4064      (A : vector_unsigned_char;
4065       B : c_int;
4066       C : vector_unsigned_char_ptr);
4067
4068    procedure vec_st
4069      (A : vector_unsigned_char;
4070       B : c_int;
4071       C : unsigned_char_ptr);
4072
4073    procedure vec_st
4074      (A : vector_bool_char;
4075       B : c_int;
4076       C : vector_bool_char_ptr);
4077
4078    procedure vec_st
4079      (A : vector_bool_char;
4080       B : c_int;
4081       C : unsigned_char_ptr);
4082
4083    procedure vec_st
4084      (A : vector_bool_char;
4085       B : c_int;
4086       C : signed_char_ptr);
4087
4088    -------------
4089    -- vec_ste --
4090    -------------
4091
4092    procedure vec_ste
4093      (A : vector_signed_char;
4094       B : c_int;
4095       C : signed_char_ptr);
4096
4097    procedure vec_ste
4098      (A : vector_unsigned_char;
4099       B : c_int;
4100       C : unsigned_char_ptr);
4101
4102    procedure vec_ste
4103      (A : vector_bool_char;
4104       B : c_int;
4105       C : signed_char_ptr);
4106
4107    procedure vec_ste
4108      (A : vector_bool_char;
4109       B : c_int;
4110       C : unsigned_char_ptr);
4111
4112    procedure vec_ste
4113      (A : vector_signed_short;
4114       B : c_int;
4115       C : short_ptr);
4116
4117    procedure vec_ste
4118      (A : vector_unsigned_short;
4119       B : c_int;
4120       C : unsigned_short_ptr);
4121
4122    procedure vec_ste
4123      (A : vector_bool_short;
4124       B : c_int;
4125       C : short_ptr);
4126
4127    procedure vec_ste
4128      (A : vector_bool_short;
4129       B : c_int;
4130       C : unsigned_short_ptr);
4131
4132    procedure vec_ste
4133      (A : vector_pixel;
4134       B : c_int;
4135       C : short_ptr);
4136
4137    procedure vec_ste
4138      (A : vector_pixel;
4139       B : c_int;
4140       C : unsigned_short_ptr);
4141
4142    procedure vec_ste
4143      (A : vector_float;
4144       B : c_int;
4145       C : float_ptr);
4146
4147    procedure vec_ste
4148      (A : vector_signed_int;
4149       B : c_int;
4150       C : int_ptr);
4151
4152    procedure vec_ste
4153      (A : vector_unsigned_int;
4154       B : c_int;
4155       C : unsigned_int_ptr);
4156
4157    procedure vec_ste
4158      (A : vector_bool_int;
4159       B : c_int;
4160       C : int_ptr);
4161
4162    procedure vec_ste
4163      (A : vector_bool_int;
4164       B : c_int;
4165       C : unsigned_int_ptr);
4166
4167    ----------------
4168    -- vec_stvewx --
4169    ----------------
4170
4171    procedure vec_stvewx
4172      (A : vector_float;
4173       B : c_int;
4174       C : float_ptr);
4175
4176    procedure vec_stvewx
4177      (A : vector_signed_int;
4178       B : c_int;
4179       C : int_ptr);
4180
4181    procedure vec_stvewx
4182      (A : vector_unsigned_int;
4183       B : c_int;
4184       C : unsigned_int_ptr);
4185
4186    procedure vec_stvewx
4187      (A : vector_bool_int;
4188       B : c_int;
4189       C : int_ptr);
4190
4191    procedure vec_stvewx
4192      (A : vector_bool_int;
4193       B : c_int;
4194       C : unsigned_int_ptr);
4195
4196    procedure vec_stvehx
4197      (A : vector_signed_short;
4198       B : c_int;
4199       C : short_ptr);
4200
4201    procedure vec_stvehx
4202      (A : vector_unsigned_short;
4203       B : c_int;
4204       C : unsigned_short_ptr);
4205
4206    procedure vec_stvehx
4207      (A : vector_bool_short;
4208       B : c_int;
4209       C : short_ptr);
4210
4211    procedure vec_stvehx
4212      (A : vector_bool_short;
4213       B : c_int;
4214       C : unsigned_short_ptr);
4215
4216    procedure vec_stvehx
4217      (A : vector_pixel;
4218       B : c_int;
4219       C : short_ptr);
4220
4221    procedure vec_stvehx
4222      (A : vector_pixel;
4223       B : c_int;
4224       C : unsigned_short_ptr);
4225
4226    procedure vec_stvebx
4227      (A : vector_signed_char;
4228       B : c_int;
4229       C : signed_char_ptr);
4230
4231    procedure vec_stvebx
4232      (A : vector_unsigned_char;
4233       B : c_int;
4234       C : unsigned_char_ptr);
4235
4236    procedure vec_stvebx
4237      (A : vector_bool_char;
4238       B : c_int;
4239       C : signed_char_ptr);
4240
4241    procedure vec_stvebx
4242      (A : vector_bool_char;
4243       B : c_int;
4244       C : unsigned_char_ptr);
4245
4246    procedure vec_stl
4247      (A : vector_float;
4248       B : c_int;
4249       C : vector_float_ptr);
4250
4251    procedure vec_stl
4252      (A : vector_float;
4253       B : c_int;
4254       C : float_ptr);
4255
4256    procedure vec_stl
4257      (A : vector_signed_int;
4258       B : c_int;
4259       C : vector_signed_int_ptr);
4260
4261    procedure vec_stl
4262      (A : vector_signed_int;
4263       B : c_int;
4264       C : int_ptr);
4265
4266    procedure vec_stl
4267      (A : vector_unsigned_int;
4268       B : c_int;
4269       C : vector_unsigned_int_ptr);
4270
4271    procedure vec_stl
4272      (A : vector_unsigned_int;
4273       B : c_int;
4274       C : unsigned_int_ptr);
4275
4276    procedure vec_stl
4277      (A : vector_bool_int;
4278       B : c_int;
4279       C : vector_bool_int_ptr);
4280
4281    procedure vec_stl
4282      (A : vector_bool_int;
4283       B : c_int;
4284       C : unsigned_int_ptr);
4285
4286    procedure vec_stl
4287      (A : vector_bool_int;
4288       B : c_int;
4289       C : int_ptr);
4290
4291    procedure vec_stl
4292      (A : vector_signed_short;
4293       B : c_int;
4294       C : vector_signed_short_ptr);
4295
4296    procedure vec_stl
4297      (A : vector_signed_short;
4298       B : c_int;
4299       C : short_ptr);
4300
4301    procedure vec_stl
4302      (A : vector_unsigned_short;
4303       B : c_int;
4304       C : vector_unsigned_short_ptr);
4305
4306    procedure vec_stl
4307      (A : vector_unsigned_short;
4308       B : c_int;
4309       C : unsigned_short_ptr);
4310
4311    procedure vec_stl
4312      (A : vector_bool_short;
4313       B : c_int;
4314       C : vector_bool_short_ptr);
4315
4316    procedure vec_stl
4317      (A : vector_bool_short;
4318       B : c_int;
4319       C : unsigned_short_ptr);
4320
4321    procedure vec_stl
4322      (A : vector_bool_short;
4323       B : c_int;
4324       C : short_ptr);
4325
4326    procedure vec_stl
4327      (A : vector_pixel;
4328       B : c_int;
4329       C : vector_pixel_ptr);
4330
4331    procedure vec_stl
4332      (A : vector_pixel;
4333       B : c_int;
4334       C : unsigned_short_ptr);
4335
4336    procedure vec_stl
4337      (A : vector_pixel;
4338       B : c_int;
4339       C : short_ptr);
4340
4341    procedure vec_stl
4342      (A : vector_signed_char;
4343       B : c_int;
4344       C : vector_signed_char_ptr);
4345
4346    procedure vec_stl
4347      (A : vector_signed_char;
4348       B : c_int;
4349       C : signed_char_ptr);
4350
4351    procedure vec_stl
4352      (A : vector_unsigned_char;
4353       B : c_int;
4354       C : vector_unsigned_char_ptr);
4355
4356    procedure vec_stl
4357      (A : vector_unsigned_char;
4358       B : c_int;
4359       C : unsigned_char_ptr);
4360
4361    procedure vec_stl
4362      (A : vector_bool_char;
4363       B : c_int;
4364       C : vector_bool_char_ptr);
4365
4366    procedure vec_stl
4367      (A : vector_bool_char;
4368       B : c_int;
4369       C : unsigned_char_ptr);
4370
4371    procedure vec_stl
4372      (A : vector_bool_char;
4373       B : c_int;
4374       C : signed_char_ptr);
4375
4376    -------------
4377    -- vec_sub --
4378    -------------
4379
4380    function vec_sub
4381      (A : vector_bool_char;
4382       B : vector_signed_char) return vector_signed_char;
4383
4384    function vec_sub
4385      (A : vector_signed_char;
4386       B : vector_bool_char) return vector_signed_char;
4387
4388    function vec_sub
4389      (A : vector_signed_char;
4390       B : vector_signed_char) return vector_signed_char;
4391
4392    function vec_sub
4393      (A : vector_bool_char;
4394       B : vector_unsigned_char) return vector_unsigned_char;
4395
4396    function vec_sub
4397      (A : vector_unsigned_char;
4398       B : vector_bool_char) return vector_unsigned_char;
4399
4400    function vec_sub
4401      (A : vector_unsigned_char;
4402       B : vector_unsigned_char) return vector_unsigned_char;
4403
4404    function vec_sub
4405      (A : vector_bool_short;
4406       B : vector_signed_short) return vector_signed_short;
4407
4408    function vec_sub
4409      (A : vector_signed_short;
4410       B : vector_bool_short) return vector_signed_short;
4411
4412    function vec_sub
4413      (A : vector_signed_short;
4414       B : vector_signed_short) return vector_signed_short;
4415
4416    function vec_sub
4417      (A : vector_bool_short;
4418       B : vector_unsigned_short) return vector_unsigned_short;
4419
4420    function vec_sub
4421      (A : vector_unsigned_short;
4422       B : vector_bool_short) return vector_unsigned_short;
4423
4424    function vec_sub
4425      (A : vector_unsigned_short;
4426       B : vector_unsigned_short) return vector_unsigned_short;
4427
4428    function vec_sub
4429      (A : vector_bool_int;
4430       B : vector_signed_int) return vector_signed_int;
4431
4432    function vec_sub
4433      (A : vector_signed_int;
4434       B : vector_bool_int) return vector_signed_int;
4435
4436    function vec_sub
4437      (A : vector_signed_int;
4438       B : vector_signed_int) return vector_signed_int;
4439
4440    function vec_sub
4441      (A : vector_bool_int;
4442       B : vector_unsigned_int) return vector_unsigned_int;
4443
4444    function vec_sub
4445      (A : vector_unsigned_int;
4446       B : vector_bool_int) return vector_unsigned_int;
4447
4448    function vec_sub
4449      (A : vector_unsigned_int;
4450       B : vector_unsigned_int) return vector_unsigned_int;
4451
4452    function vec_sub
4453      (A : vector_float;
4454       B : vector_float) return vector_float;
4455
4456    ----------------
4457    -- vec_vsubfp --
4458    ----------------
4459
4460    function vec_vsubfp
4461      (A : vector_float;
4462       B : vector_float) return vector_float;
4463
4464    -----------------
4465    -- vec_vsubuwm --
4466    -----------------
4467
4468    function vec_vsubuwm
4469      (A : vector_bool_int;
4470       B : vector_signed_int) return vector_signed_int;
4471
4472    function vec_vsubuwm
4473      (A : vector_signed_int;
4474       B : vector_bool_int) return vector_signed_int;
4475
4476    function vec_vsubuwm
4477      (A : vector_signed_int;
4478       B : vector_signed_int) return vector_signed_int;
4479
4480    function vec_vsubuwm
4481      (A : vector_bool_int;
4482       B : vector_unsigned_int) return vector_unsigned_int;
4483
4484    function vec_vsubuwm
4485      (A : vector_unsigned_int;
4486       B : vector_bool_int) return vector_unsigned_int;
4487
4488    function vec_vsubuwm
4489      (A : vector_unsigned_int;
4490       B : vector_unsigned_int) return vector_unsigned_int;
4491
4492    -----------------
4493    -- vec_vsubuhm --
4494    -----------------
4495
4496    function vec_vsubuhm
4497      (A : vector_bool_short;
4498       B : vector_signed_short) return vector_signed_short;
4499
4500    function vec_vsubuhm
4501      (A : vector_signed_short;
4502       B : vector_bool_short) return vector_signed_short;
4503
4504    function vec_vsubuhm
4505      (A : vector_signed_short;
4506       B : vector_signed_short) return vector_signed_short;
4507
4508    function vec_vsubuhm
4509      (A : vector_bool_short;
4510       B : vector_unsigned_short) return vector_unsigned_short;
4511
4512    function vec_vsubuhm
4513      (A : vector_unsigned_short;
4514       B : vector_bool_short) return vector_unsigned_short;
4515
4516    function vec_vsubuhm
4517      (A : vector_unsigned_short;
4518       B : vector_unsigned_short) return vector_unsigned_short;
4519
4520    -----------------
4521    -- vec_vsububm --
4522    -----------------
4523
4524    function vec_vsububm
4525      (A : vector_bool_char;
4526       B : vector_signed_char) return vector_signed_char;
4527
4528    function vec_vsububm
4529      (A : vector_signed_char;
4530       B : vector_bool_char) return vector_signed_char;
4531
4532    function vec_vsububm
4533      (A : vector_signed_char;
4534       B : vector_signed_char) return vector_signed_char;
4535
4536    function vec_vsububm
4537      (A : vector_bool_char;
4538       B : vector_unsigned_char) return vector_unsigned_char;
4539
4540    function vec_vsububm
4541      (A : vector_unsigned_char;
4542       B : vector_bool_char) return vector_unsigned_char;
4543
4544    function vec_vsububm
4545      (A : vector_unsigned_char;
4546       B : vector_unsigned_char) return vector_unsigned_char;
4547
4548    --------------
4549    -- vec_subc --
4550    --------------
4551
4552    function vec_subc
4553      (A : vector_unsigned_int;
4554       B : vector_unsigned_int) return vector_unsigned_int;
4555
4556    --------------
4557    -- vec_subs --
4558    --------------
4559
4560    function vec_subs
4561      (A : vector_bool_char;
4562       B : vector_unsigned_char) return vector_unsigned_char;
4563
4564    function vec_subs
4565      (A : vector_unsigned_char;
4566       B : vector_bool_char) return vector_unsigned_char;
4567
4568    function vec_subs
4569      (A : vector_unsigned_char;
4570       B : vector_unsigned_char) return vector_unsigned_char;
4571
4572    function vec_subs
4573      (A : vector_bool_char;
4574       B : vector_signed_char) return vector_signed_char;
4575
4576    function vec_subs
4577      (A : vector_signed_char;
4578       B : vector_bool_char) return vector_signed_char;
4579
4580    function vec_subs
4581      (A : vector_signed_char;
4582       B : vector_signed_char) return vector_signed_char;
4583
4584    function vec_subs
4585      (A : vector_bool_short;
4586       B : vector_unsigned_short) return vector_unsigned_short;
4587
4588    function vec_subs
4589      (A : vector_unsigned_short;
4590       B : vector_bool_short) return vector_unsigned_short;
4591
4592    function vec_subs
4593      (A : vector_unsigned_short;
4594       B : vector_unsigned_short) return vector_unsigned_short;
4595
4596    function vec_subs
4597      (A : vector_bool_short;
4598       B : vector_signed_short) return vector_signed_short;
4599
4600    function vec_subs
4601      (A : vector_signed_short;
4602       B : vector_bool_short) return vector_signed_short;
4603
4604    function vec_subs
4605      (A : vector_signed_short;
4606       B : vector_signed_short) return vector_signed_short;
4607
4608    function vec_subs
4609      (A : vector_bool_int;
4610       B : vector_unsigned_int) return vector_unsigned_int;
4611
4612    function vec_subs
4613      (A : vector_unsigned_int;
4614       B : vector_bool_int) return vector_unsigned_int;
4615
4616    function vec_subs
4617      (A : vector_unsigned_int;
4618       B : vector_unsigned_int) return vector_unsigned_int;
4619
4620    function vec_subs
4621      (A : vector_bool_int;
4622       B : vector_signed_int) return vector_signed_int;
4623
4624    function vec_subs
4625      (A : vector_signed_int;
4626       B : vector_bool_int) return vector_signed_int;
4627
4628    function vec_subs
4629      (A : vector_signed_int;
4630       B : vector_signed_int) return vector_signed_int;
4631
4632    -----------------
4633    -- vec_vsubsws --
4634    -----------------
4635
4636    function vec_vsubsws
4637      (A : vector_bool_int;
4638       B : vector_signed_int) return vector_signed_int;
4639
4640    function vec_vsubsws
4641      (A : vector_signed_int;
4642       B : vector_bool_int) return vector_signed_int;
4643
4644    function vec_vsubsws
4645      (A : vector_signed_int;
4646       B : vector_signed_int) return vector_signed_int;
4647
4648    -----------------
4649    -- vec_vsubuws --
4650    -----------------
4651
4652    function vec_vsubuws
4653      (A : vector_bool_int;
4654       B : vector_unsigned_int) return vector_unsigned_int;
4655
4656    function vec_vsubuws
4657      (A : vector_unsigned_int;
4658       B : vector_bool_int) return vector_unsigned_int;
4659
4660    function vec_vsubuws
4661      (A : vector_unsigned_int;
4662       B : vector_unsigned_int) return vector_unsigned_int;
4663
4664    -----------------
4665    -- vec_vsubshs --
4666    -----------------
4667
4668    function vec_vsubshs
4669      (A : vector_bool_short;
4670       B : vector_signed_short) return vector_signed_short;
4671
4672    function vec_vsubshs
4673      (A : vector_signed_short;
4674       B : vector_bool_short) return vector_signed_short;
4675
4676    function vec_vsubshs
4677      (A : vector_signed_short;
4678       B : vector_signed_short) return vector_signed_short;
4679
4680    -----------------
4681    -- vec_vsubuhs --
4682    -----------------
4683
4684    function vec_vsubuhs
4685      (A : vector_bool_short;
4686       B : vector_unsigned_short) return vector_unsigned_short;
4687
4688    function vec_vsubuhs
4689      (A : vector_unsigned_short;
4690       B : vector_bool_short) return vector_unsigned_short;
4691
4692    function vec_vsubuhs
4693      (A : vector_unsigned_short;
4694       B : vector_unsigned_short) return vector_unsigned_short;
4695
4696    -----------------
4697    -- vec_vsubsbs --
4698    -----------------
4699
4700    function vec_vsubsbs
4701      (A : vector_bool_char;
4702       B : vector_signed_char) return vector_signed_char;
4703
4704    function vec_vsubsbs
4705      (A : vector_signed_char;
4706       B : vector_bool_char) return vector_signed_char;
4707
4708    function vec_vsubsbs
4709      (A : vector_signed_char;
4710       B : vector_signed_char) return vector_signed_char;
4711
4712    -----------------
4713    -- vec_vsububs --
4714    -----------------
4715
4716    function vec_vsububs
4717      (A : vector_bool_char;
4718       B : vector_unsigned_char) return vector_unsigned_char;
4719
4720    function vec_vsububs
4721      (A : vector_unsigned_char;
4722       B : vector_bool_char) return vector_unsigned_char;
4723
4724    function vec_vsububs
4725      (A : vector_unsigned_char;
4726       B : vector_unsigned_char) return vector_unsigned_char;
4727
4728    ---------------
4729    -- vec_sum4s --
4730    ---------------
4731
4732    function vec_sum4s
4733      (A : vector_unsigned_char;
4734       B : vector_unsigned_int) return vector_unsigned_int;
4735
4736    function vec_sum4s
4737      (A : vector_signed_char;
4738       B : vector_signed_int) return vector_signed_int;
4739
4740    function vec_sum4s
4741      (A : vector_signed_short;
4742       B : vector_signed_int) return vector_signed_int;
4743
4744    ------------------
4745    -- vec_vsum4shs --
4746    ------------------
4747
4748    function vec_vsum4shs
4749      (A : vector_signed_short;
4750       B : vector_signed_int) return vector_signed_int;
4751
4752    ------------------
4753    -- vec_vsum4sbs --
4754    ------------------
4755
4756    function vec_vsum4sbs
4757      (A : vector_signed_char;
4758       B : vector_signed_int) return vector_signed_int;
4759
4760    ------------------
4761    -- vec_vsum4ubs --
4762    ------------------
4763
4764    function vec_vsum4ubs
4765      (A : vector_unsigned_char;
4766       B : vector_unsigned_int) return vector_unsigned_int;
4767
4768    ---------------
4769    -- vec_sum2s --
4770    ---------------
4771
4772    function vec_sum2s
4773      (A : vector_signed_int;
4774       B : vector_signed_int) return vector_signed_int;
4775
4776    --------------
4777    -- vec_sums --
4778    --------------
4779
4780    function vec_sums
4781      (A : vector_signed_int;
4782       B : vector_signed_int) return vector_signed_int;
4783
4784    function vec_trunc
4785      (A : vector_float) return vector_float;
4786
4787    function vec_unpackh
4788      (A : vector_signed_char) return vector_signed_short;
4789
4790    function vec_unpackh
4791      (A : vector_bool_char) return vector_bool_short;
4792
4793    function vec_unpackh
4794      (A : vector_signed_short) return vector_signed_int;
4795
4796    function vec_unpackh
4797      (A : vector_bool_short) return vector_bool_int;
4798
4799    function vec_unpackh
4800      (A : vector_pixel) return vector_unsigned_int;
4801
4802    function vec_vupkhsh
4803      (A : vector_bool_short) return vector_bool_int;
4804
4805    function vec_vupkhsh
4806      (A : vector_signed_short) return vector_signed_int;
4807
4808    function vec_vupkhpx
4809      (A : vector_pixel) return vector_unsigned_int;
4810
4811    function vec_vupkhsb
4812      (A : vector_bool_char) return vector_bool_short;
4813
4814    function vec_vupkhsb
4815      (A : vector_signed_char) return vector_signed_short;
4816
4817    function vec_unpackl
4818      (A : vector_signed_char) return vector_signed_short;
4819
4820    function vec_unpackl
4821      (A : vector_bool_char) return vector_bool_short;
4822
4823    function vec_unpackl
4824      (A : vector_pixel) return vector_unsigned_int;
4825
4826    function vec_unpackl
4827      (A : vector_signed_short) return vector_signed_int;
4828
4829    function vec_unpackl
4830      (A : vector_bool_short) return vector_bool_int;
4831
4832    function vec_vupklpx
4833      (A : vector_pixel) return vector_unsigned_int;
4834
4835    -----------------
4836    -- vec_vupklsh --
4837    -----------------
4838
4839    function vec_vupklsh
4840      (A : vector_bool_short) return vector_bool_int;
4841
4842    function vec_vupklsh
4843      (A : vector_signed_short) return vector_signed_int;
4844
4845    -----------------
4846    -- vec_vupklsb --
4847    -----------------
4848
4849    function vec_vupklsb
4850      (A : vector_bool_char) return vector_bool_short;
4851
4852    function vec_vupklsb
4853      (A : vector_signed_char) return vector_signed_short;
4854
4855    -------------
4856    -- vec_xor --
4857    -------------
4858
4859    function vec_xor
4860      (A : vector_float;
4861       B : vector_float) return vector_float;
4862
4863    function vec_xor
4864      (A : vector_float;
4865       B : vector_bool_int) return vector_float;
4866
4867    function vec_xor
4868      (A : vector_bool_int;
4869       B : vector_float) return vector_float;
4870
4871    function vec_xor
4872      (A : vector_bool_int;
4873       B : vector_bool_int) return vector_bool_int;
4874
4875    function vec_xor
4876      (A : vector_bool_int;
4877       B : vector_signed_int) return vector_signed_int;
4878
4879    function vec_xor
4880      (A : vector_signed_int;
4881       B : vector_bool_int) return vector_signed_int;
4882
4883    function vec_xor
4884      (A : vector_signed_int;
4885       B : vector_signed_int) return vector_signed_int;
4886
4887    function vec_xor
4888      (A : vector_bool_int;
4889       B : vector_unsigned_int) return vector_unsigned_int;
4890
4891    function vec_xor
4892      (A : vector_unsigned_int;
4893       B : vector_bool_int) return vector_unsigned_int;
4894
4895    function vec_xor
4896      (A : vector_unsigned_int;
4897       B : vector_unsigned_int) return vector_unsigned_int;
4898
4899    function vec_xor
4900      (A : vector_bool_short;
4901       B : vector_bool_short) return vector_bool_short;
4902
4903    function vec_xor
4904      (A : vector_bool_short;
4905       B : vector_signed_short) return vector_signed_short;
4906
4907    function vec_xor
4908      (A : vector_signed_short;
4909       B : vector_bool_short) return vector_signed_short;
4910
4911    function vec_xor
4912      (A : vector_signed_short;
4913       B : vector_signed_short) return vector_signed_short;
4914
4915    function vec_xor
4916      (A : vector_bool_short;
4917       B : vector_unsigned_short) return vector_unsigned_short;
4918
4919    function vec_xor
4920      (A : vector_unsigned_short;
4921       B : vector_bool_short) return vector_unsigned_short;
4922
4923    function vec_xor
4924      (A : vector_unsigned_short;
4925       B : vector_unsigned_short) return vector_unsigned_short;
4926
4927    function vec_xor
4928      (A : vector_bool_char;
4929       B : vector_signed_char) return vector_signed_char;
4930
4931    function vec_xor
4932      (A : vector_bool_char;
4933       B : vector_bool_char) return vector_bool_char;
4934
4935    function vec_xor
4936      (A : vector_signed_char;
4937       B : vector_bool_char) return vector_signed_char;
4938
4939    function vec_xor
4940      (A : vector_signed_char;
4941       B : vector_signed_char) return vector_signed_char;
4942
4943    function vec_xor
4944      (A : vector_bool_char;
4945       B : vector_unsigned_char) return vector_unsigned_char;
4946
4947    function vec_xor
4948      (A : vector_unsigned_char;
4949       B : vector_bool_char) return vector_unsigned_char;
4950
4951    function vec_xor
4952      (A : vector_unsigned_char;
4953       B : vector_unsigned_char) return vector_unsigned_char;
4954
4955    -- vec_all_eq --
4956
4957    function vec_all_eq
4958      (A : vector_signed_char;
4959       B : vector_bool_char) return c_int;
4960
4961    function vec_all_eq
4962      (A : vector_signed_char;
4963       B : vector_signed_char) return c_int;
4964
4965    function vec_all_eq
4966      (A : vector_unsigned_char;
4967       B : vector_bool_char) return c_int;
4968
4969    function vec_all_eq
4970      (A : vector_unsigned_char;
4971       B : vector_unsigned_char) return c_int;
4972
4973    function vec_all_eq
4974      (A : vector_bool_char;
4975       B : vector_bool_char) return c_int;
4976
4977    function vec_all_eq
4978      (A : vector_bool_char;
4979       B : vector_unsigned_char) return c_int;
4980
4981    function vec_all_eq
4982      (A : vector_bool_char;
4983       B : vector_signed_char) return c_int;
4984
4985    function vec_all_eq
4986      (A : vector_signed_short;
4987       B : vector_bool_short) return c_int;
4988
4989    function vec_all_eq
4990      (A : vector_signed_short;
4991       B : vector_signed_short) return c_int;
4992
4993    function vec_all_eq
4994      (A : vector_unsigned_short;
4995       B : vector_bool_short) return c_int;
4996
4997    function vec_all_eq
4998      (A : vector_unsigned_short;
4999       B : vector_unsigned_short) return c_int;
5000
5001    function vec_all_eq
5002      (A : vector_bool_short;
5003       B : vector_bool_short) return c_int;
5004
5005    function vec_all_eq
5006      (A : vector_bool_short;
5007       B : vector_unsigned_short) return c_int;
5008
5009    function vec_all_eq
5010      (A : vector_bool_short;
5011       B : vector_signed_short) return c_int;
5012
5013    function vec_all_eq
5014      (A : vector_pixel;
5015       B : vector_pixel) return c_int;
5016
5017    function vec_all_eq
5018      (A : vector_signed_int;
5019       B : vector_bool_int) return c_int;
5020
5021    function vec_all_eq
5022      (A : vector_signed_int;
5023       B : vector_signed_int) return c_int;
5024
5025    function vec_all_eq
5026      (A : vector_unsigned_int;
5027       B : vector_bool_int) return c_int;
5028
5029    function vec_all_eq
5030      (A : vector_unsigned_int;
5031       B : vector_unsigned_int) return c_int;
5032
5033    function vec_all_eq
5034      (A : vector_bool_int;
5035       B : vector_bool_int) return c_int;
5036
5037    function vec_all_eq
5038      (A : vector_bool_int;
5039       B : vector_unsigned_int) return c_int;
5040
5041    function vec_all_eq
5042      (A : vector_bool_int;
5043       B : vector_signed_int) return c_int;
5044
5045    function vec_all_eq
5046      (A : vector_float;
5047       B : vector_float) return c_int;
5048
5049    ----------------
5050    -- vec_all_ge --
5051    ----------------
5052
5053    function vec_all_ge
5054      (A : vector_bool_char;
5055       B : vector_unsigned_char) return c_int;
5056
5057    function vec_all_ge
5058      (A : vector_unsigned_char;
5059       B : vector_bool_char) return c_int;
5060
5061    function vec_all_ge
5062      (A : vector_unsigned_char;
5063       B : vector_unsigned_char) return c_int;
5064
5065    function vec_all_ge
5066      (A : vector_bool_char;
5067       B : vector_signed_char) return c_int;
5068
5069    function vec_all_ge
5070      (A : vector_signed_char;
5071       B : vector_bool_char) return c_int;
5072
5073    function vec_all_ge
5074      (A : vector_signed_char;
5075       B : vector_signed_char) return c_int;
5076
5077    function vec_all_ge
5078      (A : vector_bool_short;
5079       B : vector_unsigned_short) return c_int;
5080
5081    function vec_all_ge
5082      (A : vector_unsigned_short;
5083       B : vector_bool_short) return c_int;
5084
5085    function vec_all_ge
5086      (A : vector_unsigned_short;
5087       B : vector_unsigned_short) return c_int;
5088
5089    function vec_all_ge
5090      (A : vector_signed_short;
5091       B : vector_signed_short) return c_int;
5092
5093    function vec_all_ge
5094      (A : vector_bool_short;
5095       B : vector_signed_short) return c_int;
5096
5097    function vec_all_ge
5098      (A : vector_signed_short;
5099       B : vector_bool_short) return c_int;
5100
5101    function vec_all_ge
5102      (A : vector_bool_int;
5103       B : vector_unsigned_int) return c_int;
5104
5105    function vec_all_ge
5106      (A : vector_unsigned_int;
5107       B : vector_bool_int) return c_int;
5108
5109    function vec_all_ge
5110      (A : vector_unsigned_int;
5111       B : vector_unsigned_int) return c_int;
5112
5113    function vec_all_ge
5114      (A : vector_bool_int;
5115       B : vector_signed_int) return c_int;
5116
5117    function vec_all_ge
5118      (A : vector_signed_int;
5119       B : vector_bool_int) return c_int;
5120
5121    function vec_all_ge
5122      (A : vector_signed_int;
5123       B : vector_signed_int) return c_int;
5124
5125    function vec_all_ge
5126      (A : vector_float;
5127       B : vector_float) return c_int;
5128
5129    ----------------
5130    -- vec_all_gt --
5131    ----------------
5132
5133    function vec_all_gt
5134      (A : vector_bool_char;
5135       B : vector_unsigned_char) return c_int;
5136
5137    function vec_all_gt
5138      (A : vector_unsigned_char;
5139       B : vector_bool_char) return c_int;
5140
5141    function vec_all_gt
5142      (A : vector_unsigned_char;
5143       B : vector_unsigned_char) return c_int;
5144
5145    function vec_all_gt
5146      (A : vector_bool_char;
5147       B : vector_signed_char) return c_int;
5148
5149    function vec_all_gt
5150      (A : vector_signed_char;
5151       B : vector_bool_char) return c_int;
5152
5153    function vec_all_gt
5154      (A : vector_signed_char;
5155       B : vector_signed_char) return c_int;
5156
5157    function vec_all_gt
5158      (A : vector_bool_short;
5159       B : vector_unsigned_short) return c_int;
5160
5161    function vec_all_gt
5162      (A : vector_unsigned_short;
5163       B : vector_bool_short) return c_int;
5164
5165    function vec_all_gt
5166      (A : vector_unsigned_short;
5167       B : vector_unsigned_short) return c_int;
5168
5169    function vec_all_gt
5170      (A : vector_bool_short;
5171       B : vector_signed_short) return c_int;
5172
5173    function vec_all_gt
5174      (A : vector_signed_short;
5175       B : vector_bool_short) return c_int;
5176
5177    function vec_all_gt
5178      (A : vector_signed_short;
5179       B : vector_signed_short) return c_int;
5180
5181    function vec_all_gt
5182      (A : vector_bool_int;
5183       B : vector_unsigned_int) return c_int;
5184
5185    function vec_all_gt
5186      (A : vector_unsigned_int;
5187       B : vector_bool_int) return c_int;
5188
5189    function vec_all_gt
5190      (A : vector_unsigned_int;
5191       B : vector_unsigned_int) return c_int;
5192
5193    function vec_all_gt
5194      (A : vector_bool_int;
5195       B : vector_signed_int) return c_int;
5196
5197    function vec_all_gt
5198      (A : vector_signed_int;
5199       B : vector_bool_int) return c_int;
5200
5201    function vec_all_gt
5202      (A : vector_signed_int;
5203       B : vector_signed_int) return c_int;
5204
5205    function vec_all_gt
5206      (A : vector_float;
5207       B : vector_float) return c_int;
5208
5209    ----------------
5210    -- vec_all_in --
5211    ----------------
5212
5213    function vec_all_in
5214      (A : vector_float;
5215       B : vector_float) return c_int;
5216
5217    ----------------
5218    -- vec_all_le --
5219    ----------------
5220
5221    function vec_all_le
5222      (A : vector_bool_char;
5223       B : vector_unsigned_char) return c_int;
5224
5225    function vec_all_le
5226      (A : vector_unsigned_char;
5227       B : vector_bool_char) return c_int;
5228
5229    function vec_all_le
5230      (A : vector_unsigned_char;
5231       B : vector_unsigned_char) return c_int;
5232
5233    function vec_all_le
5234      (A : vector_bool_char;
5235       B : vector_signed_char) return c_int;
5236
5237    function vec_all_le
5238      (A : vector_signed_char;
5239       B : vector_bool_char) return c_int;
5240
5241    function vec_all_le
5242      (A : vector_signed_char;
5243       B : vector_signed_char) return c_int;
5244
5245    function vec_all_le
5246      (A : vector_bool_short;
5247       B : vector_unsigned_short) return c_int;
5248
5249    function vec_all_le
5250      (A : vector_unsigned_short;
5251       B : vector_bool_short) return c_int;
5252
5253    function vec_all_le
5254      (A : vector_unsigned_short;
5255       B : vector_unsigned_short) return c_int;
5256
5257    function vec_all_le
5258      (A : vector_bool_short;
5259       B : vector_signed_short) return c_int;
5260
5261    function vec_all_le
5262      (A : vector_signed_short;
5263       B : vector_bool_short) return c_int;
5264
5265    function vec_all_le
5266      (A : vector_signed_short;
5267       B : vector_signed_short) return c_int;
5268
5269    function vec_all_le
5270      (A : vector_bool_int;
5271       B : vector_unsigned_int) return c_int;
5272
5273    function vec_all_le
5274      (A : vector_unsigned_int;
5275       B : vector_bool_int) return c_int;
5276
5277    function vec_all_le
5278      (A : vector_unsigned_int;
5279       B : vector_unsigned_int) return c_int;
5280
5281    function vec_all_le
5282      (A : vector_bool_int;
5283       B : vector_signed_int) return c_int;
5284
5285    function vec_all_le
5286      (A : vector_signed_int;
5287       B : vector_bool_int) return c_int;
5288
5289    function vec_all_le
5290      (A : vector_signed_int;
5291       B : vector_signed_int) return c_int;
5292
5293    function vec_all_le
5294      (A : vector_float;
5295       B : vector_float) return c_int;
5296
5297    ----------------
5298    -- vec_all_lt --
5299    ----------------
5300
5301    function vec_all_lt
5302      (A : vector_bool_char;
5303       B : vector_unsigned_char) return c_int;
5304
5305    function vec_all_lt
5306      (A : vector_unsigned_char;
5307       B : vector_bool_char) return c_int;
5308
5309    function vec_all_lt
5310      (A : vector_unsigned_char;
5311       B : vector_unsigned_char) return c_int;
5312
5313    function vec_all_lt
5314      (A : vector_bool_char;
5315       B : vector_signed_char) return c_int;
5316
5317    function vec_all_lt
5318      (A : vector_signed_char;
5319       B : vector_bool_char) return c_int;
5320
5321    function vec_all_lt
5322      (A : vector_signed_char;
5323       B : vector_signed_char) return c_int;
5324
5325    function vec_all_lt
5326      (A : vector_bool_short;
5327       B : vector_unsigned_short) return c_int;
5328
5329    function vec_all_lt
5330      (A : vector_unsigned_short;
5331       B : vector_bool_short) return c_int;
5332
5333    function vec_all_lt
5334      (A : vector_unsigned_short;
5335       B : vector_unsigned_short) return c_int;
5336
5337    function vec_all_lt
5338      (A : vector_bool_short;
5339       B : vector_signed_short) return c_int;
5340
5341    function vec_all_lt
5342      (A : vector_signed_short;
5343       B : vector_bool_short) return c_int;
5344
5345    function vec_all_lt
5346      (A : vector_signed_short;
5347       B : vector_signed_short) return c_int;
5348
5349    function vec_all_lt
5350      (A : vector_bool_int;
5351       B : vector_unsigned_int) return c_int;
5352
5353    function vec_all_lt
5354      (A : vector_unsigned_int;
5355       B : vector_bool_int) return c_int;
5356
5357    function vec_all_lt
5358      (A : vector_unsigned_int;
5359       B : vector_unsigned_int) return c_int;
5360
5361    function vec_all_lt
5362      (A : vector_bool_int;
5363       B : vector_signed_int) return c_int;
5364
5365    function vec_all_lt
5366      (A : vector_signed_int;
5367       B : vector_bool_int) return c_int;
5368
5369    function vec_all_lt
5370      (A : vector_signed_int;
5371       B : vector_signed_int) return c_int;
5372
5373    function vec_all_lt
5374      (A : vector_float;
5375       B : vector_float) return c_int;
5376
5377    -----------------
5378    -- vec_all_nan --
5379    -----------------
5380
5381    function vec_all_nan
5382      (A : vector_float) return c_int;
5383
5384    ----------------
5385    -- vec_all_ne --
5386    ----------------
5387
5388    function vec_all_ne
5389      (A : vector_signed_char;
5390       B : vector_bool_char) return c_int;
5391
5392    function vec_all_ne
5393      (A : vector_signed_char;
5394       B : vector_signed_char) return c_int;
5395
5396    function vec_all_ne
5397      (A : vector_unsigned_char;
5398       B : vector_bool_char) return c_int;
5399
5400    function vec_all_ne
5401      (A : vector_unsigned_char;
5402       B : vector_unsigned_char) return c_int;
5403
5404    function vec_all_ne
5405      (A : vector_bool_char;
5406       B : vector_bool_char) return c_int;
5407
5408    function vec_all_ne
5409      (A : vector_bool_char;
5410       B : vector_unsigned_char) return c_int;
5411
5412    function vec_all_ne
5413      (A : vector_bool_char;
5414       B : vector_signed_char) return c_int;
5415
5416    function vec_all_ne
5417      (A : vector_signed_short;
5418       B : vector_bool_short) return c_int;
5419
5420    function vec_all_ne
5421      (A : vector_signed_short;
5422       B : vector_signed_short) return c_int;
5423
5424    function vec_all_ne
5425      (A : vector_unsigned_short;
5426       B : vector_bool_short) return c_int;
5427
5428    function vec_all_ne
5429      (A : vector_unsigned_short;
5430       B : vector_unsigned_short) return c_int;
5431
5432    function vec_all_ne
5433      (A : vector_bool_short;
5434       B : vector_bool_short) return c_int;
5435
5436    function vec_all_ne
5437      (A : vector_bool_short;
5438       B : vector_unsigned_short) return c_int;
5439
5440    function vec_all_ne
5441      (A : vector_bool_short;
5442       B : vector_signed_short) return c_int;
5443
5444    function vec_all_ne
5445      (A : vector_pixel;
5446       B : vector_pixel) return c_int;
5447
5448    function vec_all_ne
5449      (A : vector_signed_int;
5450       B : vector_bool_int) return c_int;
5451
5452    function vec_all_ne
5453      (A : vector_signed_int;
5454       B : vector_signed_int) return c_int;
5455
5456    function vec_all_ne
5457      (A : vector_unsigned_int;
5458       B : vector_bool_int) return c_int;
5459
5460    function vec_all_ne
5461      (A : vector_unsigned_int;
5462       B : vector_unsigned_int) return c_int;
5463
5464    function vec_all_ne
5465      (A : vector_bool_int;
5466       B : vector_bool_int) return c_int;
5467
5468    function vec_all_ne
5469      (A : vector_bool_int;
5470       B : vector_unsigned_int) return c_int;
5471
5472    function vec_all_ne
5473      (A : vector_bool_int;
5474       B : vector_signed_int) return c_int;
5475
5476    function vec_all_ne
5477      (A : vector_float;
5478       B : vector_float) return c_int;
5479
5480    -----------------
5481    -- vec_all_nge --
5482    -----------------
5483
5484    function vec_all_nge
5485      (A : vector_float;
5486       B : vector_float) return c_int;
5487
5488    -----------------
5489    -- vec_all_ngt --
5490    -----------------
5491
5492    function vec_all_ngt
5493      (A : vector_float;
5494       B : vector_float) return c_int;
5495
5496    -----------------
5497    -- vec_all_nle --
5498    -----------------
5499
5500    function vec_all_nle
5501      (A : vector_float;
5502       B : vector_float) return c_int;
5503
5504    -----------------
5505    -- vec_all_nlt --
5506    -----------------
5507
5508    function vec_all_nlt
5509      (A : vector_float;
5510       B : vector_float) return c_int;
5511
5512    ---------------------
5513    -- vec_all_numeric --
5514    ---------------------
5515
5516    function vec_all_numeric
5517      (A : vector_float) return c_int;
5518
5519    ----------------
5520    -- vec_any_eq --
5521    ----------------
5522
5523    function vec_any_eq
5524      (A : vector_signed_char;
5525       B : vector_bool_char) return c_int;
5526
5527    function vec_any_eq
5528      (A : vector_signed_char;
5529       B : vector_signed_char) return c_int;
5530
5531    function vec_any_eq
5532      (A : vector_unsigned_char;
5533       B : vector_bool_char) return c_int;
5534
5535    function vec_any_eq
5536      (A : vector_unsigned_char;
5537       B : vector_unsigned_char) return c_int;
5538
5539    function vec_any_eq
5540      (A : vector_bool_char;
5541       B : vector_bool_char) return c_int;
5542
5543    function vec_any_eq
5544      (A : vector_bool_char;
5545       B : vector_unsigned_char) return c_int;
5546
5547    function vec_any_eq
5548      (A : vector_bool_char;
5549       B : vector_signed_char) return c_int;
5550
5551    function vec_any_eq
5552      (A : vector_signed_short;
5553       B : vector_bool_short) return c_int;
5554
5555    function vec_any_eq
5556      (A : vector_signed_short;
5557       B : vector_signed_short) return c_int;
5558
5559    function vec_any_eq
5560      (A : vector_unsigned_short;
5561       B : vector_bool_short) return c_int;
5562
5563    function vec_any_eq
5564      (A : vector_unsigned_short;
5565       B : vector_unsigned_short) return c_int;
5566
5567    function vec_any_eq
5568      (A : vector_bool_short;
5569       B : vector_bool_short) return c_int;
5570
5571    function vec_any_eq
5572      (A : vector_bool_short;
5573       B : vector_unsigned_short) return c_int;
5574
5575    function vec_any_eq
5576      (A : vector_bool_short;
5577       B : vector_signed_short) return c_int;
5578
5579    function vec_any_eq
5580      (A : vector_pixel;
5581       B : vector_pixel) return c_int;
5582
5583    function vec_any_eq
5584      (A : vector_signed_int;
5585       B : vector_bool_int) return c_int;
5586
5587    function vec_any_eq
5588      (A : vector_signed_int;
5589       B : vector_signed_int) return c_int;
5590
5591    function vec_any_eq
5592      (A : vector_unsigned_int;
5593       B : vector_bool_int) return c_int;
5594
5595    function vec_any_eq
5596      (A : vector_unsigned_int;
5597       B : vector_unsigned_int) return c_int;
5598
5599    function vec_any_eq
5600      (A : vector_bool_int;
5601       B : vector_bool_int) return c_int;
5602
5603    function vec_any_eq
5604      (A : vector_bool_int;
5605       B : vector_unsigned_int) return c_int;
5606
5607    function vec_any_eq
5608      (A : vector_bool_int;
5609       B : vector_signed_int) return c_int;
5610
5611    function vec_any_eq
5612      (A : vector_float;
5613       B : vector_float) return c_int;
5614
5615    ----------------
5616    -- vec_any_ge --
5617    ----------------
5618
5619    function vec_any_ge
5620      (A : vector_signed_char;
5621       B : vector_bool_char) return c_int;
5622
5623    function vec_any_ge
5624      (A : vector_unsigned_char;
5625       B : vector_bool_char) return c_int;
5626
5627    function vec_any_ge
5628      (A : vector_unsigned_char;
5629       B : vector_unsigned_char) return c_int;
5630
5631    function vec_any_ge
5632      (A : vector_signed_char;
5633       B : vector_signed_char) return c_int;
5634
5635    function vec_any_ge
5636      (A : vector_bool_char;
5637       B : vector_unsigned_char) return c_int;
5638
5639    function vec_any_ge
5640      (A : vector_bool_char;
5641       B : vector_signed_char) return c_int;
5642
5643    function vec_any_ge
5644      (A : vector_unsigned_short;
5645       B : vector_bool_short) return c_int;
5646
5647    function vec_any_ge
5648      (A : vector_unsigned_short;
5649       B : vector_unsigned_short) return c_int;
5650
5651    function vec_any_ge
5652      (A : vector_signed_short;
5653       B : vector_signed_short) return c_int;
5654
5655    function vec_any_ge
5656      (A : vector_signed_short;
5657       B : vector_bool_short) return c_int;
5658
5659    function vec_any_ge
5660      (A : vector_bool_short;
5661       B : vector_unsigned_short) return c_int;
5662
5663    function vec_any_ge
5664      (A : vector_bool_short;
5665       B : vector_signed_short) return c_int;
5666
5667    function vec_any_ge
5668      (A : vector_signed_int;
5669       B : vector_bool_int) return c_int;
5670
5671    function vec_any_ge
5672      (A : vector_unsigned_int;
5673       B : vector_bool_int) return c_int;
5674
5675    function vec_any_ge
5676      (A : vector_unsigned_int;
5677       B : vector_unsigned_int) return c_int;
5678
5679    function vec_any_ge
5680      (A : vector_signed_int;
5681       B : vector_signed_int) return c_int;
5682
5683    function vec_any_ge
5684      (A : vector_bool_int;
5685       B : vector_unsigned_int) return c_int;
5686
5687    function vec_any_ge
5688      (A : vector_bool_int;
5689       B : vector_signed_int) return c_int;
5690
5691    function vec_any_ge
5692      (A : vector_float;
5693       B : vector_float) return c_int;
5694
5695    ----------------
5696    -- vec_any_gt --
5697    ----------------
5698
5699    function vec_any_gt
5700      (A : vector_bool_char;
5701       B : vector_unsigned_char) return c_int;
5702
5703    function vec_any_gt
5704      (A : vector_unsigned_char;
5705       B : vector_bool_char) return c_int;
5706
5707    function vec_any_gt
5708      (A : vector_unsigned_char;
5709       B : vector_unsigned_char) return c_int;
5710
5711    function vec_any_gt
5712      (A : vector_bool_char;
5713       B : vector_signed_char) return c_int;
5714
5715    function vec_any_gt
5716      (A : vector_signed_char;
5717       B : vector_bool_char) return c_int;
5718
5719    function vec_any_gt
5720      (A : vector_signed_char;
5721       B : vector_signed_char) return c_int;
5722
5723    function vec_any_gt
5724      (A : vector_bool_short;
5725       B : vector_unsigned_short) return c_int;
5726
5727    function vec_any_gt
5728      (A : vector_unsigned_short;
5729       B : vector_bool_short) return c_int;
5730
5731    function vec_any_gt
5732      (A : vector_unsigned_short;
5733       B : vector_unsigned_short) return c_int;
5734
5735    function vec_any_gt
5736      (A : vector_bool_short;
5737       B : vector_signed_short) return c_int;
5738
5739    function vec_any_gt
5740      (A : vector_signed_short;
5741       B : vector_bool_short) return c_int;
5742
5743    function vec_any_gt
5744      (A : vector_signed_short;
5745       B : vector_signed_short) return c_int;
5746
5747    function vec_any_gt
5748      (A : vector_bool_int;
5749       B : vector_unsigned_int) return c_int;
5750
5751    function vec_any_gt
5752      (A : vector_unsigned_int;
5753       B : vector_bool_int) return c_int;
5754
5755    function vec_any_gt
5756      (A : vector_unsigned_int;
5757       B : vector_unsigned_int) return c_int;
5758
5759    function vec_any_gt
5760      (A : vector_bool_int;
5761       B : vector_signed_int) return c_int;
5762
5763    function vec_any_gt
5764      (A : vector_signed_int;
5765       B : vector_bool_int) return c_int;
5766
5767    function vec_any_gt
5768      (A : vector_signed_int;
5769       B : vector_signed_int) return c_int;
5770
5771    function vec_any_gt
5772      (A : vector_float;
5773       B : vector_float) return c_int;
5774
5775    function vec_any_le
5776      (A : vector_bool_char;
5777       B : vector_unsigned_char) return c_int;
5778
5779    function vec_any_le
5780      (A : vector_unsigned_char;
5781       B : vector_bool_char) return c_int;
5782
5783    function vec_any_le
5784      (A : vector_unsigned_char;
5785       B : vector_unsigned_char) return c_int;
5786
5787    function vec_any_le
5788      (A : vector_bool_char;
5789       B : vector_signed_char) return c_int;
5790
5791    function vec_any_le
5792      (A : vector_signed_char;
5793       B : vector_bool_char) return c_int;
5794
5795    function vec_any_le
5796      (A : vector_signed_char;
5797       B : vector_signed_char) return c_int;
5798
5799    function vec_any_le
5800      (A : vector_bool_short;
5801       B : vector_unsigned_short) return c_int;
5802
5803    function vec_any_le
5804      (A : vector_unsigned_short;
5805       B : vector_bool_short) return c_int;
5806
5807    function vec_any_le
5808      (A : vector_unsigned_short;
5809       B : vector_unsigned_short) return c_int;
5810
5811    function vec_any_le
5812      (A : vector_bool_short;
5813       B : vector_signed_short) return c_int;
5814
5815    function vec_any_le
5816      (A : vector_signed_short;
5817       B : vector_bool_short) return c_int;
5818
5819    function vec_any_le
5820      (A : vector_signed_short;
5821       B : vector_signed_short) return c_int;
5822
5823    function vec_any_le
5824      (A : vector_bool_int;
5825       B : vector_unsigned_int) return c_int;
5826
5827    function vec_any_le
5828      (A : vector_unsigned_int;
5829       B : vector_bool_int) return c_int;
5830
5831    function vec_any_le
5832      (A : vector_unsigned_int;
5833       B : vector_unsigned_int) return c_int;
5834
5835    function vec_any_le
5836      (A : vector_bool_int;
5837       B : vector_signed_int) return c_int;
5838
5839    function vec_any_le
5840      (A : vector_signed_int;
5841       B : vector_bool_int) return c_int;
5842
5843    function vec_any_le
5844      (A : vector_signed_int;
5845       B : vector_signed_int) return c_int;
5846
5847    function vec_any_le
5848      (A : vector_float;
5849       B : vector_float) return c_int;
5850
5851    function vec_any_lt
5852      (A : vector_bool_char;
5853       B : vector_unsigned_char) return c_int;
5854
5855    function vec_any_lt
5856      (A : vector_unsigned_char;
5857       B : vector_bool_char) return c_int;
5858
5859    function vec_any_lt
5860      (A : vector_unsigned_char;
5861       B : vector_unsigned_char) return c_int;
5862
5863    function vec_any_lt
5864      (A : vector_bool_char;
5865       B : vector_signed_char) return c_int;
5866
5867    function vec_any_lt
5868      (A : vector_signed_char;
5869       B : vector_bool_char) return c_int;
5870
5871    function vec_any_lt
5872      (A : vector_signed_char;
5873       B : vector_signed_char) return c_int;
5874
5875    function vec_any_lt
5876      (A : vector_bool_short;
5877       B : vector_unsigned_short) return c_int;
5878
5879    function vec_any_lt
5880      (A : vector_unsigned_short;
5881       B : vector_bool_short) return c_int;
5882
5883    function vec_any_lt
5884      (A : vector_unsigned_short;
5885       B : vector_unsigned_short) return c_int;
5886
5887    function vec_any_lt
5888      (A : vector_bool_short;
5889       B : vector_signed_short) return c_int;
5890
5891    function vec_any_lt
5892      (A : vector_signed_short;
5893       B : vector_bool_short) return c_int;
5894
5895    function vec_any_lt
5896      (A : vector_signed_short;
5897       B : vector_signed_short) return c_int;
5898
5899    function vec_any_lt
5900      (A : vector_bool_int;
5901       B : vector_unsigned_int) return c_int;
5902
5903    function vec_any_lt
5904      (A : vector_unsigned_int;
5905       B : vector_bool_int) return c_int;
5906
5907    function vec_any_lt
5908      (A : vector_unsigned_int;
5909       B : vector_unsigned_int) return c_int;
5910
5911    function vec_any_lt
5912      (A : vector_bool_int;
5913       B : vector_signed_int) return c_int;
5914
5915    function vec_any_lt
5916      (A : vector_signed_int;
5917       B : vector_bool_int) return c_int;
5918
5919    function vec_any_lt
5920      (A : vector_signed_int;
5921       B : vector_signed_int) return c_int;
5922
5923    function vec_any_lt
5924      (A : vector_float;
5925       B : vector_float) return c_int;
5926
5927    function vec_any_nan
5928      (A : vector_float) return c_int;
5929
5930    function vec_any_ne
5931      (A : vector_signed_char;
5932       B : vector_bool_char) return c_int;
5933
5934    function vec_any_ne
5935      (A : vector_signed_char;
5936       B : vector_signed_char) return c_int;
5937
5938    function vec_any_ne
5939      (A : vector_unsigned_char;
5940       B : vector_bool_char) return c_int;
5941
5942    function vec_any_ne
5943      (A : vector_unsigned_char;
5944       B : vector_unsigned_char) return c_int;
5945
5946    function vec_any_ne
5947      (A : vector_bool_char;
5948       B : vector_bool_char) return c_int;
5949
5950    function vec_any_ne
5951      (A : vector_bool_char;
5952       B : vector_unsigned_char) return c_int;
5953
5954    function vec_any_ne
5955      (A : vector_bool_char;
5956       B : vector_signed_char) return c_int;
5957
5958    function vec_any_ne
5959      (A : vector_signed_short;
5960       B : vector_bool_short) return c_int;
5961
5962    function vec_any_ne
5963      (A : vector_signed_short;
5964       B : vector_signed_short) return c_int;
5965
5966    function vec_any_ne
5967      (A : vector_unsigned_short;
5968       B : vector_bool_short) return c_int;
5969
5970    function vec_any_ne
5971      (A : vector_unsigned_short;
5972       B : vector_unsigned_short) return c_int;
5973
5974    function vec_any_ne
5975      (A : vector_bool_short;
5976       B : vector_bool_short) return c_int;
5977
5978    function vec_any_ne
5979      (A : vector_bool_short;
5980       B : vector_unsigned_short) return c_int;
5981
5982    function vec_any_ne
5983      (A : vector_bool_short;
5984       B : vector_signed_short) return c_int;
5985
5986    function vec_any_ne
5987      (A : vector_pixel;
5988       B : vector_pixel) return c_int;
5989
5990    function vec_any_ne
5991      (A : vector_signed_int;
5992       B : vector_bool_int) return c_int;
5993
5994    function vec_any_ne
5995      (A : vector_signed_int;
5996       B : vector_signed_int) return c_int;
5997
5998    function vec_any_ne
5999      (A : vector_unsigned_int;
6000       B : vector_bool_int) return c_int;
6001
6002    function vec_any_ne
6003      (A : vector_unsigned_int;
6004       B : vector_unsigned_int) return c_int;
6005
6006    function vec_any_ne
6007      (A : vector_bool_int;
6008       B : vector_bool_int) return c_int;
6009
6010    function vec_any_ne
6011      (A : vector_bool_int;
6012       B : vector_unsigned_int) return c_int;
6013
6014    function vec_any_ne
6015      (A : vector_bool_int;
6016       B : vector_signed_int) return c_int;
6017
6018    function vec_any_ne
6019      (A : vector_float;
6020       B : vector_float) return c_int;
6021
6022    -----------------
6023    -- vec_any_nge --
6024    -----------------
6025
6026    function vec_any_nge
6027      (A : vector_float;
6028       B : vector_float) return c_int;
6029
6030    function vec_any_ngt
6031      (A : vector_float;
6032       B : vector_float) return c_int;
6033
6034    function vec_any_nle
6035      (A : vector_float;
6036       B : vector_float) return c_int;
6037
6038    function vec_any_nlt
6039      (A : vector_float;
6040       B : vector_float) return c_int;
6041
6042    function vec_any_numeric
6043      (A : vector_float) return c_int;
6044
6045    function vec_any_out
6046      (A : vector_float;
6047       B : vector_float) return c_int;
6048
6049    function vec_splat_s8
6050      (A : c_int) return vector_signed_char
6051    renames vec_vspltisb;
6052
6053    -------------------
6054    -- vec_splat_s16 --
6055    -------------------
6056
6057    function vec_splat_s16
6058      (A : c_int) return vector_signed_short
6059    renames vec_vspltish;
6060
6061    -------------------
6062    -- vec_splat_s32 --
6063    -------------------
6064
6065    function vec_splat_s32
6066      (A : c_int) return vector_signed_int
6067    renames vec_vspltisw;
6068
6069    function vec_splat
6070      (A : vector_signed_char;
6071       B : c_int) return vector_signed_char
6072    renames vec_vspltb;
6073
6074    function vec_splat
6075      (A : vector_unsigned_char;
6076       B : c_int) return vector_unsigned_char
6077    renames vec_vspltb;
6078
6079    function vec_splat
6080      (A : vector_bool_char;
6081       B : c_int) return vector_bool_char
6082    renames vec_vspltb;
6083
6084    function vec_splat
6085      (A : vector_signed_short;
6086       B : c_int) return vector_signed_short
6087    renames vec_vsplth;
6088
6089    function vec_splat
6090      (A : vector_unsigned_short;
6091       B : c_int) return vector_unsigned_short
6092    renames vec_vsplth;
6093
6094    function vec_splat
6095      (A : vector_bool_short;
6096       B : c_int) return vector_bool_short
6097    renames vec_vsplth;
6098
6099    function vec_splat
6100      (A : vector_pixel;
6101       B : c_int) return vector_pixel
6102    renames vec_vsplth;
6103
6104    function vec_splat
6105      (A : vector_float;
6106       B : c_int) return vector_float
6107    renames vec_vspltw;
6108
6109    function vec_splat
6110      (A : vector_signed_int;
6111       B : c_int) return vector_signed_int
6112    renames vec_vspltw;
6113
6114    function vec_splat
6115      (A : vector_unsigned_int;
6116       B : c_int) return vector_unsigned_int
6117    renames vec_vspltw;
6118
6119    function vec_splat
6120      (A : vector_bool_int;
6121       B : c_int) return vector_bool_int
6122    renames vec_vspltw;
6123
6124    ------------------
6125    -- vec_splat_u8 --
6126    ------------------
6127
6128    function vec_splat_u8
6129      (A : c_int) return vector_unsigned_char;
6130    pragma Inline_Always (vec_splat_u8);
6131    pragma Convention (Intrinsic, vec_splat_u8);
6132
6133    -------------------
6134    -- vec_splat_u16 --
6135    -------------------
6136
6137    function vec_splat_u16
6138      (A : c_int) return vector_unsigned_short;
6139    pragma Inline_Always (vec_splat_u16);
6140    pragma Convention (Intrinsic, vec_splat_u16);
6141
6142    -------------------
6143    -- vec_splat_u32 --
6144    -------------------
6145
6146    function vec_splat_u32
6147      (A : c_int) return vector_unsigned_int;
6148    pragma Inline_Always (vec_splat_u32);
6149    pragma Convention (Intrinsic, vec_splat_u32);
6150
6151    -------------
6152    -- vec_ctf --
6153    -------------
6154
6155    function vec_ctf
6156      (A : vector_unsigned_int;
6157       B : c_int) return vector_float
6158    renames vec_vcfux;
6159
6160    function vec_ctf
6161      (A : vector_signed_int;
6162       B : c_int) return vector_float
6163    renames vec_vcfsx;
6164
6165    -------------
6166    -- vec_cts --
6167    -------------
6168
6169    function vec_cts
6170      (A : vector_float;
6171       B : c_int) return vector_signed_int
6172    renames vec_vctsxs;
6173
6174    function vec_ctu
6175      (A : vector_float;
6176       B : c_int) return vector_unsigned_int
6177    renames vec_vctuxs;
6178
6179    function vec_vaddcuw
6180      (A : vector_unsigned_int;
6181       B : vector_unsigned_int) return vector_unsigned_int
6182    renames vec_addc;
6183
6184    function vec_vand
6185      (A : vector_float;
6186       B : vector_float) return vector_float
6187    renames vec_and;
6188
6189    function vec_vand
6190      (A : vector_float;
6191       B : vector_bool_int) return vector_float
6192    renames vec_and;
6193
6194    function vec_vand
6195      (A : vector_bool_int;
6196       B : vector_float) return vector_float
6197    renames vec_and;
6198
6199    function vec_vand
6200      (A : vector_bool_int;
6201       B : vector_bool_int) return vector_bool_int
6202    renames vec_and;
6203
6204    function vec_vand
6205      (A : vector_bool_int;
6206       B : vector_signed_int) return vector_signed_int
6207    renames vec_and;
6208
6209    function vec_vand
6210      (A : vector_signed_int;
6211       B : vector_bool_int) return vector_signed_int
6212    renames vec_and;
6213
6214    function vec_vand
6215      (A : vector_signed_int;
6216       B : vector_signed_int) return vector_signed_int
6217    renames vec_and;
6218
6219    function vec_vand
6220      (A : vector_bool_int;
6221       B : vector_unsigned_int) return vector_unsigned_int
6222    renames vec_and;
6223
6224    function vec_vand
6225      (A : vector_unsigned_int;
6226       B : vector_bool_int) return vector_unsigned_int
6227    renames vec_and;
6228
6229    function vec_vand
6230      (A : vector_unsigned_int;
6231       B : vector_unsigned_int) return vector_unsigned_int
6232    renames vec_and;
6233
6234    function vec_vand
6235      (A : vector_bool_short;
6236       B : vector_bool_short) return vector_bool_short
6237    renames vec_and;
6238
6239    function vec_vand
6240      (A : vector_bool_short;
6241       B : vector_signed_short) return vector_signed_short
6242    renames vec_and;
6243
6244    function vec_vand
6245      (A : vector_signed_short;
6246       B : vector_bool_short) return vector_signed_short
6247    renames vec_and;
6248
6249    function vec_vand
6250      (A : vector_signed_short;
6251       B : vector_signed_short) return vector_signed_short
6252    renames vec_and;
6253
6254    function vec_vand
6255      (A : vector_bool_short;
6256       B : vector_unsigned_short) return vector_unsigned_short
6257    renames vec_and;
6258
6259    function vec_vand
6260      (A : vector_unsigned_short;
6261       B : vector_bool_short) return vector_unsigned_short
6262    renames vec_and;
6263
6264    function vec_vand
6265      (A : vector_unsigned_short;
6266       B : vector_unsigned_short) return vector_unsigned_short
6267    renames vec_and;
6268
6269    function vec_vand
6270      (A : vector_bool_char;
6271       B : vector_signed_char) return vector_signed_char
6272    renames vec_and;
6273
6274    function vec_vand
6275      (A : vector_bool_char;
6276       B : vector_bool_char) return vector_bool_char
6277    renames vec_and;
6278
6279    function vec_vand
6280      (A : vector_signed_char;
6281       B : vector_bool_char) return vector_signed_char
6282    renames vec_and;
6283
6284    function vec_vand
6285      (A : vector_signed_char;
6286       B : vector_signed_char) return vector_signed_char
6287    renames vec_and;
6288
6289    function vec_vand
6290      (A : vector_bool_char;
6291       B : vector_unsigned_char) return vector_unsigned_char
6292    renames vec_and;
6293
6294    function vec_vand
6295      (A : vector_unsigned_char;
6296       B : vector_bool_char) return vector_unsigned_char
6297    renames vec_and;
6298
6299    function vec_vand
6300      (A : vector_unsigned_char;
6301       B : vector_unsigned_char) return vector_unsigned_char
6302    renames vec_and;
6303
6304    ---------------
6305    -- vec_vandc --
6306    ---------------
6307
6308    function vec_vandc
6309      (A : vector_float;
6310       B : vector_float) return vector_float
6311    renames vec_andc;
6312
6313    function vec_vandc
6314      (A : vector_float;
6315       B : vector_bool_int) return vector_float
6316    renames vec_andc;
6317
6318    function vec_vandc
6319      (A : vector_bool_int;
6320       B : vector_float) return vector_float
6321    renames vec_andc;
6322
6323    function vec_vandc
6324      (A : vector_bool_int;
6325       B : vector_bool_int) return vector_bool_int
6326    renames vec_andc;
6327
6328    function vec_vandc
6329      (A : vector_bool_int;
6330       B : vector_signed_int) return vector_signed_int
6331    renames vec_andc;
6332
6333    function vec_vandc
6334      (A : vector_signed_int;
6335       B : vector_bool_int) return vector_signed_int
6336    renames vec_andc;
6337
6338    function vec_vandc
6339      (A : vector_signed_int;
6340       B : vector_signed_int) return vector_signed_int
6341    renames vec_andc;
6342
6343    function vec_vandc
6344      (A : vector_bool_int;
6345       B : vector_unsigned_int) return vector_unsigned_int
6346    renames vec_andc;
6347
6348    function vec_vandc
6349      (A : vector_unsigned_int;
6350       B : vector_bool_int) return vector_unsigned_int
6351    renames vec_andc;
6352
6353    function vec_vandc
6354      (A : vector_unsigned_int;
6355       B : vector_unsigned_int) return vector_unsigned_int
6356    renames vec_andc;
6357
6358    function vec_vandc
6359      (A : vector_bool_short;
6360       B : vector_bool_short) return vector_bool_short
6361    renames vec_andc;
6362
6363    function vec_vandc
6364      (A : vector_bool_short;
6365       B : vector_signed_short) return vector_signed_short
6366    renames vec_andc;
6367
6368    function vec_vandc
6369      (A : vector_signed_short;
6370       B : vector_bool_short) return vector_signed_short
6371    renames vec_andc;
6372
6373    function vec_vandc
6374      (A : vector_signed_short;
6375       B : vector_signed_short) return vector_signed_short
6376    renames vec_andc;
6377
6378    function vec_vandc
6379      (A : vector_bool_short;
6380       B : vector_unsigned_short) return vector_unsigned_short
6381    renames vec_andc;
6382
6383    function vec_vandc
6384      (A : vector_unsigned_short;
6385       B : vector_bool_short) return vector_unsigned_short
6386    renames vec_andc;
6387
6388    function vec_vandc
6389      (A : vector_unsigned_short;
6390       B : vector_unsigned_short) return vector_unsigned_short
6391    renames vec_andc;
6392
6393    function vec_vandc
6394      (A : vector_bool_char;
6395       B : vector_signed_char) return vector_signed_char
6396    renames vec_andc;
6397
6398    function vec_vandc
6399      (A : vector_bool_char;
6400       B : vector_bool_char) return vector_bool_char
6401    renames vec_andc;
6402
6403    function vec_vandc
6404      (A : vector_signed_char;
6405       B : vector_bool_char) return vector_signed_char
6406    renames vec_andc;
6407
6408    function vec_vandc
6409      (A : vector_signed_char;
6410       B : vector_signed_char) return vector_signed_char
6411    renames vec_andc;
6412
6413    function vec_vandc
6414      (A : vector_bool_char;
6415       B : vector_unsigned_char) return vector_unsigned_char
6416    renames vec_andc;
6417
6418    function vec_vandc
6419      (A : vector_unsigned_char;
6420       B : vector_bool_char) return vector_unsigned_char
6421    renames vec_andc;
6422
6423    function vec_vandc
6424      (A : vector_unsigned_char;
6425       B : vector_unsigned_char) return vector_unsigned_char
6426    renames vec_andc;
6427
6428    ---------------
6429    -- vec_vrfip --
6430    ---------------
6431
6432    function vec_vrfip
6433      (A : vector_float) return vector_float
6434    renames vec_ceil;
6435
6436    -----------------
6437    -- vec_vcmpbfp --
6438    -----------------
6439
6440    function vec_vcmpbfp
6441      (A : vector_float;
6442       B : vector_float) return vector_signed_int
6443    renames vec_cmpb;
6444
6445    function vec_vcmpgefp
6446      (A : vector_float;
6447       B : vector_float) return vector_bool_int
6448    renames vec_cmpge;
6449
6450    function vec_vexptefp
6451      (A : vector_float) return vector_float
6452    renames vec_expte;
6453
6454    ---------------
6455    -- vec_vrfim --
6456    ---------------
6457
6458    function vec_vrfim
6459      (A : vector_float) return vector_float
6460    renames vec_floor;
6461
6462    function vec_lvx
6463      (A : c_long;
6464       B : const_vector_float_ptr) return vector_float
6465    renames vec_ld;
6466
6467    function vec_lvx
6468      (A : c_long;
6469       B : const_float_ptr) return vector_float
6470    renames vec_ld;
6471
6472    function vec_lvx
6473      (A : c_long;
6474       B : const_vector_bool_int_ptr) return vector_bool_int
6475    renames vec_ld;
6476
6477    function vec_lvx
6478      (A : c_long;
6479       B : const_vector_signed_int_ptr) return vector_signed_int
6480    renames vec_ld;
6481
6482    function vec_lvx
6483      (A : c_long;
6484       B : const_int_ptr) return vector_signed_int
6485    renames vec_ld;
6486
6487    function vec_lvx
6488      (A : c_long;
6489       B : const_long_ptr) return vector_signed_int
6490    renames vec_ld;
6491
6492    function vec_lvx
6493      (A : c_long;
6494       B : const_vector_unsigned_int_ptr) return vector_unsigned_int
6495    renames vec_ld;
6496
6497    function vec_lvx
6498      (A : c_long;
6499       B : const_unsigned_int_ptr) return vector_unsigned_int
6500    renames vec_ld;
6501
6502    function vec_lvx
6503      (A : c_long;
6504       B : const_unsigned_long_ptr) return vector_unsigned_int
6505    renames vec_ld;
6506
6507    function vec_lvx
6508      (A : c_long;
6509       B : const_vector_bool_short_ptr) return vector_bool_short
6510    renames vec_ld;
6511
6512    function vec_lvx
6513      (A : c_long;
6514       B : const_vector_pixel_ptr) return vector_pixel
6515    renames vec_ld;
6516
6517    function vec_lvx
6518      (A : c_long;
6519       B : const_vector_signed_short_ptr) return vector_signed_short
6520    renames vec_ld;
6521
6522    function vec_lvx
6523      (A : c_long;
6524       B : const_short_ptr) return vector_signed_short
6525    renames vec_ld;
6526
6527    function vec_lvx
6528      (A : c_long;
6529       B : const_vector_unsigned_short_ptr) return vector_unsigned_short
6530    renames vec_ld;
6531
6532    function vec_lvx
6533      (A : c_long;
6534       B : const_unsigned_short_ptr) return vector_unsigned_short
6535    renames vec_ld;
6536
6537    function vec_lvx
6538      (A : c_long;
6539       B : const_vector_bool_char_ptr) return vector_bool_char
6540    renames vec_ld;
6541
6542    function vec_lvx
6543      (A : c_long;
6544       B : const_vector_signed_char_ptr) return vector_signed_char
6545    renames vec_ld;
6546
6547    function vec_lvx
6548      (A : c_long;
6549       B : const_signed_char_ptr) return vector_signed_char
6550    renames vec_ld;
6551
6552    function vec_lvx
6553      (A : c_long;
6554       B : const_vector_unsigned_char_ptr) return vector_unsigned_char
6555    renames vec_ld;
6556
6557    function vec_lvx
6558      (A : c_long;
6559       B : const_unsigned_char_ptr) return vector_unsigned_char
6560    renames vec_ld;
6561
6562    function vec_lvxl
6563      (A : c_long;
6564       B : const_vector_float_ptr) return vector_float
6565    renames vec_ldl;
6566
6567    function vec_lvxl
6568      (A : c_long;
6569       B : const_float_ptr) return vector_float
6570    renames vec_ldl;
6571
6572    function vec_lvxl
6573      (A : c_long;
6574       B : const_vector_bool_int_ptr) return vector_bool_int
6575    renames vec_ldl;
6576
6577    function vec_lvxl
6578      (A : c_long;
6579       B : const_vector_signed_int_ptr) return vector_signed_int
6580    renames vec_ldl;
6581
6582    function vec_lvxl
6583      (A : c_long;
6584       B : const_int_ptr) return vector_signed_int
6585    renames vec_ldl;
6586
6587    function vec_lvxl
6588      (A : c_long;
6589       B : const_long_ptr) return vector_signed_int
6590    renames vec_ldl;
6591
6592    function vec_lvxl
6593      (A : c_long;
6594       B : const_vector_unsigned_int_ptr) return vector_unsigned_int
6595    renames vec_ldl;
6596
6597    function vec_lvxl
6598      (A : c_long;
6599       B : const_unsigned_int_ptr) return vector_unsigned_int
6600    renames vec_ldl;
6601
6602    function vec_lvxl
6603      (A : c_long;
6604       B : const_unsigned_long_ptr) return vector_unsigned_int
6605    renames vec_ldl;
6606
6607    function vec_lvxl
6608      (A : c_long;
6609       B : const_vector_bool_short_ptr) return vector_bool_short
6610    renames vec_ldl;
6611
6612    function vec_lvxl
6613      (A : c_long;
6614       B : const_vector_pixel_ptr) return vector_pixel
6615    renames vec_ldl;
6616
6617    function vec_lvxl
6618      (A : c_long;
6619       B : const_vector_signed_short_ptr) return vector_signed_short
6620    renames vec_ldl;
6621
6622    function vec_lvxl
6623      (A : c_long;
6624       B : const_short_ptr) return vector_signed_short
6625    renames vec_ldl;
6626
6627    function vec_lvxl
6628      (A : c_long;
6629       B : const_vector_unsigned_short_ptr) return vector_unsigned_short
6630    renames vec_ldl;
6631
6632    function vec_lvxl
6633      (A : c_long;
6634       B : const_unsigned_short_ptr) return vector_unsigned_short
6635    renames vec_ldl;
6636
6637    function vec_lvxl
6638      (A : c_long;
6639       B : const_vector_bool_char_ptr) return vector_bool_char
6640    renames vec_ldl;
6641
6642    function vec_lvxl
6643      (A : c_long;
6644       B : const_vector_signed_char_ptr) return vector_signed_char
6645    renames vec_ldl;
6646
6647    function vec_lvxl
6648      (A : c_long;
6649       B : const_signed_char_ptr) return vector_signed_char
6650    renames vec_ldl;
6651
6652    function vec_lvxl
6653      (A : c_long;
6654       B : const_vector_unsigned_char_ptr) return vector_unsigned_char
6655    renames vec_ldl;
6656
6657    function vec_lvxl
6658      (A : c_long;
6659       B : const_unsigned_char_ptr) return vector_unsigned_char
6660    renames vec_ldl;
6661
6662    function vec_vlogefp
6663      (A : vector_float) return vector_float
6664    renames vec_loge;
6665
6666    -----------------
6667    -- vec_vmaddfp --
6668    -----------------
6669
6670    function vec_vmaddfp
6671      (A : vector_float;
6672       B : vector_float;
6673       C : vector_float) return vector_float
6674    renames vec_madd;
6675
6676    -------------------
6677    -- vec_vmhaddshs --
6678    -------------------
6679
6680    function vec_vmhaddshs
6681      (A : vector_signed_short;
6682       B : vector_signed_short;
6683       C : vector_signed_short) return vector_signed_short
6684    renames vec_madds;
6685
6686    -------------------
6687    -- vec_vmladduhm --
6688    -------------------
6689
6690    function vec_vmladduhm
6691      (A : vector_signed_short;
6692       B : vector_signed_short;
6693       C : vector_signed_short) return vector_signed_short
6694    renames vec_mladd;
6695
6696    function vec_vmladduhm
6697      (A : vector_signed_short;
6698       B : vector_unsigned_short;
6699       C : vector_unsigned_short) return vector_signed_short
6700    renames vec_mladd;
6701
6702    function vec_vmladduhm
6703      (A : vector_unsigned_short;
6704       B : vector_signed_short;
6705       C : vector_signed_short) return vector_signed_short
6706    renames vec_mladd;
6707
6708    function vec_vmladduhm
6709      (A : vector_unsigned_short;
6710       B : vector_unsigned_short;
6711       C : vector_unsigned_short) return vector_unsigned_short
6712    renames vec_mladd;
6713
6714    --------------------
6715    -- vec_vmhraddshs --
6716    --------------------
6717
6718    function vec_vmhraddshs
6719      (A : vector_signed_short;
6720       B : vector_signed_short;
6721       C : vector_signed_short) return vector_signed_short
6722    renames vec_mradds;
6723
6724    ------------------
6725    -- vec_vnmsubfp --
6726    ------------------
6727
6728    function vec_vnmsubfp
6729      (A : vector_float;
6730       B : vector_float;
6731       C : vector_float) return vector_float
6732    renames vec_nmsub;
6733
6734    --------------
6735    -- vec_vnor --
6736    --------------
6737
6738    function vec_vnor
6739      (A : vector_float;
6740       B : vector_float) return vector_float
6741    renames vec_nor;
6742
6743    function vec_vnor
6744      (A : vector_signed_int;
6745       B : vector_signed_int) return vector_signed_int
6746    renames vec_nor;
6747
6748    function vec_vnor
6749      (A : vector_unsigned_int;
6750       B : vector_unsigned_int) return vector_unsigned_int
6751    renames vec_nor;
6752
6753    function vec_vnor
6754      (A : vector_bool_int;
6755       B : vector_bool_int) return vector_bool_int
6756    renames vec_nor;
6757
6758    function vec_vnor
6759      (A : vector_signed_short;
6760       B : vector_signed_short) return vector_signed_short
6761    renames vec_nor;
6762
6763    function vec_vnor
6764      (A : vector_unsigned_short;
6765       B : vector_unsigned_short) return vector_unsigned_short
6766    renames vec_nor;
6767
6768    function vec_vnor
6769      (A : vector_bool_short;
6770       B : vector_bool_short) return vector_bool_short
6771    renames vec_nor;
6772
6773    function vec_vnor
6774      (A : vector_signed_char;
6775       B : vector_signed_char) return vector_signed_char
6776    renames vec_nor;
6777
6778    function vec_vnor
6779      (A : vector_unsigned_char;
6780       B : vector_unsigned_char) return vector_unsigned_char
6781    renames vec_nor;
6782
6783    function vec_vnor
6784      (A : vector_bool_char;
6785       B : vector_bool_char) return vector_bool_char
6786    renames vec_nor;
6787
6788    -------------
6789    -- vec_vor --
6790    -------------
6791
6792    function vec_vor
6793      (A : vector_float;
6794       B : vector_float) return vector_float
6795    renames vec_or;
6796
6797    function vec_vor
6798      (A : vector_float;
6799       B : vector_bool_int) return vector_float
6800    renames vec_or;
6801
6802    function vec_vor
6803      (A : vector_bool_int;
6804       B : vector_float) return vector_float
6805    renames vec_or;
6806
6807    function vec_vor
6808      (A : vector_bool_int;
6809       B : vector_bool_int) return vector_bool_int
6810    renames vec_or;
6811
6812    function vec_vor
6813      (A : vector_bool_int;
6814       B : vector_signed_int) return vector_signed_int
6815    renames vec_or;
6816
6817    function vec_vor
6818      (A : vector_signed_int;
6819       B : vector_bool_int) return vector_signed_int
6820    renames vec_or;
6821
6822    function vec_vor
6823      (A : vector_signed_int;
6824       B : vector_signed_int) return vector_signed_int
6825    renames vec_or;
6826
6827    function vec_vor
6828      (A : vector_bool_int;
6829       B : vector_unsigned_int) return vector_unsigned_int
6830    renames vec_or;
6831
6832    function vec_vor
6833      (A : vector_unsigned_int;
6834       B : vector_bool_int) return vector_unsigned_int
6835    renames vec_or;
6836
6837    function vec_vor
6838      (A : vector_unsigned_int;
6839       B : vector_unsigned_int) return vector_unsigned_int
6840    renames vec_or;
6841
6842    function vec_vor
6843      (A : vector_bool_short;
6844       B : vector_bool_short) return vector_bool_short
6845    renames vec_or;
6846
6847    function vec_vor
6848      (A : vector_bool_short;
6849       B : vector_signed_short) return vector_signed_short
6850    renames vec_or;
6851
6852    function vec_vor
6853      (A : vector_signed_short;
6854       B : vector_bool_short) return vector_signed_short
6855    renames vec_or;
6856
6857    function vec_vor
6858      (A : vector_signed_short;
6859       B : vector_signed_short) return vector_signed_short
6860    renames vec_or;
6861
6862    function vec_vor
6863      (A : vector_bool_short;
6864       B : vector_unsigned_short) return vector_unsigned_short
6865    renames vec_or;
6866
6867    function vec_vor
6868      (A : vector_unsigned_short;
6869       B : vector_bool_short) return vector_unsigned_short
6870    renames vec_or;
6871
6872    function vec_vor
6873      (A : vector_unsigned_short;
6874       B : vector_unsigned_short) return vector_unsigned_short
6875    renames vec_or;
6876
6877    function vec_vor
6878      (A : vector_bool_char;
6879       B : vector_signed_char) return vector_signed_char
6880    renames vec_or;
6881
6882    function vec_vor
6883      (A : vector_bool_char;
6884       B : vector_bool_char) return vector_bool_char
6885    renames vec_or;
6886
6887    function vec_vor
6888      (A : vector_signed_char;
6889       B : vector_bool_char) return vector_signed_char
6890    renames vec_or;
6891
6892    function vec_vor
6893      (A : vector_signed_char;
6894       B : vector_signed_char) return vector_signed_char
6895    renames vec_or;
6896
6897    function vec_vor
6898      (A : vector_bool_char;
6899       B : vector_unsigned_char) return vector_unsigned_char
6900    renames vec_or;
6901
6902    function vec_vor
6903      (A : vector_unsigned_char;
6904       B : vector_bool_char) return vector_unsigned_char
6905    renames vec_or;
6906
6907    function vec_vor
6908      (A : vector_unsigned_char;
6909       B : vector_unsigned_char) return vector_unsigned_char
6910    renames vec_or;
6911
6912    ---------------
6913    -- vec_vpkpx --
6914    ---------------
6915
6916    function vec_vpkpx
6917      (A : vector_unsigned_int;
6918       B : vector_unsigned_int) return vector_pixel
6919    renames vec_packpx;
6920
6921    ---------------
6922    -- vec_vperm --
6923    ---------------
6924
6925    function vec_vperm
6926      (A : vector_float;
6927       B : vector_float;
6928       C : vector_unsigned_char) return vector_float
6929    renames vec_perm;
6930
6931    function vec_vperm
6932      (A : vector_signed_int;
6933       B : vector_signed_int;
6934       C : vector_unsigned_char) return vector_signed_int
6935    renames vec_perm;
6936
6937    function vec_vperm
6938      (A : vector_unsigned_int;
6939       B : vector_unsigned_int;
6940       C : vector_unsigned_char) return vector_unsigned_int
6941    renames vec_perm;
6942
6943    function vec_vperm
6944      (A : vector_bool_int;
6945       B : vector_bool_int;
6946       C : vector_unsigned_char) return vector_bool_int
6947    renames vec_perm;
6948
6949    function vec_vperm
6950      (A : vector_signed_short;
6951       B : vector_signed_short;
6952       C : vector_unsigned_char) return vector_signed_short
6953    renames vec_perm;
6954
6955    function vec_vperm
6956      (A : vector_unsigned_short;
6957       B : vector_unsigned_short;
6958       C : vector_unsigned_char) return vector_unsigned_short
6959    renames vec_perm;
6960
6961    function vec_vperm
6962      (A : vector_bool_short;
6963       B : vector_bool_short;
6964       C : vector_unsigned_char) return vector_bool_short
6965    renames vec_perm;
6966
6967    function vec_vperm
6968      (A : vector_pixel;
6969       B : vector_pixel;
6970       C : vector_unsigned_char) return vector_pixel
6971    renames vec_perm;
6972
6973    function vec_vperm
6974      (A : vector_signed_char;
6975       B : vector_signed_char;
6976       C : vector_unsigned_char) return vector_signed_char
6977    renames vec_perm;
6978
6979    function vec_vperm
6980      (A : vector_unsigned_char;
6981       B : vector_unsigned_char;
6982       C : vector_unsigned_char) return vector_unsigned_char
6983    renames vec_perm;
6984
6985    function vec_vperm
6986      (A : vector_bool_char;
6987       B : vector_bool_char;
6988       C : vector_unsigned_char) return vector_bool_char
6989    renames vec_perm;
6990
6991    ---------------
6992    -- vec_vrefp --
6993    ---------------
6994
6995    function vec_vrefp
6996      (A : vector_float) return vector_float
6997    renames vec_re;
6998
6999    ---------------
7000    -- vec_vrfin --
7001    ---------------
7002
7003    function vec_vrfin
7004      (A : vector_float) return vector_float
7005    renames vec_round;
7006
7007    function vec_vrsqrtefp
7008      (A : vector_float) return vector_float
7009    renames vec_rsqrte;
7010
7011    function vec_vsel
7012      (A : vector_float;
7013       B : vector_float;
7014       C : vector_bool_int) return vector_float
7015    renames vec_sel;
7016
7017    function vec_vsel
7018      (A : vector_float;
7019       B : vector_float;
7020       C : vector_unsigned_int) return vector_float
7021    renames vec_sel;
7022
7023    function vec_vsel
7024      (A : vector_signed_int;
7025       B : vector_signed_int;
7026       C : vector_bool_int) return vector_signed_int
7027    renames vec_sel;
7028
7029    function vec_vsel
7030      (A : vector_signed_int;
7031       B : vector_signed_int;
7032       C : vector_unsigned_int) return vector_signed_int
7033    renames vec_sel;
7034
7035    function vec_vsel
7036      (A : vector_unsigned_int;
7037       B : vector_unsigned_int;
7038       C : vector_bool_int) return vector_unsigned_int
7039    renames vec_sel;
7040
7041    function vec_vsel
7042      (A : vector_unsigned_int;
7043       B : vector_unsigned_int;
7044       C : vector_unsigned_int) return vector_unsigned_int
7045    renames vec_sel;
7046
7047    function vec_vsel
7048      (A : vector_bool_int;
7049       B : vector_bool_int;
7050       C : vector_bool_int) return vector_bool_int
7051    renames vec_sel;
7052
7053    function vec_vsel
7054      (A : vector_bool_int;
7055       B : vector_bool_int;
7056       C : vector_unsigned_int) return vector_bool_int
7057    renames vec_sel;
7058
7059    function vec_vsel
7060      (A : vector_signed_short;
7061       B : vector_signed_short;
7062       C : vector_bool_short) return vector_signed_short
7063    renames vec_sel;
7064
7065    function vec_vsel
7066      (A : vector_signed_short;
7067       B : vector_signed_short;
7068       C : vector_unsigned_short) return vector_signed_short
7069    renames vec_sel;
7070
7071    function vec_vsel
7072      (A : vector_unsigned_short;
7073       B : vector_unsigned_short;
7074       C : vector_bool_short) return vector_unsigned_short
7075    renames vec_sel;
7076
7077    function vec_vsel
7078      (A : vector_unsigned_short;
7079       B : vector_unsigned_short;
7080       C : vector_unsigned_short) return vector_unsigned_short
7081    renames vec_sel;
7082
7083    function vec_vsel
7084      (A : vector_bool_short;
7085       B : vector_bool_short;
7086       C : vector_bool_short) return vector_bool_short
7087    renames vec_sel;
7088
7089    function vec_vsel
7090      (A : vector_bool_short;
7091       B : vector_bool_short;
7092       C : vector_unsigned_short) return vector_bool_short
7093    renames vec_sel;
7094
7095    function vec_vsel
7096      (A : vector_signed_char;
7097       B : vector_signed_char;
7098       C : vector_bool_char) return vector_signed_char
7099    renames vec_sel;
7100
7101    function vec_vsel
7102      (A : vector_signed_char;
7103       B : vector_signed_char;
7104       C : vector_unsigned_char) return vector_signed_char
7105    renames vec_sel;
7106
7107    function vec_vsel
7108      (A : vector_unsigned_char;
7109       B : vector_unsigned_char;
7110       C : vector_bool_char) return vector_unsigned_char
7111    renames vec_sel;
7112
7113    function vec_vsel
7114      (A : vector_unsigned_char;
7115       B : vector_unsigned_char;
7116       C : vector_unsigned_char) return vector_unsigned_char
7117    renames vec_sel;
7118
7119    function vec_vsel
7120      (A : vector_bool_char;
7121       B : vector_bool_char;
7122       C : vector_bool_char) return vector_bool_char
7123    renames vec_sel;
7124
7125    function vec_vsel
7126      (A : vector_bool_char;
7127       B : vector_bool_char;
7128       C : vector_unsigned_char) return vector_bool_char
7129    renames vec_sel;
7130
7131    ----------------
7132    -- vec_vsldoi --
7133    ----------------
7134
7135    function vec_vsldoi
7136      (A : vector_float;
7137       B : vector_float;
7138       C : c_int) return vector_float
7139    renames vec_sld;
7140
7141    function vec_vsldoi
7142      (A : vector_signed_int;
7143       B : vector_signed_int;
7144       C : c_int) return vector_signed_int
7145    renames vec_sld;
7146
7147    function vec_vsldoi
7148      (A : vector_unsigned_int;
7149       B : vector_unsigned_int;
7150       C : c_int) return vector_unsigned_int
7151    renames vec_sld;
7152
7153    function vec_vsldoi
7154      (A : vector_bool_int;
7155       B : vector_bool_int;
7156       C : c_int) return vector_bool_int
7157    renames vec_sld;
7158
7159    function vec_vsldoi
7160      (A : vector_signed_short;
7161       B : vector_signed_short;
7162       C : c_int) return vector_signed_short
7163    renames vec_sld;
7164
7165    function vec_vsldoi
7166      (A : vector_unsigned_short;
7167       B : vector_unsigned_short;
7168       C : c_int) return vector_unsigned_short
7169    renames vec_sld;
7170
7171    function vec_vsldoi
7172      (A : vector_bool_short;
7173       B : vector_bool_short;
7174       C : c_int) return vector_bool_short
7175    renames vec_sld;
7176
7177    function vec_vsldoi
7178      (A : vector_pixel;
7179       B : vector_pixel;
7180       C : c_int) return vector_pixel
7181    renames vec_sld;
7182
7183    function vec_vsldoi
7184      (A : vector_signed_char;
7185       B : vector_signed_char;
7186       C : c_int) return vector_signed_char
7187    renames vec_sld;
7188
7189    function vec_vsldoi
7190      (A : vector_unsigned_char;
7191       B : vector_unsigned_char;
7192       C : c_int) return vector_unsigned_char
7193    renames vec_sld;
7194
7195    function vec_vsldoi
7196      (A : vector_bool_char;
7197       B : vector_bool_char;
7198       C : c_int) return vector_bool_char
7199    renames vec_sld;
7200
7201    -------------
7202    -- vec_vsl --
7203    -------------
7204
7205    function vec_vsl
7206      (A : vector_signed_int;
7207       B : vector_unsigned_int) return vector_signed_int
7208    renames vec_sll;
7209
7210    function vec_vsl
7211      (A : vector_signed_int;
7212       B : vector_unsigned_short) return vector_signed_int
7213    renames vec_sll;
7214
7215    function vec_vsl
7216      (A : vector_signed_int;
7217       B : vector_unsigned_char) return vector_signed_int
7218    renames vec_sll;
7219
7220    function vec_vsl
7221      (A : vector_unsigned_int;
7222       B : vector_unsigned_int) return vector_unsigned_int
7223    renames vec_sll;
7224
7225    function vec_vsl
7226      (A : vector_unsigned_int;
7227       B : vector_unsigned_short) return vector_unsigned_int
7228    renames vec_sll;
7229
7230    function vec_vsl
7231      (A : vector_unsigned_int;
7232       B : vector_unsigned_char) return vector_unsigned_int
7233    renames vec_sll;
7234
7235    function vec_vsl
7236      (A : vector_bool_int;
7237       B : vector_unsigned_int) return vector_bool_int
7238    renames vec_sll;
7239
7240    function vec_vsl
7241      (A : vector_bool_int;
7242       B : vector_unsigned_short) return vector_bool_int
7243    renames vec_sll;
7244
7245    function vec_vsl
7246      (A : vector_bool_int;
7247       B : vector_unsigned_char) return vector_bool_int
7248    renames vec_sll;
7249
7250    function vec_vsl
7251      (A : vector_signed_short;
7252       B : vector_unsigned_int) return vector_signed_short
7253    renames vec_sll;
7254
7255    function vec_vsl
7256      (A : vector_signed_short;
7257       B : vector_unsigned_short) return vector_signed_short
7258    renames vec_sll;
7259
7260    function vec_vsl
7261      (A : vector_signed_short;
7262       B : vector_unsigned_char) return vector_signed_short
7263    renames vec_sll;
7264
7265    function vec_vsl
7266      (A : vector_unsigned_short;
7267       B : vector_unsigned_int) return vector_unsigned_short
7268    renames vec_sll;
7269
7270    function vec_vsl
7271      (A : vector_unsigned_short;
7272       B : vector_unsigned_short) return vector_unsigned_short
7273    renames vec_sll;
7274
7275    function vec_vsl
7276      (A : vector_unsigned_short;
7277       B : vector_unsigned_char) return vector_unsigned_short
7278    renames vec_sll;
7279
7280    function vec_vsl
7281      (A : vector_bool_short;
7282       B : vector_unsigned_int) return vector_bool_short
7283    renames vec_sll;
7284
7285    function vec_vsl
7286      (A : vector_bool_short;
7287       B : vector_unsigned_short) return vector_bool_short
7288    renames vec_sll;
7289
7290    function vec_vsl
7291      (A : vector_bool_short;
7292       B : vector_unsigned_char) return vector_bool_short
7293    renames vec_sll;
7294
7295    function vec_vsl
7296      (A : vector_pixel;
7297       B : vector_unsigned_int) return vector_pixel
7298    renames vec_sll;
7299
7300    function vec_vsl
7301      (A : vector_pixel;
7302       B : vector_unsigned_short) return vector_pixel
7303    renames vec_sll;
7304
7305    function vec_vsl
7306      (A : vector_pixel;
7307       B : vector_unsigned_char) return vector_pixel
7308    renames vec_sll;
7309
7310    function vec_vsl
7311      (A : vector_signed_char;
7312       B : vector_unsigned_int) return vector_signed_char
7313    renames vec_sll;
7314
7315    function vec_vsl
7316      (A : vector_signed_char;
7317       B : vector_unsigned_short) return vector_signed_char
7318    renames vec_sll;
7319
7320    function vec_vsl
7321      (A : vector_signed_char;
7322       B : vector_unsigned_char) return vector_signed_char
7323    renames vec_sll;
7324
7325    function vec_vsl
7326      (A : vector_unsigned_char;
7327       B : vector_unsigned_int) return vector_unsigned_char
7328    renames vec_sll;
7329
7330    function vec_vsl
7331      (A : vector_unsigned_char;
7332       B : vector_unsigned_short) return vector_unsigned_char
7333    renames vec_sll;
7334
7335    function vec_vsl
7336      (A : vector_unsigned_char;
7337       B : vector_unsigned_char) return vector_unsigned_char
7338    renames vec_sll;
7339
7340    function vec_vsl
7341      (A : vector_bool_char;
7342       B : vector_unsigned_int) return vector_bool_char
7343    renames vec_sll;
7344
7345    function vec_vsl
7346      (A : vector_bool_char;
7347       B : vector_unsigned_short) return vector_bool_char
7348    renames vec_sll;
7349
7350    function vec_vsl
7351      (A : vector_bool_char;
7352       B : vector_unsigned_char) return vector_bool_char
7353    renames vec_sll;
7354
7355    --------------
7356    -- vec_vslo --
7357    --------------
7358
7359    function vec_vslo
7360      (A : vector_float;
7361       B : vector_signed_char) return vector_float
7362    renames vec_slo;
7363
7364    function vec_vslo
7365      (A : vector_float;
7366       B : vector_unsigned_char) return vector_float
7367    renames vec_slo;
7368
7369    function vec_vslo
7370      (A : vector_signed_int;
7371       B : vector_signed_char) return vector_signed_int
7372    renames vec_slo;
7373
7374    function vec_vslo
7375      (A : vector_signed_int;
7376       B : vector_unsigned_char) return vector_signed_int
7377    renames vec_slo;
7378
7379    function vec_vslo
7380      (A : vector_unsigned_int;
7381       B : vector_signed_char) return vector_unsigned_int
7382    renames vec_slo;
7383
7384    function vec_vslo
7385      (A : vector_unsigned_int;
7386       B : vector_unsigned_char) return vector_unsigned_int
7387    renames vec_slo;
7388
7389    function vec_vslo
7390      (A : vector_signed_short;
7391       B : vector_signed_char) return vector_signed_short
7392    renames vec_slo;
7393
7394    function vec_vslo
7395      (A : vector_signed_short;
7396       B : vector_unsigned_char) return vector_signed_short
7397    renames vec_slo;
7398
7399    function vec_vslo
7400      (A : vector_unsigned_short;
7401       B : vector_signed_char) return vector_unsigned_short
7402    renames vec_slo;
7403
7404    function vec_vslo
7405      (A : vector_unsigned_short;
7406       B : vector_unsigned_char) return vector_unsigned_short
7407    renames vec_slo;
7408
7409    function vec_vslo
7410      (A : vector_pixel;
7411       B : vector_signed_char) return vector_pixel
7412    renames vec_slo;
7413
7414    function vec_vslo
7415      (A : vector_pixel;
7416       B : vector_unsigned_char) return vector_pixel
7417    renames vec_slo;
7418
7419    function vec_vslo
7420      (A : vector_signed_char;
7421       B : vector_signed_char) return vector_signed_char
7422    renames vec_slo;
7423
7424    function vec_vslo
7425      (A : vector_signed_char;
7426       B : vector_unsigned_char) return vector_signed_char
7427    renames vec_slo;
7428
7429    function vec_vslo
7430      (A : vector_unsigned_char;
7431       B : vector_signed_char) return vector_unsigned_char
7432    renames vec_slo;
7433
7434    function vec_vslo
7435      (A : vector_unsigned_char;
7436       B : vector_unsigned_char) return vector_unsigned_char
7437    renames vec_slo;
7438
7439    function vec_vsr
7440      (A : vector_signed_int;
7441       B : vector_unsigned_int) return vector_signed_int
7442    renames vec_srl;
7443
7444    function vec_vsr
7445      (A : vector_signed_int;
7446       B : vector_unsigned_short) return vector_signed_int
7447    renames vec_srl;
7448
7449    function vec_vsr
7450      (A : vector_signed_int;
7451       B : vector_unsigned_char) return vector_signed_int
7452    renames vec_srl;
7453
7454    function vec_vsr
7455      (A : vector_unsigned_int;
7456       B : vector_unsigned_int) return vector_unsigned_int
7457    renames vec_srl;
7458
7459    function vec_vsr
7460      (A : vector_unsigned_int;
7461       B : vector_unsigned_short) return vector_unsigned_int
7462    renames vec_srl;
7463
7464    function vec_vsr
7465      (A : vector_unsigned_int;
7466       B : vector_unsigned_char) return vector_unsigned_int
7467    renames vec_srl;
7468
7469    function vec_vsr
7470      (A : vector_bool_int;
7471       B : vector_unsigned_int) return vector_bool_int
7472    renames vec_srl;
7473
7474    function vec_vsr
7475      (A : vector_bool_int;
7476       B : vector_unsigned_short) return vector_bool_int
7477    renames vec_srl;
7478
7479    function vec_vsr
7480      (A : vector_bool_int;
7481       B : vector_unsigned_char) return vector_bool_int
7482    renames vec_srl;
7483
7484    function vec_vsr
7485      (A : vector_signed_short;
7486       B : vector_unsigned_int) return vector_signed_short
7487    renames vec_srl;
7488
7489    function vec_vsr
7490      (A : vector_signed_short;
7491       B : vector_unsigned_short) return vector_signed_short
7492    renames vec_srl;
7493
7494    function vec_vsr
7495      (A : vector_signed_short;
7496       B : vector_unsigned_char) return vector_signed_short
7497    renames vec_srl;
7498
7499    function vec_vsr
7500      (A : vector_unsigned_short;
7501       B : vector_unsigned_int) return vector_unsigned_short
7502    renames vec_srl;
7503
7504    function vec_vsr
7505      (A : vector_unsigned_short;
7506       B : vector_unsigned_short) return vector_unsigned_short
7507    renames vec_srl;
7508
7509    function vec_vsr
7510      (A : vector_unsigned_short;
7511       B : vector_unsigned_char) return vector_unsigned_short
7512    renames vec_srl;
7513
7514    function vec_vsr
7515      (A : vector_bool_short;
7516       B : vector_unsigned_int) return vector_bool_short
7517    renames vec_srl;
7518
7519    function vec_vsr
7520      (A : vector_bool_short;
7521       B : vector_unsigned_short) return vector_bool_short
7522    renames vec_srl;
7523
7524    function vec_vsr
7525      (A : vector_bool_short;
7526       B : vector_unsigned_char) return vector_bool_short
7527    renames vec_srl;
7528
7529    function vec_vsr
7530      (A : vector_pixel;
7531       B : vector_unsigned_int) return vector_pixel
7532    renames vec_srl;
7533
7534    function vec_vsr
7535      (A : vector_pixel;
7536       B : vector_unsigned_short) return vector_pixel
7537    renames vec_srl;
7538
7539    function vec_vsr
7540      (A : vector_pixel;
7541       B : vector_unsigned_char) return vector_pixel
7542    renames vec_srl;
7543
7544    function vec_vsr
7545      (A : vector_signed_char;
7546       B : vector_unsigned_int) return vector_signed_char
7547    renames vec_srl;
7548
7549    function vec_vsr
7550      (A : vector_signed_char;
7551       B : vector_unsigned_short) return vector_signed_char
7552    renames vec_srl;
7553
7554    function vec_vsr
7555      (A : vector_signed_char;
7556       B : vector_unsigned_char) return vector_signed_char
7557    renames vec_srl;
7558
7559    function vec_vsr
7560      (A : vector_unsigned_char;
7561       B : vector_unsigned_int) return vector_unsigned_char
7562    renames vec_srl;
7563
7564    function vec_vsr
7565      (A : vector_unsigned_char;
7566       B : vector_unsigned_short) return vector_unsigned_char
7567    renames vec_srl;
7568
7569    function vec_vsr
7570      (A : vector_unsigned_char;
7571       B : vector_unsigned_char) return vector_unsigned_char
7572    renames vec_srl;
7573
7574    function vec_vsr
7575      (A : vector_bool_char;
7576       B : vector_unsigned_int) return vector_bool_char
7577    renames vec_srl;
7578
7579    function vec_vsr
7580      (A : vector_bool_char;
7581       B : vector_unsigned_short) return vector_bool_char
7582    renames vec_srl;
7583
7584    function vec_vsr
7585      (A : vector_bool_char;
7586       B : vector_unsigned_char) return vector_bool_char
7587    renames vec_srl;
7588
7589    function vec_vsro
7590      (A : vector_float;
7591       B : vector_signed_char) return vector_float
7592    renames vec_sro;
7593
7594    function vec_vsro
7595      (A : vector_float;
7596       B : vector_unsigned_char) return vector_float
7597    renames vec_sro;
7598
7599    function vec_vsro
7600      (A : vector_signed_int;
7601       B : vector_signed_char) return vector_signed_int
7602    renames vec_sro;
7603
7604    function vec_vsro
7605      (A : vector_signed_int;
7606       B : vector_unsigned_char) return vector_signed_int
7607    renames vec_sro;
7608
7609    function vec_vsro
7610      (A : vector_unsigned_int;
7611       B : vector_signed_char) return vector_unsigned_int
7612    renames vec_sro;
7613
7614    function vec_vsro
7615      (A : vector_unsigned_int;
7616       B : vector_unsigned_char) return vector_unsigned_int
7617    renames vec_sro;
7618
7619    function vec_vsro
7620      (A : vector_signed_short;
7621       B : vector_signed_char) return vector_signed_short
7622    renames vec_sro;
7623
7624    function vec_vsro
7625      (A : vector_signed_short;
7626       B : vector_unsigned_char) return vector_signed_short
7627    renames vec_sro;
7628
7629    function vec_vsro
7630      (A : vector_unsigned_short;
7631       B : vector_signed_char) return vector_unsigned_short
7632    renames vec_sro;
7633
7634    function vec_vsro
7635      (A : vector_unsigned_short;
7636       B : vector_unsigned_char) return vector_unsigned_short
7637    renames vec_sro;
7638
7639    function vec_vsro
7640      (A : vector_pixel;
7641       B : vector_signed_char) return vector_pixel
7642    renames vec_sro;
7643
7644    function vec_vsro
7645      (A : vector_pixel;
7646       B : vector_unsigned_char) return vector_pixel
7647    renames vec_sro;
7648
7649    function vec_vsro
7650      (A : vector_signed_char;
7651       B : vector_signed_char) return vector_signed_char
7652    renames vec_sro;
7653
7654    function vec_vsro
7655      (A : vector_signed_char;
7656       B : vector_unsigned_char) return vector_signed_char
7657    renames vec_sro;
7658
7659    function vec_vsro
7660      (A : vector_unsigned_char;
7661       B : vector_signed_char) return vector_unsigned_char
7662    renames vec_sro;
7663
7664    function vec_vsro
7665      (A : vector_unsigned_char;
7666       B : vector_unsigned_char) return vector_unsigned_char
7667    renames vec_sro;
7668
7669    --------------
7670    -- vec_stvx --
7671    --------------
7672
7673    procedure vec_stvx
7674      (A : vector_float;
7675       B : c_int;
7676       C : vector_float_ptr)
7677    renames vec_st;
7678
7679    procedure vec_stvx
7680      (A : vector_float;
7681       B : c_int;
7682       C : float_ptr)
7683    renames vec_st;
7684
7685    procedure vec_stvx
7686      (A : vector_signed_int;
7687       B : c_int;
7688       C : vector_signed_int_ptr)
7689    renames vec_st;
7690
7691    procedure vec_stvx
7692      (A : vector_signed_int;
7693       B : c_int;
7694       C : int_ptr)
7695    renames vec_st;
7696
7697    procedure vec_stvx
7698      (A : vector_unsigned_int;
7699       B : c_int;
7700       C : vector_unsigned_int_ptr)
7701    renames vec_st;
7702
7703    procedure vec_stvx
7704      (A : vector_unsigned_int;
7705       B : c_int;
7706       C : unsigned_int_ptr)
7707    renames vec_st;
7708
7709    procedure vec_stvx
7710      (A : vector_bool_int;
7711       B : c_int;
7712       C : vector_bool_int_ptr)
7713    renames vec_st;
7714
7715    procedure vec_stvx
7716      (A : vector_bool_int;
7717       B : c_int;
7718       C : unsigned_int_ptr)
7719    renames vec_st;
7720
7721    procedure vec_stvx
7722      (A : vector_bool_int;
7723       B : c_int;
7724       C : int_ptr)
7725    renames vec_st;
7726
7727    procedure vec_stvx
7728      (A : vector_signed_short;
7729       B : c_int;
7730       C : vector_signed_short_ptr)
7731    renames vec_st;
7732
7733    procedure vec_stvx
7734      (A : vector_signed_short;
7735       B : c_int;
7736       C : short_ptr)
7737    renames vec_st;
7738
7739    procedure vec_stvx
7740      (A : vector_unsigned_short;
7741       B : c_int;
7742       C : vector_unsigned_short_ptr)
7743    renames vec_st;
7744
7745    procedure vec_stvx
7746      (A : vector_unsigned_short;
7747       B : c_int;
7748       C : unsigned_short_ptr)
7749    renames vec_st;
7750
7751    procedure vec_stvx
7752      (A : vector_bool_short;
7753       B : c_int;
7754       C : vector_bool_short_ptr)
7755    renames vec_st;
7756
7757    procedure vec_stvx
7758      (A : vector_bool_short;
7759       B : c_int;
7760       C : unsigned_short_ptr)
7761    renames vec_st;
7762
7763    procedure vec_stvx
7764      (A : vector_pixel;
7765       B : c_int;
7766       C : vector_pixel_ptr)
7767    renames vec_st;
7768
7769    procedure vec_stvx
7770      (A : vector_pixel;
7771       B : c_int;
7772       C : unsigned_short_ptr)
7773    renames vec_st;
7774
7775    procedure vec_stvx
7776      (A : vector_pixel;
7777       B : c_int;
7778       C : short_ptr)
7779    renames vec_st;
7780
7781    procedure vec_stvx
7782      (A : vector_bool_short;
7783       B : c_int;
7784       C : short_ptr)
7785    renames vec_st;
7786
7787    procedure vec_stvx
7788      (A : vector_signed_char;
7789       B : c_int;
7790       C : vector_signed_char_ptr)
7791    renames vec_st;
7792
7793    procedure vec_stvx
7794      (A : vector_signed_char;
7795       B : c_int;
7796       C : signed_char_ptr)
7797    renames vec_st;
7798
7799    procedure vec_stvx
7800      (A : vector_unsigned_char;
7801       B : c_int;
7802       C : vector_unsigned_char_ptr)
7803    renames vec_st;
7804
7805    procedure vec_stvx
7806      (A : vector_unsigned_char;
7807       B : c_int;
7808       C : unsigned_char_ptr)
7809    renames vec_st;
7810
7811    procedure vec_stvx
7812      (A : vector_bool_char;
7813       B : c_int;
7814       C : vector_bool_char_ptr)
7815    renames vec_st;
7816
7817    procedure vec_stvx
7818      (A : vector_bool_char;
7819       B : c_int;
7820       C : unsigned_char_ptr)
7821    renames vec_st;
7822
7823    procedure vec_stvx
7824      (A : vector_bool_char;
7825       B : c_int;
7826       C : signed_char_ptr)
7827    renames vec_st;
7828
7829    ---------------
7830    -- vec_stvxl --
7831    ---------------
7832
7833    procedure vec_stvxl
7834      (A : vector_float;
7835       B : c_int;
7836       C : vector_float_ptr)
7837    renames vec_stl;
7838
7839    procedure vec_stvxl
7840      (A : vector_float;
7841       B : c_int;
7842       C : float_ptr)
7843    renames vec_stl;
7844
7845    procedure vec_stvxl
7846      (A : vector_signed_int;
7847       B : c_int;
7848       C : vector_signed_int_ptr)
7849    renames vec_stl;
7850
7851    procedure vec_stvxl
7852      (A : vector_signed_int;
7853       B : c_int;
7854       C : int_ptr)
7855    renames vec_stl;
7856
7857    procedure vec_stvxl
7858      (A : vector_unsigned_int;
7859       B : c_int;
7860       C : vector_unsigned_int_ptr)
7861    renames vec_stl;
7862
7863    procedure vec_stvxl
7864      (A : vector_unsigned_int;
7865       B : c_int;
7866       C : unsigned_int_ptr)
7867    renames vec_stl;
7868
7869    procedure vec_stvxl
7870      (A : vector_bool_int;
7871       B : c_int;
7872       C : vector_bool_int_ptr)
7873    renames vec_stl;
7874
7875    procedure vec_stvxl
7876      (A : vector_bool_int;
7877       B : c_int;
7878       C : unsigned_int_ptr)
7879    renames vec_stl;
7880
7881    procedure vec_stvxl
7882      (A : vector_bool_int;
7883       B : c_int;
7884       C : int_ptr)
7885    renames vec_stl;
7886
7887    procedure vec_stvxl
7888      (A : vector_signed_short;
7889       B : c_int;
7890       C : vector_signed_short_ptr)
7891    renames vec_stl;
7892
7893    procedure vec_stvxl
7894      (A : vector_signed_short;
7895       B : c_int;
7896       C : short_ptr)
7897    renames vec_stl;
7898
7899    procedure vec_stvxl
7900      (A : vector_unsigned_short;
7901       B : c_int;
7902       C : vector_unsigned_short_ptr)
7903    renames vec_stl;
7904
7905    procedure vec_stvxl
7906      (A : vector_unsigned_short;
7907       B : c_int;
7908       C : unsigned_short_ptr)
7909    renames vec_stl;
7910
7911    procedure vec_stvxl
7912      (A : vector_bool_short;
7913       B : c_int;
7914       C : vector_bool_short_ptr)
7915    renames vec_stl;
7916
7917    procedure vec_stvxl
7918      (A : vector_bool_short;
7919       B : c_int;
7920       C : unsigned_short_ptr)
7921    renames vec_stl;
7922
7923    procedure vec_stvxl
7924      (A : vector_bool_short;
7925       B : c_int;
7926       C : short_ptr)
7927    renames vec_stl;
7928
7929    procedure vec_stvxl
7930      (A : vector_pixel;
7931       B : c_int;
7932       C : vector_pixel_ptr)
7933    renames vec_stl;
7934
7935    procedure vec_stvxl
7936      (A : vector_pixel;
7937       B : c_int;
7938       C : unsigned_short_ptr)
7939    renames vec_stl;
7940
7941    procedure vec_stvxl
7942      (A : vector_pixel;
7943       B : c_int;
7944       C : short_ptr)
7945    renames vec_stl;
7946
7947    procedure vec_stvxl
7948      (A : vector_signed_char;
7949       B : c_int;
7950       C : vector_signed_char_ptr)
7951    renames vec_stl;
7952
7953    procedure vec_stvxl
7954      (A : vector_signed_char;
7955       B : c_int;
7956       C : signed_char_ptr)
7957    renames vec_stl;
7958
7959    procedure vec_stvxl
7960      (A : vector_unsigned_char;
7961       B : c_int;
7962       C : vector_unsigned_char_ptr)
7963    renames vec_stl;
7964
7965    procedure vec_stvxl
7966      (A : vector_unsigned_char;
7967       B : c_int;
7968       C : unsigned_char_ptr)
7969    renames vec_stl;
7970
7971    procedure vec_stvxl
7972      (A : vector_bool_char;
7973       B : c_int;
7974       C : vector_bool_char_ptr)
7975    renames vec_stl;
7976
7977    procedure vec_stvxl
7978      (A : vector_bool_char;
7979       B : c_int;
7980       C : unsigned_char_ptr)
7981    renames vec_stl;
7982
7983    procedure vec_stvxl
7984      (A : vector_bool_char;
7985       B : c_int;
7986       C : signed_char_ptr)
7987    renames vec_stl;
7988
7989    function vec_vsubcuw
7990      (A : vector_unsigned_int;
7991       B : vector_unsigned_int) return vector_unsigned_int
7992    renames vec_subc;
7993
7994    ------------------
7995    -- vec_vsum2sws --
7996    ------------------
7997
7998    function vec_vsum2sws
7999      (A : vector_signed_int;
8000       B : vector_signed_int) return vector_signed_int
8001    renames vec_sum2s;
8002
8003    function vec_vsumsws
8004      (A : vector_signed_int;
8005       B : vector_signed_int) return vector_signed_int
8006    renames vec_sums;
8007
8008    function vec_vrfiz
8009      (A : vector_float) return vector_float
8010    renames vec_trunc;
8011
8012    --------------
8013    -- vec_vxor --
8014    --------------
8015
8016    function vec_vxor
8017      (A : vector_float;
8018       B : vector_float) return vector_float
8019    renames vec_xor;
8020
8021    function vec_vxor
8022      (A : vector_float;
8023       B : vector_bool_int) return vector_float
8024    renames vec_xor;
8025
8026    function vec_vxor
8027      (A : vector_bool_int;
8028       B : vector_float) return vector_float
8029    renames vec_xor;
8030
8031    function vec_vxor
8032      (A : vector_bool_int;
8033       B : vector_bool_int) return vector_bool_int
8034    renames vec_xor;
8035
8036    function vec_vxor
8037      (A : vector_bool_int;
8038       B : vector_signed_int) return vector_signed_int
8039    renames vec_xor;
8040
8041    function vec_vxor
8042      (A : vector_signed_int;
8043       B : vector_bool_int) return vector_signed_int
8044    renames vec_xor;
8045
8046    function vec_vxor
8047      (A : vector_signed_int;
8048       B : vector_signed_int) return vector_signed_int
8049    renames vec_xor;
8050
8051    function vec_vxor
8052      (A : vector_bool_int;
8053       B : vector_unsigned_int) return vector_unsigned_int
8054    renames vec_xor;
8055
8056    function vec_vxor
8057      (A : vector_unsigned_int;
8058       B : vector_bool_int) return vector_unsigned_int
8059    renames vec_xor;
8060
8061    function vec_vxor
8062      (A : vector_unsigned_int;
8063       B : vector_unsigned_int) return vector_unsigned_int
8064    renames vec_xor;
8065
8066    function vec_vxor
8067      (A : vector_bool_short;
8068       B : vector_bool_short) return vector_bool_short
8069    renames vec_xor;
8070
8071    function vec_vxor
8072      (A : vector_bool_short;
8073       B : vector_signed_short) return vector_signed_short
8074    renames vec_xor;
8075
8076    function vec_vxor
8077      (A : vector_signed_short;
8078       B : vector_bool_short) return vector_signed_short
8079    renames vec_xor;
8080
8081    function vec_vxor
8082      (A : vector_signed_short;
8083       B : vector_signed_short) return vector_signed_short
8084    renames vec_xor;
8085
8086    function vec_vxor
8087      (A : vector_bool_short;
8088       B : vector_unsigned_short) return vector_unsigned_short
8089    renames vec_xor;
8090
8091    function vec_vxor
8092      (A : vector_unsigned_short;
8093       B : vector_bool_short) return vector_unsigned_short
8094    renames vec_xor;
8095
8096    function vec_vxor
8097      (A : vector_unsigned_short;
8098       B : vector_unsigned_short) return vector_unsigned_short
8099    renames vec_xor;
8100
8101    function vec_vxor
8102      (A : vector_bool_char;
8103       B : vector_signed_char) return vector_signed_char
8104    renames vec_xor;
8105
8106    function vec_vxor
8107      (A : vector_bool_char;
8108       B : vector_bool_char) return vector_bool_char
8109    renames vec_xor;
8110
8111    function vec_vxor
8112      (A : vector_signed_char;
8113       B : vector_bool_char) return vector_signed_char
8114    renames vec_xor;
8115
8116    function vec_vxor
8117      (A : vector_signed_char;
8118       B : vector_signed_char) return vector_signed_char
8119    renames vec_xor;
8120
8121    function vec_vxor
8122      (A : vector_bool_char;
8123       B : vector_unsigned_char) return vector_unsigned_char
8124    renames vec_xor;
8125
8126    function vec_vxor
8127      (A : vector_unsigned_char;
8128       B : vector_bool_char) return vector_unsigned_char
8129    renames vec_xor;
8130
8131    function vec_vxor
8132      (A : vector_unsigned_char;
8133       B : vector_unsigned_char) return vector_unsigned_char
8134    renames vec_xor;
8135
8136    --------------
8137    -- vec_step --
8138    --------------
8139
8140    function vec_step (V : vector_unsigned_char) return Integer;
8141    function vec_step (V : vector_signed_char) return Integer;
8142    function vec_step (V : vector_bool_char) return Integer;
8143
8144    function vec_step (V : vector_unsigned_short) return Integer;
8145    function vec_step (V : vector_signed_short) return Integer;
8146    function vec_step (V : vector_bool_short) return Integer;
8147
8148    function vec_step (V : vector_unsigned_int) return Integer;
8149    function vec_step (V : vector_signed_int) return Integer;
8150    function vec_step (V : vector_bool_int) return Integer;
8151
8152    function vec_step (V : vector_float) return Integer;
8153    function vec_step (V : vector_pixel) return Integer;
8154
8155 private
8156
8157    pragma Inline_Always (vec_abs);
8158    pragma Inline_Always (vec_abss);
8159    pragma Inline_Always (vec_add);
8160    pragma Inline_Always (vec_vaddfp);
8161    pragma Inline_Always (vec_vadduwm);
8162    pragma Inline_Always (vec_vadduhm);
8163    pragma Inline_Always (vec_vaddubm);
8164    pragma Inline_Always (vec_addc);
8165    pragma Inline_Always (vec_adds);
8166    pragma Inline_Always (vec_vaddsws);
8167    pragma Inline_Always (vec_vadduws);
8168    pragma Inline_Always (vec_vaddshs);
8169    pragma Inline_Always (vec_vadduhs);
8170    pragma Inline_Always (vec_vaddsbs);
8171    pragma Inline_Always (vec_vaddubs);
8172    pragma Inline_Always (vec_and);
8173    pragma Inline_Always (vec_andc);
8174    pragma Inline_Always (vec_avg);
8175    pragma Inline_Always (vec_vavgsw);
8176    pragma Inline_Always (vec_vavguw);
8177    pragma Inline_Always (vec_vavgsh);
8178    pragma Inline_Always (vec_vavguh);
8179    pragma Inline_Always (vec_vavgsb);
8180    pragma Inline_Always (vec_vavgub);
8181    pragma Inline_Always (vec_ceil);
8182    pragma Inline_Always (vec_cmpb);
8183    pragma Inline_Always (vec_cmpeq);
8184    pragma Inline_Always (vec_vcmpeqfp);
8185    pragma Inline_Always (vec_vcmpequw);
8186    pragma Inline_Always (vec_vcmpequh);
8187    pragma Inline_Always (vec_vcmpequb);
8188    pragma Inline_Always (vec_cmpge);
8189    pragma Inline_Always (vec_cmpgt);
8190    pragma Inline_Always (vec_vcmpgtfp);
8191    pragma Inline_Always (vec_vcmpgtsw);
8192    pragma Inline_Always (vec_vcmpgtuw);
8193    pragma Inline_Always (vec_vcmpgtsh);
8194    pragma Inline_Always (vec_vcmpgtuh);
8195    pragma Inline_Always (vec_vcmpgtsb);
8196    pragma Inline_Always (vec_vcmpgtub);
8197    pragma Inline_Always (vec_cmple);
8198    pragma Inline_Always (vec_cmplt);
8199    pragma Inline_Always (vec_expte);
8200    pragma Inline_Always (vec_floor);
8201    pragma Inline_Always (vec_ld);
8202    pragma Inline_Always (vec_lde);
8203    pragma Inline_Always (vec_lvewx);
8204    pragma Inline_Always (vec_lvehx);
8205    pragma Inline_Always (vec_lvebx);
8206    pragma Inline_Always (vec_ldl);
8207    pragma Inline_Always (vec_loge);
8208    pragma Inline_Always (vec_lvsl);
8209    pragma Inline_Always (vec_lvsr);
8210    pragma Inline_Always (vec_madd);
8211    pragma Inline_Always (vec_madds);
8212    pragma Inline_Always (vec_max);
8213    pragma Inline_Always (vec_vmaxfp);
8214    pragma Inline_Always (vec_vmaxsw);
8215    pragma Inline_Always (vec_vmaxuw);
8216    pragma Inline_Always (vec_vmaxsh);
8217    pragma Inline_Always (vec_vmaxuh);
8218    pragma Inline_Always (vec_vmaxsb);
8219    pragma Inline_Always (vec_vmaxub);
8220    pragma Inline_Always (vec_mergeh);
8221    pragma Inline_Always (vec_vmrghw);
8222    pragma Inline_Always (vec_vmrghh);
8223    pragma Inline_Always (vec_vmrghb);
8224    pragma Inline_Always (vec_mergel);
8225    pragma Inline_Always (vec_vmrglw);
8226    pragma Inline_Always (vec_vmrglh);
8227    pragma Inline_Always (vec_vmrglb);
8228    pragma Inline_Always (vec_mfvscr);
8229    pragma Inline_Always (vec_min);
8230    pragma Inline_Always (vec_vminfp);
8231    pragma Inline_Always (vec_vminsw);
8232    pragma Inline_Always (vec_vminuw);
8233    pragma Inline_Always (vec_vminsh);
8234    pragma Inline_Always (vec_vminuh);
8235    pragma Inline_Always (vec_vminsb);
8236    pragma Inline_Always (vec_vminub);
8237    pragma Inline_Always (vec_mladd);
8238    pragma Inline_Always (vec_mradds);
8239    pragma Inline_Always (vec_msum);
8240    pragma Inline_Always (vec_vmsumshm);
8241    pragma Inline_Always (vec_vmsumuhm);
8242    pragma Inline_Always (vec_vmsummbm);
8243    pragma Inline_Always (vec_vmsumubm);
8244    pragma Inline_Always (vec_msums);
8245    pragma Inline_Always (vec_vmsumshs);
8246    pragma Inline_Always (vec_vmsumuhs);
8247    pragma Inline_Always (vec_mtvscr);
8248    pragma Inline_Always (vec_mule);
8249    pragma Inline_Always (vec_vmulesh);
8250    pragma Inline_Always (vec_vmuleuh);
8251    pragma Inline_Always (vec_vmulesb);
8252    pragma Inline_Always (vec_vmuleub);
8253    pragma Inline_Always (vec_mulo);
8254    pragma Inline_Always (vec_vmulosh);
8255    pragma Inline_Always (vec_vmulouh);
8256    pragma Inline_Always (vec_vmulosb);
8257    pragma Inline_Always (vec_vmuloub);
8258    pragma Inline_Always (vec_nmsub);
8259    pragma Inline_Always (vec_nor);
8260    pragma Inline_Always (vec_or);
8261    pragma Inline_Always (vec_pack);
8262    pragma Inline_Always (vec_vpkuwum);
8263    pragma Inline_Always (vec_vpkuhum);
8264    pragma Inline_Always (vec_packpx);
8265    pragma Inline_Always (vec_packs);
8266    pragma Inline_Always (vec_vpkswss);
8267    pragma Inline_Always (vec_vpkuwus);
8268    pragma Inline_Always (vec_vpkshss);
8269    pragma Inline_Always (vec_vpkuhus);
8270    pragma Inline_Always (vec_packsu);
8271    pragma Inline_Always (vec_vpkswus);
8272    pragma Inline_Always (vec_vpkshus);
8273    pragma Inline_Always (vec_perm);
8274    pragma Inline_Always (vec_re);
8275    pragma Inline_Always (vec_rl);
8276    pragma Inline_Always (vec_vrlw);
8277    pragma Inline_Always (vec_vrlh);
8278    pragma Inline_Always (vec_vrlb);
8279    pragma Inline_Always (vec_round);
8280    pragma Inline_Always (vec_rsqrte);
8281    pragma Inline_Always (vec_sel);
8282    pragma Inline_Always (vec_sl);
8283    pragma Inline_Always (vec_vslw);
8284    pragma Inline_Always (vec_vslh);
8285    pragma Inline_Always (vec_vslb);
8286    pragma Inline_Always (vec_sll);
8287    pragma Inline_Always (vec_slo);
8288    pragma Inline_Always (vec_sr);
8289    pragma Inline_Always (vec_vsrw);
8290    pragma Inline_Always (vec_vsrh);
8291    pragma Inline_Always (vec_vsrb);
8292    pragma Inline_Always (vec_sra);
8293    pragma Inline_Always (vec_vsraw);
8294    pragma Inline_Always (vec_vsrah);
8295    pragma Inline_Always (vec_vsrab);
8296    pragma Inline_Always (vec_srl);
8297    pragma Inline_Always (vec_sro);
8298    pragma Inline_Always (vec_st);
8299    pragma Inline_Always (vec_ste);
8300    pragma Inline_Always (vec_stvewx);
8301    pragma Inline_Always (vec_stvehx);
8302    pragma Inline_Always (vec_stvebx);
8303    pragma Inline_Always (vec_stl);
8304    pragma Inline_Always (vec_sub);
8305    pragma Inline_Always (vec_vsubfp);
8306    pragma Inline_Always (vec_vsubuwm);
8307    pragma Inline_Always (vec_vsubuhm);
8308    pragma Inline_Always (vec_vsububm);
8309    pragma Inline_Always (vec_subc);
8310    pragma Inline_Always (vec_subs);
8311    pragma Inline_Always (vec_vsubsws);
8312    pragma Inline_Always (vec_vsubuws);
8313    pragma Inline_Always (vec_vsubshs);
8314    pragma Inline_Always (vec_vsubuhs);
8315    pragma Inline_Always (vec_vsubsbs);
8316    pragma Inline_Always (vec_vsububs);
8317    pragma Inline_Always (vec_sum4s);
8318    pragma Inline_Always (vec_vsum4shs);
8319    pragma Inline_Always (vec_vsum4sbs);
8320    pragma Inline_Always (vec_vsum4ubs);
8321    pragma Inline_Always (vec_sum2s);
8322    pragma Inline_Always (vec_sums);
8323    pragma Inline_Always (vec_trunc);
8324    pragma Inline_Always (vec_unpackh);
8325    pragma Inline_Always (vec_vupkhsh);
8326    pragma Inline_Always (vec_vupkhpx);
8327    pragma Inline_Always (vec_vupkhsb);
8328    pragma Inline_Always (vec_unpackl);
8329    pragma Inline_Always (vec_vupklpx);
8330    pragma Inline_Always (vec_vupklsh);
8331    pragma Inline_Always (vec_vupklsb);
8332    pragma Inline_Always (vec_xor);
8333
8334    pragma Inline_Always (vec_all_eq);
8335    pragma Inline_Always (vec_all_ge);
8336    pragma Inline_Always (vec_all_gt);
8337    pragma Inline_Always (vec_all_in);
8338    pragma Inline_Always (vec_all_le);
8339    pragma Inline_Always (vec_all_lt);
8340    pragma Inline_Always (vec_all_nan);
8341    pragma Inline_Always (vec_all_ne);
8342    pragma Inline_Always (vec_all_nge);
8343    pragma Inline_Always (vec_all_ngt);
8344    pragma Inline_Always (vec_all_nle);
8345    pragma Inline_Always (vec_all_nlt);
8346    pragma Inline_Always (vec_all_numeric);
8347    pragma Inline_Always (vec_any_eq);
8348    pragma Inline_Always (vec_any_ge);
8349    pragma Inline_Always (vec_any_gt);
8350    pragma Inline_Always (vec_any_le);
8351    pragma Inline_Always (vec_any_lt);
8352    pragma Inline_Always (vec_any_nan);
8353    pragma Inline_Always (vec_any_ne);
8354    pragma Inline_Always (vec_any_nge);
8355    pragma Inline_Always (vec_any_ngt);
8356    pragma Inline_Always (vec_any_nle);
8357    pragma Inline_Always (vec_any_nlt);
8358    pragma Inline_Always (vec_any_numeric);
8359    pragma Inline_Always (vec_any_out);
8360    pragma Inline_Always (vec_step);
8361
8362 end GNAT.Altivec.Vector_Operations;