File : 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-2015, 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 --                                                                          --
  19 --                                                                          --
  20 --                                                                          --
  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;