1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
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 --
9 -- Copyright (C) 2004-2009, Free Software Foundation, Inc. --
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. --
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. --
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/>. --
27 -- GNAT was originally developed by the GNAT team at New York University. --
28 -- Extensive contributions were provided by Ada Core Technologies Inc. --
30 ------------------------------------------------------------------------------
32 with GNAT.Altivec.Low_Level_Vectors; use GNAT.Altivec.Low_Level_Vectors;
34 package body GNAT.Altivec.Vector_Operations is
36 --------------------------------------------------------
37 -- Bodies for generic and specific Altivec operations --
38 --------------------------------------------------------
43 (A : vector_signed_char) return vector_signed_char
46 return To_LL_VSC (abs_v16qi (A));
50 (A : vector_signed_short) return vector_signed_short
53 return To_LL_VSS (abs_v8hi (A));
57 (A : vector_signed_int) return vector_signed_int
60 return To_LL_VSI (abs_v4si (A));
64 (A : vector_float) return vector_float
67 return To_LL_VF (abs_v4sf (A));
73 (A : vector_signed_char) return vector_signed_char
76 return To_LL_VSC (abss_v16qi (A));
80 (A : vector_signed_short) return vector_signed_short
83 return To_LL_VSS (abss_v8hi (A));
87 (A : vector_signed_int) return vector_signed_int
90 return To_LL_VSI (abss_v4si (A));
96 (A : vector_bool_char;
97 B : vector_signed_char) return vector_signed_char
100 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
104 (A : vector_signed_char;
105 B : vector_bool_char) return vector_signed_char
108 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
112 (A : vector_signed_char;
113 B : vector_signed_char) return vector_signed_char
116 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
120 (A : vector_bool_char;
121 B : vector_unsigned_char) return vector_unsigned_char
124 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
128 (A : vector_unsigned_char;
129 B : vector_bool_char) return vector_unsigned_char
132 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
136 (A : vector_unsigned_char;
137 B : vector_unsigned_char) return vector_unsigned_char
140 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
144 (A : vector_bool_short;
145 B : vector_signed_short) return vector_signed_short
148 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
152 (A : vector_signed_short;
153 B : vector_bool_short) return vector_signed_short
156 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
160 (A : vector_signed_short;
161 B : vector_signed_short) return vector_signed_short
164 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
168 (A : vector_bool_short;
169 B : vector_unsigned_short) return vector_unsigned_short
172 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
176 (A : vector_unsigned_short;
177 B : vector_bool_short) return vector_unsigned_short
180 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
184 (A : vector_unsigned_short;
185 B : vector_unsigned_short) return vector_unsigned_short
188 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
192 (A : vector_bool_int;
193 B : vector_signed_int) return vector_signed_int
196 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
200 (A : vector_signed_int;
201 B : vector_bool_int) return vector_signed_int
204 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
208 (A : vector_signed_int;
209 B : vector_signed_int) return vector_signed_int
212 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
216 (A : vector_bool_int;
217 B : vector_unsigned_int) return vector_unsigned_int
220 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
224 (A : vector_unsigned_int;
225 B : vector_bool_int) return vector_unsigned_int
228 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
232 (A : vector_unsigned_int;
233 B : vector_unsigned_int) return vector_unsigned_int
236 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
241 B : vector_float) return vector_float
244 return To_LL_VF (vaddfp (To_LL_VF (A), To_LL_VF (B)));
251 B : vector_float) return vector_float
254 return To_LL_VF (vaddfp (To_LL_VF (A), To_LL_VF (B)));
260 (A : vector_bool_int;
261 B : vector_signed_int) return vector_signed_int
264 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
268 (A : vector_signed_int;
269 B : vector_bool_int) return vector_signed_int
272 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
276 (A : vector_signed_int;
277 B : vector_signed_int) return vector_signed_int
280 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
284 (A : vector_bool_int;
285 B : vector_unsigned_int) return vector_unsigned_int
288 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
292 (A : vector_unsigned_int;
293 B : vector_bool_int) return vector_unsigned_int
296 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
300 (A : vector_unsigned_int;
301 B : vector_unsigned_int) return vector_unsigned_int
304 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
310 (A : vector_bool_short;
311 B : vector_signed_short) return vector_signed_short
314 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
318 (A : vector_signed_short;
319 B : vector_bool_short) return vector_signed_short
322 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
326 (A : vector_signed_short;
327 B : vector_signed_short) return vector_signed_short
330 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
334 (A : vector_bool_short;
335 B : vector_unsigned_short) return vector_unsigned_short
338 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
342 (A : vector_unsigned_short;
343 B : vector_bool_short) return vector_unsigned_short
346 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
350 (A : vector_unsigned_short;
351 B : vector_unsigned_short) return vector_unsigned_short
354 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
360 (A : vector_bool_char;
361 B : vector_signed_char) return vector_signed_char
364 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
368 (A : vector_signed_char;
369 B : vector_bool_char) return vector_signed_char
372 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
376 (A : vector_signed_char;
377 B : vector_signed_char) return vector_signed_char
380 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
384 (A : vector_bool_char;
385 B : vector_unsigned_char) return vector_unsigned_char
388 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
392 (A : vector_unsigned_char;
393 B : vector_bool_char) return vector_unsigned_char
396 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
400 (A : vector_unsigned_char;
401 B : vector_unsigned_char) return vector_unsigned_char
404 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
410 (A : vector_unsigned_int;
411 B : vector_unsigned_int) return vector_unsigned_int
414 return To_LL_VUI (vaddcuw (To_LL_VSI (A), To_LL_VSI (B)));
420 (A : vector_bool_char;
421 B : vector_unsigned_char) return vector_unsigned_char
424 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
428 (A : vector_unsigned_char;
429 B : vector_bool_char) return vector_unsigned_char
432 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
436 (A : vector_unsigned_char;
437 B : vector_unsigned_char) return vector_unsigned_char
440 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
444 (A : vector_bool_char;
445 B : vector_signed_char) return vector_signed_char
448 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
452 (A : vector_signed_char;
453 B : vector_bool_char) return vector_signed_char
456 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
460 (A : vector_signed_char;
461 B : vector_signed_char) return vector_signed_char
464 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
468 (A : vector_bool_short;
469 B : vector_unsigned_short) return vector_unsigned_short
472 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
476 (A : vector_unsigned_short;
477 B : vector_bool_short) return vector_unsigned_short
480 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
484 (A : vector_unsigned_short;
485 B : vector_unsigned_short) return vector_unsigned_short
488 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
492 (A : vector_bool_short;
493 B : vector_signed_short) return vector_signed_short
496 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
500 (A : vector_signed_short;
501 B : vector_bool_short) return vector_signed_short
504 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
508 (A : vector_signed_short;
509 B : vector_signed_short) return vector_signed_short
512 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
516 (A : vector_bool_int;
517 B : vector_unsigned_int) return vector_unsigned_int
520 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
524 (A : vector_unsigned_int;
525 B : vector_bool_int) return vector_unsigned_int
528 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
532 (A : vector_unsigned_int;
533 B : vector_unsigned_int) return vector_unsigned_int
536 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
540 (A : vector_bool_int;
541 B : vector_signed_int) return vector_signed_int
544 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
548 (A : vector_signed_int;
549 B : vector_bool_int) return vector_signed_int
552 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
556 (A : vector_signed_int;
557 B : vector_signed_int) return vector_signed_int
560 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
566 (A : vector_bool_int;
567 B : vector_signed_int) return vector_signed_int
570 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
574 (A : vector_signed_int;
575 B : vector_bool_int) return vector_signed_int
578 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
582 (A : vector_signed_int;
583 B : vector_signed_int) return vector_signed_int
586 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
592 (A : vector_bool_int;
593 B : vector_unsigned_int) return vector_unsigned_int
596 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
600 (A : vector_unsigned_int;
601 B : vector_bool_int) return vector_unsigned_int
604 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
608 (A : vector_unsigned_int;
609 B : vector_unsigned_int) return vector_unsigned_int
612 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
618 (A : vector_bool_short;
619 B : vector_signed_short) return vector_signed_short
622 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
626 (A : vector_signed_short;
627 B : vector_bool_short) return vector_signed_short
630 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
634 (A : vector_signed_short;
635 B : vector_signed_short) return vector_signed_short
638 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
644 (A : vector_bool_short;
645 B : vector_unsigned_short) return vector_unsigned_short
648 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
652 (A : vector_unsigned_short;
653 B : vector_bool_short) return vector_unsigned_short
656 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
660 (A : vector_unsigned_short;
661 B : vector_unsigned_short) return vector_unsigned_short
664 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
670 (A : vector_bool_char;
671 B : vector_signed_char) return vector_signed_char
674 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
678 (A : vector_signed_char;
679 B : vector_bool_char) return vector_signed_char
682 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
686 (A : vector_signed_char;
687 B : vector_signed_char) return vector_signed_char
690 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
696 (A : vector_bool_char;
697 B : vector_unsigned_char) return vector_unsigned_char
700 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
704 (A : vector_unsigned_char;
705 B : vector_bool_char) return vector_unsigned_char
708 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
712 (A : vector_unsigned_char;
713 B : vector_unsigned_char) return vector_unsigned_char
716 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
723 B : vector_float) return vector_float
726 return To_LL_VF (vand (To_LL_VSI (A), To_LL_VSI (B)));
731 B : vector_bool_int) return vector_float
734 return To_LL_VF (vand (To_LL_VSI (A), To_LL_VSI (B)));
738 (A : vector_bool_int;
739 B : vector_float) return vector_float
742 return To_LL_VF (vand (To_LL_VSI (A), To_LL_VSI (B)));
746 (A : vector_bool_int;
747 B : vector_bool_int) return vector_bool_int
750 return To_LL_VBI (vand (To_LL_VSI (A), To_LL_VSI (B)));
754 (A : vector_bool_int;
755 B : vector_signed_int) return vector_signed_int
758 return To_LL_VSI (vand (To_LL_VSI (A), To_LL_VSI (B)));
762 (A : vector_signed_int;
763 B : vector_bool_int) return vector_signed_int
766 return To_LL_VSI (vand (To_LL_VSI (A), To_LL_VSI (B)));
770 (A : vector_signed_int;
771 B : vector_signed_int) return vector_signed_int
774 return To_LL_VSI (vand (To_LL_VSI (A), To_LL_VSI (B)));
778 (A : vector_bool_int;
779 B : vector_unsigned_int) return vector_unsigned_int
782 return To_LL_VUI (vand (To_LL_VSI (A), To_LL_VSI (B)));
786 (A : vector_unsigned_int;
787 B : vector_bool_int) return vector_unsigned_int
790 return To_LL_VUI (vand (To_LL_VSI (A), To_LL_VSI (B)));
794 (A : vector_unsigned_int;
795 B : vector_unsigned_int) return vector_unsigned_int
798 return To_LL_VUI (vand (To_LL_VSI (A), To_LL_VSI (B)));
802 (A : vector_bool_short;
803 B : vector_bool_short) return vector_bool_short
806 return To_LL_VBS (vand (To_LL_VSI (A), To_LL_VSI (B)));
810 (A : vector_bool_short;
811 B : vector_signed_short) return vector_signed_short
814 return To_LL_VSS (vand (To_LL_VSI (A), To_LL_VSI (B)));
818 (A : vector_signed_short;
819 B : vector_bool_short) return vector_signed_short
822 return To_LL_VSS (vand (To_LL_VSI (A), To_LL_VSI (B)));
826 (A : vector_signed_short;
827 B : vector_signed_short) return vector_signed_short
830 return To_LL_VSS (vand (To_LL_VSI (A), To_LL_VSI (B)));
834 (A : vector_bool_short;
835 B : vector_unsigned_short) return vector_unsigned_short
838 return To_LL_VUS (vand (To_LL_VSI (A), To_LL_VSI (B)));
842 (A : vector_unsigned_short;
843 B : vector_bool_short) return vector_unsigned_short
846 return To_LL_VUS (vand (To_LL_VSI (A), To_LL_VSI (B)));
850 (A : vector_unsigned_short;
851 B : vector_unsigned_short) return vector_unsigned_short
854 return To_LL_VUS (vand (To_LL_VSI (A), To_LL_VSI (B)));
858 (A : vector_bool_char;
859 B : vector_signed_char) return vector_signed_char
862 return To_LL_VSC (vand (To_LL_VSI (A), To_LL_VSI (B)));
866 (A : vector_bool_char;
867 B : vector_bool_char) return vector_bool_char
870 return To_LL_VBC (vand (To_LL_VSI (A), To_LL_VSI (B)));
874 (A : vector_signed_char;
875 B : vector_bool_char) return vector_signed_char
878 return To_LL_VSC (vand (To_LL_VSI (A), To_LL_VSI (B)));
882 (A : vector_signed_char;
883 B : vector_signed_char) return vector_signed_char
886 return To_LL_VSC (vand (To_LL_VSI (A), To_LL_VSI (B)));
890 (A : vector_bool_char;
891 B : vector_unsigned_char) return vector_unsigned_char
894 return To_LL_VUC (vand (To_LL_VSI (A), To_LL_VSI (B)));
898 (A : vector_unsigned_char;
899 B : vector_bool_char) return vector_unsigned_char
902 return To_LL_VUC (vand (To_LL_VSI (A), To_LL_VSI (B)));
906 (A : vector_unsigned_char;
907 B : vector_unsigned_char) return vector_unsigned_char
910 return To_LL_VUC (vand (To_LL_VSI (A), To_LL_VSI (B)));
917 B : vector_float) return vector_float
920 return To_LL_VF (vandc (To_LL_VSI (A), To_LL_VSI (B)));
925 B : vector_bool_int) return vector_float
928 return To_LL_VF (vandc (To_LL_VSI (A), To_LL_VSI (B)));
932 (A : vector_bool_int;
933 B : vector_float) return vector_float
936 return To_LL_VF (vandc (To_LL_VSI (A), To_LL_VSI (B)));
940 (A : vector_bool_int;
941 B : vector_bool_int) return vector_bool_int
944 return To_LL_VBI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
948 (A : vector_bool_int;
949 B : vector_signed_int) return vector_signed_int
952 return To_LL_VSI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
956 (A : vector_signed_int;
957 B : vector_bool_int) return vector_signed_int
960 return To_LL_VSI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
964 (A : vector_signed_int;
965 B : vector_signed_int) return vector_signed_int
968 return To_LL_VSI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
972 (A : vector_bool_int;
973 B : vector_unsigned_int) return vector_unsigned_int
976 return To_LL_VUI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
980 (A : vector_unsigned_int;
981 B : vector_bool_int) return vector_unsigned_int
984 return To_LL_VUI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
988 (A : vector_unsigned_int;
989 B : vector_unsigned_int) return vector_unsigned_int
992 return To_LL_VUI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
996 (A : vector_bool_short;
997 B : vector_bool_short) return vector_bool_short
1000 return To_LL_VBS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1004 (A : vector_bool_short;
1005 B : vector_signed_short) return vector_signed_short
1008 return To_LL_VSS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1012 (A : vector_signed_short;
1013 B : vector_bool_short) return vector_signed_short
1016 return To_LL_VSS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1020 (A : vector_signed_short;
1021 B : vector_signed_short) return vector_signed_short
1024 return To_LL_VSS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1028 (A : vector_bool_short;
1029 B : vector_unsigned_short) return vector_unsigned_short
1032 return To_LL_VUS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1036 (A : vector_unsigned_short;
1037 B : vector_bool_short) return vector_unsigned_short
1040 return To_LL_VUS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1044 (A : vector_unsigned_short;
1045 B : vector_unsigned_short) return vector_unsigned_short
1048 return To_LL_VUS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1052 (A : vector_bool_char;
1053 B : vector_signed_char) return vector_signed_char
1056 return To_LL_VSC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1060 (A : vector_bool_char;
1061 B : vector_bool_char) return vector_bool_char
1064 return To_LL_VBC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1068 (A : vector_signed_char;
1069 B : vector_bool_char) return vector_signed_char
1072 return To_LL_VSC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1076 (A : vector_signed_char;
1077 B : vector_signed_char) return vector_signed_char
1080 return To_LL_VSC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1084 (A : vector_bool_char;
1085 B : vector_unsigned_char) return vector_unsigned_char
1088 return To_LL_VUC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1092 (A : vector_unsigned_char;
1093 B : vector_bool_char) return vector_unsigned_char
1096 return To_LL_VUC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1100 (A : vector_unsigned_char;
1101 B : vector_unsigned_char) return vector_unsigned_char
1104 return To_LL_VUC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1110 (A : vector_unsigned_char;
1111 B : vector_unsigned_char) return vector_unsigned_char
1114 return To_LL_VUC (vavgub (To_LL_VSC (A), To_LL_VSC (B)));
1118 (A : vector_signed_char;
1119 B : vector_signed_char) return vector_signed_char
1122 return To_LL_VSC (vavgsb (To_LL_VSC (A), To_LL_VSC (B)));
1126 (A : vector_unsigned_short;
1127 B : vector_unsigned_short) return vector_unsigned_short
1130 return To_LL_VUS (vavguh (To_LL_VSS (A), To_LL_VSS (B)));
1134 (A : vector_signed_short;
1135 B : vector_signed_short) return vector_signed_short
1138 return To_LL_VSS (vavgsh (To_LL_VSS (A), To_LL_VSS (B)));
1142 (A : vector_unsigned_int;
1143 B : vector_unsigned_int) return vector_unsigned_int
1146 return To_LL_VUI (vavguw (To_LL_VSI (A), To_LL_VSI (B)));
1150 (A : vector_signed_int;
1151 B : vector_signed_int) return vector_signed_int
1154 return To_LL_VSI (vavgsw (To_LL_VSI (A), To_LL_VSI (B)));
1160 (A : vector_signed_int;
1161 B : vector_signed_int) return vector_signed_int
1164 return To_LL_VSI (vavgsw (To_LL_VSI (A), To_LL_VSI (B)));
1170 (A : vector_unsigned_int;
1171 B : vector_unsigned_int) return vector_unsigned_int
1174 return To_LL_VUI (vavguw (To_LL_VSI (A), To_LL_VSI (B)));
1180 (A : vector_signed_short;
1181 B : vector_signed_short) return vector_signed_short
1184 return To_LL_VSS (vavgsh (To_LL_VSS (A), To_LL_VSS (B)));
1190 (A : vector_unsigned_short;
1191 B : vector_unsigned_short) return vector_unsigned_short
1194 return To_LL_VUS (vavguh (To_LL_VSS (A), To_LL_VSS (B)));
1200 (A : vector_signed_char;
1201 B : vector_signed_char) return vector_signed_char
1204 return To_LL_VSC (vavgsb (To_LL_VSC (A), To_LL_VSC (B)));
1210 (A : vector_unsigned_char;
1211 B : vector_unsigned_char) return vector_unsigned_char
1214 return To_LL_VUC (vavgub (To_LL_VSC (A), To_LL_VSC (B)));
1220 (A : vector_float) return vector_float
1223 return To_LL_VF (vrfip (To_LL_VF (A)));
1230 B : vector_float) return vector_signed_int
1233 return To_LL_VSI (vcmpbfp (To_LL_VF (A), To_LL_VF (B)));
1239 (A : vector_signed_char;
1240 B : vector_signed_char) return vector_bool_char
1243 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1247 (A : vector_unsigned_char;
1248 B : vector_unsigned_char) return vector_bool_char
1251 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1255 (A : vector_signed_short;
1256 B : vector_signed_short) return vector_bool_short
1259 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1263 (A : vector_unsigned_short;
1264 B : vector_unsigned_short) return vector_bool_short
1267 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1271 (A : vector_signed_int;
1272 B : vector_signed_int) return vector_bool_int
1275 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1279 (A : vector_unsigned_int;
1280 B : vector_unsigned_int) return vector_bool_int
1283 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1288 B : vector_float) return vector_bool_int
1291 return To_LL_VBI (vcmpeqfp (To_LL_VF (A), To_LL_VF (B)));
1296 function vec_vcmpeqfp
1298 B : vector_float) return vector_bool_int
1301 return To_LL_VBI (vcmpeqfp (To_LL_VF (A), To_LL_VF (B)));
1306 function vec_vcmpequw
1307 (A : vector_signed_int;
1308 B : vector_signed_int) return vector_bool_int
1311 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1314 function vec_vcmpequw
1315 (A : vector_unsigned_int;
1316 B : vector_unsigned_int) return vector_bool_int
1319 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1324 function vec_vcmpequh
1325 (A : vector_signed_short;
1326 B : vector_signed_short) return vector_bool_short
1329 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1332 function vec_vcmpequh
1333 (A : vector_unsigned_short;
1334 B : vector_unsigned_short) return vector_bool_short
1337 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1342 function vec_vcmpequb
1343 (A : vector_signed_char;
1344 B : vector_signed_char) return vector_bool_char
1347 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1350 function vec_vcmpequb
1351 (A : vector_unsigned_char;
1352 B : vector_unsigned_char) return vector_bool_char
1355 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1362 B : vector_float) return vector_bool_int
1365 return To_LL_VBI (vcmpgefp (To_LL_VF (A), To_LL_VF (B)));
1371 (A : vector_unsigned_char;
1372 B : vector_unsigned_char) return vector_bool_char
1375 return To_LL_VBC (vcmpgtub (To_LL_VSC (A), To_LL_VSC (B)));
1379 (A : vector_signed_char;
1380 B : vector_signed_char) return vector_bool_char
1383 return To_LL_VBC (vcmpgtsb (To_LL_VSC (A), To_LL_VSC (B)));
1387 (A : vector_unsigned_short;
1388 B : vector_unsigned_short) return vector_bool_short
1391 return To_LL_VBS (vcmpgtuh (To_LL_VSS (A), To_LL_VSS (B)));
1395 (A : vector_signed_short;
1396 B : vector_signed_short) return vector_bool_short
1399 return To_LL_VBS (vcmpgtsh (To_LL_VSS (A), To_LL_VSS (B)));
1403 (A : vector_unsigned_int;
1404 B : vector_unsigned_int) return vector_bool_int
1407 return To_LL_VBI (vcmpgtuw (To_LL_VSI (A), To_LL_VSI (B)));
1411 (A : vector_signed_int;
1412 B : vector_signed_int) return vector_bool_int
1415 return To_LL_VBI (vcmpgtsw (To_LL_VSI (A), To_LL_VSI (B)));
1420 B : vector_float) return vector_bool_int
1423 return To_LL_VBI (vcmpgtfp (To_LL_VF (A), To_LL_VF (B)));
1428 function vec_vcmpgtfp
1430 B : vector_float) return vector_bool_int
1433 return To_LL_VBI (vcmpgtfp (To_LL_VF (A), To_LL_VF (B)));
1438 function vec_vcmpgtsw
1439 (A : vector_signed_int;
1440 B : vector_signed_int) return vector_bool_int
1443 return To_LL_VBI (vcmpgtsw (To_LL_VSI (A), To_LL_VSI (B)));
1448 function vec_vcmpgtuw
1449 (A : vector_unsigned_int;
1450 B : vector_unsigned_int) return vector_bool_int
1453 return To_LL_VBI (vcmpgtuw (To_LL_VSI (A), To_LL_VSI (B)));
1458 function vec_vcmpgtsh
1459 (A : vector_signed_short;
1460 B : vector_signed_short) return vector_bool_short
1463 return To_LL_VBS (vcmpgtsh (To_LL_VSS (A), To_LL_VSS (B)));
1468 function vec_vcmpgtuh
1469 (A : vector_unsigned_short;
1470 B : vector_unsigned_short) return vector_bool_short
1473 return To_LL_VBS (vcmpgtuh (To_LL_VSS (A), To_LL_VSS (B)));
1478 function vec_vcmpgtsb
1479 (A : vector_signed_char;
1480 B : vector_signed_char) return vector_bool_char
1483 return To_LL_VBC (vcmpgtsb (To_LL_VSC (A), To_LL_VSC (B)));
1488 function vec_vcmpgtub
1489 (A : vector_unsigned_char;
1490 B : vector_unsigned_char) return vector_bool_char
1493 return To_LL_VBC (vcmpgtub (To_LL_VSC (A), To_LL_VSC (B)));
1500 B : vector_float) return vector_bool_int
1503 return To_LL_VBI (vcmpgefp (To_LL_VF (B), To_LL_VF (A)));
1509 (A : vector_unsigned_char;
1510 B : vector_unsigned_char) return vector_bool_char
1513 return To_LL_VBC (vcmpgtub (To_LL_VSC (B), To_LL_VSC (A)));
1517 (A : vector_signed_char;
1518 B : vector_signed_char) return vector_bool_char
1521 return To_LL_VBC (vcmpgtsb (To_LL_VSC (B), To_LL_VSC (A)));
1525 (A : vector_unsigned_short;
1526 B : vector_unsigned_short) return vector_bool_short
1529 return To_LL_VBS (vcmpgtuh (To_LL_VSS (B), To_LL_VSS (A)));
1533 (A : vector_signed_short;
1534 B : vector_signed_short) return vector_bool_short
1537 return To_LL_VBS (vcmpgtsh (To_LL_VSS (B), To_LL_VSS (A)));
1541 (A : vector_unsigned_int;
1542 B : vector_unsigned_int) return vector_bool_int
1545 return To_LL_VBI (vcmpgtuw (To_LL_VSI (B), To_LL_VSI (A)));
1549 (A : vector_signed_int;
1550 B : vector_signed_int) return vector_bool_int
1553 return To_LL_VBI (vcmpgtsw (To_LL_VSI (B), To_LL_VSI (A)));
1558 B : vector_float) return vector_bool_int
1561 return To_LL_VBI (vcmpgtfp (To_LL_VF (B), To_LL_VF (A)));
1567 (A : vector_float) return vector_float
1570 return To_LL_VF (vexptefp (To_LL_VF (A)));
1576 (A : vector_float) return vector_float
1579 return To_LL_VF (vrfim (To_LL_VF (A)));
1586 B : const_vector_float_ptr) return vector_float
1589 return To_LL_VF (lvx (A, To_PTR (B)));
1594 B : const_float_ptr) return vector_float
1597 return To_LL_VF (lvx (A, To_PTR (B)));
1602 B : const_vector_bool_int_ptr) return vector_bool_int
1605 return To_LL_VBI (lvx (A, To_PTR (B)));
1610 B : const_vector_signed_int_ptr) return vector_signed_int
1613 return To_LL_VSI (lvx (A, To_PTR (B)));
1618 B : const_int_ptr) return vector_signed_int
1621 return To_LL_VSI (lvx (A, To_PTR (B)));
1626 B : const_long_ptr) return vector_signed_int
1629 return To_LL_VSI (lvx (A, To_PTR (B)));
1634 B : const_vector_unsigned_int_ptr) return vector_unsigned_int
1637 return To_LL_VUI (lvx (A, To_PTR (B)));
1642 B : const_unsigned_int_ptr) return vector_unsigned_int
1645 return To_LL_VUI (lvx (A, To_PTR (B)));
1650 B : const_unsigned_long_ptr) return vector_unsigned_int
1653 return To_LL_VUI (lvx (A, To_PTR (B)));
1658 B : const_vector_bool_short_ptr) return vector_bool_short
1661 return To_LL_VBS (lvx (A, To_PTR (B)));
1666 B : const_vector_pixel_ptr) return vector_pixel
1669 return To_LL_VP (lvx (A, To_PTR (B)));
1674 B : const_vector_signed_short_ptr) return vector_signed_short
1677 return To_LL_VSS (lvx (A, To_PTR (B)));
1682 B : const_short_ptr) return vector_signed_short
1685 return To_LL_VSS (lvx (A, To_PTR (B)));
1690 B : const_vector_unsigned_short_ptr) return vector_unsigned_short
1693 return To_LL_VUS (lvx (A, To_PTR (B)));
1698 B : const_unsigned_short_ptr) return vector_unsigned_short
1701 return To_LL_VUS (lvx (A, To_PTR (B)));
1706 B : const_vector_bool_char_ptr) return vector_bool_char
1709 return To_LL_VBC (lvx (A, To_PTR (B)));
1714 B : const_vector_signed_char_ptr) return vector_signed_char
1717 return To_LL_VSC (lvx (A, To_PTR (B)));
1722 B : const_signed_char_ptr) return vector_signed_char
1725 return To_LL_VSC (lvx (A, To_PTR (B)));
1730 B : const_vector_unsigned_char_ptr) return vector_unsigned_char
1733 return To_LL_VUC (lvx (A, To_PTR (B)));
1738 B : const_unsigned_char_ptr) return vector_unsigned_char
1741 return To_LL_VUC (lvx (A, To_PTR (B)));
1748 B : const_signed_char_ptr) return vector_signed_char
1751 return To_LL_VSC (lvebx (A, To_PTR (B)));
1756 B : const_unsigned_char_ptr) return vector_unsigned_char
1759 return To_LL_VUC (lvebx (A, To_PTR (B)));
1764 B : const_short_ptr) return vector_signed_short
1767 return To_LL_VSS (lvehx (A, To_PTR (B)));
1772 B : const_unsigned_short_ptr) return vector_unsigned_short
1775 return To_LL_VUS (lvehx (A, To_PTR (B)));
1780 B : const_float_ptr) return vector_float
1783 return To_LL_VF (lvewx (A, To_PTR (B)));
1788 B : const_int_ptr) return vector_signed_int
1791 return To_LL_VSI (lvewx (A, To_PTR (B)));
1796 B : const_unsigned_int_ptr) return vector_unsigned_int
1799 return To_LL_VUI (lvewx (A, To_PTR (B)));
1804 B : const_long_ptr) return vector_signed_int
1807 return To_LL_VSI (lvewx (A, To_PTR (B)));
1812 B : const_unsigned_long_ptr) return vector_unsigned_int
1815 return To_LL_VUI (lvewx (A, To_PTR (B)));
1822 B : float_ptr) return vector_float
1825 return To_LL_VF (lvewx (A, To_PTR (B)));
1830 B : int_ptr) return vector_signed_int
1833 return To_LL_VSI (lvewx (A, To_PTR (B)));
1838 B : unsigned_int_ptr) return vector_unsigned_int
1841 return To_LL_VUI (lvewx (A, To_PTR (B)));
1846 B : long_ptr) return vector_signed_int
1849 return To_LL_VSI (lvewx (A, To_PTR (B)));
1854 B : unsigned_long_ptr) return vector_unsigned_int
1857 return To_LL_VUI (lvewx (A, To_PTR (B)));
1864 B : short_ptr) return vector_signed_short
1867 return To_LL_VSS (lvehx (A, To_PTR (B)));
1872 B : unsigned_short_ptr) return vector_unsigned_short
1875 return To_LL_VUS (lvehx (A, To_PTR (B)));
1882 B : signed_char_ptr) return vector_signed_char
1885 return To_LL_VSC (lvebx (A, To_PTR (B)));
1890 B : unsigned_char_ptr) return vector_unsigned_char
1893 return To_LL_VUC (lvebx (A, To_PTR (B)));
1900 B : const_vector_float_ptr) return vector_float
1903 return To_LL_VF (lvxl (A, To_PTR (B)));
1908 B : const_float_ptr) return vector_float
1911 return To_LL_VF (lvxl (A, To_PTR (B)));
1916 B : const_vector_bool_int_ptr) return vector_bool_int
1919 return To_LL_VBI (lvxl (A, To_PTR (B)));
1924 B : const_vector_signed_int_ptr) return vector_signed_int
1927 return To_LL_VSI (lvxl (A, To_PTR (B)));
1932 B : const_int_ptr) return vector_signed_int
1935 return To_LL_VSI (lvxl (A, To_PTR (B)));
1940 B : const_long_ptr) return vector_signed_int
1943 return To_LL_VSI (lvxl (A, To_PTR (B)));
1948 B : const_vector_unsigned_int_ptr) return vector_unsigned_int
1951 return To_LL_VUI (lvxl (A, To_PTR (B)));
1956 B : const_unsigned_int_ptr) return vector_unsigned_int
1959 return To_LL_VUI (lvxl (A, To_PTR (B)));
1964 B : const_unsigned_long_ptr) return vector_unsigned_int
1967 return To_LL_VUI (lvxl (A, To_PTR (B)));
1972 B : const_vector_bool_short_ptr) return vector_bool_short
1975 return To_LL_VBS (lvxl (A, To_PTR (B)));
1980 B : const_vector_pixel_ptr) return vector_pixel
1983 return To_LL_VP (lvxl (A, To_PTR (B)));
1988 B : const_vector_signed_short_ptr) return vector_signed_short
1991 return To_LL_VSS (lvxl (A, To_PTR (B)));
1996 B : const_short_ptr) return vector_signed_short
1999 return To_LL_VSS (lvxl (A, To_PTR (B)));
2004 B : const_vector_unsigned_short_ptr) return vector_unsigned_short
2007 return To_LL_VUS (lvxl (A, To_PTR (B)));
2012 B : const_unsigned_short_ptr) return vector_unsigned_short
2015 return To_LL_VUS (lvxl (A, To_PTR (B)));
2020 B : const_vector_bool_char_ptr) return vector_bool_char
2023 return To_LL_VBC (lvxl (A, To_PTR (B)));
2028 B : const_vector_signed_char_ptr) return vector_signed_char
2031 return To_LL_VSC (lvxl (A, To_PTR (B)));
2036 B : const_signed_char_ptr) return vector_signed_char
2039 return To_LL_VSC (lvxl (A, To_PTR (B)));
2044 B : const_vector_unsigned_char_ptr) return vector_unsigned_char
2047 return To_LL_VUC (lvxl (A, To_PTR (B)));
2052 B : const_unsigned_char_ptr) return vector_unsigned_char
2055 return To_LL_VUC (lvxl (A, To_PTR (B)));
2061 (A : vector_float) return vector_float
2064 return To_LL_VF (vlogefp (To_LL_VF (A)));
2071 B : constv_unsigned_char_ptr) return vector_unsigned_char
2074 return To_LL_VUC (lvsl (A, To_PTR (B)));
2079 B : constv_signed_char_ptr) return vector_unsigned_char
2082 return To_LL_VUC (lvsl (A, To_PTR (B)));
2087 B : constv_unsigned_short_ptr) return vector_unsigned_char
2090 return To_LL_VUC (lvsl (A, To_PTR (B)));
2095 B : constv_short_ptr) return vector_unsigned_char
2098 return To_LL_VUC (lvsl (A, To_PTR (B)));
2103 B : constv_unsigned_int_ptr) return vector_unsigned_char
2106 return To_LL_VUC (lvsl (A, To_PTR (B)));
2111 B : constv_int_ptr) return vector_unsigned_char
2114 return To_LL_VUC (lvsl (A, To_PTR (B)));
2119 B : constv_unsigned_long_ptr) return vector_unsigned_char
2122 return To_LL_VUC (lvsl (A, To_PTR (B)));
2127 B : constv_long_ptr) return vector_unsigned_char
2130 return To_LL_VUC (lvsl (A, To_PTR (B)));
2135 B : constv_float_ptr) return vector_unsigned_char
2138 return To_LL_VUC (lvsl (A, To_PTR (B)));
2145 B : constv_unsigned_char_ptr) return vector_unsigned_char
2148 return To_LL_VUC (lvsr (A, To_PTR (B)));
2153 B : constv_signed_char_ptr) return vector_unsigned_char
2156 return To_LL_VUC (lvsr (A, To_PTR (B)));
2161 B : constv_unsigned_short_ptr) return vector_unsigned_char
2164 return To_LL_VUC (lvsr (A, To_PTR (B)));
2169 B : constv_short_ptr) return vector_unsigned_char
2172 return To_LL_VUC (lvsr (A, To_PTR (B)));
2177 B : constv_unsigned_int_ptr) return vector_unsigned_char
2180 return To_LL_VUC (lvsr (A, To_PTR (B)));
2185 B : constv_int_ptr) return vector_unsigned_char
2188 return To_LL_VUC (lvsr (A, To_PTR (B)));
2193 B : constv_unsigned_long_ptr) return vector_unsigned_char
2196 return To_LL_VUC (lvsr (A, To_PTR (B)));
2201 B : constv_long_ptr) return vector_unsigned_char
2204 return To_LL_VUC (lvsr (A, To_PTR (B)));
2209 B : constv_float_ptr) return vector_unsigned_char
2212 return To_LL_VUC (lvsr (A, To_PTR (B)));
2220 C : vector_float) return vector_float
2223 return vmaddfp (A, B, C);
2229 (A : vector_signed_short;
2230 B : vector_signed_short;
2231 C : vector_signed_short) return vector_signed_short
2234 return vmhaddshs (A, B, C);
2240 (A : vector_bool_char;
2241 B : vector_unsigned_char) return vector_unsigned_char
2244 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2248 (A : vector_unsigned_char;
2249 B : vector_bool_char) return vector_unsigned_char
2252 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2256 (A : vector_unsigned_char;
2257 B : vector_unsigned_char) return vector_unsigned_char
2260 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2264 (A : vector_bool_char;
2265 B : vector_signed_char) return vector_signed_char
2268 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2272 (A : vector_signed_char;
2273 B : vector_bool_char) return vector_signed_char
2276 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2280 (A : vector_signed_char;
2281 B : vector_signed_char) return vector_signed_char
2284 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2288 (A : vector_bool_short;
2289 B : vector_unsigned_short) return vector_unsigned_short
2292 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2296 (A : vector_unsigned_short;
2297 B : vector_bool_short) return vector_unsigned_short
2300 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2304 (A : vector_unsigned_short;
2305 B : vector_unsigned_short) return vector_unsigned_short
2308 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2312 (A : vector_bool_short;
2313 B : vector_signed_short) return vector_signed_short
2316 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2320 (A : vector_signed_short;
2321 B : vector_bool_short) return vector_signed_short
2324 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2328 (A : vector_signed_short;
2329 B : vector_signed_short) return vector_signed_short
2332 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2336 (A : vector_bool_int;
2337 B : vector_unsigned_int) return vector_unsigned_int
2340 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2344 (A : vector_unsigned_int;
2345 B : vector_bool_int) return vector_unsigned_int
2348 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2352 (A : vector_unsigned_int;
2353 B : vector_unsigned_int) return vector_unsigned_int
2356 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2360 (A : vector_bool_int;
2361 B : vector_signed_int) return vector_signed_int
2364 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2368 (A : vector_signed_int;
2369 B : vector_bool_int) return vector_signed_int
2372 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2376 (A : vector_signed_int;
2377 B : vector_signed_int) return vector_signed_int
2380 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2385 B : vector_float) return vector_float
2388 return To_LL_VF (vmaxfp (To_LL_VF (A), To_LL_VF (B)));
2395 B : vector_float) return vector_float
2398 return To_LL_VF (vmaxfp (To_LL_VF (A), To_LL_VF (B)));
2404 (A : vector_bool_int;
2405 B : vector_signed_int) return vector_signed_int
2408 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2412 (A : vector_signed_int;
2413 B : vector_bool_int) return vector_signed_int
2416 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2420 (A : vector_signed_int;
2421 B : vector_signed_int) return vector_signed_int
2424 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2430 (A : vector_bool_int;
2431 B : vector_unsigned_int) return vector_unsigned_int
2434 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2438 (A : vector_unsigned_int;
2439 B : vector_bool_int) return vector_unsigned_int
2442 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2446 (A : vector_unsigned_int;
2447 B : vector_unsigned_int) return vector_unsigned_int
2450 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2456 (A : vector_bool_short;
2457 B : vector_signed_short) return vector_signed_short
2460 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2464 (A : vector_signed_short;
2465 B : vector_bool_short) return vector_signed_short
2468 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2472 (A : vector_signed_short;
2473 B : vector_signed_short) return vector_signed_short
2476 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2482 (A : vector_bool_short;
2483 B : vector_unsigned_short) return vector_unsigned_short
2486 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2490 (A : vector_unsigned_short;
2491 B : vector_bool_short) return vector_unsigned_short
2494 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2498 (A : vector_unsigned_short;
2499 B : vector_unsigned_short) return vector_unsigned_short
2502 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2508 (A : vector_bool_char;
2509 B : vector_signed_char) return vector_signed_char
2512 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2516 (A : vector_signed_char;
2517 B : vector_bool_char) return vector_signed_char
2520 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2524 (A : vector_signed_char;
2525 B : vector_signed_char) return vector_signed_char
2528 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2534 (A : vector_bool_char;
2535 B : vector_unsigned_char) return vector_unsigned_char
2538 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2542 (A : vector_unsigned_char;
2543 B : vector_bool_char) return vector_unsigned_char
2546 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2550 (A : vector_unsigned_char;
2551 B : vector_unsigned_char) return vector_unsigned_char
2554 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2560 (A : vector_bool_char;
2561 B : vector_bool_char) return vector_bool_char
2564 return To_LL_VBC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2568 (A : vector_signed_char;
2569 B : vector_signed_char) return vector_signed_char
2572 return To_LL_VSC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2576 (A : vector_unsigned_char;
2577 B : vector_unsigned_char) return vector_unsigned_char
2580 return To_LL_VUC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2584 (A : vector_bool_short;
2585 B : vector_bool_short) return vector_bool_short
2588 return To_LL_VBS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2593 B : vector_pixel) return vector_pixel
2596 return To_LL_VP (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2600 (A : vector_signed_short;
2601 B : vector_signed_short) return vector_signed_short
2604 return To_LL_VSS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2608 (A : vector_unsigned_short;
2609 B : vector_unsigned_short) return vector_unsigned_short
2612 return To_LL_VUS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2617 B : vector_float) return vector_float
2620 return To_LL_VF (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2624 (A : vector_bool_int;
2625 B : vector_bool_int) return vector_bool_int
2628 return To_LL_VBI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2632 (A : vector_signed_int;
2633 B : vector_signed_int) return vector_signed_int
2636 return To_LL_VSI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2640 (A : vector_unsigned_int;
2641 B : vector_unsigned_int) return vector_unsigned_int
2644 return To_LL_VUI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2651 B : vector_float) return vector_float
2654 return To_LL_VF (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2658 (A : vector_bool_int;
2659 B : vector_bool_int) return vector_bool_int
2662 return To_LL_VBI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2666 (A : vector_signed_int;
2667 B : vector_signed_int) return vector_signed_int
2670 return To_LL_VSI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2674 (A : vector_unsigned_int;
2675 B : vector_unsigned_int) return vector_unsigned_int
2678 return To_LL_VUI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2684 (A : vector_bool_short;
2685 B : vector_bool_short) return vector_bool_short
2688 return To_LL_VBS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2692 (A : vector_signed_short;
2693 B : vector_signed_short) return vector_signed_short
2696 return To_LL_VSS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2700 (A : vector_unsigned_short;
2701 B : vector_unsigned_short) return vector_unsigned_short
2704 return To_LL_VUS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2709 B : vector_pixel) return vector_pixel
2712 return To_LL_VP (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2718 (A : vector_bool_char;
2719 B : vector_bool_char) return vector_bool_char
2722 return To_LL_VBC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2726 (A : vector_signed_char;
2727 B : vector_signed_char) return vector_signed_char
2730 return To_LL_VSC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2734 (A : vector_unsigned_char;
2735 B : vector_unsigned_char) return vector_unsigned_char
2738 return To_LL_VUC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2744 (A : vector_bool_char;
2745 B : vector_bool_char) return vector_bool_char
2748 return To_LL_VBC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2752 (A : vector_signed_char;
2753 B : vector_signed_char) return vector_signed_char
2756 return To_LL_VSC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2760 (A : vector_unsigned_char;
2761 B : vector_unsigned_char) return vector_unsigned_char
2764 return To_LL_VUC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2768 (A : vector_bool_short;
2769 B : vector_bool_short) return vector_bool_short
2772 return To_LL_VBS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2777 B : vector_pixel) return vector_pixel
2780 return To_LL_VP (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2784 (A : vector_signed_short;
2785 B : vector_signed_short) return vector_signed_short
2788 return To_LL_VSS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2792 (A : vector_unsigned_short;
2793 B : vector_unsigned_short) return vector_unsigned_short
2796 return To_LL_VUS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2801 B : vector_float) return vector_float
2804 return To_LL_VF (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2808 (A : vector_bool_int;
2809 B : vector_bool_int) return vector_bool_int
2812 return To_LL_VBI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2816 (A : vector_signed_int;
2817 B : vector_signed_int) return vector_signed_int
2820 return To_LL_VSI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2824 (A : vector_unsigned_int;
2825 B : vector_unsigned_int) return vector_unsigned_int
2828 return To_LL_VUI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2835 B : vector_float) return vector_float
2838 return To_LL_VF (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2842 (A : vector_signed_int;
2843 B : vector_signed_int) return vector_signed_int
2846 return To_LL_VSI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2850 (A : vector_unsigned_int;
2851 B : vector_unsigned_int) return vector_unsigned_int
2854 return To_LL_VUI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2858 (A : vector_bool_int;
2859 B : vector_bool_int) return vector_bool_int
2862 return To_LL_VBI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2868 (A : vector_bool_short;
2869 B : vector_bool_short) return vector_bool_short
2872 return To_LL_VBS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2876 (A : vector_signed_short;
2877 B : vector_signed_short) return vector_signed_short
2880 return To_LL_VSS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2884 (A : vector_unsigned_short;
2885 B : vector_unsigned_short) return vector_unsigned_short
2888 return To_LL_VUS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2893 B : vector_pixel) return vector_pixel
2896 return To_LL_VP (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2902 (A : vector_bool_char;
2903 B : vector_bool_char) return vector_bool_char
2906 return To_LL_VBC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2910 (A : vector_signed_char;
2911 B : vector_signed_char) return vector_signed_char
2914 return To_LL_VSC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2918 (A : vector_unsigned_char;
2919 B : vector_unsigned_char) return vector_unsigned_char
2922 return To_LL_VUC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2927 function vec_mfvscr return vector_unsigned_short
2930 return To_LL_VUS (mfvscr);
2936 (A : vector_bool_char;
2937 B : vector_unsigned_char) return vector_unsigned_char
2940 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
2944 (A : vector_unsigned_char;
2945 B : vector_bool_char) return vector_unsigned_char
2948 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
2952 (A : vector_unsigned_char;
2953 B : vector_unsigned_char) return vector_unsigned_char
2956 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
2960 (A : vector_bool_char;
2961 B : vector_signed_char) return vector_signed_char
2964 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
2968 (A : vector_signed_char;
2969 B : vector_bool_char) return vector_signed_char
2972 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
2976 (A : vector_signed_char;
2977 B : vector_signed_char) return vector_signed_char
2980 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
2984 (A : vector_bool_short;
2985 B : vector_unsigned_short) return vector_unsigned_short
2988 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
2992 (A : vector_unsigned_short;
2993 B : vector_bool_short) return vector_unsigned_short
2996 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3000 (A : vector_unsigned_short;
3001 B : vector_unsigned_short) return vector_unsigned_short
3004 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3008 (A : vector_bool_short;
3009 B : vector_signed_short) return vector_signed_short
3012 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3016 (A : vector_signed_short;
3017 B : vector_bool_short) return vector_signed_short
3020 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3024 (A : vector_signed_short;
3025 B : vector_signed_short) return vector_signed_short
3028 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3032 (A : vector_bool_int;
3033 B : vector_unsigned_int) return vector_unsigned_int
3036 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3040 (A : vector_unsigned_int;
3041 B : vector_bool_int) return vector_unsigned_int
3044 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3048 (A : vector_unsigned_int;
3049 B : vector_unsigned_int) return vector_unsigned_int
3052 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3056 (A : vector_bool_int;
3057 B : vector_signed_int) return vector_signed_int
3060 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3064 (A : vector_signed_int;
3065 B : vector_bool_int) return vector_signed_int
3068 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3072 (A : vector_signed_int;
3073 B : vector_signed_int) return vector_signed_int
3076 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3081 B : vector_float) return vector_float
3084 return To_LL_VF (vminfp (To_LL_VF (A), To_LL_VF (B)));
3091 B : vector_float) return vector_float
3094 return To_LL_VF (vminfp (To_LL_VF (A), To_LL_VF (B)));
3100 (A : vector_bool_int;
3101 B : vector_signed_int) return vector_signed_int
3104 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3108 (A : vector_signed_int;
3109 B : vector_bool_int) return vector_signed_int
3112 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3116 (A : vector_signed_int;
3117 B : vector_signed_int) return vector_signed_int
3120 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3126 (A : vector_bool_int;
3127 B : vector_unsigned_int) return vector_unsigned_int
3130 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3134 (A : vector_unsigned_int;
3135 B : vector_bool_int) return vector_unsigned_int
3138 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3142 (A : vector_unsigned_int;
3143 B : vector_unsigned_int) return vector_unsigned_int
3146 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3152 (A : vector_bool_short;
3153 B : vector_signed_short) return vector_signed_short
3156 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3160 (A : vector_signed_short;
3161 B : vector_bool_short) return vector_signed_short
3164 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3168 (A : vector_signed_short;
3169 B : vector_signed_short) return vector_signed_short
3172 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3178 (A : vector_bool_short;
3179 B : vector_unsigned_short) return vector_unsigned_short
3182 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3186 (A : vector_unsigned_short;
3187 B : vector_bool_short) return vector_unsigned_short
3190 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3194 (A : vector_unsigned_short;
3195 B : vector_unsigned_short) return vector_unsigned_short
3198 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3204 (A : vector_bool_char;
3205 B : vector_signed_char) return vector_signed_char
3208 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3212 (A : vector_signed_char;
3213 B : vector_bool_char) return vector_signed_char
3216 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3220 (A : vector_signed_char;
3221 B : vector_signed_char) return vector_signed_char
3224 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3230 (A : vector_bool_char;
3231 B : vector_unsigned_char) return vector_unsigned_char
3234 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3238 (A : vector_unsigned_char;
3239 B : vector_bool_char) return vector_unsigned_char
3242 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3246 (A : vector_unsigned_char;
3247 B : vector_unsigned_char) return vector_unsigned_char
3250 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3256 (A : vector_signed_short;
3257 B : vector_signed_short;
3258 C : vector_signed_short) return vector_signed_short
3261 return vmladduhm (A, B, C);
3265 (A : vector_signed_short;
3266 B : vector_unsigned_short;
3267 C : vector_unsigned_short) return vector_signed_short
3270 return vmladduhm (A, To_LL_VSS (B), To_LL_VSS (C));
3274 (A : vector_unsigned_short;
3275 B : vector_signed_short;
3276 C : vector_signed_short) return vector_signed_short
3279 return vmladduhm (To_LL_VSS (A), B, C);
3283 (A : vector_unsigned_short;
3284 B : vector_unsigned_short;
3285 C : vector_unsigned_short) return vector_unsigned_short
3289 To_LL_VUS (vmladduhm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSS (C)));
3295 (A : vector_signed_short;
3296 B : vector_signed_short;
3297 C : vector_signed_short) return vector_signed_short
3300 return vmhraddshs (A, B, C);
3306 (A : vector_unsigned_char;
3307 B : vector_unsigned_char;
3308 C : vector_unsigned_int) return vector_unsigned_int
3312 To_LL_VUI (vmsumubm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3316 (A : vector_signed_char;
3317 B : vector_unsigned_char;
3318 C : vector_signed_int) return vector_signed_int
3322 To_LL_VSI (vmsummbm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3326 (A : vector_unsigned_short;
3327 B : vector_unsigned_short;
3328 C : vector_unsigned_int) return vector_unsigned_int
3332 To_LL_VUI (vmsumuhm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3336 (A : vector_signed_short;
3337 B : vector_signed_short;
3338 C : vector_signed_int) return vector_signed_int
3342 To_LL_VSI (vmsumshm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3347 function vec_vmsumshm
3348 (A : vector_signed_short;
3349 B : vector_signed_short;
3350 C : vector_signed_int) return vector_signed_int
3354 To_LL_VSI (vmsumshm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3359 function vec_vmsumuhm
3360 (A : vector_unsigned_short;
3361 B : vector_unsigned_short;
3362 C : vector_unsigned_int) return vector_unsigned_int
3366 To_LL_VUI (vmsumuhm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3371 function vec_vmsummbm
3372 (A : vector_signed_char;
3373 B : vector_unsigned_char;
3374 C : vector_signed_int) return vector_signed_int
3378 To_LL_VSI (vmsummbm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3383 function vec_vmsumubm
3384 (A : vector_unsigned_char;
3385 B : vector_unsigned_char;
3386 C : vector_unsigned_int) return vector_unsigned_int
3390 To_LL_VUI (vmsumubm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3396 (A : vector_unsigned_short;
3397 B : vector_unsigned_short;
3398 C : vector_unsigned_int) return vector_unsigned_int
3402 To_LL_VUI (vmsumuhs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3406 (A : vector_signed_short;
3407 B : vector_signed_short;
3408 C : vector_signed_int) return vector_signed_int
3412 To_LL_VSI (vmsumshs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3417 function vec_vmsumshs
3418 (A : vector_signed_short;
3419 B : vector_signed_short;
3420 C : vector_signed_int) return vector_signed_int
3424 To_LL_VSI (vmsumshs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3429 function vec_vmsumuhs
3430 (A : vector_unsigned_short;
3431 B : vector_unsigned_short;
3432 C : vector_unsigned_int) return vector_unsigned_int
3436 To_LL_VUI (vmsumuhs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3441 procedure vec_mtvscr
3442 (A : vector_signed_int)
3445 mtvscr (To_LL_VSI (A));
3448 procedure vec_mtvscr
3449 (A : vector_unsigned_int)
3452 mtvscr (To_LL_VSI (A));
3455 procedure vec_mtvscr
3456 (A : vector_bool_int)
3459 mtvscr (To_LL_VSI (A));
3462 procedure vec_mtvscr
3463 (A : vector_signed_short)
3466 mtvscr (To_LL_VSI (A));
3469 procedure vec_mtvscr
3470 (A : vector_unsigned_short)
3473 mtvscr (To_LL_VSI (A));
3476 procedure vec_mtvscr
3477 (A : vector_bool_short)
3480 mtvscr (To_LL_VSI (A));
3483 procedure vec_mtvscr
3487 mtvscr (To_LL_VSI (A));
3490 procedure vec_mtvscr
3491 (A : vector_signed_char)
3494 mtvscr (To_LL_VSI (A));
3497 procedure vec_mtvscr
3498 (A : vector_unsigned_char)
3501 mtvscr (To_LL_VSI (A));
3504 procedure vec_mtvscr
3505 (A : vector_bool_char)
3508 mtvscr (To_LL_VSI (A));
3514 (A : vector_unsigned_char;
3515 B : vector_unsigned_char) return vector_unsigned_short
3518 return To_LL_VUS (vmuleub (To_LL_VSC (A), To_LL_VSC (B)));
3522 (A : vector_signed_char;
3523 B : vector_signed_char) return vector_signed_short
3526 return To_LL_VSS (vmulesb (To_LL_VSC (A), To_LL_VSC (B)));
3530 (A : vector_unsigned_short;
3531 B : vector_unsigned_short) return vector_unsigned_int
3534 return To_LL_VUI (vmuleuh (To_LL_VSS (A), To_LL_VSS (B)));
3538 (A : vector_signed_short;
3539 B : vector_signed_short) return vector_signed_int
3542 return To_LL_VSI (vmulesh (To_LL_VSS (A), To_LL_VSS (B)));
3547 function vec_vmulesh
3548 (A : vector_signed_short;
3549 B : vector_signed_short) return vector_signed_int
3552 return To_LL_VSI (vmulesh (To_LL_VSS (A), To_LL_VSS (B)));
3557 function vec_vmuleuh
3558 (A : vector_unsigned_short;
3559 B : vector_unsigned_short) return vector_unsigned_int
3562 return To_LL_VUI (vmuleuh (To_LL_VSS (A), To_LL_VSS (B)));
3567 function vec_vmulesb
3568 (A : vector_signed_char;
3569 B : vector_signed_char) return vector_signed_short
3572 return To_LL_VSS (vmuleub (To_LL_VSC (A), To_LL_VSC (B)));
3577 function vec_vmuleub
3578 (A : vector_unsigned_char;
3579 B : vector_unsigned_char) return vector_unsigned_short
3582 return To_LL_VUS (vmuleub (To_LL_VSC (A), To_LL_VSC (B)));
3588 (A : vector_unsigned_char;
3589 B : vector_unsigned_char) return vector_unsigned_short
3592 return To_LL_VUS (vmuloub (To_LL_VSC (A), To_LL_VSC (B)));
3596 (A : vector_signed_char;
3597 B : vector_signed_char) return vector_signed_short
3600 return To_LL_VSS (vmulosb (To_LL_VSC (A), To_LL_VSC (B)));
3604 (A : vector_unsigned_short;
3605 B : vector_unsigned_short) return vector_unsigned_int
3608 return To_LL_VUI (vmulouh (To_LL_VSS (A), To_LL_VSS (B)));
3612 (A : vector_signed_short;
3613 B : vector_signed_short) return vector_signed_int
3616 return To_LL_VSI (vmulosh (To_LL_VSS (A), To_LL_VSS (B)));
3621 function vec_vmulosh
3622 (A : vector_signed_short;
3623 B : vector_signed_short) return vector_signed_int
3626 return To_LL_VSI (vmulosh (To_LL_VSS (A), To_LL_VSS (B)));
3631 function vec_vmulouh
3632 (A : vector_unsigned_short;
3633 B : vector_unsigned_short) return vector_unsigned_int
3636 return To_LL_VUI (vmulouh (To_LL_VSS (A), To_LL_VSS (B)));
3641 function vec_vmulosb
3642 (A : vector_signed_char;
3643 B : vector_signed_char) return vector_signed_short
3646 return To_LL_VSS (vmulosb (To_LL_VSC (A), To_LL_VSC (B)));
3651 function vec_vmuloub
3652 (A : vector_unsigned_char;
3653 B : vector_unsigned_char) return vector_unsigned_short
3656 return To_LL_VUS (vmuloub (To_LL_VSC (A), To_LL_VSC (B)));
3664 C : vector_float) return vector_float
3667 return To_LL_VF (vnmsubfp (To_LL_VF (A), To_LL_VF (B), To_LL_VF (C)));
3674 B : vector_float) return vector_float
3677 return To_LL_VF (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3681 (A : vector_signed_int;
3682 B : vector_signed_int) return vector_signed_int
3685 return To_LL_VSI (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3689 (A : vector_unsigned_int;
3690 B : vector_unsigned_int) return vector_unsigned_int
3693 return To_LL_VUI (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3697 (A : vector_bool_int;
3698 B : vector_bool_int) return vector_bool_int
3701 return To_LL_VBI (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3705 (A : vector_signed_short;
3706 B : vector_signed_short) return vector_signed_short
3709 return To_LL_VSS (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3713 (A : vector_unsigned_short;
3714 B : vector_unsigned_short) return vector_unsigned_short
3717 return To_LL_VUS (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3721 (A : vector_bool_short;
3722 B : vector_bool_short) return vector_bool_short
3725 return To_LL_VBS (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3729 (A : vector_signed_char;
3730 B : vector_signed_char) return vector_signed_char
3733 return To_LL_VSC (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3737 (A : vector_unsigned_char;
3738 B : vector_unsigned_char) return vector_unsigned_char
3741 return To_LL_VUC (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3745 (A : vector_bool_char;
3746 B : vector_bool_char) return vector_bool_char
3749 return To_LL_VBC (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3756 B : vector_float) return vector_float
3759 return To_LL_VF (vor (To_LL_VSI (A), To_LL_VSI (B)));
3764 B : vector_bool_int) return vector_float
3767 return To_LL_VF (vor (To_LL_VSI (A), To_LL_VSI (B)));
3771 (A : vector_bool_int;
3772 B : vector_float) return vector_float
3775 return To_LL_VF (vor (To_LL_VSI (A), To_LL_VSI (B)));
3779 (A : vector_bool_int;
3780 B : vector_bool_int) return vector_bool_int
3783 return To_LL_VBI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3787 (A : vector_bool_int;
3788 B : vector_signed_int) return vector_signed_int
3791 return To_LL_VSI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3795 (A : vector_signed_int;
3796 B : vector_bool_int) return vector_signed_int
3799 return To_LL_VSI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3803 (A : vector_signed_int;
3804 B : vector_signed_int) return vector_signed_int
3807 return To_LL_VSI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3811 (A : vector_bool_int;
3812 B : vector_unsigned_int) return vector_unsigned_int
3815 return To_LL_VUI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3819 (A : vector_unsigned_int;
3820 B : vector_bool_int) return vector_unsigned_int
3823 return To_LL_VUI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3827 (A : vector_unsigned_int;
3828 B : vector_unsigned_int) return vector_unsigned_int
3831 return To_LL_VUI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3835 (A : vector_bool_short;
3836 B : vector_bool_short) return vector_bool_short
3839 return To_LL_VBS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3843 (A : vector_bool_short;
3844 B : vector_signed_short) return vector_signed_short
3847 return To_LL_VSS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3851 (A : vector_signed_short;
3852 B : vector_bool_short) return vector_signed_short
3855 return To_LL_VSS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3859 (A : vector_signed_short;
3860 B : vector_signed_short) return vector_signed_short
3863 return To_LL_VSS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3867 (A : vector_bool_short;
3868 B : vector_unsigned_short) return vector_unsigned_short
3871 return To_LL_VUS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3875 (A : vector_unsigned_short;
3876 B : vector_bool_short) return vector_unsigned_short
3879 return To_LL_VUS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3883 (A : vector_unsigned_short;
3884 B : vector_unsigned_short) return vector_unsigned_short
3887 return To_LL_VUS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3891 (A : vector_bool_char;
3892 B : vector_signed_char) return vector_signed_char
3895 return To_LL_VSC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3899 (A : vector_bool_char;
3900 B : vector_bool_char) return vector_bool_char
3903 return To_LL_VBC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3907 (A : vector_signed_char;
3908 B : vector_bool_char) return vector_signed_char
3911 return To_LL_VSC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3915 (A : vector_signed_char;
3916 B : vector_signed_char) return vector_signed_char
3919 return To_LL_VSC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3923 (A : vector_bool_char;
3924 B : vector_unsigned_char) return vector_unsigned_char
3927 return To_LL_VUC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3931 (A : vector_unsigned_char;
3932 B : vector_bool_char) return vector_unsigned_char
3935 return To_LL_VUC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3939 (A : vector_unsigned_char;
3940 B : vector_unsigned_char) return vector_unsigned_char
3943 return To_LL_VUC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3949 (A : vector_signed_short;
3950 B : vector_signed_short) return vector_signed_char
3953 return To_LL_VSC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
3957 (A : vector_unsigned_short;
3958 B : vector_unsigned_short) return vector_unsigned_char
3961 return To_LL_VUC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
3965 (A : vector_bool_short;
3966 B : vector_bool_short) return vector_bool_char
3969 return To_LL_VBC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
3973 (A : vector_signed_int;
3974 B : vector_signed_int) return vector_signed_short
3977 return To_LL_VSS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
3981 (A : vector_unsigned_int;
3982 B : vector_unsigned_int) return vector_unsigned_short
3985 return To_LL_VUS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
3989 (A : vector_bool_int;
3990 B : vector_bool_int) return vector_bool_short
3993 return To_LL_VBS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
3998 function vec_vpkuwum
3999 (A : vector_bool_int;
4000 B : vector_bool_int) return vector_bool_short
4003 return To_LL_VBS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4006 function vec_vpkuwum
4007 (A : vector_signed_int;
4008 B : vector_signed_int) return vector_signed_short
4011 return To_LL_VSS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4014 function vec_vpkuwum
4015 (A : vector_unsigned_int;
4016 B : vector_unsigned_int) return vector_unsigned_short
4019 return To_LL_VUS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4024 function vec_vpkuhum
4025 (A : vector_bool_short;
4026 B : vector_bool_short) return vector_bool_char
4029 return To_LL_VBC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4032 function vec_vpkuhum
4033 (A : vector_signed_short;
4034 B : vector_signed_short) return vector_signed_char
4037 return To_LL_VSC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4040 function vec_vpkuhum
4041 (A : vector_unsigned_short;
4042 B : vector_unsigned_short) return vector_unsigned_char
4045 return To_LL_VUC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4051 (A : vector_unsigned_int;
4052 B : vector_unsigned_int) return vector_pixel
4055 return To_LL_VP (vpkpx (To_LL_VSI (A), To_LL_VSI (B)));
4061 (A : vector_unsigned_short;
4062 B : vector_unsigned_short) return vector_unsigned_char
4065 return To_LL_VUC (vpkuhus (To_LL_VSS (A), To_LL_VSS (B)));
4069 (A : vector_signed_short;
4070 B : vector_signed_short) return vector_signed_char
4073 return To_LL_VSC (vpkshss (To_LL_VSS (A), To_LL_VSS (B)));
4077 (A : vector_unsigned_int;
4078 B : vector_unsigned_int) return vector_unsigned_short
4081 return To_LL_VUS (vpkuwus (To_LL_VSI (A), To_LL_VSI (B)));
4085 (A : vector_signed_int;
4086 B : vector_signed_int) return vector_signed_short
4089 return To_LL_VSS (vpkswss (To_LL_VSI (A), To_LL_VSI (B)));
4094 function vec_vpkswss
4095 (A : vector_signed_int;
4096 B : vector_signed_int) return vector_signed_short
4099 return To_LL_VSS (vpkswss (To_LL_VSI (A), To_LL_VSI (B)));
4104 function vec_vpkuwus
4105 (A : vector_unsigned_int;
4106 B : vector_unsigned_int) return vector_unsigned_short
4109 return To_LL_VUS (vpkuwus (To_LL_VSI (A), To_LL_VSI (B)));
4114 function vec_vpkshss
4115 (A : vector_signed_short;
4116 B : vector_signed_short) return vector_signed_char
4119 return To_LL_VSC (vpkshss (To_LL_VSS (A), To_LL_VSS (B)));
4124 function vec_vpkuhus
4125 (A : vector_unsigned_short;
4126 B : vector_unsigned_short) return vector_unsigned_char
4129 return To_LL_VUC (vpkuhus (To_LL_VSS (A), To_LL_VSS (B)));
4135 (A : vector_unsigned_short;
4136 B : vector_unsigned_short) return vector_unsigned_char
4139 return To_LL_VUC (vpkuhus (To_LL_VSS (A), To_LL_VSS (B)));
4143 (A : vector_signed_short;
4144 B : vector_signed_short) return vector_unsigned_char
4147 return To_LL_VUC (vpkshus (To_LL_VSS (A), To_LL_VSS (B)));
4151 (A : vector_unsigned_int;
4152 B : vector_unsigned_int) return vector_unsigned_short
4155 return To_LL_VUS (vpkuwus (To_LL_VSI (A), To_LL_VSI (B)));
4159 (A : vector_signed_int;
4160 B : vector_signed_int) return vector_unsigned_short
4163 return To_LL_VUS (vpkswus (To_LL_VSI (A), To_LL_VSI (B)));
4168 function vec_vpkswus
4169 (A : vector_signed_int;
4170 B : vector_signed_int) return vector_unsigned_short
4173 return To_LL_VUS (vpkswus (To_LL_VSI (A), To_LL_VSI (B)));
4178 function vec_vpkshus
4179 (A : vector_signed_short;
4180 B : vector_signed_short) return vector_unsigned_char
4183 return To_LL_VUC (vpkshus (To_LL_VSS (A), To_LL_VSS (B)));
4191 C : vector_unsigned_char) return vector_float
4195 To_LL_VF (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4199 (A : vector_signed_int;
4200 B : vector_signed_int;
4201 C : vector_unsigned_char) return vector_signed_int
4205 To_LL_VSI (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4209 (A : vector_unsigned_int;
4210 B : vector_unsigned_int;
4211 C : vector_unsigned_char) return vector_unsigned_int
4215 To_LL_VUI (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4219 (A : vector_bool_int;
4220 B : vector_bool_int;
4221 C : vector_unsigned_char) return vector_bool_int
4225 To_LL_VBI (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4229 (A : vector_signed_short;
4230 B : vector_signed_short;
4231 C : vector_unsigned_char) return vector_signed_short
4235 To_LL_VSS (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4239 (A : vector_unsigned_short;
4240 B : vector_unsigned_short;
4241 C : vector_unsigned_char) return vector_unsigned_short
4245 To_LL_VUS (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4249 (A : vector_bool_short;
4250 B : vector_bool_short;
4251 C : vector_unsigned_char) return vector_bool_short
4255 To_LL_VBS (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4261 C : vector_unsigned_char) return vector_pixel
4265 (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4269 (A : vector_signed_char;
4270 B : vector_signed_char;
4271 C : vector_unsigned_char) return vector_signed_char
4275 (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4279 (A : vector_unsigned_char;
4280 B : vector_unsigned_char;
4281 C : vector_unsigned_char) return vector_unsigned_char
4285 To_LL_VUC (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4289 (A : vector_bool_char;
4290 B : vector_bool_char;
4291 C : vector_unsigned_char) return vector_bool_char
4295 To_LL_VBC (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4301 (A : vector_float) return vector_float
4304 return To_LL_VF (vrefp (To_LL_VF (A)));
4310 (A : vector_signed_char;
4311 B : vector_unsigned_char) return vector_signed_char
4314 return To_LL_VSC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4318 (A : vector_unsigned_char;
4319 B : vector_unsigned_char) return vector_unsigned_char
4322 return To_LL_VUC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4326 (A : vector_signed_short;
4327 B : vector_unsigned_short) return vector_signed_short
4330 return To_LL_VSS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4334 (A : vector_unsigned_short;
4335 B : vector_unsigned_short) return vector_unsigned_short
4338 return To_LL_VUS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4342 (A : vector_signed_int;
4343 B : vector_unsigned_int) return vector_signed_int
4346 return To_LL_VSI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4350 (A : vector_unsigned_int;
4351 B : vector_unsigned_int) return vector_unsigned_int
4354 return To_LL_VUI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4360 (A : vector_signed_int;
4361 B : vector_unsigned_int) return vector_signed_int
4364 return To_LL_VSI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4368 (A : vector_unsigned_int;
4369 B : vector_unsigned_int) return vector_unsigned_int
4372 return To_LL_VUI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4378 (A : vector_signed_short;
4379 B : vector_unsigned_short) return vector_signed_short
4382 return To_LL_VSS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4386 (A : vector_unsigned_short;
4387 B : vector_unsigned_short) return vector_unsigned_short
4390 return To_LL_VUS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4396 (A : vector_signed_char;
4397 B : vector_unsigned_char) return vector_signed_char
4400 return To_LL_VSC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4404 (A : vector_unsigned_char;
4405 B : vector_unsigned_char) return vector_unsigned_char
4408 return To_LL_VUC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4414 (A : vector_float) return vector_float
4417 return To_LL_VF (vrfin (To_LL_VF (A)));
4423 (A : vector_float) return vector_float
4426 return To_LL_VF (vrsqrtefp (To_LL_VF (A)));
4434 C : vector_bool_int) return vector_float
4437 return To_LL_VF (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4443 C : vector_unsigned_int) return vector_float
4446 return To_LL_VF (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4450 (A : vector_signed_int;
4451 B : vector_signed_int;
4452 C : vector_bool_int) return vector_signed_int
4456 To_LL_VSI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4460 (A : vector_signed_int;
4461 B : vector_signed_int;
4462 C : vector_unsigned_int) return vector_signed_int
4466 To_LL_VSI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4470 (A : vector_unsigned_int;
4471 B : vector_unsigned_int;
4472 C : vector_bool_int) return vector_unsigned_int
4476 To_LL_VUI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4480 (A : vector_unsigned_int;
4481 B : vector_unsigned_int;
4482 C : vector_unsigned_int) return vector_unsigned_int
4486 To_LL_VUI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4490 (A : vector_bool_int;
4491 B : vector_bool_int;
4492 C : vector_bool_int) return vector_bool_int
4496 To_LL_VBI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4500 (A : vector_bool_int;
4501 B : vector_bool_int;
4502 C : vector_unsigned_int) return vector_bool_int
4506 To_LL_VBI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4510 (A : vector_signed_short;
4511 B : vector_signed_short;
4512 C : vector_bool_short) return vector_signed_short
4516 To_LL_VSS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4520 (A : vector_signed_short;
4521 B : vector_signed_short;
4522 C : vector_unsigned_short) return vector_signed_short
4526 To_LL_VSS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4530 (A : vector_unsigned_short;
4531 B : vector_unsigned_short;
4532 C : vector_bool_short) return vector_unsigned_short
4536 To_LL_VUS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4540 (A : vector_unsigned_short;
4541 B : vector_unsigned_short;
4542 C : vector_unsigned_short) return vector_unsigned_short
4546 To_LL_VUS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4550 (A : vector_bool_short;
4551 B : vector_bool_short;
4552 C : vector_bool_short) return vector_bool_short
4556 To_LL_VBS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4560 (A : vector_bool_short;
4561 B : vector_bool_short;
4562 C : vector_unsigned_short) return vector_bool_short
4566 To_LL_VBS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4570 (A : vector_signed_char;
4571 B : vector_signed_char;
4572 C : vector_bool_char) return vector_signed_char
4576 To_LL_VSC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4580 (A : vector_signed_char;
4581 B : vector_signed_char;
4582 C : vector_unsigned_char) return vector_signed_char
4586 To_LL_VSC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4590 (A : vector_unsigned_char;
4591 B : vector_unsigned_char;
4592 C : vector_bool_char) return vector_unsigned_char
4596 To_LL_VUC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4600 (A : vector_unsigned_char;
4601 B : vector_unsigned_char;
4602 C : vector_unsigned_char) return vector_unsigned_char
4606 To_LL_VUC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4610 (A : vector_bool_char;
4611 B : vector_bool_char;
4612 C : vector_bool_char) return vector_bool_char
4616 To_LL_VBC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4620 (A : vector_bool_char;
4621 B : vector_bool_char;
4622 C : vector_unsigned_char) return vector_bool_char
4626 To_LL_VBC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4632 (A : vector_signed_char;
4633 B : vector_unsigned_char) return vector_signed_char
4636 return To_LL_VSC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4640 (A : vector_unsigned_char;
4641 B : vector_unsigned_char) return vector_unsigned_char
4644 return To_LL_VUC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4648 (A : vector_signed_short;
4649 B : vector_unsigned_short) return vector_signed_short
4652 return To_LL_VSS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4656 (A : vector_unsigned_short;
4657 B : vector_unsigned_short) return vector_unsigned_short
4660 return To_LL_VUS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4664 (A : vector_signed_int;
4665 B : vector_unsigned_int) return vector_signed_int
4668 return To_LL_VSI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4672 (A : vector_unsigned_int;
4673 B : vector_unsigned_int) return vector_unsigned_int
4676 return To_LL_VUI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4682 (A : vector_signed_int;
4683 B : vector_unsigned_int) return vector_signed_int
4686 return To_LL_VSI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4690 (A : vector_unsigned_int;
4691 B : vector_unsigned_int) return vector_unsigned_int
4694 return To_LL_VUI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4700 (A : vector_signed_short;
4701 B : vector_unsigned_short) return vector_signed_short
4704 return To_LL_VSS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4708 (A : vector_unsigned_short;
4709 B : vector_unsigned_short) return vector_unsigned_short
4712 return To_LL_VUS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4718 (A : vector_signed_char;
4719 B : vector_unsigned_char) return vector_signed_char
4722 return To_LL_VSC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4726 (A : vector_unsigned_char;
4727 B : vector_unsigned_char) return vector_unsigned_char
4730 return To_LL_VUC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4736 (A : vector_signed_int;
4737 B : vector_unsigned_int) return vector_signed_int
4740 return To_LL_VSI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4744 (A : vector_signed_int;
4745 B : vector_unsigned_short) return vector_signed_int
4748 return To_LL_VSI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4752 (A : vector_signed_int;
4753 B : vector_unsigned_char) return vector_signed_int
4756 return To_LL_VSI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4760 (A : vector_unsigned_int;
4761 B : vector_unsigned_int) return vector_unsigned_int
4764 return To_LL_VUI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4768 (A : vector_unsigned_int;
4769 B : vector_unsigned_short) return vector_unsigned_int
4772 return To_LL_VUI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4776 (A : vector_unsigned_int;
4777 B : vector_unsigned_char) return vector_unsigned_int
4780 return To_LL_VUI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4784 (A : vector_bool_int;
4785 B : vector_unsigned_int) return vector_bool_int
4788 return To_LL_VBI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4792 (A : vector_bool_int;
4793 B : vector_unsigned_short) return vector_bool_int
4796 return To_LL_VBI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4800 (A : vector_bool_int;
4801 B : vector_unsigned_char) return vector_bool_int
4804 return To_LL_VBI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4808 (A : vector_signed_short;
4809 B : vector_unsigned_int) return vector_signed_short
4812 return To_LL_VSS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4816 (A : vector_signed_short;
4817 B : vector_unsigned_short) return vector_signed_short
4820 return To_LL_VSS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4824 (A : vector_signed_short;
4825 B : vector_unsigned_char) return vector_signed_short
4828 return To_LL_VSS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4832 (A : vector_unsigned_short;
4833 B : vector_unsigned_int) return vector_unsigned_short
4836 return To_LL_VUS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4840 (A : vector_unsigned_short;
4841 B : vector_unsigned_short) return vector_unsigned_short
4844 return To_LL_VUS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4848 (A : vector_unsigned_short;
4849 B : vector_unsigned_char) return vector_unsigned_short
4852 return To_LL_VUS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4856 (A : vector_bool_short;
4857 B : vector_unsigned_int) return vector_bool_short
4860 return To_LL_VBS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4864 (A : vector_bool_short;
4865 B : vector_unsigned_short) return vector_bool_short
4868 return To_LL_VBS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4872 (A : vector_bool_short;
4873 B : vector_unsigned_char) return vector_bool_short
4876 return To_LL_VBS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4881 B : vector_unsigned_int) return vector_pixel
4884 return To_LL_VP (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4889 B : vector_unsigned_short) return vector_pixel
4892 return To_LL_VP (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4897 B : vector_unsigned_char) return vector_pixel
4900 return To_LL_VP (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4904 (A : vector_signed_char;
4905 B : vector_unsigned_int) return vector_signed_char
4908 return To_LL_VSC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4912 (A : vector_signed_char;
4913 B : vector_unsigned_short) return vector_signed_char
4916 return To_LL_VSC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4920 (A : vector_signed_char;
4921 B : vector_unsigned_char) return vector_signed_char
4924 return To_LL_VSC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4928 (A : vector_unsigned_char;
4929 B : vector_unsigned_int) return vector_unsigned_char
4932 return To_LL_VUC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4936 (A : vector_unsigned_char;
4937 B : vector_unsigned_short) return vector_unsigned_char
4940 return To_LL_VUC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4944 (A : vector_unsigned_char;
4945 B : vector_unsigned_char) return vector_unsigned_char
4948 return To_LL_VUC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4952 (A : vector_bool_char;
4953 B : vector_unsigned_int) return vector_bool_char
4956 return To_LL_VBC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4960 (A : vector_bool_char;
4961 B : vector_unsigned_short) return vector_bool_char
4964 return To_LL_VBC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4968 (A : vector_bool_char;
4969 B : vector_unsigned_char) return vector_bool_char
4972 return To_LL_VBC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4979 B : vector_signed_char) return vector_float
4982 return To_LL_VF (vslo (To_LL_VSI (A), To_LL_VSI (B)));
4987 B : vector_unsigned_char) return vector_float
4990 return To_LL_VF (vslo (To_LL_VSI (A), To_LL_VSI (B)));
4994 (A : vector_signed_int;
4995 B : vector_signed_char) return vector_signed_int
4998 return To_LL_VSI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5002 (A : vector_signed_int;
5003 B : vector_unsigned_char) return vector_signed_int
5006 return To_LL_VSI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5010 (A : vector_unsigned_int;
5011 B : vector_signed_char) return vector_unsigned_int
5014 return To_LL_VUI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5018 (A : vector_unsigned_int;
5019 B : vector_unsigned_char) return vector_unsigned_int
5022 return To_LL_VUI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5026 (A : vector_signed_short;
5027 B : vector_signed_char) return vector_signed_short
5030 return To_LL_VSS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5034 (A : vector_signed_short;
5035 B : vector_unsigned_char) return vector_signed_short
5038 return To_LL_VSS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5042 (A : vector_unsigned_short;
5043 B : vector_signed_char) return vector_unsigned_short
5046 return To_LL_VUS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5050 (A : vector_unsigned_short;
5051 B : vector_unsigned_char) return vector_unsigned_short
5054 return To_LL_VUS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5059 B : vector_signed_char) return vector_pixel
5062 return To_LL_VP (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5067 B : vector_unsigned_char) return vector_pixel
5070 return To_LL_VP (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5074 (A : vector_signed_char;
5075 B : vector_signed_char) return vector_signed_char
5078 return To_LL_VSC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5082 (A : vector_signed_char;
5083 B : vector_unsigned_char) return vector_signed_char
5086 return To_LL_VSC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5090 (A : vector_unsigned_char;
5091 B : vector_signed_char) return vector_unsigned_char
5094 return To_LL_VUC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5098 (A : vector_unsigned_char;
5099 B : vector_unsigned_char) return vector_unsigned_char
5102 return To_LL_VUC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5108 (A : vector_signed_char;
5109 B : vector_unsigned_char) return vector_signed_char
5112 return To_LL_VSC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5116 (A : vector_unsigned_char;
5117 B : vector_unsigned_char) return vector_unsigned_char
5120 return To_LL_VUC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5124 (A : vector_signed_short;
5125 B : vector_unsigned_short) return vector_signed_short
5128 return To_LL_VSS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5132 (A : vector_unsigned_short;
5133 B : vector_unsigned_short) return vector_unsigned_short
5136 return To_LL_VUS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5140 (A : vector_signed_int;
5141 B : vector_unsigned_int) return vector_signed_int
5144 return To_LL_VSI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5148 (A : vector_unsigned_int;
5149 B : vector_unsigned_int) return vector_unsigned_int
5152 return To_LL_VUI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5158 (A : vector_signed_int;
5159 B : vector_unsigned_int) return vector_signed_int
5162 return To_LL_VSI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5166 (A : vector_unsigned_int;
5167 B : vector_unsigned_int) return vector_unsigned_int
5170 return To_LL_VUI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5176 (A : vector_signed_short;
5177 B : vector_unsigned_short) return vector_signed_short
5180 return To_LL_VSS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5184 (A : vector_unsigned_short;
5185 B : vector_unsigned_short) return vector_unsigned_short
5188 return To_LL_VUS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5194 (A : vector_signed_char;
5195 B : vector_unsigned_char) return vector_signed_char
5198 return To_LL_VSC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5202 (A : vector_unsigned_char;
5203 B : vector_unsigned_char) return vector_unsigned_char
5206 return To_LL_VUC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5212 (A : vector_signed_char;
5213 B : vector_unsigned_char) return vector_signed_char
5216 return To_LL_VSC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5220 (A : vector_unsigned_char;
5221 B : vector_unsigned_char) return vector_unsigned_char
5224 return To_LL_VUC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5228 (A : vector_signed_short;
5229 B : vector_unsigned_short) return vector_signed_short
5232 return To_LL_VSS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5236 (A : vector_unsigned_short;
5237 B : vector_unsigned_short) return vector_unsigned_short
5240 return To_LL_VUS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5244 (A : vector_signed_int;
5245 B : vector_unsigned_int) return vector_signed_int
5248 return To_LL_VSI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5252 (A : vector_unsigned_int;
5253 B : vector_unsigned_int) return vector_unsigned_int
5256 return To_LL_VUI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5262 (A : vector_signed_int;
5263 B : vector_unsigned_int) return vector_signed_int
5266 return To_LL_VSI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5270 (A : vector_unsigned_int;
5271 B : vector_unsigned_int) return vector_unsigned_int
5274 return To_LL_VUI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5280 (A : vector_signed_short;
5281 B : vector_unsigned_short) return vector_signed_short
5284 return To_LL_VSS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5288 (A : vector_unsigned_short;
5289 B : vector_unsigned_short) return vector_unsigned_short
5292 return To_LL_VUS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5298 (A : vector_signed_char;
5299 B : vector_unsigned_char) return vector_signed_char
5302 return To_LL_VSC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5306 (A : vector_unsigned_char;
5307 B : vector_unsigned_char) return vector_unsigned_char
5310 return To_LL_VUC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5316 (A : vector_signed_int;
5317 B : vector_unsigned_int) return vector_signed_int
5320 return To_LL_VSI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5324 (A : vector_signed_int;
5325 B : vector_unsigned_short) return vector_signed_int
5328 return To_LL_VSI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5332 (A : vector_signed_int;
5333 B : vector_unsigned_char) return vector_signed_int
5336 return To_LL_VSI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5340 (A : vector_unsigned_int;
5341 B : vector_unsigned_int) return vector_unsigned_int
5344 return To_LL_VUI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5348 (A : vector_unsigned_int;
5349 B : vector_unsigned_short) return vector_unsigned_int
5352 return To_LL_VUI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5356 (A : vector_unsigned_int;
5357 B : vector_unsigned_char) return vector_unsigned_int
5360 return To_LL_VUI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5364 (A : vector_bool_int;
5365 B : vector_unsigned_int) return vector_bool_int
5368 return To_LL_VBI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5372 (A : vector_bool_int;
5373 B : vector_unsigned_short) return vector_bool_int
5376 return To_LL_VBI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5380 (A : vector_bool_int;
5381 B : vector_unsigned_char) return vector_bool_int
5384 return To_LL_VBI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5388 (A : vector_signed_short;
5389 B : vector_unsigned_int) return vector_signed_short
5392 return To_LL_VSS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5396 (A : vector_signed_short;
5397 B : vector_unsigned_short) return vector_signed_short
5400 return To_LL_VSS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5404 (A : vector_signed_short;
5405 B : vector_unsigned_char) return vector_signed_short
5408 return To_LL_VSS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5412 (A : vector_unsigned_short;
5413 B : vector_unsigned_int) return vector_unsigned_short
5416 return To_LL_VUS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5420 (A : vector_unsigned_short;
5421 B : vector_unsigned_short) return vector_unsigned_short
5424 return To_LL_VUS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5428 (A : vector_unsigned_short;
5429 B : vector_unsigned_char) return vector_unsigned_short
5432 return To_LL_VUS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5436 (A : vector_bool_short;
5437 B : vector_unsigned_int) return vector_bool_short
5440 return To_LL_VBS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5444 (A : vector_bool_short;
5445 B : vector_unsigned_short) return vector_bool_short
5448 return To_LL_VBS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5452 (A : vector_bool_short;
5453 B : vector_unsigned_char) return vector_bool_short
5456 return To_LL_VBS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5461 B : vector_unsigned_int) return vector_pixel
5464 return To_LL_VP (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5469 B : vector_unsigned_short) return vector_pixel
5472 return To_LL_VP (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5477 B : vector_unsigned_char) return vector_pixel
5480 return To_LL_VP (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5484 (A : vector_signed_char;
5485 B : vector_unsigned_int) return vector_signed_char
5488 return To_LL_VSC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5492 (A : vector_signed_char;
5493 B : vector_unsigned_short) return vector_signed_char
5496 return To_LL_VSC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5500 (A : vector_signed_char;
5501 B : vector_unsigned_char) return vector_signed_char
5504 return To_LL_VSC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5508 (A : vector_unsigned_char;
5509 B : vector_unsigned_int) return vector_unsigned_char
5512 return To_LL_VUC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5516 (A : vector_unsigned_char;
5517 B : vector_unsigned_short) return vector_unsigned_char
5520 return To_LL_VUC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5524 (A : vector_unsigned_char;
5525 B : vector_unsigned_char) return vector_unsigned_char
5528 return To_LL_VUC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5532 (A : vector_bool_char;
5533 B : vector_unsigned_int) return vector_bool_char
5536 return To_LL_VBC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5540 (A : vector_bool_char;
5541 B : vector_unsigned_short) return vector_bool_char
5544 return To_LL_VBC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5548 (A : vector_bool_char;
5549 B : vector_unsigned_char) return vector_bool_char
5552 return To_LL_VBC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5559 B : vector_signed_char) return vector_float
5562 return To_LL_VF (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5567 B : vector_unsigned_char) return vector_float
5570 return To_LL_VF (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5574 (A : vector_signed_int;
5575 B : vector_signed_char) return vector_signed_int
5578 return To_LL_VSI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5582 (A : vector_signed_int;
5583 B : vector_unsigned_char) return vector_signed_int
5586 return To_LL_VSI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5590 (A : vector_unsigned_int;
5591 B : vector_signed_char) return vector_unsigned_int
5594 return To_LL_VUI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5598 (A : vector_unsigned_int;
5599 B : vector_unsigned_char) return vector_unsigned_int
5602 return To_LL_VUI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5606 (A : vector_signed_short;
5607 B : vector_signed_char) return vector_signed_short
5610 return To_LL_VSS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5614 (A : vector_signed_short;
5615 B : vector_unsigned_char) return vector_signed_short
5618 return To_LL_VSS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5622 (A : vector_unsigned_short;
5623 B : vector_signed_char) return vector_unsigned_short
5626 return To_LL_VUS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5630 (A : vector_unsigned_short;
5631 B : vector_unsigned_char) return vector_unsigned_short
5634 return To_LL_VUS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5639 B : vector_signed_char) return vector_pixel
5642 return To_LL_VP (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5647 B : vector_unsigned_char) return vector_pixel
5650 return To_LL_VP (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5654 (A : vector_signed_char;
5655 B : vector_signed_char) return vector_signed_char
5658 return To_LL_VSC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5662 (A : vector_signed_char;
5663 B : vector_unsigned_char) return vector_signed_char
5666 return To_LL_VSC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5670 (A : vector_unsigned_char;
5671 B : vector_signed_char) return vector_unsigned_char
5674 return To_LL_VUC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5678 (A : vector_unsigned_char;
5679 B : vector_unsigned_char) return vector_unsigned_char
5682 return To_LL_VUC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5690 C : vector_float_ptr)
5693 stvx (To_LL_VSI (A), B, To_PTR (C));
5702 stvx (To_LL_VSI (A), B, To_PTR (C));
5706 (A : vector_signed_int;
5708 C : vector_signed_int_ptr)
5711 stvx (To_LL_VSI (A), B, To_PTR (C));
5715 (A : vector_signed_int;
5720 stvx (To_LL_VSI (A), B, To_PTR (C));
5724 (A : vector_unsigned_int;
5726 C : vector_unsigned_int_ptr)
5729 stvx (To_LL_VSI (A), B, To_PTR (C));
5733 (A : vector_unsigned_int;
5735 C : unsigned_int_ptr)
5738 stvx (To_LL_VSI (A), B, To_PTR (C));
5742 (A : vector_bool_int;
5744 C : vector_bool_int_ptr)
5747 stvx (To_LL_VSI (A), B, To_PTR (C));
5751 (A : vector_bool_int;
5753 C : unsigned_int_ptr)
5756 stvx (To_LL_VSI (A), B, To_PTR (C));
5760 (A : vector_bool_int;
5765 stvx (To_LL_VSI (A), B, To_PTR (C));
5769 (A : vector_signed_short;
5771 C : vector_signed_short_ptr)
5774 stvx (To_LL_VSI (A), B, To_PTR (C));
5778 (A : vector_signed_short;
5783 stvx (To_LL_VSI (A), B, To_PTR (C));
5787 (A : vector_unsigned_short;
5789 C : vector_unsigned_short_ptr)
5792 stvx (To_LL_VSI (A), B, To_PTR (C));
5796 (A : vector_unsigned_short;
5798 C : unsigned_short_ptr)
5801 stvx (To_LL_VSI (A), B, To_PTR (C));
5805 (A : vector_bool_short;
5807 C : vector_bool_short_ptr)
5810 stvx (To_LL_VSI (A), B, To_PTR (C));
5814 (A : vector_bool_short;
5816 C : unsigned_short_ptr)
5819 stvx (To_LL_VSI (A), B, To_PTR (C));
5825 C : vector_pixel_ptr)
5828 stvx (To_LL_VSI (A), B, To_PTR (C));
5834 C : unsigned_short_ptr)
5837 stvx (To_LL_VSI (A), B, To_PTR (C));
5846 stvx (To_LL_VSI (A), B, To_PTR (C));
5850 (A : vector_bool_short;
5855 stvx (To_LL_VSI (A), B, To_PTR (C));
5859 (A : vector_signed_char;
5861 C : vector_signed_char_ptr)
5864 stvx (To_LL_VSI (A), B, To_PTR (C));
5868 (A : vector_signed_char;
5870 C : signed_char_ptr)
5873 stvx (To_LL_VSI (A), B, To_PTR (C));
5877 (A : vector_unsigned_char;
5879 C : vector_unsigned_char_ptr)
5882 stvx (To_LL_VSI (A), B, To_PTR (C));
5886 (A : vector_unsigned_char;
5888 C : unsigned_char_ptr)
5891 stvx (To_LL_VSI (A), B, To_PTR (C));
5895 (A : vector_bool_char;
5897 C : vector_bool_char_ptr)
5900 stvx (To_LL_VSI (A), B, To_PTR (C));
5904 (A : vector_bool_char;
5906 C : unsigned_char_ptr)
5909 stvx (To_LL_VSI (A), B, To_PTR (C));
5913 (A : vector_bool_char;
5915 C : signed_char_ptr)
5918 stvx (To_LL_VSI (A), B, To_PTR (C));
5924 (A : vector_signed_char;
5926 C : signed_char_ptr)
5929 stvebx (To_LL_VSC (A), B, To_PTR (C));
5933 (A : vector_unsigned_char;
5935 C : unsigned_char_ptr)
5938 stvebx (To_LL_VSC (A), B, To_PTR (C));
5942 (A : vector_bool_char;
5944 C : signed_char_ptr)
5947 stvebx (To_LL_VSC (A), B, To_PTR (C));
5951 (A : vector_bool_char;
5953 C : unsigned_char_ptr)
5956 stvebx (To_LL_VSC (A), B, To_PTR (C));
5960 (A : vector_signed_short;
5965 stvehx (To_LL_VSS (A), B, To_PTR (C));
5969 (A : vector_unsigned_short;
5971 C : unsigned_short_ptr)
5974 stvehx (To_LL_VSS (A), B, To_PTR (C));
5978 (A : vector_bool_short;
5983 stvehx (To_LL_VSS (A), B, To_PTR (C));
5987 (A : vector_bool_short;
5989 C : unsigned_short_ptr)
5992 stvehx (To_LL_VSS (A), B, To_PTR (C));
6001 stvehx (To_LL_VSS (A), B, To_PTR (C));
6007 C : unsigned_short_ptr)
6010 stvehx (To_LL_VSS (A), B, To_PTR (C));
6019 stvewx (To_LL_VSI (A), B, To_PTR (C));
6023 (A : vector_signed_int;
6028 stvewx (To_LL_VSI (A), B, To_PTR (C));
6032 (A : vector_unsigned_int;
6034 C : unsigned_int_ptr)
6037 stvewx (To_LL_VSI (A), B, To_PTR (C));
6041 (A : vector_bool_int;
6046 stvewx (To_LL_VSI (A), B, To_PTR (C));
6050 (A : vector_bool_int;
6052 C : unsigned_int_ptr)
6055 stvewx (To_LL_VSI (A), B, To_PTR (C));
6060 procedure vec_stvewx
6066 stvewx (To_LL_VSI (A), B, To_PTR (C));
6069 procedure vec_stvewx
6070 (A : vector_signed_int;
6075 stvewx (To_LL_VSI (A), B, To_PTR (C));
6078 procedure vec_stvewx
6079 (A : vector_unsigned_int;
6081 C : unsigned_int_ptr)
6084 stvewx (To_LL_VSI (A), B, To_PTR (C));
6087 procedure vec_stvewx
6088 (A : vector_bool_int;
6093 stvewx (To_LL_VSI (A), B, To_PTR (C));
6096 procedure vec_stvewx
6097 (A : vector_bool_int;
6099 C : unsigned_int_ptr)
6102 stvewx (To_LL_VSI (A), B, To_PTR (C));
6107 procedure vec_stvehx
6108 (A : vector_signed_short;
6113 stvehx (To_LL_VSS (A), B, To_PTR (C));
6116 procedure vec_stvehx
6117 (A : vector_unsigned_short;
6119 C : unsigned_short_ptr)
6122 stvehx (To_LL_VSS (A), B, To_PTR (C));
6125 procedure vec_stvehx
6126 (A : vector_bool_short;
6131 stvehx (To_LL_VSS (A), B, To_PTR (C));
6134 procedure vec_stvehx
6135 (A : vector_bool_short;
6137 C : unsigned_short_ptr)
6140 stvehx (To_LL_VSS (A), B, To_PTR (C));
6143 procedure vec_stvehx
6149 stvehx (To_LL_VSS (A), B, To_PTR (C));
6152 procedure vec_stvehx
6155 C : unsigned_short_ptr)
6158 stvehx (To_LL_VSS (A), B, To_PTR (C));
6163 procedure vec_stvebx
6164 (A : vector_signed_char;
6166 C : signed_char_ptr)
6169 stvebx (To_LL_VSC (A), B, To_PTR (C));
6172 procedure vec_stvebx
6173 (A : vector_unsigned_char;
6175 C : unsigned_char_ptr)
6178 stvebx (To_LL_VSC (A), B, To_PTR (C));
6181 procedure vec_stvebx
6182 (A : vector_bool_char;
6184 C : signed_char_ptr)
6187 stvebx (To_LL_VSC (A), B, To_PTR (C));
6190 procedure vec_stvebx
6191 (A : vector_bool_char;
6193 C : unsigned_char_ptr)
6196 stvebx (To_LL_VSC (A), B, To_PTR (C));
6204 C : vector_float_ptr)
6207 stvxl (To_LL_VSI (A), B, To_PTR (C));
6216 stvxl (To_LL_VSI (A), B, To_PTR (C));
6220 (A : vector_signed_int;
6222 C : vector_signed_int_ptr)
6225 stvxl (To_LL_VSI (A), B, To_PTR (C));
6229 (A : vector_signed_int;
6234 stvxl (To_LL_VSI (A), B, To_PTR (C));
6238 (A : vector_unsigned_int;
6240 C : vector_unsigned_int_ptr)
6243 stvxl (To_LL_VSI (A), B, To_PTR (C));
6247 (A : vector_unsigned_int;
6249 C : unsigned_int_ptr)
6252 stvxl (To_LL_VSI (A), B, To_PTR (C));
6256 (A : vector_bool_int;
6258 C : vector_bool_int_ptr)
6261 stvxl (To_LL_VSI (A), B, To_PTR (C));
6265 (A : vector_bool_int;
6267 C : unsigned_int_ptr)
6270 stvxl (To_LL_VSI (A), B, To_PTR (C));
6274 (A : vector_bool_int;
6279 stvxl (To_LL_VSI (A), B, To_PTR (C));
6283 (A : vector_signed_short;
6285 C : vector_signed_short_ptr)
6288 stvxl (To_LL_VSI (A), B, To_PTR (C));
6292 (A : vector_signed_short;
6297 stvxl (To_LL_VSI (A), B, To_PTR (C));
6301 (A : vector_unsigned_short;
6303 C : vector_unsigned_short_ptr)
6306 stvxl (To_LL_VSI (A), B, To_PTR (C));
6310 (A : vector_unsigned_short;
6312 C : unsigned_short_ptr)
6315 stvxl (To_LL_VSI (A), B, To_PTR (C));
6319 (A : vector_bool_short;
6321 C : vector_bool_short_ptr)
6324 stvxl (To_LL_VSI (A), B, To_PTR (C));
6328 (A : vector_bool_short;
6330 C : unsigned_short_ptr)
6333 stvxl (To_LL_VSI (A), B, To_PTR (C));
6337 (A : vector_bool_short;
6342 stvxl (To_LL_VSI (A), B, To_PTR (C));
6348 C : vector_pixel_ptr)
6351 stvxl (To_LL_VSI (A), B, To_PTR (C));
6357 C : unsigned_short_ptr)
6360 stvxl (To_LL_VSI (A), B, To_PTR (C));
6369 stvxl (To_LL_VSI (A), B, To_PTR (C));
6373 (A : vector_signed_char;
6375 C : vector_signed_char_ptr)
6378 stvxl (To_LL_VSI (A), B, To_PTR (C));
6382 (A : vector_signed_char;
6384 C : signed_char_ptr)
6387 stvxl (To_LL_VSI (A), B, To_PTR (C));
6391 (A : vector_unsigned_char;
6393 C : vector_unsigned_char_ptr)
6396 stvxl (To_LL_VSI (A), B, To_PTR (C));
6400 (A : vector_unsigned_char;
6402 C : unsigned_char_ptr)
6405 stvxl (To_LL_VSI (A), B, To_PTR (C));
6409 (A : vector_bool_char;
6411 C : vector_bool_char_ptr)
6414 stvxl (To_LL_VSI (A), B, To_PTR (C));
6418 (A : vector_bool_char;
6420 C : unsigned_char_ptr)
6423 stvxl (To_LL_VSI (A), B, To_PTR (C));
6427 (A : vector_bool_char;
6429 C : signed_char_ptr)
6432 stvxl (To_LL_VSI (A), B, To_PTR (C));
6438 (A : vector_bool_char;
6439 B : vector_signed_char) return vector_signed_char
6442 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6446 (A : vector_signed_char;
6447 B : vector_bool_char) return vector_signed_char
6450 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6454 (A : vector_signed_char;
6455 B : vector_signed_char) return vector_signed_char
6458 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6462 (A : vector_bool_char;
6463 B : vector_unsigned_char) return vector_unsigned_char
6466 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6470 (A : vector_unsigned_char;
6471 B : vector_bool_char) return vector_unsigned_char
6474 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6478 (A : vector_unsigned_char;
6479 B : vector_unsigned_char) return vector_unsigned_char
6482 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6486 (A : vector_bool_short;
6487 B : vector_signed_short) return vector_signed_short
6490 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6494 (A : vector_signed_short;
6495 B : vector_bool_short) return vector_signed_short
6498 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6502 (A : vector_signed_short;
6503 B : vector_signed_short) return vector_signed_short
6506 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6510 (A : vector_bool_short;
6511 B : vector_unsigned_short) return vector_unsigned_short
6514 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6518 (A : vector_unsigned_short;
6519 B : vector_bool_short) return vector_unsigned_short
6522 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6526 (A : vector_unsigned_short;
6527 B : vector_unsigned_short) return vector_unsigned_short
6530 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6534 (A : vector_bool_int;
6535 B : vector_signed_int) return vector_signed_int
6538 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6542 (A : vector_signed_int;
6543 B : vector_bool_int) return vector_signed_int
6546 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6550 (A : vector_signed_int;
6551 B : vector_signed_int) return vector_signed_int
6554 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6558 (A : vector_bool_int;
6559 B : vector_unsigned_int) return vector_unsigned_int
6562 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6566 (A : vector_unsigned_int;
6567 B : vector_bool_int) return vector_unsigned_int
6570 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6574 (A : vector_unsigned_int;
6575 B : vector_unsigned_int) return vector_unsigned_int
6578 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6583 B : vector_float) return vector_float
6586 return To_LL_VF (vsubfp (To_LL_VF (A), To_LL_VF (B)));
6593 B : vector_float) return vector_float
6596 return To_LL_VF (vsubfp (To_LL_VF (A), To_LL_VF (B)));
6601 function vec_vsubuwm
6602 (A : vector_bool_int;
6603 B : vector_signed_int) return vector_signed_int
6606 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6609 function vec_vsubuwm
6610 (A : vector_signed_int;
6611 B : vector_bool_int) return vector_signed_int
6614 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6617 function vec_vsubuwm
6618 (A : vector_signed_int;
6619 B : vector_signed_int) return vector_signed_int
6622 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6625 function vec_vsubuwm
6626 (A : vector_bool_int;
6627 B : vector_unsigned_int) return vector_unsigned_int
6630 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6633 function vec_vsubuwm
6634 (A : vector_unsigned_int;
6635 B : vector_bool_int) return vector_unsigned_int
6638 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6641 function vec_vsubuwm
6642 (A : vector_unsigned_int;
6643 B : vector_unsigned_int) return vector_unsigned_int
6646 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6651 function vec_vsubuhm
6652 (A : vector_bool_short;
6653 B : vector_signed_short) return vector_signed_short
6656 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6659 function vec_vsubuhm
6660 (A : vector_signed_short;
6661 B : vector_bool_short) return vector_signed_short
6664 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6667 function vec_vsubuhm
6668 (A : vector_signed_short;
6669 B : vector_signed_short) return vector_signed_short
6672 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6675 function vec_vsubuhm
6676 (A : vector_bool_short;
6677 B : vector_unsigned_short) return vector_unsigned_short
6680 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6683 function vec_vsubuhm
6684 (A : vector_unsigned_short;
6685 B : vector_bool_short) return vector_unsigned_short
6688 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6691 function vec_vsubuhm
6692 (A : vector_unsigned_short;
6693 B : vector_unsigned_short) return vector_unsigned_short
6696 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6701 function vec_vsububm
6702 (A : vector_bool_char;
6703 B : vector_signed_char) return vector_signed_char
6706 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6709 function vec_vsububm
6710 (A : vector_signed_char;
6711 B : vector_bool_char) return vector_signed_char
6714 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6717 function vec_vsububm
6718 (A : vector_signed_char;
6719 B : vector_signed_char) return vector_signed_char
6722 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6725 function vec_vsububm
6726 (A : vector_bool_char;
6727 B : vector_unsigned_char) return vector_unsigned_char
6730 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6733 function vec_vsububm
6734 (A : vector_unsigned_char;
6735 B : vector_bool_char) return vector_unsigned_char
6738 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6741 function vec_vsububm
6742 (A : vector_unsigned_char;
6743 B : vector_unsigned_char) return vector_unsigned_char
6746 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6752 (A : vector_unsigned_int;
6753 B : vector_unsigned_int) return vector_unsigned_int
6756 return To_LL_VUI (vsubcuw (To_LL_VSI (A), To_LL_VSI (B)));
6762 (A : vector_bool_char;
6763 B : vector_unsigned_char) return vector_unsigned_char
6766 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
6770 (A : vector_unsigned_char;
6771 B : vector_bool_char) return vector_unsigned_char
6774 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
6778 (A : vector_unsigned_char;
6779 B : vector_unsigned_char) return vector_unsigned_char
6782 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
6786 (A : vector_bool_char;
6787 B : vector_signed_char) return vector_signed_char
6790 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
6794 (A : vector_signed_char;
6795 B : vector_bool_char) return vector_signed_char
6798 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
6802 (A : vector_signed_char;
6803 B : vector_signed_char) return vector_signed_char
6806 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
6810 (A : vector_bool_short;
6811 B : vector_unsigned_short) return vector_unsigned_short
6814 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
6818 (A : vector_unsigned_short;
6819 B : vector_bool_short) return vector_unsigned_short
6822 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
6826 (A : vector_unsigned_short;
6827 B : vector_unsigned_short) return vector_unsigned_short
6830 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
6834 (A : vector_bool_short;
6835 B : vector_signed_short) return vector_signed_short
6838 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6842 (A : vector_signed_short;
6843 B : vector_bool_short) return vector_signed_short
6846 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6850 (A : vector_signed_short;
6851 B : vector_signed_short) return vector_signed_short
6854 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6858 (A : vector_bool_int;
6859 B : vector_unsigned_int) return vector_unsigned_int
6862 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6866 (A : vector_unsigned_int;
6867 B : vector_bool_int) return vector_unsigned_int
6870 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6874 (A : vector_unsigned_int;
6875 B : vector_unsigned_int) return vector_unsigned_int
6878 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6882 (A : vector_bool_int;
6883 B : vector_signed_int) return vector_signed_int
6886 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6890 (A : vector_signed_int;
6891 B : vector_bool_int) return vector_signed_int
6894 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6898 (A : vector_signed_int;
6899 B : vector_signed_int) return vector_signed_int
6902 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6907 function vec_vsubsws
6908 (A : vector_bool_int;
6909 B : vector_signed_int) return vector_signed_int
6912 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6915 function vec_vsubsws
6916 (A : vector_signed_int;
6917 B : vector_bool_int) return vector_signed_int
6920 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6923 function vec_vsubsws
6924 (A : vector_signed_int;
6925 B : vector_signed_int) return vector_signed_int
6928 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6933 function vec_vsubuws
6934 (A : vector_bool_int;
6935 B : vector_unsigned_int) return vector_unsigned_int
6938 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6941 function vec_vsubuws
6942 (A : vector_unsigned_int;
6943 B : vector_bool_int) return vector_unsigned_int
6946 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6949 function vec_vsubuws
6950 (A : vector_unsigned_int;
6951 B : vector_unsigned_int) return vector_unsigned_int
6954 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6959 function vec_vsubshs
6960 (A : vector_bool_short;
6961 B : vector_signed_short) return vector_signed_short
6964 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6967 function vec_vsubshs
6968 (A : vector_signed_short;
6969 B : vector_bool_short) return vector_signed_short
6972 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6975 function vec_vsubshs
6976 (A : vector_signed_short;
6977 B : vector_signed_short) return vector_signed_short
6980 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6985 function vec_vsubuhs
6986 (A : vector_bool_short;
6987 B : vector_unsigned_short) return vector_unsigned_short
6990 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
6993 function vec_vsubuhs
6994 (A : vector_unsigned_short;
6995 B : vector_bool_short) return vector_unsigned_short
6998 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7001 function vec_vsubuhs
7002 (A : vector_unsigned_short;
7003 B : vector_unsigned_short) return vector_unsigned_short
7006 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7011 function vec_vsubsbs
7012 (A : vector_bool_char;
7013 B : vector_signed_char) return vector_signed_char
7016 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7019 function vec_vsubsbs
7020 (A : vector_signed_char;
7021 B : vector_bool_char) return vector_signed_char
7024 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7027 function vec_vsubsbs
7028 (A : vector_signed_char;
7029 B : vector_signed_char) return vector_signed_char
7032 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7037 function vec_vsububs
7038 (A : vector_bool_char;
7039 B : vector_unsigned_char) return vector_unsigned_char
7042 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7045 function vec_vsububs
7046 (A : vector_unsigned_char;
7047 B : vector_bool_char) return vector_unsigned_char
7050 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7053 function vec_vsububs
7054 (A : vector_unsigned_char;
7055 B : vector_unsigned_char) return vector_unsigned_char
7058 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7064 (A : vector_unsigned_char;
7065 B : vector_unsigned_int) return vector_unsigned_int
7068 return To_LL_VUI (vsum4ubs (To_LL_VSC (A), To_LL_VSI (B)));
7072 (A : vector_signed_char;
7073 B : vector_signed_int) return vector_signed_int
7076 return To_LL_VSI (vsum4sbs (To_LL_VSC (A), To_LL_VSI (B)));
7080 (A : vector_signed_short;
7081 B : vector_signed_int) return vector_signed_int
7084 return To_LL_VSI (vsum4shs (To_LL_VSS (A), To_LL_VSI (B)));
7089 function vec_vsum4shs
7090 (A : vector_signed_short;
7091 B : vector_signed_int) return vector_signed_int
7094 return To_LL_VSI (vsum4shs (To_LL_VSS (A), To_LL_VSI (B)));
7099 function vec_vsum4sbs
7100 (A : vector_signed_char;
7101 B : vector_signed_int) return vector_signed_int
7104 return To_LL_VSI (vsum4sbs (To_LL_VSC (A), To_LL_VSI (B)));
7109 function vec_vsum4ubs
7110 (A : vector_unsigned_char;
7111 B : vector_unsigned_int) return vector_unsigned_int
7114 return To_LL_VUI (vsum4ubs (To_LL_VSC (A), To_LL_VSI (B)));
7120 (A : vector_signed_int;
7121 B : vector_signed_int) return vector_signed_int
7124 return To_LL_VSI (vsum2sws (To_LL_VSI (A), To_LL_VSI (B)));
7130 (A : vector_signed_int;
7131 B : vector_signed_int) return vector_signed_int
7134 return To_LL_VSI (vsumsws (To_LL_VSI (A), To_LL_VSI (B)));
7140 (A : vector_float) return vector_float
7143 return To_LL_VF (vrfiz (To_LL_VF (A)));
7148 function vec_unpackh
7149 (A : vector_signed_char) return vector_signed_short
7152 return To_LL_VSS (vupkhsb (To_LL_VSC (A)));
7155 function vec_unpackh
7156 (A : vector_bool_char) return vector_bool_short
7159 return To_LL_VBS (vupkhsb (To_LL_VSC (A)));
7162 function vec_unpackh
7163 (A : vector_signed_short) return vector_signed_int
7166 return To_LL_VSI (vupkhsh (To_LL_VSS (A)));
7169 function vec_unpackh
7170 (A : vector_bool_short) return vector_bool_int
7173 return To_LL_VBI (vupkhsh (To_LL_VSS (A)));
7176 function vec_unpackh
7177 (A : vector_pixel) return vector_unsigned_int
7180 return To_LL_VUI (vupkhpx (To_LL_VSS (A)));
7185 function vec_vupkhsh
7186 (A : vector_bool_short) return vector_bool_int
7189 return To_LL_VBI (vupkhsh (To_LL_VSS (A)));
7192 function vec_vupkhsh
7193 (A : vector_signed_short) return vector_signed_int
7196 return To_LL_VSI (vupkhsh (To_LL_VSS (A)));
7201 function vec_vupkhpx
7202 (A : vector_pixel) return vector_unsigned_int
7205 return To_LL_VUI (vupkhpx (To_LL_VSS (A)));
7210 function vec_vupkhsb
7211 (A : vector_bool_char) return vector_bool_short
7214 return To_LL_VBS (vupkhsb (To_LL_VSC (A)));
7217 function vec_vupkhsb
7218 (A : vector_signed_char) return vector_signed_short
7221 return To_LL_VSS (vupkhsb (To_LL_VSC (A)));
7226 function vec_unpackl
7227 (A : vector_signed_char) return vector_signed_short
7230 return To_LL_VSS (vupklsb (To_LL_VSC (A)));
7233 function vec_unpackl
7234 (A : vector_bool_char) return vector_bool_short
7237 return To_LL_VBS (vupklsb (To_LL_VSC (A)));
7240 function vec_unpackl
7241 (A : vector_pixel) return vector_unsigned_int
7244 return To_LL_VUI (vupklpx (To_LL_VSS (A)));
7247 function vec_unpackl
7248 (A : vector_signed_short) return vector_signed_int
7251 return To_LL_VSI (vupklsh (To_LL_VSS (A)));
7254 function vec_unpackl
7255 (A : vector_bool_short) return vector_bool_int
7258 return To_LL_VBI (vupklsh (To_LL_VSS (A)));
7263 function vec_vupklpx
7264 (A : vector_pixel) return vector_unsigned_int
7267 return To_LL_VUI (vupklpx (To_LL_VSS (A)));
7272 function vec_vupklsh
7273 (A : vector_bool_short) return vector_bool_int
7276 return To_LL_VBI (vupklsh (To_LL_VSS (A)));
7279 function vec_vupklsh
7280 (A : vector_signed_short) return vector_signed_int
7283 return To_LL_VSI (vupklsh (To_LL_VSS (A)));
7288 function vec_vupklsb
7289 (A : vector_bool_char) return vector_bool_short
7292 return To_LL_VBS (vupklsb (To_LL_VSC (A)));
7295 function vec_vupklsb
7296 (A : vector_signed_char) return vector_signed_short
7299 return To_LL_VSS (vupklsb (To_LL_VSC (A)));
7306 B : vector_float) return vector_float
7309 return To_LL_VF (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7314 B : vector_bool_int) return vector_float
7317 return To_LL_VF (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7321 (A : vector_bool_int;
7322 B : vector_float) return vector_float
7325 return To_LL_VF (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7329 (A : vector_bool_int;
7330 B : vector_bool_int) return vector_bool_int
7333 return To_LL_VBI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7337 (A : vector_bool_int;
7338 B : vector_signed_int) return vector_signed_int
7341 return To_LL_VSI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7345 (A : vector_signed_int;
7346 B : vector_bool_int) return vector_signed_int
7349 return To_LL_VSI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7353 (A : vector_signed_int;
7354 B : vector_signed_int) return vector_signed_int
7357 return To_LL_VSI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7361 (A : vector_bool_int;
7362 B : vector_unsigned_int) return vector_unsigned_int
7365 return To_LL_VUI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7369 (A : vector_unsigned_int;
7370 B : vector_bool_int) return vector_unsigned_int
7373 return To_LL_VUI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7377 (A : vector_unsigned_int;
7378 B : vector_unsigned_int) return vector_unsigned_int
7381 return To_LL_VUI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7385 (A : vector_bool_short;
7386 B : vector_bool_short) return vector_bool_short
7389 return To_LL_VBS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7393 (A : vector_bool_short;
7394 B : vector_signed_short) return vector_signed_short
7397 return To_LL_VSS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7401 (A : vector_signed_short;
7402 B : vector_bool_short) return vector_signed_short
7405 return To_LL_VSS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7409 (A : vector_signed_short;
7410 B : vector_signed_short) return vector_signed_short
7413 return To_LL_VSS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7417 (A : vector_bool_short;
7418 B : vector_unsigned_short) return vector_unsigned_short
7421 return To_LL_VUS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7425 (A : vector_unsigned_short;
7426 B : vector_bool_short) return vector_unsigned_short
7429 return To_LL_VUS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7433 (A : vector_unsigned_short;
7434 B : vector_unsigned_short) return vector_unsigned_short
7437 return To_LL_VUS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7441 (A : vector_bool_char;
7442 B : vector_signed_char) return vector_signed_char
7445 return To_LL_VSC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7449 (A : vector_bool_char;
7450 B : vector_bool_char) return vector_bool_char
7453 return To_LL_VBC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7457 (A : vector_signed_char;
7458 B : vector_bool_char) return vector_signed_char
7461 return To_LL_VSC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7465 (A : vector_signed_char;
7466 B : vector_signed_char) return vector_signed_char
7469 return To_LL_VSC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7473 (A : vector_bool_char;
7474 B : vector_unsigned_char) return vector_unsigned_char
7477 return To_LL_VUC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7481 (A : vector_unsigned_char;
7482 B : vector_bool_char) return vector_unsigned_char
7485 return To_LL_VUC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7489 (A : vector_unsigned_char;
7490 B : vector_unsigned_char) return vector_unsigned_char
7493 return To_LL_VUC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7496 -----------------------------------
7497 -- Bodies for Altivec predicates --
7498 -----------------------------------
7503 (A : vector_signed_char;
7504 B : vector_bool_char) return c_int
7507 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7511 (A : vector_signed_char;
7512 B : vector_signed_char) return c_int
7515 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7519 (A : vector_unsigned_char;
7520 B : vector_bool_char) return c_int
7523 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7527 (A : vector_unsigned_char;
7528 B : vector_unsigned_char) return c_int
7531 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7535 (A : vector_bool_char;
7536 B : vector_bool_char) return c_int
7539 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7543 (A : vector_bool_char;
7544 B : vector_unsigned_char) return c_int
7547 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7551 (A : vector_bool_char;
7552 B : vector_signed_char) return c_int
7555 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7559 (A : vector_signed_short;
7560 B : vector_bool_short) return c_int
7563 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7567 (A : vector_signed_short;
7568 B : vector_signed_short) return c_int
7571 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7575 (A : vector_unsigned_short;
7576 B : vector_bool_short) return c_int
7579 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7583 (A : vector_unsigned_short;
7584 B : vector_unsigned_short) return c_int
7587 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7591 (A : vector_bool_short;
7592 B : vector_bool_short) return c_int
7595 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7599 (A : vector_bool_short;
7600 B : vector_unsigned_short) return c_int
7603 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7607 (A : vector_bool_short;
7608 B : vector_signed_short) return c_int
7611 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7616 B : vector_pixel) return c_int
7619 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7623 (A : vector_signed_int;
7624 B : vector_bool_int) return c_int
7627 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7631 (A : vector_signed_int;
7632 B : vector_signed_int) return c_int
7635 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7639 (A : vector_unsigned_int;
7640 B : vector_bool_int) return c_int
7643 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7647 (A : vector_unsigned_int;
7648 B : vector_unsigned_int) return c_int
7651 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7655 (A : vector_bool_int;
7656 B : vector_bool_int) return c_int
7659 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7663 (A : vector_bool_int;
7664 B : vector_unsigned_int) return c_int
7667 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7671 (A : vector_bool_int;
7672 B : vector_signed_int) return c_int
7675 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7680 B : vector_float) return c_int
7683 return vcmpeqfp_p (CR6_LT, To_LL_VF (A), To_LL_VF (B));
7689 (A : vector_bool_char;
7690 B : vector_unsigned_char) return c_int
7693 return vcmpgtub_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7697 (A : vector_unsigned_char;
7698 B : vector_bool_char) return c_int
7701 return vcmpgtub_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7705 (A : vector_unsigned_char;
7706 B : vector_unsigned_char) return c_int
7709 return vcmpgtub_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7713 (A : vector_bool_char;
7714 B : vector_signed_char) return c_int
7717 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7721 (A : vector_signed_char;
7722 B : vector_bool_char) return c_int
7725 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7729 (A : vector_signed_char;
7730 B : vector_signed_char) return c_int
7733 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7737 (A : vector_bool_short;
7738 B : vector_unsigned_short) return c_int
7741 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7745 (A : vector_unsigned_short;
7746 B : vector_bool_short) return c_int
7749 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7753 (A : vector_unsigned_short;
7754 B : vector_unsigned_short) return c_int
7757 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7761 (A : vector_signed_short;
7762 B : vector_signed_short) return c_int
7765 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7769 (A : vector_bool_short;
7770 B : vector_signed_short) return c_int
7773 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7777 (A : vector_signed_short;
7778 B : vector_bool_short) return c_int
7781 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7785 (A : vector_bool_int;
7786 B : vector_unsigned_int) return c_int
7789 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7793 (A : vector_unsigned_int;
7794 B : vector_bool_int) return c_int
7797 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7801 (A : vector_unsigned_int;
7802 B : vector_unsigned_int) return c_int
7805 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7809 (A : vector_bool_int;
7810 B : vector_signed_int) return c_int
7813 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7817 (A : vector_signed_int;
7818 B : vector_bool_int) return c_int
7821 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7825 (A : vector_signed_int;
7826 B : vector_signed_int) return c_int
7829 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7834 B : vector_float) return c_int
7837 return vcmpgefp_p (CR6_LT, To_LL_VF (A), To_LL_VF (B));
7843 (A : vector_bool_char;
7844 B : vector_unsigned_char) return c_int
7847 return vcmpgtub_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7851 (A : vector_unsigned_char;
7852 B : vector_bool_char) return c_int
7855 return vcmpgtub_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7859 (A : vector_unsigned_char;
7860 B : vector_unsigned_char) return c_int
7863 return vcmpgtub_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7867 (A : vector_bool_char;
7868 B : vector_signed_char) return c_int
7871 return vcmpgtsb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7875 (A : vector_signed_char;
7876 B : vector_bool_char) return c_int
7879 return vcmpgtsb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7883 (A : vector_signed_char;
7884 B : vector_signed_char) return c_int
7887 return vcmpgtsb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7891 (A : vector_bool_short;
7892 B : vector_unsigned_short) return c_int
7895 return vcmpgtuh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7899 (A : vector_unsigned_short;
7900 B : vector_bool_short) return c_int
7903 return vcmpgtuh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7907 (A : vector_unsigned_short;
7908 B : vector_unsigned_short) return c_int
7911 return vcmpgtuh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7915 (A : vector_bool_short;
7916 B : vector_signed_short) return c_int
7919 return vcmpgtsh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7923 (A : vector_signed_short;
7924 B : vector_bool_short) return c_int
7927 return vcmpgtsh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7931 (A : vector_signed_short;
7932 B : vector_signed_short) return c_int
7935 return vcmpgtsh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7939 (A : vector_bool_int;
7940 B : vector_unsigned_int) return c_int
7943 return vcmpgtuw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7947 (A : vector_unsigned_int;
7948 B : vector_bool_int) return c_int
7951 return vcmpgtuw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7955 (A : vector_unsigned_int;
7956 B : vector_unsigned_int) return c_int
7959 return vcmpgtuw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7963 (A : vector_bool_int;
7964 B : vector_signed_int) return c_int
7967 return vcmpgtsw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7971 (A : vector_signed_int;
7972 B : vector_bool_int) return c_int
7975 return vcmpgtsw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7979 (A : vector_signed_int;
7980 B : vector_signed_int) return c_int
7983 return vcmpgtsw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7988 B : vector_float) return c_int
7991 return vcmpgtfp_p (CR6_LT, To_LL_VF (A), To_LL_VF (B));
7998 B : vector_float) return c_int
8001 return vcmpbfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
8007 (A : vector_bool_char;
8008 B : vector_unsigned_char) return c_int
8011 return vcmpgtub_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8015 (A : vector_unsigned_char;
8016 B : vector_bool_char) return c_int
8019 return vcmpgtub_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8023 (A : vector_unsigned_char;
8024 B : vector_unsigned_char) return c_int
8027 return vcmpgtub_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8031 (A : vector_bool_char;
8032 B : vector_signed_char) return c_int
8035 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8039 (A : vector_signed_char;
8040 B : vector_bool_char) return c_int
8043 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8047 (A : vector_signed_char;
8048 B : vector_signed_char) return c_int
8051 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8055 (A : vector_bool_short;
8056 B : vector_unsigned_short) return c_int
8059 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8063 (A : vector_unsigned_short;
8064 B : vector_bool_short) return c_int
8067 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8071 (A : vector_unsigned_short;
8072 B : vector_unsigned_short) return c_int
8075 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8079 (A : vector_bool_short;
8080 B : vector_signed_short) return c_int
8083 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8087 (A : vector_signed_short;
8088 B : vector_bool_short) return c_int
8091 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8095 (A : vector_signed_short;
8096 B : vector_signed_short) return c_int
8099 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8103 (A : vector_bool_int;
8104 B : vector_unsigned_int) return c_int
8107 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8111 (A : vector_unsigned_int;
8112 B : vector_bool_int) return c_int
8115 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8119 (A : vector_unsigned_int;
8120 B : vector_unsigned_int) return c_int
8123 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8127 (A : vector_bool_int;
8128 B : vector_signed_int) return c_int
8131 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8135 (A : vector_signed_int;
8136 B : vector_bool_int) return c_int
8139 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8143 (A : vector_signed_int;
8144 B : vector_signed_int) return c_int
8147 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8152 B : vector_float) return c_int
8155 return vcmpgefp_p (CR6_LT, To_LL_VF (B), To_LL_VF (A));
8161 (A : vector_bool_char;
8162 B : vector_unsigned_char) return c_int
8165 return vcmpgtub_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8169 (A : vector_unsigned_char;
8170 B : vector_bool_char) return c_int
8173 return vcmpgtub_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8177 (A : vector_unsigned_char;
8178 B : vector_unsigned_char) return c_int
8181 return vcmpgtub_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8185 (A : vector_bool_char;
8186 B : vector_signed_char) return c_int
8189 return vcmpgtsb_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8193 (A : vector_signed_char;
8194 B : vector_bool_char) return c_int
8197 return vcmpgtsb_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8201 (A : vector_signed_char;
8202 B : vector_signed_char) return c_int
8205 return vcmpgtsb_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8209 (A : vector_bool_short;
8210 B : vector_unsigned_short) return c_int
8213 return vcmpgtuh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8217 (A : vector_unsigned_short;
8218 B : vector_bool_short) return c_int
8221 return vcmpgtuh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8225 (A : vector_unsigned_short;
8226 B : vector_unsigned_short) return c_int
8229 return vcmpgtuh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8233 (A : vector_bool_short;
8234 B : vector_signed_short) return c_int
8237 return vcmpgtsh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8241 (A : vector_signed_short;
8242 B : vector_bool_short) return c_int
8245 return vcmpgtsh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8249 (A : vector_signed_short;
8250 B : vector_signed_short) return c_int
8253 return vcmpgtsh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8257 (A : vector_bool_int;
8258 B : vector_unsigned_int) return c_int
8261 return vcmpgtuw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8265 (A : vector_unsigned_int;
8266 B : vector_bool_int) return c_int
8269 return vcmpgtuw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8273 (A : vector_unsigned_int;
8274 B : vector_unsigned_int) return c_int
8277 return vcmpgtuw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8281 (A : vector_bool_int;
8282 B : vector_signed_int) return c_int
8285 return vcmpgtsw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8289 (A : vector_signed_int;
8290 B : vector_bool_int) return c_int
8293 return vcmpgtsw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8297 (A : vector_signed_int;
8298 B : vector_signed_int) return c_int
8301 return vcmpgtsw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8306 B : vector_float) return c_int
8309 return vcmpgtfp_p (CR6_LT, To_LL_VF (B), To_LL_VF (A));
8314 function vec_all_nan
8315 (A : vector_float) return c_int
8318 return vcmpeqfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (A));
8324 (A : vector_signed_char;
8325 B : vector_bool_char) return c_int
8328 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8332 (A : vector_signed_char;
8333 B : vector_signed_char) return c_int
8336 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8340 (A : vector_unsigned_char;
8341 B : vector_bool_char) return c_int
8344 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8348 (A : vector_unsigned_char;
8349 B : vector_unsigned_char) return c_int
8352 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8356 (A : vector_bool_char;
8357 B : vector_bool_char) return c_int
8360 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8364 (A : vector_bool_char;
8365 B : vector_unsigned_char) return c_int
8368 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8372 (A : vector_bool_char;
8373 B : vector_signed_char) return c_int
8376 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8380 (A : vector_signed_short;
8381 B : vector_bool_short) return c_int
8384 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8388 (A : vector_signed_short;
8389 B : vector_signed_short) return c_int
8392 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8396 (A : vector_unsigned_short;
8397 B : vector_bool_short) return c_int
8400 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8404 (A : vector_unsigned_short;
8405 B : vector_unsigned_short) return c_int
8408 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8412 (A : vector_bool_short;
8413 B : vector_bool_short) return c_int
8416 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8420 (A : vector_bool_short;
8421 B : vector_unsigned_short) return c_int
8424 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8428 (A : vector_bool_short;
8429 B : vector_signed_short) return c_int
8432 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8437 B : vector_pixel) return c_int
8440 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8444 (A : vector_signed_int;
8445 B : vector_bool_int) return c_int
8448 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8452 (A : vector_signed_int;
8453 B : vector_signed_int) return c_int
8456 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8460 (A : vector_unsigned_int;
8461 B : vector_bool_int) return c_int
8464 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8468 (A : vector_unsigned_int;
8469 B : vector_unsigned_int) return c_int
8472 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8476 (A : vector_bool_int;
8477 B : vector_bool_int) return c_int
8480 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8484 (A : vector_bool_int;
8485 B : vector_unsigned_int) return c_int
8488 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8492 (A : vector_bool_int;
8493 B : vector_signed_int) return c_int
8496 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8501 B : vector_float) return c_int
8504 return vcmpeqfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
8509 function vec_all_nge
8511 B : vector_float) return c_int
8514 return vcmpgefp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
8519 function vec_all_ngt
8521 B : vector_float) return c_int
8524 return vcmpgtfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
8529 function vec_all_nle
8531 B : vector_float) return c_int
8534 return vcmpgefp_p (CR6_EQ, To_LL_VF (B), To_LL_VF (A));
8539 function vec_all_nlt
8541 B : vector_float) return c_int
8544 return vcmpgtfp_p (CR6_EQ, To_LL_VF (B), To_LL_VF (A));
8547 -- vec_all_numeric --
8549 function vec_all_numeric
8550 (A : vector_float) return c_int
8553 return vcmpeqfp_p (CR6_LT, To_LL_VF (A), To_LL_VF (A));
8554 end vec_all_numeric;
8559 (A : vector_signed_char;
8560 B : vector_bool_char) return c_int
8563 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8567 (A : vector_signed_char;
8568 B : vector_signed_char) return c_int
8571 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8575 (A : vector_unsigned_char;
8576 B : vector_bool_char) return c_int
8579 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8583 (A : vector_unsigned_char;
8584 B : vector_unsigned_char) return c_int
8587 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8591 (A : vector_bool_char;
8592 B : vector_bool_char) return c_int
8595 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8599 (A : vector_bool_char;
8600 B : vector_unsigned_char) return c_int
8603 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8607 (A : vector_bool_char;
8608 B : vector_signed_char) return c_int
8611 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8615 (A : vector_signed_short;
8616 B : vector_bool_short) return c_int
8619 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8623 (A : vector_signed_short;
8624 B : vector_signed_short) return c_int
8627 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8631 (A : vector_unsigned_short;
8632 B : vector_bool_short) return c_int
8635 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8639 (A : vector_unsigned_short;
8640 B : vector_unsigned_short) return c_int
8643 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8647 (A : vector_bool_short;
8648 B : vector_bool_short) return c_int
8651 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8655 (A : vector_bool_short;
8656 B : vector_unsigned_short) return c_int
8659 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8663 (A : vector_bool_short;
8664 B : vector_signed_short) return c_int
8667 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8672 B : vector_pixel) return c_int
8675 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8679 (A : vector_signed_int;
8680 B : vector_bool_int) return c_int
8683 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8687 (A : vector_signed_int;
8688 B : vector_signed_int) return c_int
8691 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8695 (A : vector_unsigned_int;
8696 B : vector_bool_int) return c_int
8699 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8703 (A : vector_unsigned_int;
8704 B : vector_unsigned_int) return c_int
8707 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8711 (A : vector_bool_int;
8712 B : vector_bool_int) return c_int
8715 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8719 (A : vector_bool_int;
8720 B : vector_unsigned_int) return c_int
8723 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8727 (A : vector_bool_int;
8728 B : vector_signed_int) return c_int
8731 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8736 B : vector_float) return c_int
8739 return vcmpeqfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
8745 (A : vector_signed_char;
8746 B : vector_bool_char) return c_int
8749 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8753 (A : vector_unsigned_char;
8754 B : vector_bool_char) return c_int
8757 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8761 (A : vector_unsigned_char;
8762 B : vector_unsigned_char) return c_int
8765 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8769 (A : vector_signed_char;
8770 B : vector_signed_char) return c_int
8773 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8777 (A : vector_bool_char;
8778 B : vector_unsigned_char) return c_int
8781 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8785 (A : vector_bool_char;
8786 B : vector_signed_char) return c_int
8789 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8793 (A : vector_unsigned_short;
8794 B : vector_bool_short) return c_int
8797 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8801 (A : vector_unsigned_short;
8802 B : vector_unsigned_short) return c_int
8805 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8809 (A : vector_signed_short;
8810 B : vector_signed_short) return c_int
8813 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8817 (A : vector_signed_short;
8818 B : vector_bool_short) return c_int
8821 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8825 (A : vector_bool_short;
8826 B : vector_unsigned_short) return c_int
8829 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8833 (A : vector_bool_short;
8834 B : vector_signed_short) return c_int
8837 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8841 (A : vector_signed_int;
8842 B : vector_bool_int) return c_int
8845 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8849 (A : vector_unsigned_int;
8850 B : vector_bool_int) return c_int
8853 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8857 (A : vector_unsigned_int;
8858 B : vector_unsigned_int) return c_int
8861 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8865 (A : vector_signed_int;
8866 B : vector_signed_int) return c_int
8869 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8873 (A : vector_bool_int;
8874 B : vector_unsigned_int) return c_int
8877 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8881 (A : vector_bool_int;
8882 B : vector_signed_int) return c_int
8885 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8890 B : vector_float) return c_int
8893 return vcmpgefp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
8899 (A : vector_bool_char;
8900 B : vector_unsigned_char) return c_int
8903 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8907 (A : vector_unsigned_char;
8908 B : vector_bool_char) return c_int
8911 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8915 (A : vector_unsigned_char;
8916 B : vector_unsigned_char) return c_int
8919 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8923 (A : vector_bool_char;
8924 B : vector_signed_char) return c_int
8927 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8931 (A : vector_signed_char;
8932 B : vector_bool_char) return c_int
8935 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8939 (A : vector_signed_char;
8940 B : vector_signed_char) return c_int
8943 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8947 (A : vector_bool_short;
8948 B : vector_unsigned_short) return c_int
8951 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8955 (A : vector_unsigned_short;
8956 B : vector_bool_short) return c_int
8959 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8963 (A : vector_unsigned_short;
8964 B : vector_unsigned_short) return c_int
8967 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8971 (A : vector_bool_short;
8972 B : vector_signed_short) return c_int
8975 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8979 (A : vector_signed_short;
8980 B : vector_bool_short) return c_int
8983 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8987 (A : vector_signed_short;
8988 B : vector_signed_short) return c_int
8991 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8995 (A : vector_bool_int;
8996 B : vector_unsigned_int) return c_int
8999 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9003 (A : vector_unsigned_int;
9004 B : vector_bool_int) return c_int
9007 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9011 (A : vector_unsigned_int;
9012 B : vector_unsigned_int) return c_int
9015 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9019 (A : vector_bool_int;
9020 B : vector_signed_int) return c_int
9023 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9027 (A : vector_signed_int;
9028 B : vector_bool_int) return c_int
9031 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9035 (A : vector_signed_int;
9036 B : vector_signed_int) return c_int
9039 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9044 B : vector_float) return c_int
9047 return vcmpgtfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
9053 (A : vector_bool_char;
9054 B : vector_unsigned_char) return c_int
9057 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9061 (A : vector_unsigned_char;
9062 B : vector_bool_char) return c_int
9065 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9069 (A : vector_unsigned_char;
9070 B : vector_unsigned_char) return c_int
9073 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9077 (A : vector_bool_char;
9078 B : vector_signed_char) return c_int
9081 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9085 (A : vector_signed_char;
9086 B : vector_bool_char) return c_int
9089 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9093 (A : vector_signed_char;
9094 B : vector_signed_char) return c_int
9097 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9101 (A : vector_bool_short;
9102 B : vector_unsigned_short) return c_int
9105 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9109 (A : vector_unsigned_short;
9110 B : vector_bool_short) return c_int
9113 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9117 (A : vector_unsigned_short;
9118 B : vector_unsigned_short) return c_int
9121 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9125 (A : vector_bool_short;
9126 B : vector_signed_short) return c_int
9129 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9133 (A : vector_signed_short;
9134 B : vector_bool_short) return c_int
9137 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9141 (A : vector_signed_short;
9142 B : vector_signed_short) return c_int
9145 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9149 (A : vector_bool_int;
9150 B : vector_unsigned_int) return c_int
9153 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9157 (A : vector_unsigned_int;
9158 B : vector_bool_int) return c_int
9161 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9165 (A : vector_unsigned_int;
9166 B : vector_unsigned_int) return c_int
9169 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9173 (A : vector_bool_int;
9174 B : vector_signed_int) return c_int
9177 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9181 (A : vector_signed_int;
9182 B : vector_bool_int) return c_int
9185 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9189 (A : vector_signed_int;
9190 B : vector_signed_int) return c_int
9193 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9198 B : vector_float) return c_int
9201 return vcmpgefp_p (CR6_EQ_REV, To_LL_VF (B), To_LL_VF (A));
9207 (A : vector_bool_char;
9208 B : vector_unsigned_char) return c_int
9211 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9215 (A : vector_unsigned_char;
9216 B : vector_bool_char) return c_int
9219 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9223 (A : vector_unsigned_char;
9224 B : vector_unsigned_char) return c_int
9227 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9231 (A : vector_bool_char;
9232 B : vector_signed_char) return c_int
9235 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9239 (A : vector_signed_char;
9240 B : vector_bool_char) return c_int
9243 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9247 (A : vector_signed_char;
9248 B : vector_signed_char) return c_int
9251 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9255 (A : vector_bool_short;
9256 B : vector_unsigned_short) return c_int
9259 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9263 (A : vector_unsigned_short;
9264 B : vector_bool_short) return c_int
9267 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9271 (A : vector_unsigned_short;
9272 B : vector_unsigned_short) return c_int
9275 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9279 (A : vector_bool_short;
9280 B : vector_signed_short) return c_int
9283 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9287 (A : vector_signed_short;
9288 B : vector_bool_short) return c_int
9291 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9295 (A : vector_signed_short;
9296 B : vector_signed_short) return c_int
9299 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9303 (A : vector_bool_int;
9304 B : vector_unsigned_int) return c_int
9307 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9311 (A : vector_unsigned_int;
9312 B : vector_bool_int) return c_int
9315 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9319 (A : vector_unsigned_int;
9320 B : vector_unsigned_int) return c_int
9323 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9327 (A : vector_bool_int;
9328 B : vector_signed_int) return c_int
9331 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9335 (A : vector_signed_int;
9336 B : vector_bool_int) return c_int
9339 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9343 (A : vector_signed_int;
9344 B : vector_signed_int) return c_int
9347 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9352 B : vector_float) return c_int
9355 return vcmpgtfp_p (CR6_EQ_REV, To_LL_VF (B), To_LL_VF (A));
9360 function vec_any_nan
9361 (A : vector_float) return c_int
9364 return vcmpeqfp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (A));
9370 (A : vector_signed_char;
9371 B : vector_bool_char) return c_int
9374 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9378 (A : vector_signed_char;
9379 B : vector_signed_char) return c_int
9382 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9386 (A : vector_unsigned_char;
9387 B : vector_bool_char) return c_int
9390 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9394 (A : vector_unsigned_char;
9395 B : vector_unsigned_char) return c_int
9398 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9402 (A : vector_bool_char;
9403 B : vector_bool_char) return c_int
9406 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9410 (A : vector_bool_char;
9411 B : vector_unsigned_char) return c_int
9414 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9418 (A : vector_bool_char;
9419 B : vector_signed_char) return c_int
9422 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9426 (A : vector_signed_short;
9427 B : vector_bool_short) return c_int
9430 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9434 (A : vector_signed_short;
9435 B : vector_signed_short) return c_int
9438 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9442 (A : vector_unsigned_short;
9443 B : vector_bool_short) return c_int
9446 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9450 (A : vector_unsigned_short;
9451 B : vector_unsigned_short) return c_int
9454 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9458 (A : vector_bool_short;
9459 B : vector_bool_short) return c_int
9462 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9466 (A : vector_bool_short;
9467 B : vector_unsigned_short) return c_int
9470 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9474 (A : vector_bool_short;
9475 B : vector_signed_short) return c_int
9478 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9483 B : vector_pixel) return c_int
9486 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9490 (A : vector_signed_int;
9491 B : vector_bool_int) return c_int
9494 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9498 (A : vector_signed_int;
9499 B : vector_signed_int) return c_int
9502 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9506 (A : vector_unsigned_int;
9507 B : vector_bool_int) return c_int
9510 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9514 (A : vector_unsigned_int;
9515 B : vector_unsigned_int) return c_int
9518 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9522 (A : vector_bool_int;
9523 B : vector_bool_int) return c_int
9526 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9530 (A : vector_bool_int;
9531 B : vector_unsigned_int) return c_int
9534 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9538 (A : vector_bool_int;
9539 B : vector_signed_int) return c_int
9542 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9547 B : vector_float) return c_int
9550 return vcmpeqfp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (B));
9555 function vec_any_nge
9557 B : vector_float) return c_int
9560 return vcmpgefp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (B));
9565 function vec_any_ngt
9567 B : vector_float) return c_int
9570 return vcmpgtfp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (B));
9575 function vec_any_nle
9577 B : vector_float) return c_int
9580 return vcmpgefp_p (CR6_LT_REV, To_LL_VF (B), To_LL_VF (A));
9585 function vec_any_nlt
9587 B : vector_float) return c_int
9590 return vcmpgtfp_p (CR6_LT_REV, To_LL_VF (B), To_LL_VF (A));
9593 -- vec_any_numeric --
9595 function vec_any_numeric
9596 (A : vector_float) return c_int
9599 return vcmpeqfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (A));
9600 end vec_any_numeric;
9604 function vec_any_out
9606 B : vector_float) return c_int
9609 return vcmpbfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
9615 (V : vector_unsigned_char) return Integer
9617 pragma Unreferenced (V);
9623 (V : vector_signed_char) return Integer
9625 pragma Unreferenced (V);
9631 (V : vector_bool_char) return Integer
9633 pragma Unreferenced (V);
9639 (V : vector_unsigned_short) return Integer
9641 pragma Unreferenced (V);
9647 (V : vector_signed_short) return Integer
9649 pragma Unreferenced (V);
9655 (V : vector_bool_short) return Integer
9657 pragma Unreferenced (V);
9663 (V : vector_unsigned_int) return Integer
9665 pragma Unreferenced (V);
9671 (V : vector_signed_int) return Integer
9673 pragma Unreferenced (V);
9679 (V : vector_bool_int) return Integer
9681 pragma Unreferenced (V);
9687 (V : vector_float) return Integer
9689 pragma Unreferenced (V);
9695 (V : vector_pixel) return Integer
9697 pragma Unreferenced (V);
9702 end GNAT.Altivec.Vector_Operations;