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