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