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-2015, 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_Interface; use GNAT.Altivec.Low_Level_Interface;
34 package body GNAT.Altivec.Vector_Operations is
36 --------------------------------------------------------
37 -- Bodies for generic and specific Altivec operations --
38 --------------------------------------------------------
45 (A : vector_signed_char) return vector_signed_char
48 return To_LL_VSC (abs_v16qi (A));
52 (A : vector_signed_short) return vector_signed_short
55 return To_LL_VSS (abs_v8hi (A));
59 (A : vector_signed_int) return vector_signed_int
62 return To_LL_VSI (abs_v4si (A));
66 (A : vector_float) return vector_float
69 return To_LL_VF (abs_v4sf (A));
77 (A : vector_signed_char) return vector_signed_char
80 return To_LL_VSC (abss_v16qi (A));
84 (A : vector_signed_short) return vector_signed_short
87 return To_LL_VSS (abss_v8hi (A));
91 (A : vector_signed_int) return vector_signed_int
94 return To_LL_VSI (abss_v4si (A));
102 (A : vector_bool_char;
103 B : vector_signed_char) return vector_signed_char
106 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
110 (A : vector_signed_char;
111 B : vector_bool_char) return vector_signed_char
114 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
118 (A : vector_signed_char;
119 B : vector_signed_char) return vector_signed_char
122 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
126 (A : vector_bool_char;
127 B : vector_unsigned_char) return vector_unsigned_char
130 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
134 (A : vector_unsigned_char;
135 B : vector_bool_char) return vector_unsigned_char
138 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
142 (A : vector_unsigned_char;
143 B : vector_unsigned_char) return vector_unsigned_char
146 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
150 (A : vector_bool_short;
151 B : vector_signed_short) return vector_signed_short
154 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
158 (A : vector_signed_short;
159 B : vector_bool_short) return vector_signed_short
162 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
166 (A : vector_signed_short;
167 B : vector_signed_short) return vector_signed_short
170 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
174 (A : vector_bool_short;
175 B : vector_unsigned_short) return vector_unsigned_short
178 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
182 (A : vector_unsigned_short;
183 B : vector_bool_short) return vector_unsigned_short
186 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
190 (A : vector_unsigned_short;
191 B : vector_unsigned_short) return vector_unsigned_short
194 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
198 (A : vector_bool_int;
199 B : vector_signed_int) return vector_signed_int
202 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
206 (A : vector_signed_int;
207 B : vector_bool_int) return vector_signed_int
210 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
214 (A : vector_signed_int;
215 B : vector_signed_int) return vector_signed_int
218 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
222 (A : vector_bool_int;
223 B : vector_unsigned_int) return vector_unsigned_int
226 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
230 (A : vector_unsigned_int;
231 B : vector_bool_int) return vector_unsigned_int
234 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
238 (A : vector_unsigned_int;
239 B : vector_unsigned_int) return vector_unsigned_int
242 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
247 B : vector_float) return vector_float
250 return To_LL_VF (vaddfp (To_LL_VF (A), To_LL_VF (B)));
259 B : vector_float) return vector_float
262 return To_LL_VF (vaddfp (To_LL_VF (A), To_LL_VF (B)));
270 (A : vector_bool_int;
271 B : vector_signed_int) return vector_signed_int
274 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
278 (A : vector_signed_int;
279 B : vector_bool_int) return vector_signed_int
282 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
286 (A : vector_signed_int;
287 B : vector_signed_int) return vector_signed_int
290 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
294 (A : vector_bool_int;
295 B : vector_unsigned_int) return vector_unsigned_int
298 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
302 (A : vector_unsigned_int;
303 B : vector_bool_int) return vector_unsigned_int
306 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
310 (A : vector_unsigned_int;
311 B : vector_unsigned_int) return vector_unsigned_int
314 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
322 (A : vector_bool_short;
323 B : vector_signed_short) return vector_signed_short
326 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
330 (A : vector_signed_short;
331 B : vector_bool_short) return vector_signed_short
334 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
338 (A : vector_signed_short;
339 B : vector_signed_short) return vector_signed_short
342 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
346 (A : vector_bool_short;
347 B : vector_unsigned_short) return vector_unsigned_short
350 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
354 (A : vector_unsigned_short;
355 B : vector_bool_short) return vector_unsigned_short
358 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
362 (A : vector_unsigned_short;
363 B : vector_unsigned_short) return vector_unsigned_short
366 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
374 (A : vector_bool_char;
375 B : vector_signed_char) return vector_signed_char
378 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
382 (A : vector_signed_char;
383 B : vector_bool_char) return vector_signed_char
386 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
390 (A : vector_signed_char;
391 B : vector_signed_char) return vector_signed_char
394 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
398 (A : vector_bool_char;
399 B : vector_unsigned_char) return vector_unsigned_char
402 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
406 (A : vector_unsigned_char;
407 B : vector_bool_char) return vector_unsigned_char
410 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
414 (A : vector_unsigned_char;
415 B : vector_unsigned_char) return vector_unsigned_char
418 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
426 (A : vector_unsigned_int;
427 B : vector_unsigned_int) return vector_unsigned_int
430 return To_LL_VUI (vaddcuw (To_LL_VSI (A), To_LL_VSI (B)));
438 (A : vector_bool_char;
439 B : vector_unsigned_char) return vector_unsigned_char
442 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
446 (A : vector_unsigned_char;
447 B : vector_bool_char) return vector_unsigned_char
450 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
454 (A : vector_unsigned_char;
455 B : vector_unsigned_char) return vector_unsigned_char
458 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
462 (A : vector_bool_char;
463 B : vector_signed_char) return vector_signed_char
466 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
470 (A : vector_signed_char;
471 B : vector_bool_char) return vector_signed_char
474 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
478 (A : vector_signed_char;
479 B : vector_signed_char) return vector_signed_char
482 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
486 (A : vector_bool_short;
487 B : vector_unsigned_short) return vector_unsigned_short
490 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
494 (A : vector_unsigned_short;
495 B : vector_bool_short) return vector_unsigned_short
498 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
502 (A : vector_unsigned_short;
503 B : vector_unsigned_short) return vector_unsigned_short
506 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
510 (A : vector_bool_short;
511 B : vector_signed_short) return vector_signed_short
514 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
518 (A : vector_signed_short;
519 B : vector_bool_short) return vector_signed_short
522 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
526 (A : vector_signed_short;
527 B : vector_signed_short) return vector_signed_short
530 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
534 (A : vector_bool_int;
535 B : vector_unsigned_int) return vector_unsigned_int
538 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
542 (A : vector_unsigned_int;
543 B : vector_bool_int) return vector_unsigned_int
546 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
550 (A : vector_unsigned_int;
551 B : vector_unsigned_int) return vector_unsigned_int
554 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
558 (A : vector_bool_int;
559 B : vector_signed_int) return vector_signed_int
562 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
566 (A : vector_signed_int;
567 B : vector_bool_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_signed_int) return vector_signed_int
578 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
586 (A : vector_bool_int;
587 B : vector_signed_int) return vector_signed_int
590 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
594 (A : vector_signed_int;
595 B : vector_bool_int) return vector_signed_int
598 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
602 (A : vector_signed_int;
603 B : vector_signed_int) return vector_signed_int
606 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
614 (A : vector_bool_int;
615 B : vector_unsigned_int) return vector_unsigned_int
618 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
622 (A : vector_unsigned_int;
623 B : vector_bool_int) return vector_unsigned_int
626 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
630 (A : vector_unsigned_int;
631 B : vector_unsigned_int) return vector_unsigned_int
634 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
642 (A : vector_bool_short;
643 B : vector_signed_short) return vector_signed_short
646 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
650 (A : vector_signed_short;
651 B : vector_bool_short) return vector_signed_short
654 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
658 (A : vector_signed_short;
659 B : vector_signed_short) return vector_signed_short
662 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
670 (A : vector_bool_short;
671 B : vector_unsigned_short) return vector_unsigned_short
674 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
678 (A : vector_unsigned_short;
679 B : vector_bool_short) return vector_unsigned_short
682 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
686 (A : vector_unsigned_short;
687 B : vector_unsigned_short) return vector_unsigned_short
690 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
698 (A : vector_bool_char;
699 B : vector_signed_char) return vector_signed_char
702 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
706 (A : vector_signed_char;
707 B : vector_bool_char) return vector_signed_char
710 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
714 (A : vector_signed_char;
715 B : vector_signed_char) return vector_signed_char
718 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
726 (A : vector_bool_char;
727 B : vector_unsigned_char) return vector_unsigned_char
730 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
734 (A : vector_unsigned_char;
735 B : vector_bool_char) return vector_unsigned_char
738 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
742 (A : vector_unsigned_char;
743 B : vector_unsigned_char) return vector_unsigned_char
746 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
755 B : vector_float) return vector_float
758 return To_LL_VF (vand (To_LL_VSI (A), To_LL_VSI (B)));
763 B : vector_bool_int) return vector_float
766 return To_LL_VF (vand (To_LL_VSI (A), To_LL_VSI (B)));
770 (A : vector_bool_int;
771 B : vector_float) return vector_float
774 return To_LL_VF (vand (To_LL_VSI (A), To_LL_VSI (B)));
778 (A : vector_bool_int;
779 B : vector_bool_int) return vector_bool_int
782 return To_LL_VBI (vand (To_LL_VSI (A), To_LL_VSI (B)));
786 (A : vector_bool_int;
787 B : vector_signed_int) return vector_signed_int
790 return To_LL_VSI (vand (To_LL_VSI (A), To_LL_VSI (B)));
794 (A : vector_signed_int;
795 B : vector_bool_int) return vector_signed_int
798 return To_LL_VSI (vand (To_LL_VSI (A), To_LL_VSI (B)));
802 (A : vector_signed_int;
803 B : vector_signed_int) return vector_signed_int
806 return To_LL_VSI (vand (To_LL_VSI (A), To_LL_VSI (B)));
810 (A : vector_bool_int;
811 B : vector_unsigned_int) return vector_unsigned_int
814 return To_LL_VUI (vand (To_LL_VSI (A), To_LL_VSI (B)));
818 (A : vector_unsigned_int;
819 B : vector_bool_int) return vector_unsigned_int
822 return To_LL_VUI (vand (To_LL_VSI (A), To_LL_VSI (B)));
826 (A : vector_unsigned_int;
827 B : vector_unsigned_int) return vector_unsigned_int
830 return To_LL_VUI (vand (To_LL_VSI (A), To_LL_VSI (B)));
834 (A : vector_bool_short;
835 B : vector_bool_short) return vector_bool_short
838 return To_LL_VBS (vand (To_LL_VSI (A), To_LL_VSI (B)));
842 (A : vector_bool_short;
843 B : vector_signed_short) return vector_signed_short
846 return To_LL_VSS (vand (To_LL_VSI (A), To_LL_VSI (B)));
850 (A : vector_signed_short;
851 B : vector_bool_short) return vector_signed_short
854 return To_LL_VSS (vand (To_LL_VSI (A), To_LL_VSI (B)));
858 (A : vector_signed_short;
859 B : vector_signed_short) return vector_signed_short
862 return To_LL_VSS (vand (To_LL_VSI (A), To_LL_VSI (B)));
866 (A : vector_bool_short;
867 B : vector_unsigned_short) return vector_unsigned_short
870 return To_LL_VUS (vand (To_LL_VSI (A), To_LL_VSI (B)));
874 (A : vector_unsigned_short;
875 B : vector_bool_short) return vector_unsigned_short
878 return To_LL_VUS (vand (To_LL_VSI (A), To_LL_VSI (B)));
882 (A : vector_unsigned_short;
883 B : vector_unsigned_short) return vector_unsigned_short
886 return To_LL_VUS (vand (To_LL_VSI (A), To_LL_VSI (B)));
890 (A : vector_bool_char;
891 B : vector_signed_char) return vector_signed_char
894 return To_LL_VSC (vand (To_LL_VSI (A), To_LL_VSI (B)));
898 (A : vector_bool_char;
899 B : vector_bool_char) return vector_bool_char
902 return To_LL_VBC (vand (To_LL_VSI (A), To_LL_VSI (B)));
906 (A : vector_signed_char;
907 B : vector_bool_char) return vector_signed_char
910 return To_LL_VSC (vand (To_LL_VSI (A), To_LL_VSI (B)));
914 (A : vector_signed_char;
915 B : vector_signed_char) return vector_signed_char
918 return To_LL_VSC (vand (To_LL_VSI (A), To_LL_VSI (B)));
922 (A : vector_bool_char;
923 B : vector_unsigned_char) return vector_unsigned_char
926 return To_LL_VUC (vand (To_LL_VSI (A), To_LL_VSI (B)));
930 (A : vector_unsigned_char;
931 B : vector_bool_char) return vector_unsigned_char
934 return To_LL_VUC (vand (To_LL_VSI (A), To_LL_VSI (B)));
938 (A : vector_unsigned_char;
939 B : vector_unsigned_char) return vector_unsigned_char
942 return To_LL_VUC (vand (To_LL_VSI (A), To_LL_VSI (B)));
951 B : vector_float) return vector_float
954 return To_LL_VF (vandc (To_LL_VSI (A), To_LL_VSI (B)));
959 B : vector_bool_int) return vector_float
962 return To_LL_VF (vandc (To_LL_VSI (A), To_LL_VSI (B)));
966 (A : vector_bool_int;
967 B : vector_float) return vector_float
970 return To_LL_VF (vandc (To_LL_VSI (A), To_LL_VSI (B)));
974 (A : vector_bool_int;
975 B : vector_bool_int) return vector_bool_int
978 return To_LL_VBI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
982 (A : vector_bool_int;
983 B : vector_signed_int) return vector_signed_int
986 return To_LL_VSI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
990 (A : vector_signed_int;
991 B : vector_bool_int) return vector_signed_int
994 return To_LL_VSI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
998 (A : vector_signed_int;
999 B : vector_signed_int) return vector_signed_int
1002 return To_LL_VSI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1006 (A : vector_bool_int;
1007 B : vector_unsigned_int) return vector_unsigned_int
1010 return To_LL_VUI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1014 (A : vector_unsigned_int;
1015 B : vector_bool_int) return vector_unsigned_int
1018 return To_LL_VUI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1022 (A : vector_unsigned_int;
1023 B : vector_unsigned_int) return vector_unsigned_int
1026 return To_LL_VUI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1030 (A : vector_bool_short;
1031 B : vector_bool_short) return vector_bool_short
1034 return To_LL_VBS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1038 (A : vector_bool_short;
1039 B : vector_signed_short) return vector_signed_short
1042 return To_LL_VSS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1046 (A : vector_signed_short;
1047 B : vector_bool_short) return vector_signed_short
1050 return To_LL_VSS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1054 (A : vector_signed_short;
1055 B : vector_signed_short) return vector_signed_short
1058 return To_LL_VSS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1062 (A : vector_bool_short;
1063 B : vector_unsigned_short) return vector_unsigned_short
1066 return To_LL_VUS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1070 (A : vector_unsigned_short;
1071 B : vector_bool_short) return vector_unsigned_short
1074 return To_LL_VUS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1078 (A : vector_unsigned_short;
1079 B : vector_unsigned_short) return vector_unsigned_short
1082 return To_LL_VUS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1086 (A : vector_bool_char;
1087 B : vector_signed_char) return vector_signed_char
1090 return To_LL_VSC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1094 (A : vector_bool_char;
1095 B : vector_bool_char) return vector_bool_char
1098 return To_LL_VBC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1102 (A : vector_signed_char;
1103 B : vector_bool_char) return vector_signed_char
1106 return To_LL_VSC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1110 (A : vector_signed_char;
1111 B : vector_signed_char) return vector_signed_char
1114 return To_LL_VSC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1118 (A : vector_bool_char;
1119 B : vector_unsigned_char) return vector_unsigned_char
1122 return To_LL_VUC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1126 (A : vector_unsigned_char;
1127 B : vector_bool_char) return vector_unsigned_char
1130 return To_LL_VUC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1134 (A : vector_unsigned_char;
1135 B : vector_unsigned_char) return vector_unsigned_char
1138 return To_LL_VUC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1146 (A : vector_unsigned_char;
1147 B : vector_unsigned_char) return vector_unsigned_char
1150 return To_LL_VUC (vavgub (To_LL_VSC (A), To_LL_VSC (B)));
1154 (A : vector_signed_char;
1155 B : vector_signed_char) return vector_signed_char
1158 return To_LL_VSC (vavgsb (To_LL_VSC (A), To_LL_VSC (B)));
1162 (A : vector_unsigned_short;
1163 B : vector_unsigned_short) return vector_unsigned_short
1166 return To_LL_VUS (vavguh (To_LL_VSS (A), To_LL_VSS (B)));
1170 (A : vector_signed_short;
1171 B : vector_signed_short) return vector_signed_short
1174 return To_LL_VSS (vavgsh (To_LL_VSS (A), To_LL_VSS (B)));
1178 (A : vector_unsigned_int;
1179 B : vector_unsigned_int) return vector_unsigned_int
1182 return To_LL_VUI (vavguw (To_LL_VSI (A), To_LL_VSI (B)));
1186 (A : vector_signed_int;
1187 B : vector_signed_int) return vector_signed_int
1190 return To_LL_VSI (vavgsw (To_LL_VSI (A), To_LL_VSI (B)));
1198 (A : vector_signed_int;
1199 B : vector_signed_int) return vector_signed_int
1202 return To_LL_VSI (vavgsw (To_LL_VSI (A), To_LL_VSI (B)));
1210 (A : vector_unsigned_int;
1211 B : vector_unsigned_int) return vector_unsigned_int
1214 return To_LL_VUI (vavguw (To_LL_VSI (A), To_LL_VSI (B)));
1222 (A : vector_signed_short;
1223 B : vector_signed_short) return vector_signed_short
1226 return To_LL_VSS (vavgsh (To_LL_VSS (A), To_LL_VSS (B)));
1234 (A : vector_unsigned_short;
1235 B : vector_unsigned_short) return vector_unsigned_short
1238 return To_LL_VUS (vavguh (To_LL_VSS (A), To_LL_VSS (B)));
1246 (A : vector_signed_char;
1247 B : vector_signed_char) return vector_signed_char
1250 return To_LL_VSC (vavgsb (To_LL_VSC (A), To_LL_VSC (B)));
1258 (A : vector_unsigned_char;
1259 B : vector_unsigned_char) return vector_unsigned_char
1262 return To_LL_VUC (vavgub (To_LL_VSC (A), To_LL_VSC (B)));
1270 (A : vector_float) return vector_float
1273 return To_LL_VF (vrfip (To_LL_VF (A)));
1282 B : vector_float) return vector_signed_int
1285 return To_LL_VSI (vcmpbfp (To_LL_VF (A), To_LL_VF (B)));
1293 (A : vector_signed_char;
1294 B : vector_signed_char) return vector_bool_char
1297 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1301 (A : vector_unsigned_char;
1302 B : vector_unsigned_char) return vector_bool_char
1305 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1309 (A : vector_signed_short;
1310 B : vector_signed_short) return vector_bool_short
1313 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1317 (A : vector_unsigned_short;
1318 B : vector_unsigned_short) return vector_bool_short
1321 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1325 (A : vector_signed_int;
1326 B : vector_signed_int) return vector_bool_int
1329 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1333 (A : vector_unsigned_int;
1334 B : vector_unsigned_int) return vector_bool_int
1337 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1342 B : vector_float) return vector_bool_int
1345 return To_LL_VBI (vcmpeqfp (To_LL_VF (A), To_LL_VF (B)));
1352 function vec_vcmpeqfp
1354 B : vector_float) return vector_bool_int
1357 return To_LL_VBI (vcmpeqfp (To_LL_VF (A), To_LL_VF (B)));
1364 function vec_vcmpequw
1365 (A : vector_signed_int;
1366 B : vector_signed_int) return vector_bool_int
1369 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1372 function vec_vcmpequw
1373 (A : vector_unsigned_int;
1374 B : vector_unsigned_int) return vector_bool_int
1377 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1384 function vec_vcmpequh
1385 (A : vector_signed_short;
1386 B : vector_signed_short) return vector_bool_short
1389 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1392 function vec_vcmpequh
1393 (A : vector_unsigned_short;
1394 B : vector_unsigned_short) return vector_bool_short
1397 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1404 function vec_vcmpequb
1405 (A : vector_signed_char;
1406 B : vector_signed_char) return vector_bool_char
1409 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1412 function vec_vcmpequb
1413 (A : vector_unsigned_char;
1414 B : vector_unsigned_char) return vector_bool_char
1417 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1426 B : vector_float) return vector_bool_int
1429 return To_LL_VBI (vcmpgefp (To_LL_VF (A), To_LL_VF (B)));
1437 (A : vector_unsigned_char;
1438 B : vector_unsigned_char) return vector_bool_char
1441 return To_LL_VBC (vcmpgtub (To_LL_VSC (A), To_LL_VSC (B)));
1445 (A : vector_signed_char;
1446 B : vector_signed_char) return vector_bool_char
1449 return To_LL_VBC (vcmpgtsb (To_LL_VSC (A), To_LL_VSC (B)));
1453 (A : vector_unsigned_short;
1454 B : vector_unsigned_short) return vector_bool_short
1457 return To_LL_VBS (vcmpgtuh (To_LL_VSS (A), To_LL_VSS (B)));
1461 (A : vector_signed_short;
1462 B : vector_signed_short) return vector_bool_short
1465 return To_LL_VBS (vcmpgtsh (To_LL_VSS (A), To_LL_VSS (B)));
1469 (A : vector_unsigned_int;
1470 B : vector_unsigned_int) return vector_bool_int
1473 return To_LL_VBI (vcmpgtuw (To_LL_VSI (A), To_LL_VSI (B)));
1477 (A : vector_signed_int;
1478 B : vector_signed_int) return vector_bool_int
1481 return To_LL_VBI (vcmpgtsw (To_LL_VSI (A), To_LL_VSI (B)));
1486 B : vector_float) return vector_bool_int
1489 return To_LL_VBI (vcmpgtfp (To_LL_VF (A), To_LL_VF (B)));
1496 function vec_vcmpgtfp
1498 B : vector_float) return vector_bool_int
1501 return To_LL_VBI (vcmpgtfp (To_LL_VF (A), To_LL_VF (B)));
1508 function vec_vcmpgtsw
1509 (A : vector_signed_int;
1510 B : vector_signed_int) return vector_bool_int
1513 return To_LL_VBI (vcmpgtsw (To_LL_VSI (A), To_LL_VSI (B)));
1520 function vec_vcmpgtuw
1521 (A : vector_unsigned_int;
1522 B : vector_unsigned_int) return vector_bool_int
1525 return To_LL_VBI (vcmpgtuw (To_LL_VSI (A), To_LL_VSI (B)));
1532 function vec_vcmpgtsh
1533 (A : vector_signed_short;
1534 B : vector_signed_short) return vector_bool_short
1537 return To_LL_VBS (vcmpgtsh (To_LL_VSS (A), To_LL_VSS (B)));
1544 function vec_vcmpgtuh
1545 (A : vector_unsigned_short;
1546 B : vector_unsigned_short) return vector_bool_short
1549 return To_LL_VBS (vcmpgtuh (To_LL_VSS (A), To_LL_VSS (B)));
1556 function vec_vcmpgtsb
1557 (A : vector_signed_char;
1558 B : vector_signed_char) return vector_bool_char
1561 return To_LL_VBC (vcmpgtsb (To_LL_VSC (A), To_LL_VSC (B)));
1568 function vec_vcmpgtub
1569 (A : vector_unsigned_char;
1570 B : vector_unsigned_char) return vector_bool_char
1573 return To_LL_VBC (vcmpgtub (To_LL_VSC (A), To_LL_VSC (B)));
1582 B : vector_float) return vector_bool_int
1585 return To_LL_VBI (vcmpgefp (To_LL_VF (B), To_LL_VF (A)));
1593 (A : vector_unsigned_char;
1594 B : vector_unsigned_char) return vector_bool_char
1597 return To_LL_VBC (vcmpgtub (To_LL_VSC (B), To_LL_VSC (A)));
1601 (A : vector_signed_char;
1602 B : vector_signed_char) return vector_bool_char
1605 return To_LL_VBC (vcmpgtsb (To_LL_VSC (B), To_LL_VSC (A)));
1609 (A : vector_unsigned_short;
1610 B : vector_unsigned_short) return vector_bool_short
1613 return To_LL_VBS (vcmpgtuh (To_LL_VSS (B), To_LL_VSS (A)));
1617 (A : vector_signed_short;
1618 B : vector_signed_short) return vector_bool_short
1621 return To_LL_VBS (vcmpgtsh (To_LL_VSS (B), To_LL_VSS (A)));
1625 (A : vector_unsigned_int;
1626 B : vector_unsigned_int) return vector_bool_int
1629 return To_LL_VBI (vcmpgtuw (To_LL_VSI (B), To_LL_VSI (A)));
1633 (A : vector_signed_int;
1634 B : vector_signed_int) return vector_bool_int
1637 return To_LL_VBI (vcmpgtsw (To_LL_VSI (B), To_LL_VSI (A)));
1642 B : vector_float) return vector_bool_int
1645 return To_LL_VBI (vcmpgtfp (To_LL_VF (B), To_LL_VF (A)));
1653 (A : vector_float) return vector_float
1656 return To_LL_VF (vexptefp (To_LL_VF (A)));
1664 (A : vector_float) return vector_float
1667 return To_LL_VF (vrfim (To_LL_VF (A)));
1676 B : const_vector_float_ptr) return vector_float
1679 return To_LL_VF (lvx (A, To_PTR (B)));
1684 B : const_float_ptr) return vector_float
1687 return To_LL_VF (lvx (A, To_PTR (B)));
1692 B : const_vector_bool_int_ptr) return vector_bool_int
1695 return To_LL_VBI (lvx (A, To_PTR (B)));
1700 B : const_vector_signed_int_ptr) return vector_signed_int
1703 return To_LL_VSI (lvx (A, To_PTR (B)));
1708 B : const_int_ptr) return vector_signed_int
1711 return To_LL_VSI (lvx (A, To_PTR (B)));
1716 B : const_long_ptr) return vector_signed_int
1719 return To_LL_VSI (lvx (A, To_PTR (B)));
1724 B : const_vector_unsigned_int_ptr) return vector_unsigned_int
1727 return To_LL_VUI (lvx (A, To_PTR (B)));
1732 B : const_unsigned_int_ptr) return vector_unsigned_int
1735 return To_LL_VUI (lvx (A, To_PTR (B)));
1740 B : const_unsigned_long_ptr) return vector_unsigned_int
1743 return To_LL_VUI (lvx (A, To_PTR (B)));
1748 B : const_vector_bool_short_ptr) return vector_bool_short
1751 return To_LL_VBS (lvx (A, To_PTR (B)));
1756 B : const_vector_pixel_ptr) return vector_pixel
1759 return To_LL_VP (lvx (A, To_PTR (B)));
1764 B : const_vector_signed_short_ptr) return vector_signed_short
1767 return To_LL_VSS (lvx (A, To_PTR (B)));
1772 B : const_short_ptr) return vector_signed_short
1775 return To_LL_VSS (lvx (A, To_PTR (B)));
1780 B : const_vector_unsigned_short_ptr) return vector_unsigned_short
1783 return To_LL_VUS (lvx (A, To_PTR (B)));
1788 B : const_unsigned_short_ptr) return vector_unsigned_short
1791 return To_LL_VUS (lvx (A, To_PTR (B)));
1796 B : const_vector_bool_char_ptr) return vector_bool_char
1799 return To_LL_VBC (lvx (A, To_PTR (B)));
1804 B : const_vector_signed_char_ptr) return vector_signed_char
1807 return To_LL_VSC (lvx (A, To_PTR (B)));
1812 B : const_signed_char_ptr) return vector_signed_char
1815 return To_LL_VSC (lvx (A, To_PTR (B)));
1820 B : const_vector_unsigned_char_ptr) return vector_unsigned_char
1823 return To_LL_VUC (lvx (A, To_PTR (B)));
1828 B : const_unsigned_char_ptr) return vector_unsigned_char
1831 return To_LL_VUC (lvx (A, To_PTR (B)));
1840 B : const_signed_char_ptr) return vector_signed_char
1843 return To_LL_VSC (lvebx (A, To_PTR (B)));
1848 B : const_unsigned_char_ptr) return vector_unsigned_char
1851 return To_LL_VUC (lvebx (A, To_PTR (B)));
1856 B : const_short_ptr) return vector_signed_short
1859 return To_LL_VSS (lvehx (A, To_PTR (B)));
1864 B : const_unsigned_short_ptr) return vector_unsigned_short
1867 return To_LL_VUS (lvehx (A, To_PTR (B)));
1872 B : const_float_ptr) return vector_float
1875 return To_LL_VF (lvewx (A, To_PTR (B)));
1880 B : const_int_ptr) return vector_signed_int
1883 return To_LL_VSI (lvewx (A, To_PTR (B)));
1888 B : const_unsigned_int_ptr) return vector_unsigned_int
1891 return To_LL_VUI (lvewx (A, To_PTR (B)));
1896 B : const_long_ptr) return vector_signed_int
1899 return To_LL_VSI (lvewx (A, To_PTR (B)));
1904 B : const_unsigned_long_ptr) return vector_unsigned_int
1907 return To_LL_VUI (lvewx (A, To_PTR (B)));
1916 B : float_ptr) return vector_float
1919 return To_LL_VF (lvewx (A, To_PTR (B)));
1924 B : int_ptr) return vector_signed_int
1927 return To_LL_VSI (lvewx (A, To_PTR (B)));
1932 B : unsigned_int_ptr) return vector_unsigned_int
1935 return To_LL_VUI (lvewx (A, To_PTR (B)));
1940 B : long_ptr) return vector_signed_int
1943 return To_LL_VSI (lvewx (A, To_PTR (B)));
1948 B : unsigned_long_ptr) return vector_unsigned_int
1951 return To_LL_VUI (lvewx (A, To_PTR (B)));
1960 B : short_ptr) return vector_signed_short
1963 return To_LL_VSS (lvehx (A, To_PTR (B)));
1968 B : unsigned_short_ptr) return vector_unsigned_short
1971 return To_LL_VUS (lvehx (A, To_PTR (B)));
1980 B : signed_char_ptr) return vector_signed_char
1983 return To_LL_VSC (lvebx (A, To_PTR (B)));
1988 B : unsigned_char_ptr) return vector_unsigned_char
1991 return To_LL_VUC (lvebx (A, To_PTR (B)));
2000 B : const_vector_float_ptr) return vector_float
2003 return To_LL_VF (lvxl (A, To_PTR (B)));
2008 B : const_float_ptr) return vector_float
2011 return To_LL_VF (lvxl (A, To_PTR (B)));
2016 B : const_vector_bool_int_ptr) return vector_bool_int
2019 return To_LL_VBI (lvxl (A, To_PTR (B)));
2024 B : const_vector_signed_int_ptr) return vector_signed_int
2027 return To_LL_VSI (lvxl (A, To_PTR (B)));
2032 B : const_int_ptr) return vector_signed_int
2035 return To_LL_VSI (lvxl (A, To_PTR (B)));
2040 B : const_long_ptr) return vector_signed_int
2043 return To_LL_VSI (lvxl (A, To_PTR (B)));
2048 B : const_vector_unsigned_int_ptr) return vector_unsigned_int
2051 return To_LL_VUI (lvxl (A, To_PTR (B)));
2056 B : const_unsigned_int_ptr) return vector_unsigned_int
2059 return To_LL_VUI (lvxl (A, To_PTR (B)));
2064 B : const_unsigned_long_ptr) return vector_unsigned_int
2067 return To_LL_VUI (lvxl (A, To_PTR (B)));
2072 B : const_vector_bool_short_ptr) return vector_bool_short
2075 return To_LL_VBS (lvxl (A, To_PTR (B)));
2080 B : const_vector_pixel_ptr) return vector_pixel
2083 return To_LL_VP (lvxl (A, To_PTR (B)));
2088 B : const_vector_signed_short_ptr) return vector_signed_short
2091 return To_LL_VSS (lvxl (A, To_PTR (B)));
2096 B : const_short_ptr) return vector_signed_short
2099 return To_LL_VSS (lvxl (A, To_PTR (B)));
2104 B : const_vector_unsigned_short_ptr) return vector_unsigned_short
2107 return To_LL_VUS (lvxl (A, To_PTR (B)));
2112 B : const_unsigned_short_ptr) return vector_unsigned_short
2115 return To_LL_VUS (lvxl (A, To_PTR (B)));
2120 B : const_vector_bool_char_ptr) return vector_bool_char
2123 return To_LL_VBC (lvxl (A, To_PTR (B)));
2128 B : const_vector_signed_char_ptr) return vector_signed_char
2131 return To_LL_VSC (lvxl (A, To_PTR (B)));
2136 B : const_signed_char_ptr) return vector_signed_char
2139 return To_LL_VSC (lvxl (A, To_PTR (B)));
2144 B : const_vector_unsigned_char_ptr) return vector_unsigned_char
2147 return To_LL_VUC (lvxl (A, To_PTR (B)));
2152 B : const_unsigned_char_ptr) return vector_unsigned_char
2155 return To_LL_VUC (lvxl (A, To_PTR (B)));
2163 (A : vector_float) return vector_float
2166 return To_LL_VF (vlogefp (To_LL_VF (A)));
2175 B : constv_unsigned_char_ptr) return vector_unsigned_char
2178 return To_LL_VUC (lvsl (A, To_PTR (B)));
2183 B : constv_signed_char_ptr) return vector_unsigned_char
2186 return To_LL_VUC (lvsl (A, To_PTR (B)));
2191 B : constv_unsigned_short_ptr) return vector_unsigned_char
2194 return To_LL_VUC (lvsl (A, To_PTR (B)));
2199 B : constv_short_ptr) return vector_unsigned_char
2202 return To_LL_VUC (lvsl (A, To_PTR (B)));
2207 B : constv_unsigned_int_ptr) return vector_unsigned_char
2210 return To_LL_VUC (lvsl (A, To_PTR (B)));
2215 B : constv_int_ptr) return vector_unsigned_char
2218 return To_LL_VUC (lvsl (A, To_PTR (B)));
2223 B : constv_unsigned_long_ptr) return vector_unsigned_char
2226 return To_LL_VUC (lvsl (A, To_PTR (B)));
2231 B : constv_long_ptr) return vector_unsigned_char
2234 return To_LL_VUC (lvsl (A, To_PTR (B)));
2239 B : constv_float_ptr) return vector_unsigned_char
2242 return To_LL_VUC (lvsl (A, To_PTR (B)));
2251 B : constv_unsigned_char_ptr) return vector_unsigned_char
2254 return To_LL_VUC (lvsr (A, To_PTR (B)));
2259 B : constv_signed_char_ptr) return vector_unsigned_char
2262 return To_LL_VUC (lvsr (A, To_PTR (B)));
2267 B : constv_unsigned_short_ptr) return vector_unsigned_char
2270 return To_LL_VUC (lvsr (A, To_PTR (B)));
2275 B : constv_short_ptr) return vector_unsigned_char
2278 return To_LL_VUC (lvsr (A, To_PTR (B)));
2283 B : constv_unsigned_int_ptr) return vector_unsigned_char
2286 return To_LL_VUC (lvsr (A, To_PTR (B)));
2291 B : constv_int_ptr) return vector_unsigned_char
2294 return To_LL_VUC (lvsr (A, To_PTR (B)));
2299 B : constv_unsigned_long_ptr) return vector_unsigned_char
2302 return To_LL_VUC (lvsr (A, To_PTR (B)));
2307 B : constv_long_ptr) return vector_unsigned_char
2310 return To_LL_VUC (lvsr (A, To_PTR (B)));
2315 B : constv_float_ptr) return vector_unsigned_char
2318 return To_LL_VUC (lvsr (A, To_PTR (B)));
2328 C : vector_float) return vector_float
2331 return vmaddfp (A, B, C);
2339 (A : vector_signed_short;
2340 B : vector_signed_short;
2341 C : vector_signed_short) return vector_signed_short
2344 return vmhaddshs (A, B, C);
2352 (A : vector_bool_char;
2353 B : vector_unsigned_char) return vector_unsigned_char
2356 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2360 (A : vector_unsigned_char;
2361 B : vector_bool_char) return vector_unsigned_char
2364 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2368 (A : vector_unsigned_char;
2369 B : vector_unsigned_char) return vector_unsigned_char
2372 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2376 (A : vector_bool_char;
2377 B : vector_signed_char) return vector_signed_char
2380 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2384 (A : vector_signed_char;
2385 B : vector_bool_char) return vector_signed_char
2388 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2392 (A : vector_signed_char;
2393 B : vector_signed_char) return vector_signed_char
2396 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2400 (A : vector_bool_short;
2401 B : vector_unsigned_short) return vector_unsigned_short
2404 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2408 (A : vector_unsigned_short;
2409 B : vector_bool_short) return vector_unsigned_short
2412 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2416 (A : vector_unsigned_short;
2417 B : vector_unsigned_short) return vector_unsigned_short
2420 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2424 (A : vector_bool_short;
2425 B : vector_signed_short) return vector_signed_short
2428 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2432 (A : vector_signed_short;
2433 B : vector_bool_short) return vector_signed_short
2436 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2440 (A : vector_signed_short;
2441 B : vector_signed_short) return vector_signed_short
2444 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2448 (A : vector_bool_int;
2449 B : vector_unsigned_int) return vector_unsigned_int
2452 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2456 (A : vector_unsigned_int;
2457 B : vector_bool_int) return vector_unsigned_int
2460 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2464 (A : vector_unsigned_int;
2465 B : vector_unsigned_int) return vector_unsigned_int
2468 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2472 (A : vector_bool_int;
2473 B : vector_signed_int) return vector_signed_int
2476 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2480 (A : vector_signed_int;
2481 B : vector_bool_int) return vector_signed_int
2484 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2488 (A : vector_signed_int;
2489 B : vector_signed_int) return vector_signed_int
2492 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2497 B : vector_float) return vector_float
2500 return To_LL_VF (vmaxfp (To_LL_VF (A), To_LL_VF (B)));
2509 B : vector_float) return vector_float
2512 return To_LL_VF (vmaxfp (To_LL_VF (A), To_LL_VF (B)));
2520 (A : vector_bool_int;
2521 B : vector_signed_int) return vector_signed_int
2524 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2528 (A : vector_signed_int;
2529 B : vector_bool_int) return vector_signed_int
2532 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2536 (A : vector_signed_int;
2537 B : vector_signed_int) return vector_signed_int
2540 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2548 (A : vector_bool_int;
2549 B : vector_unsigned_int) return vector_unsigned_int
2552 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2556 (A : vector_unsigned_int;
2557 B : vector_bool_int) return vector_unsigned_int
2560 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2564 (A : vector_unsigned_int;
2565 B : vector_unsigned_int) return vector_unsigned_int
2568 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2576 (A : vector_bool_short;
2577 B : vector_signed_short) return vector_signed_short
2580 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2584 (A : vector_signed_short;
2585 B : vector_bool_short) return vector_signed_short
2588 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2592 (A : vector_signed_short;
2593 B : vector_signed_short) return vector_signed_short
2596 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2604 (A : vector_bool_short;
2605 B : vector_unsigned_short) return vector_unsigned_short
2608 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2612 (A : vector_unsigned_short;
2613 B : vector_bool_short) return vector_unsigned_short
2616 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2620 (A : vector_unsigned_short;
2621 B : vector_unsigned_short) return vector_unsigned_short
2624 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2632 (A : vector_bool_char;
2633 B : vector_signed_char) return vector_signed_char
2636 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2640 (A : vector_signed_char;
2641 B : vector_bool_char) return vector_signed_char
2644 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2648 (A : vector_signed_char;
2649 B : vector_signed_char) return vector_signed_char
2652 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2660 (A : vector_bool_char;
2661 B : vector_unsigned_char) return vector_unsigned_char
2664 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2668 (A : vector_unsigned_char;
2669 B : vector_bool_char) return vector_unsigned_char
2672 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2676 (A : vector_unsigned_char;
2677 B : vector_unsigned_char) return vector_unsigned_char
2680 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2688 (A : vector_bool_char;
2689 B : vector_bool_char) return vector_bool_char
2692 return To_LL_VBC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2696 (A : vector_signed_char;
2697 B : vector_signed_char) return vector_signed_char
2700 return To_LL_VSC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2704 (A : vector_unsigned_char;
2705 B : vector_unsigned_char) return vector_unsigned_char
2708 return To_LL_VUC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2712 (A : vector_bool_short;
2713 B : vector_bool_short) return vector_bool_short
2716 return To_LL_VBS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2721 B : vector_pixel) return vector_pixel
2724 return To_LL_VP (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2728 (A : vector_signed_short;
2729 B : vector_signed_short) return vector_signed_short
2732 return To_LL_VSS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2736 (A : vector_unsigned_short;
2737 B : vector_unsigned_short) return vector_unsigned_short
2740 return To_LL_VUS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2745 B : vector_float) return vector_float
2748 return To_LL_VF (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2752 (A : vector_bool_int;
2753 B : vector_bool_int) return vector_bool_int
2756 return To_LL_VBI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2760 (A : vector_signed_int;
2761 B : vector_signed_int) return vector_signed_int
2764 return To_LL_VSI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2768 (A : vector_unsigned_int;
2769 B : vector_unsigned_int) return vector_unsigned_int
2772 return To_LL_VUI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2781 B : vector_float) return vector_float
2784 return To_LL_VF (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2788 (A : vector_bool_int;
2789 B : vector_bool_int) return vector_bool_int
2792 return To_LL_VBI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2796 (A : vector_signed_int;
2797 B : vector_signed_int) return vector_signed_int
2800 return To_LL_VSI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2804 (A : vector_unsigned_int;
2805 B : vector_unsigned_int) return vector_unsigned_int
2808 return To_LL_VUI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2816 (A : vector_bool_short;
2817 B : vector_bool_short) return vector_bool_short
2820 return To_LL_VBS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2824 (A : vector_signed_short;
2825 B : vector_signed_short) return vector_signed_short
2828 return To_LL_VSS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2832 (A : vector_unsigned_short;
2833 B : vector_unsigned_short) return vector_unsigned_short
2836 return To_LL_VUS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2841 B : vector_pixel) return vector_pixel
2844 return To_LL_VP (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2852 (A : vector_bool_char;
2853 B : vector_bool_char) return vector_bool_char
2856 return To_LL_VBC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2860 (A : vector_signed_char;
2861 B : vector_signed_char) return vector_signed_char
2864 return To_LL_VSC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2868 (A : vector_unsigned_char;
2869 B : vector_unsigned_char) return vector_unsigned_char
2872 return To_LL_VUC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2880 (A : vector_bool_char;
2881 B : vector_bool_char) return vector_bool_char
2884 return To_LL_VBC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2888 (A : vector_signed_char;
2889 B : vector_signed_char) return vector_signed_char
2892 return To_LL_VSC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2896 (A : vector_unsigned_char;
2897 B : vector_unsigned_char) return vector_unsigned_char
2900 return To_LL_VUC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2904 (A : vector_bool_short;
2905 B : vector_bool_short) return vector_bool_short
2908 return To_LL_VBS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2913 B : vector_pixel) return vector_pixel
2916 return To_LL_VP (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2920 (A : vector_signed_short;
2921 B : vector_signed_short) return vector_signed_short
2924 return To_LL_VSS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2928 (A : vector_unsigned_short;
2929 B : vector_unsigned_short) return vector_unsigned_short
2932 return To_LL_VUS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2937 B : vector_float) return vector_float
2940 return To_LL_VF (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2944 (A : vector_bool_int;
2945 B : vector_bool_int) return vector_bool_int
2948 return To_LL_VBI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2952 (A : vector_signed_int;
2953 B : vector_signed_int) return vector_signed_int
2956 return To_LL_VSI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2960 (A : vector_unsigned_int;
2961 B : vector_unsigned_int) return vector_unsigned_int
2964 return To_LL_VUI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2973 B : vector_float) return vector_float
2976 return To_LL_VF (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2980 (A : vector_signed_int;
2981 B : vector_signed_int) return vector_signed_int
2984 return To_LL_VSI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2988 (A : vector_unsigned_int;
2989 B : vector_unsigned_int) return vector_unsigned_int
2992 return To_LL_VUI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2996 (A : vector_bool_int;
2997 B : vector_bool_int) return vector_bool_int
3000 return To_LL_VBI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
3008 (A : vector_bool_short;
3009 B : vector_bool_short) return vector_bool_short
3012 return To_LL_VBS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
3016 (A : vector_signed_short;
3017 B : vector_signed_short) return vector_signed_short
3020 return To_LL_VSS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
3024 (A : vector_unsigned_short;
3025 B : vector_unsigned_short) return vector_unsigned_short
3028 return To_LL_VUS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
3033 B : vector_pixel) return vector_pixel
3036 return To_LL_VP (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
3044 (A : vector_bool_char;
3045 B : vector_bool_char) return vector_bool_char
3048 return To_LL_VBC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
3052 (A : vector_signed_char;
3053 B : vector_signed_char) return vector_signed_char
3056 return To_LL_VSC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
3060 (A : vector_unsigned_char;
3061 B : vector_unsigned_char) return vector_unsigned_char
3064 return To_LL_VUC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
3071 function vec_mfvscr return vector_unsigned_short
3074 return To_LL_VUS (mfvscr);
3082 (A : vector_bool_char;
3083 B : vector_unsigned_char) return vector_unsigned_char
3086 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3090 (A : vector_unsigned_char;
3091 B : vector_bool_char) return vector_unsigned_char
3094 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3098 (A : vector_unsigned_char;
3099 B : vector_unsigned_char) return vector_unsigned_char
3102 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3106 (A : vector_bool_char;
3107 B : vector_signed_char) return vector_signed_char
3110 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3114 (A : vector_signed_char;
3115 B : vector_bool_char) return vector_signed_char
3118 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3122 (A : vector_signed_char;
3123 B : vector_signed_char) return vector_signed_char
3126 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3130 (A : vector_bool_short;
3131 B : vector_unsigned_short) return vector_unsigned_short
3134 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3138 (A : vector_unsigned_short;
3139 B : vector_bool_short) return vector_unsigned_short
3142 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3146 (A : vector_unsigned_short;
3147 B : vector_unsigned_short) return vector_unsigned_short
3150 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3154 (A : vector_bool_short;
3155 B : vector_signed_short) return vector_signed_short
3158 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3162 (A : vector_signed_short;
3163 B : vector_bool_short) return vector_signed_short
3166 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3170 (A : vector_signed_short;
3171 B : vector_signed_short) return vector_signed_short
3174 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3178 (A : vector_bool_int;
3179 B : vector_unsigned_int) return vector_unsigned_int
3182 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3186 (A : vector_unsigned_int;
3187 B : vector_bool_int) return vector_unsigned_int
3190 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3194 (A : vector_unsigned_int;
3195 B : vector_unsigned_int) return vector_unsigned_int
3198 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3202 (A : vector_bool_int;
3203 B : vector_signed_int) return vector_signed_int
3206 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3210 (A : vector_signed_int;
3211 B : vector_bool_int) return vector_signed_int
3214 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3218 (A : vector_signed_int;
3219 B : vector_signed_int) return vector_signed_int
3222 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3227 B : vector_float) return vector_float
3230 return To_LL_VF (vminfp (To_LL_VF (A), To_LL_VF (B)));
3237 B : vector_float) return vector_float
3240 return To_LL_VF (vminfp (To_LL_VF (A), To_LL_VF (B)));
3246 (A : vector_bool_int;
3247 B : vector_signed_int) return vector_signed_int
3250 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3254 (A : vector_signed_int;
3255 B : vector_bool_int) return vector_signed_int
3258 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3262 (A : vector_signed_int;
3263 B : vector_signed_int) return vector_signed_int
3266 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3272 (A : vector_bool_int;
3273 B : vector_unsigned_int) return vector_unsigned_int
3276 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3280 (A : vector_unsigned_int;
3281 B : vector_bool_int) return vector_unsigned_int
3284 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3288 (A : vector_unsigned_int;
3289 B : vector_unsigned_int) return vector_unsigned_int
3292 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3298 (A : vector_bool_short;
3299 B : vector_signed_short) return vector_signed_short
3302 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3306 (A : vector_signed_short;
3307 B : vector_bool_short) return vector_signed_short
3310 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3314 (A : vector_signed_short;
3315 B : vector_signed_short) return vector_signed_short
3318 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3326 (A : vector_bool_short;
3327 B : vector_unsigned_short) return vector_unsigned_short
3330 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3334 (A : vector_unsigned_short;
3335 B : vector_bool_short) return vector_unsigned_short
3338 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3342 (A : vector_unsigned_short;
3343 B : vector_unsigned_short) return vector_unsigned_short
3346 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3354 (A : vector_bool_char;
3355 B : vector_signed_char) return vector_signed_char
3358 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3362 (A : vector_signed_char;
3363 B : vector_bool_char) return vector_signed_char
3366 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3370 (A : vector_signed_char;
3371 B : vector_signed_char) return vector_signed_char
3374 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3382 (A : vector_bool_char;
3383 B : vector_unsigned_char) return vector_unsigned_char
3386 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3390 (A : vector_unsigned_char;
3391 B : vector_bool_char) return vector_unsigned_char
3394 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3398 (A : vector_unsigned_char;
3399 B : vector_unsigned_char) return vector_unsigned_char
3402 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3410 (A : vector_signed_short;
3411 B : vector_signed_short;
3412 C : vector_signed_short) return vector_signed_short
3415 return vmladduhm (A, B, C);
3419 (A : vector_signed_short;
3420 B : vector_unsigned_short;
3421 C : vector_unsigned_short) return vector_signed_short
3424 return vmladduhm (A, To_LL_VSS (B), To_LL_VSS (C));
3428 (A : vector_unsigned_short;
3429 B : vector_signed_short;
3430 C : vector_signed_short) return vector_signed_short
3433 return vmladduhm (To_LL_VSS (A), B, C);
3437 (A : vector_unsigned_short;
3438 B : vector_unsigned_short;
3439 C : vector_unsigned_short) return vector_unsigned_short
3443 To_LL_VUS (vmladduhm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSS (C)));
3451 (A : vector_signed_short;
3452 B : vector_signed_short;
3453 C : vector_signed_short) return vector_signed_short
3456 return vmhraddshs (A, B, C);
3464 (A : vector_unsigned_char;
3465 B : vector_unsigned_char;
3466 C : vector_unsigned_int) return vector_unsigned_int
3470 To_LL_VUI (vmsumubm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3474 (A : vector_signed_char;
3475 B : vector_unsigned_char;
3476 C : vector_signed_int) return vector_signed_int
3480 To_LL_VSI (vmsummbm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3484 (A : vector_unsigned_short;
3485 B : vector_unsigned_short;
3486 C : vector_unsigned_int) return vector_unsigned_int
3490 To_LL_VUI (vmsumuhm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3494 (A : vector_signed_short;
3495 B : vector_signed_short;
3496 C : vector_signed_int) return vector_signed_int
3500 To_LL_VSI (vmsumshm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3507 function vec_vmsumshm
3508 (A : vector_signed_short;
3509 B : vector_signed_short;
3510 C : vector_signed_int) return vector_signed_int
3514 To_LL_VSI (vmsumshm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3521 function vec_vmsumuhm
3522 (A : vector_unsigned_short;
3523 B : vector_unsigned_short;
3524 C : vector_unsigned_int) return vector_unsigned_int
3528 To_LL_VUI (vmsumuhm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3535 function vec_vmsummbm
3536 (A : vector_signed_char;
3537 B : vector_unsigned_char;
3538 C : vector_signed_int) return vector_signed_int
3542 To_LL_VSI (vmsummbm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3549 function vec_vmsumubm
3550 (A : vector_unsigned_char;
3551 B : vector_unsigned_char;
3552 C : vector_unsigned_int) return vector_unsigned_int
3556 To_LL_VUI (vmsumubm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3564 (A : vector_unsigned_short;
3565 B : vector_unsigned_short;
3566 C : vector_unsigned_int) return vector_unsigned_int
3570 To_LL_VUI (vmsumuhs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3574 (A : vector_signed_short;
3575 B : vector_signed_short;
3576 C : vector_signed_int) return vector_signed_int
3580 To_LL_VSI (vmsumshs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3587 function vec_vmsumshs
3588 (A : vector_signed_short;
3589 B : vector_signed_short;
3590 C : vector_signed_int) return vector_signed_int
3594 To_LL_VSI (vmsumshs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3601 function vec_vmsumuhs
3602 (A : vector_unsigned_short;
3603 B : vector_unsigned_short;
3604 C : vector_unsigned_int) return vector_unsigned_int
3608 To_LL_VUI (vmsumuhs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3615 procedure vec_mtvscr
3616 (A : vector_signed_int)
3619 mtvscr (To_LL_VSI (A));
3622 procedure vec_mtvscr
3623 (A : vector_unsigned_int)
3626 mtvscr (To_LL_VSI (A));
3629 procedure vec_mtvscr
3630 (A : vector_bool_int)
3633 mtvscr (To_LL_VSI (A));
3636 procedure vec_mtvscr
3637 (A : vector_signed_short)
3640 mtvscr (To_LL_VSI (A));
3643 procedure vec_mtvscr
3644 (A : vector_unsigned_short)
3647 mtvscr (To_LL_VSI (A));
3650 procedure vec_mtvscr
3651 (A : vector_bool_short)
3654 mtvscr (To_LL_VSI (A));
3657 procedure vec_mtvscr
3661 mtvscr (To_LL_VSI (A));
3664 procedure vec_mtvscr
3665 (A : vector_signed_char)
3668 mtvscr (To_LL_VSI (A));
3671 procedure vec_mtvscr
3672 (A : vector_unsigned_char)
3675 mtvscr (To_LL_VSI (A));
3678 procedure vec_mtvscr
3679 (A : vector_bool_char)
3682 mtvscr (To_LL_VSI (A));
3690 (A : vector_unsigned_char;
3691 B : vector_unsigned_char) return vector_unsigned_short
3694 return To_LL_VUS (vmuleub (To_LL_VSC (A), To_LL_VSC (B)));
3698 (A : vector_signed_char;
3699 B : vector_signed_char) return vector_signed_short
3702 return To_LL_VSS (vmulesb (To_LL_VSC (A), To_LL_VSC (B)));
3706 (A : vector_unsigned_short;
3707 B : vector_unsigned_short) return vector_unsigned_int
3710 return To_LL_VUI (vmuleuh (To_LL_VSS (A), To_LL_VSS (B)));
3714 (A : vector_signed_short;
3715 B : vector_signed_short) return vector_signed_int
3718 return To_LL_VSI (vmulesh (To_LL_VSS (A), To_LL_VSS (B)));
3725 function vec_vmulesh
3726 (A : vector_signed_short;
3727 B : vector_signed_short) return vector_signed_int
3730 return To_LL_VSI (vmulesh (To_LL_VSS (A), To_LL_VSS (B)));
3737 function vec_vmuleuh
3738 (A : vector_unsigned_short;
3739 B : vector_unsigned_short) return vector_unsigned_int
3742 return To_LL_VUI (vmuleuh (To_LL_VSS (A), To_LL_VSS (B)));
3749 function vec_vmulesb
3750 (A : vector_signed_char;
3751 B : vector_signed_char) return vector_signed_short
3754 return To_LL_VSS (vmuleub (To_LL_VSC (A), To_LL_VSC (B)));
3761 function vec_vmuleub
3762 (A : vector_unsigned_char;
3763 B : vector_unsigned_char) return vector_unsigned_short
3766 return To_LL_VUS (vmuleub (To_LL_VSC (A), To_LL_VSC (B)));
3774 (A : vector_unsigned_char;
3775 B : vector_unsigned_char) return vector_unsigned_short
3778 return To_LL_VUS (vmuloub (To_LL_VSC (A), To_LL_VSC (B)));
3782 (A : vector_signed_char;
3783 B : vector_signed_char) return vector_signed_short
3786 return To_LL_VSS (vmulosb (To_LL_VSC (A), To_LL_VSC (B)));
3790 (A : vector_unsigned_short;
3791 B : vector_unsigned_short) return vector_unsigned_int
3794 return To_LL_VUI (vmulouh (To_LL_VSS (A), To_LL_VSS (B)));
3798 (A : vector_signed_short;
3799 B : vector_signed_short) return vector_signed_int
3802 return To_LL_VSI (vmulosh (To_LL_VSS (A), To_LL_VSS (B)));
3809 function vec_vmulosh
3810 (A : vector_signed_short;
3811 B : vector_signed_short) return vector_signed_int
3814 return To_LL_VSI (vmulosh (To_LL_VSS (A), To_LL_VSS (B)));
3821 function vec_vmulouh
3822 (A : vector_unsigned_short;
3823 B : vector_unsigned_short) return vector_unsigned_int
3826 return To_LL_VUI (vmulouh (To_LL_VSS (A), To_LL_VSS (B)));
3833 function vec_vmulosb
3834 (A : vector_signed_char;
3835 B : vector_signed_char) return vector_signed_short
3838 return To_LL_VSS (vmulosb (To_LL_VSC (A), To_LL_VSC (B)));
3845 function vec_vmuloub
3846 (A : vector_unsigned_char;
3847 B : vector_unsigned_char) return vector_unsigned_short
3850 return To_LL_VUS (vmuloub (To_LL_VSC (A), To_LL_VSC (B)));
3860 C : vector_float) return vector_float
3863 return To_LL_VF (vnmsubfp (To_LL_VF (A), To_LL_VF (B), To_LL_VF (C)));
3872 B : vector_float) return vector_float
3875 return To_LL_VF (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3879 (A : vector_signed_int;
3880 B : vector_signed_int) return vector_signed_int
3883 return To_LL_VSI (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3887 (A : vector_unsigned_int;
3888 B : vector_unsigned_int) return vector_unsigned_int
3891 return To_LL_VUI (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3895 (A : vector_bool_int;
3896 B : vector_bool_int) return vector_bool_int
3899 return To_LL_VBI (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3903 (A : vector_signed_short;
3904 B : vector_signed_short) return vector_signed_short
3907 return To_LL_VSS (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3911 (A : vector_unsigned_short;
3912 B : vector_unsigned_short) return vector_unsigned_short
3915 return To_LL_VUS (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3919 (A : vector_bool_short;
3920 B : vector_bool_short) return vector_bool_short
3923 return To_LL_VBS (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3927 (A : vector_signed_char;
3928 B : vector_signed_char) return vector_signed_char
3931 return To_LL_VSC (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3935 (A : vector_unsigned_char;
3936 B : vector_unsigned_char) return vector_unsigned_char
3939 return To_LL_VUC (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3943 (A : vector_bool_char;
3944 B : vector_bool_char) return vector_bool_char
3947 return To_LL_VBC (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3956 B : vector_float) return vector_float
3959 return To_LL_VF (vor (To_LL_VSI (A), To_LL_VSI (B)));
3964 B : vector_bool_int) return vector_float
3967 return To_LL_VF (vor (To_LL_VSI (A), To_LL_VSI (B)));
3971 (A : vector_bool_int;
3972 B : vector_float) return vector_float
3975 return To_LL_VF (vor (To_LL_VSI (A), To_LL_VSI (B)));
3979 (A : vector_bool_int;
3980 B : vector_bool_int) return vector_bool_int
3983 return To_LL_VBI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3987 (A : vector_bool_int;
3988 B : vector_signed_int) return vector_signed_int
3991 return To_LL_VSI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3995 (A : vector_signed_int;
3996 B : vector_bool_int) return vector_signed_int
3999 return To_LL_VSI (vor (To_LL_VSI (A), To_LL_VSI (B)));
4003 (A : vector_signed_int;
4004 B : vector_signed_int) return vector_signed_int
4007 return To_LL_VSI (vor (To_LL_VSI (A), To_LL_VSI (B)));
4011 (A : vector_bool_int;
4012 B : vector_unsigned_int) return vector_unsigned_int
4015 return To_LL_VUI (vor (To_LL_VSI (A), To_LL_VSI (B)));
4019 (A : vector_unsigned_int;
4020 B : vector_bool_int) return vector_unsigned_int
4023 return To_LL_VUI (vor (To_LL_VSI (A), To_LL_VSI (B)));
4027 (A : vector_unsigned_int;
4028 B : vector_unsigned_int) return vector_unsigned_int
4031 return To_LL_VUI (vor (To_LL_VSI (A), To_LL_VSI (B)));
4035 (A : vector_bool_short;
4036 B : vector_bool_short) return vector_bool_short
4039 return To_LL_VBS (vor (To_LL_VSI (A), To_LL_VSI (B)));
4043 (A : vector_bool_short;
4044 B : vector_signed_short) return vector_signed_short
4047 return To_LL_VSS (vor (To_LL_VSI (A), To_LL_VSI (B)));
4051 (A : vector_signed_short;
4052 B : vector_bool_short) return vector_signed_short
4055 return To_LL_VSS (vor (To_LL_VSI (A), To_LL_VSI (B)));
4059 (A : vector_signed_short;
4060 B : vector_signed_short) return vector_signed_short
4063 return To_LL_VSS (vor (To_LL_VSI (A), To_LL_VSI (B)));
4067 (A : vector_bool_short;
4068 B : vector_unsigned_short) return vector_unsigned_short
4071 return To_LL_VUS (vor (To_LL_VSI (A), To_LL_VSI (B)));
4075 (A : vector_unsigned_short;
4076 B : vector_bool_short) return vector_unsigned_short
4079 return To_LL_VUS (vor (To_LL_VSI (A), To_LL_VSI (B)));
4083 (A : vector_unsigned_short;
4084 B : vector_unsigned_short) return vector_unsigned_short
4087 return To_LL_VUS (vor (To_LL_VSI (A), To_LL_VSI (B)));
4091 (A : vector_bool_char;
4092 B : vector_signed_char) return vector_signed_char
4095 return To_LL_VSC (vor (To_LL_VSI (A), To_LL_VSI (B)));
4099 (A : vector_bool_char;
4100 B : vector_bool_char) return vector_bool_char
4103 return To_LL_VBC (vor (To_LL_VSI (A), To_LL_VSI (B)));
4107 (A : vector_signed_char;
4108 B : vector_bool_char) return vector_signed_char
4111 return To_LL_VSC (vor (To_LL_VSI (A), To_LL_VSI (B)));
4115 (A : vector_signed_char;
4116 B : vector_signed_char) return vector_signed_char
4119 return To_LL_VSC (vor (To_LL_VSI (A), To_LL_VSI (B)));
4123 (A : vector_bool_char;
4124 B : vector_unsigned_char) return vector_unsigned_char
4127 return To_LL_VUC (vor (To_LL_VSI (A), To_LL_VSI (B)));
4131 (A : vector_unsigned_char;
4132 B : vector_bool_char) return vector_unsigned_char
4135 return To_LL_VUC (vor (To_LL_VSI (A), To_LL_VSI (B)));
4139 (A : vector_unsigned_char;
4140 B : vector_unsigned_char) return vector_unsigned_char
4143 return To_LL_VUC (vor (To_LL_VSI (A), To_LL_VSI (B)));
4151 (A : vector_signed_short;
4152 B : vector_signed_short) return vector_signed_char
4155 return To_LL_VSC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4159 (A : vector_unsigned_short;
4160 B : vector_unsigned_short) return vector_unsigned_char
4163 return To_LL_VUC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4167 (A : vector_bool_short;
4168 B : vector_bool_short) return vector_bool_char
4171 return To_LL_VBC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4175 (A : vector_signed_int;
4176 B : vector_signed_int) return vector_signed_short
4179 return To_LL_VSS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4183 (A : vector_unsigned_int;
4184 B : vector_unsigned_int) return vector_unsigned_short
4187 return To_LL_VUS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4191 (A : vector_bool_int;
4192 B : vector_bool_int) return vector_bool_short
4195 return To_LL_VBS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4202 function vec_vpkuwum
4203 (A : vector_bool_int;
4204 B : vector_bool_int) return vector_bool_short
4207 return To_LL_VBS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4210 function vec_vpkuwum
4211 (A : vector_signed_int;
4212 B : vector_signed_int) return vector_signed_short
4215 return To_LL_VSS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4218 function vec_vpkuwum
4219 (A : vector_unsigned_int;
4220 B : vector_unsigned_int) return vector_unsigned_short
4223 return To_LL_VUS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4230 function vec_vpkuhum
4231 (A : vector_bool_short;
4232 B : vector_bool_short) return vector_bool_char
4235 return To_LL_VBC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4238 function vec_vpkuhum
4239 (A : vector_signed_short;
4240 B : vector_signed_short) return vector_signed_char
4243 return To_LL_VSC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4246 function vec_vpkuhum
4247 (A : vector_unsigned_short;
4248 B : vector_unsigned_short) return vector_unsigned_char
4251 return To_LL_VUC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4259 (A : vector_unsigned_int;
4260 B : vector_unsigned_int) return vector_pixel
4263 return To_LL_VP (vpkpx (To_LL_VSI (A), To_LL_VSI (B)));
4271 (A : vector_unsigned_short;
4272 B : vector_unsigned_short) return vector_unsigned_char
4275 return To_LL_VUC (vpkuhus (To_LL_VSS (A), To_LL_VSS (B)));
4279 (A : vector_signed_short;
4280 B : vector_signed_short) return vector_signed_char
4283 return To_LL_VSC (vpkshss (To_LL_VSS (A), To_LL_VSS (B)));
4287 (A : vector_unsigned_int;
4288 B : vector_unsigned_int) return vector_unsigned_short
4291 return To_LL_VUS (vpkuwus (To_LL_VSI (A), To_LL_VSI (B)));
4295 (A : vector_signed_int;
4296 B : vector_signed_int) return vector_signed_short
4299 return To_LL_VSS (vpkswss (To_LL_VSI (A), To_LL_VSI (B)));
4306 function vec_vpkswss
4307 (A : vector_signed_int;
4308 B : vector_signed_int) return vector_signed_short
4311 return To_LL_VSS (vpkswss (To_LL_VSI (A), To_LL_VSI (B)));
4318 function vec_vpkuwus
4319 (A : vector_unsigned_int;
4320 B : vector_unsigned_int) return vector_unsigned_short
4323 return To_LL_VUS (vpkuwus (To_LL_VSI (A), To_LL_VSI (B)));
4330 function vec_vpkshss
4331 (A : vector_signed_short;
4332 B : vector_signed_short) return vector_signed_char
4335 return To_LL_VSC (vpkshss (To_LL_VSS (A), To_LL_VSS (B)));
4342 function vec_vpkuhus
4343 (A : vector_unsigned_short;
4344 B : vector_unsigned_short) return vector_unsigned_char
4347 return To_LL_VUC (vpkuhus (To_LL_VSS (A), To_LL_VSS (B)));
4355 (A : vector_unsigned_short;
4356 B : vector_unsigned_short) return vector_unsigned_char
4359 return To_LL_VUC (vpkuhus (To_LL_VSS (A), To_LL_VSS (B)));
4363 (A : vector_signed_short;
4364 B : vector_signed_short) return vector_unsigned_char
4367 return To_LL_VUC (vpkshus (To_LL_VSS (A), To_LL_VSS (B)));
4371 (A : vector_unsigned_int;
4372 B : vector_unsigned_int) return vector_unsigned_short
4375 return To_LL_VUS (vpkuwus (To_LL_VSI (A), To_LL_VSI (B)));
4379 (A : vector_signed_int;
4380 B : vector_signed_int) return vector_unsigned_short
4383 return To_LL_VUS (vpkswus (To_LL_VSI (A), To_LL_VSI (B)));
4390 function vec_vpkswus
4391 (A : vector_signed_int;
4392 B : vector_signed_int) return vector_unsigned_short
4395 return To_LL_VUS (vpkswus (To_LL_VSI (A), To_LL_VSI (B)));
4402 function vec_vpkshus
4403 (A : vector_signed_short;
4404 B : vector_signed_short) return vector_unsigned_char
4407 return To_LL_VUC (vpkshus (To_LL_VSS (A), To_LL_VSS (B)));
4417 C : vector_unsigned_char) return vector_float
4421 To_LL_VF (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4425 (A : vector_signed_int;
4426 B : vector_signed_int;
4427 C : vector_unsigned_char) return vector_signed_int
4431 To_LL_VSI (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4435 (A : vector_unsigned_int;
4436 B : vector_unsigned_int;
4437 C : vector_unsigned_char) return vector_unsigned_int
4441 To_LL_VUI (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4445 (A : vector_bool_int;
4446 B : vector_bool_int;
4447 C : vector_unsigned_char) return vector_bool_int
4451 To_LL_VBI (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4455 (A : vector_signed_short;
4456 B : vector_signed_short;
4457 C : vector_unsigned_char) return vector_signed_short
4461 To_LL_VSS (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4465 (A : vector_unsigned_short;
4466 B : vector_unsigned_short;
4467 C : vector_unsigned_char) return vector_unsigned_short
4471 To_LL_VUS (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4475 (A : vector_bool_short;
4476 B : vector_bool_short;
4477 C : vector_unsigned_char) return vector_bool_short
4481 To_LL_VBS (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4487 C : vector_unsigned_char) return vector_pixel
4491 (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4495 (A : vector_signed_char;
4496 B : vector_signed_char;
4497 C : vector_unsigned_char) return vector_signed_char
4501 (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4505 (A : vector_unsigned_char;
4506 B : vector_unsigned_char;
4507 C : vector_unsigned_char) return vector_unsigned_char
4511 To_LL_VUC (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4515 (A : vector_bool_char;
4516 B : vector_bool_char;
4517 C : vector_unsigned_char) return vector_bool_char
4521 To_LL_VBC (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4529 (A : vector_float) return vector_float
4532 return To_LL_VF (vrefp (To_LL_VF (A)));
4540 (A : vector_signed_char;
4541 B : vector_unsigned_char) return vector_signed_char
4544 return To_LL_VSC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4548 (A : vector_unsigned_char;
4549 B : vector_unsigned_char) return vector_unsigned_char
4552 return To_LL_VUC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4556 (A : vector_signed_short;
4557 B : vector_unsigned_short) return vector_signed_short
4560 return To_LL_VSS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4564 (A : vector_unsigned_short;
4565 B : vector_unsigned_short) return vector_unsigned_short
4568 return To_LL_VUS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4572 (A : vector_signed_int;
4573 B : vector_unsigned_int) return vector_signed_int
4576 return To_LL_VSI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4580 (A : vector_unsigned_int;
4581 B : vector_unsigned_int) return vector_unsigned_int
4584 return To_LL_VUI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4592 (A : vector_signed_int;
4593 B : vector_unsigned_int) return vector_signed_int
4596 return To_LL_VSI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4600 (A : vector_unsigned_int;
4601 B : vector_unsigned_int) return vector_unsigned_int
4604 return To_LL_VUI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4612 (A : vector_signed_short;
4613 B : vector_unsigned_short) return vector_signed_short
4616 return To_LL_VSS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4620 (A : vector_unsigned_short;
4621 B : vector_unsigned_short) return vector_unsigned_short
4624 return To_LL_VUS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4632 (A : vector_signed_char;
4633 B : vector_unsigned_char) return vector_signed_char
4636 return To_LL_VSC (vrlb (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 (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4652 (A : vector_float) return vector_float
4655 return To_LL_VF (vrfin (To_LL_VF (A)));
4663 (A : vector_float) return vector_float
4666 return To_LL_VF (vrsqrtefp (To_LL_VF (A)));
4676 C : vector_bool_int) return vector_float
4679 return To_LL_VF (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4685 C : vector_unsigned_int) return vector_float
4688 return To_LL_VF (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4692 (A : vector_signed_int;
4693 B : vector_signed_int;
4694 C : vector_bool_int) return vector_signed_int
4698 To_LL_VSI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4702 (A : vector_signed_int;
4703 B : vector_signed_int;
4704 C : vector_unsigned_int) return vector_signed_int
4708 To_LL_VSI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4712 (A : vector_unsigned_int;
4713 B : vector_unsigned_int;
4714 C : vector_bool_int) return vector_unsigned_int
4718 To_LL_VUI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4722 (A : vector_unsigned_int;
4723 B : vector_unsigned_int;
4724 C : vector_unsigned_int) return vector_unsigned_int
4728 To_LL_VUI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4732 (A : vector_bool_int;
4733 B : vector_bool_int;
4734 C : vector_bool_int) return vector_bool_int
4738 To_LL_VBI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4742 (A : vector_bool_int;
4743 B : vector_bool_int;
4744 C : vector_unsigned_int) return vector_bool_int
4748 To_LL_VBI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4752 (A : vector_signed_short;
4753 B : vector_signed_short;
4754 C : vector_bool_short) return vector_signed_short
4758 To_LL_VSS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4762 (A : vector_signed_short;
4763 B : vector_signed_short;
4764 C : vector_unsigned_short) return vector_signed_short
4768 To_LL_VSS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4772 (A : vector_unsigned_short;
4773 B : vector_unsigned_short;
4774 C : vector_bool_short) return vector_unsigned_short
4778 To_LL_VUS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4782 (A : vector_unsigned_short;
4783 B : vector_unsigned_short;
4784 C : vector_unsigned_short) return vector_unsigned_short
4788 To_LL_VUS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4792 (A : vector_bool_short;
4793 B : vector_bool_short;
4794 C : vector_bool_short) return vector_bool_short
4798 To_LL_VBS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4802 (A : vector_bool_short;
4803 B : vector_bool_short;
4804 C : vector_unsigned_short) return vector_bool_short
4808 To_LL_VBS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4812 (A : vector_signed_char;
4813 B : vector_signed_char;
4814 C : vector_bool_char) return vector_signed_char
4818 To_LL_VSC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4822 (A : vector_signed_char;
4823 B : vector_signed_char;
4824 C : vector_unsigned_char) return vector_signed_char
4828 To_LL_VSC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4832 (A : vector_unsigned_char;
4833 B : vector_unsigned_char;
4834 C : vector_bool_char) return vector_unsigned_char
4838 To_LL_VUC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4842 (A : vector_unsigned_char;
4843 B : vector_unsigned_char;
4844 C : vector_unsigned_char) return vector_unsigned_char
4848 To_LL_VUC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4852 (A : vector_bool_char;
4853 B : vector_bool_char;
4854 C : vector_bool_char) return vector_bool_char
4858 To_LL_VBC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4862 (A : vector_bool_char;
4863 B : vector_bool_char;
4864 C : vector_unsigned_char) return vector_bool_char
4868 To_LL_VBC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4876 (A : vector_signed_char;
4877 B : vector_unsigned_char) return vector_signed_char
4880 return To_LL_VSC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4884 (A : vector_unsigned_char;
4885 B : vector_unsigned_char) return vector_unsigned_char
4888 return To_LL_VUC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4892 (A : vector_signed_short;
4893 B : vector_unsigned_short) return vector_signed_short
4896 return To_LL_VSS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4900 (A : vector_unsigned_short;
4901 B : vector_unsigned_short) return vector_unsigned_short
4904 return To_LL_VUS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4908 (A : vector_signed_int;
4909 B : vector_unsigned_int) return vector_signed_int
4912 return To_LL_VSI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4916 (A : vector_unsigned_int;
4917 B : vector_unsigned_int) return vector_unsigned_int
4920 return To_LL_VUI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4928 (A : vector_signed_int;
4929 B : vector_unsigned_int) return vector_signed_int
4932 return To_LL_VSI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4936 (A : vector_unsigned_int;
4937 B : vector_unsigned_int) return vector_unsigned_int
4940 return To_LL_VUI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4948 (A : vector_signed_short;
4949 B : vector_unsigned_short) return vector_signed_short
4952 return To_LL_VSS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4956 (A : vector_unsigned_short;
4957 B : vector_unsigned_short) return vector_unsigned_short
4960 return To_LL_VUS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4968 (A : vector_signed_char;
4969 B : vector_unsigned_char) return vector_signed_char
4972 return To_LL_VSC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4976 (A : vector_unsigned_char;
4977 B : vector_unsigned_char) return vector_unsigned_char
4980 return To_LL_VUC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4988 (A : vector_signed_int;
4989 B : vector_unsigned_int) return vector_signed_int
4992 return To_LL_VSI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4996 (A : vector_signed_int;
4997 B : vector_unsigned_short) return vector_signed_int
5000 return To_LL_VSI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5004 (A : vector_signed_int;
5005 B : vector_unsigned_char) return vector_signed_int
5008 return To_LL_VSI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5012 (A : vector_unsigned_int;
5013 B : vector_unsigned_int) return vector_unsigned_int
5016 return To_LL_VUI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5020 (A : vector_unsigned_int;
5021 B : vector_unsigned_short) return vector_unsigned_int
5024 return To_LL_VUI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5028 (A : vector_unsigned_int;
5029 B : vector_unsigned_char) return vector_unsigned_int
5032 return To_LL_VUI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5036 (A : vector_bool_int;
5037 B : vector_unsigned_int) return vector_bool_int
5040 return To_LL_VBI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5044 (A : vector_bool_int;
5045 B : vector_unsigned_short) return vector_bool_int
5048 return To_LL_VBI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5052 (A : vector_bool_int;
5053 B : vector_unsigned_char) return vector_bool_int
5056 return To_LL_VBI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5060 (A : vector_signed_short;
5061 B : vector_unsigned_int) return vector_signed_short
5064 return To_LL_VSS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5068 (A : vector_signed_short;
5069 B : vector_unsigned_short) return vector_signed_short
5072 return To_LL_VSS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5076 (A : vector_signed_short;
5077 B : vector_unsigned_char) return vector_signed_short
5080 return To_LL_VSS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5084 (A : vector_unsigned_short;
5085 B : vector_unsigned_int) return vector_unsigned_short
5088 return To_LL_VUS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5092 (A : vector_unsigned_short;
5093 B : vector_unsigned_short) return vector_unsigned_short
5096 return To_LL_VUS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5100 (A : vector_unsigned_short;
5101 B : vector_unsigned_char) return vector_unsigned_short
5104 return To_LL_VUS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5108 (A : vector_bool_short;
5109 B : vector_unsigned_int) return vector_bool_short
5112 return To_LL_VBS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5116 (A : vector_bool_short;
5117 B : vector_unsigned_short) return vector_bool_short
5120 return To_LL_VBS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5124 (A : vector_bool_short;
5125 B : vector_unsigned_char) return vector_bool_short
5128 return To_LL_VBS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5133 B : vector_unsigned_int) return vector_pixel
5136 return To_LL_VP (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5141 B : vector_unsigned_short) return vector_pixel
5144 return To_LL_VP (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5149 B : vector_unsigned_char) return vector_pixel
5152 return To_LL_VP (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5156 (A : vector_signed_char;
5157 B : vector_unsigned_int) return vector_signed_char
5160 return To_LL_VSC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5164 (A : vector_signed_char;
5165 B : vector_unsigned_short) return vector_signed_char
5168 return To_LL_VSC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5172 (A : vector_signed_char;
5173 B : vector_unsigned_char) return vector_signed_char
5176 return To_LL_VSC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5180 (A : vector_unsigned_char;
5181 B : vector_unsigned_int) return vector_unsigned_char
5184 return To_LL_VUC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5188 (A : vector_unsigned_char;
5189 B : vector_unsigned_short) return vector_unsigned_char
5192 return To_LL_VUC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5196 (A : vector_unsigned_char;
5197 B : vector_unsigned_char) return vector_unsigned_char
5200 return To_LL_VUC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5204 (A : vector_bool_char;
5205 B : vector_unsigned_int) return vector_bool_char
5208 return To_LL_VBC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5212 (A : vector_bool_char;
5213 B : vector_unsigned_short) return vector_bool_char
5216 return To_LL_VBC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5220 (A : vector_bool_char;
5221 B : vector_unsigned_char) return vector_bool_char
5224 return To_LL_VBC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
5233 B : vector_signed_char) return vector_float
5236 return To_LL_VF (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5241 B : vector_unsigned_char) return vector_float
5244 return To_LL_VF (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5248 (A : vector_signed_int;
5249 B : vector_signed_char) return vector_signed_int
5252 return To_LL_VSI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5256 (A : vector_signed_int;
5257 B : vector_unsigned_char) return vector_signed_int
5260 return To_LL_VSI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5264 (A : vector_unsigned_int;
5265 B : vector_signed_char) return vector_unsigned_int
5268 return To_LL_VUI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5272 (A : vector_unsigned_int;
5273 B : vector_unsigned_char) return vector_unsigned_int
5276 return To_LL_VUI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5280 (A : vector_signed_short;
5281 B : vector_signed_char) return vector_signed_short
5284 return To_LL_VSS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5288 (A : vector_signed_short;
5289 B : vector_unsigned_char) return vector_signed_short
5292 return To_LL_VSS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5296 (A : vector_unsigned_short;
5297 B : vector_signed_char) return vector_unsigned_short
5300 return To_LL_VUS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5304 (A : vector_unsigned_short;
5305 B : vector_unsigned_char) return vector_unsigned_short
5308 return To_LL_VUS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5313 B : vector_signed_char) return vector_pixel
5316 return To_LL_VP (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5321 B : vector_unsigned_char) return vector_pixel
5324 return To_LL_VP (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5328 (A : vector_signed_char;
5329 B : vector_signed_char) return vector_signed_char
5332 return To_LL_VSC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5336 (A : vector_signed_char;
5337 B : vector_unsigned_char) return vector_signed_char
5340 return To_LL_VSC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5344 (A : vector_unsigned_char;
5345 B : vector_signed_char) return vector_unsigned_char
5348 return To_LL_VUC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5352 (A : vector_unsigned_char;
5353 B : vector_unsigned_char) return vector_unsigned_char
5356 return To_LL_VUC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5364 (A : vector_signed_char;
5365 B : vector_unsigned_char) return vector_signed_char
5368 return To_LL_VSC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5372 (A : vector_unsigned_char;
5373 B : vector_unsigned_char) return vector_unsigned_char
5376 return To_LL_VUC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5380 (A : vector_signed_short;
5381 B : vector_unsigned_short) return vector_signed_short
5384 return To_LL_VSS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5388 (A : vector_unsigned_short;
5389 B : vector_unsigned_short) return vector_unsigned_short
5392 return To_LL_VUS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5396 (A : vector_signed_int;
5397 B : vector_unsigned_int) return vector_signed_int
5400 return To_LL_VSI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5404 (A : vector_unsigned_int;
5405 B : vector_unsigned_int) return vector_unsigned_int
5408 return To_LL_VUI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5416 (A : vector_signed_int;
5417 B : vector_unsigned_int) return vector_signed_int
5420 return To_LL_VSI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5424 (A : vector_unsigned_int;
5425 B : vector_unsigned_int) return vector_unsigned_int
5428 return To_LL_VUI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5436 (A : vector_signed_short;
5437 B : vector_unsigned_short) return vector_signed_short
5440 return To_LL_VSS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5444 (A : vector_unsigned_short;
5445 B : vector_unsigned_short) return vector_unsigned_short
5448 return To_LL_VUS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5456 (A : vector_signed_char;
5457 B : vector_unsigned_char) return vector_signed_char
5460 return To_LL_VSC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5464 (A : vector_unsigned_char;
5465 B : vector_unsigned_char) return vector_unsigned_char
5468 return To_LL_VUC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5476 (A : vector_signed_char;
5477 B : vector_unsigned_char) return vector_signed_char
5480 return To_LL_VSC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5484 (A : vector_unsigned_char;
5485 B : vector_unsigned_char) return vector_unsigned_char
5488 return To_LL_VUC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5492 (A : vector_signed_short;
5493 B : vector_unsigned_short) return vector_signed_short
5496 return To_LL_VSS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5500 (A : vector_unsigned_short;
5501 B : vector_unsigned_short) return vector_unsigned_short
5504 return To_LL_VUS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5508 (A : vector_signed_int;
5509 B : vector_unsigned_int) return vector_signed_int
5512 return To_LL_VSI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5516 (A : vector_unsigned_int;
5517 B : vector_unsigned_int) return vector_unsigned_int
5520 return To_LL_VUI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5528 (A : vector_signed_int;
5529 B : vector_unsigned_int) return vector_signed_int
5532 return To_LL_VSI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5536 (A : vector_unsigned_int;
5537 B : vector_unsigned_int) return vector_unsigned_int
5540 return To_LL_VUI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5548 (A : vector_signed_short;
5549 B : vector_unsigned_short) return vector_signed_short
5552 return To_LL_VSS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5556 (A : vector_unsigned_short;
5557 B : vector_unsigned_short) return vector_unsigned_short
5560 return To_LL_VUS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5568 (A : vector_signed_char;
5569 B : vector_unsigned_char) return vector_signed_char
5572 return To_LL_VSC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5576 (A : vector_unsigned_char;
5577 B : vector_unsigned_char) return vector_unsigned_char
5580 return To_LL_VUC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5588 (A : vector_signed_int;
5589 B : vector_unsigned_int) return vector_signed_int
5592 return To_LL_VSI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5596 (A : vector_signed_int;
5597 B : vector_unsigned_short) return vector_signed_int
5600 return To_LL_VSI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5604 (A : vector_signed_int;
5605 B : vector_unsigned_char) return vector_signed_int
5608 return To_LL_VSI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5612 (A : vector_unsigned_int;
5613 B : vector_unsigned_int) return vector_unsigned_int
5616 return To_LL_VUI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5620 (A : vector_unsigned_int;
5621 B : vector_unsigned_short) return vector_unsigned_int
5624 return To_LL_VUI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5628 (A : vector_unsigned_int;
5629 B : vector_unsigned_char) return vector_unsigned_int
5632 return To_LL_VUI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5636 (A : vector_bool_int;
5637 B : vector_unsigned_int) return vector_bool_int
5640 return To_LL_VBI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5644 (A : vector_bool_int;
5645 B : vector_unsigned_short) return vector_bool_int
5648 return To_LL_VBI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5652 (A : vector_bool_int;
5653 B : vector_unsigned_char) return vector_bool_int
5656 return To_LL_VBI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5660 (A : vector_signed_short;
5661 B : vector_unsigned_int) return vector_signed_short
5664 return To_LL_VSS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5668 (A : vector_signed_short;
5669 B : vector_unsigned_short) return vector_signed_short
5672 return To_LL_VSS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5676 (A : vector_signed_short;
5677 B : vector_unsigned_char) return vector_signed_short
5680 return To_LL_VSS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5684 (A : vector_unsigned_short;
5685 B : vector_unsigned_int) return vector_unsigned_short
5688 return To_LL_VUS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5692 (A : vector_unsigned_short;
5693 B : vector_unsigned_short) return vector_unsigned_short
5696 return To_LL_VUS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5700 (A : vector_unsigned_short;
5701 B : vector_unsigned_char) return vector_unsigned_short
5704 return To_LL_VUS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5708 (A : vector_bool_short;
5709 B : vector_unsigned_int) return vector_bool_short
5712 return To_LL_VBS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5716 (A : vector_bool_short;
5717 B : vector_unsigned_short) return vector_bool_short
5720 return To_LL_VBS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5724 (A : vector_bool_short;
5725 B : vector_unsigned_char) return vector_bool_short
5728 return To_LL_VBS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5733 B : vector_unsigned_int) return vector_pixel
5736 return To_LL_VP (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5741 B : vector_unsigned_short) return vector_pixel
5744 return To_LL_VP (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5749 B : vector_unsigned_char) return vector_pixel
5752 return To_LL_VP (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5756 (A : vector_signed_char;
5757 B : vector_unsigned_int) return vector_signed_char
5760 return To_LL_VSC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5764 (A : vector_signed_char;
5765 B : vector_unsigned_short) return vector_signed_char
5768 return To_LL_VSC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5772 (A : vector_signed_char;
5773 B : vector_unsigned_char) return vector_signed_char
5776 return To_LL_VSC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5780 (A : vector_unsigned_char;
5781 B : vector_unsigned_int) return vector_unsigned_char
5784 return To_LL_VUC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5788 (A : vector_unsigned_char;
5789 B : vector_unsigned_short) return vector_unsigned_char
5792 return To_LL_VUC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5796 (A : vector_unsigned_char;
5797 B : vector_unsigned_char) return vector_unsigned_char
5800 return To_LL_VUC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5804 (A : vector_bool_char;
5805 B : vector_unsigned_int) return vector_bool_char
5808 return To_LL_VBC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5812 (A : vector_bool_char;
5813 B : vector_unsigned_short) return vector_bool_char
5816 return To_LL_VBC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5820 (A : vector_bool_char;
5821 B : vector_unsigned_char) return vector_bool_char
5824 return To_LL_VBC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5833 B : vector_signed_char) return vector_float
5836 return To_LL_VF (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5841 B : vector_unsigned_char) return vector_float
5844 return To_LL_VF (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5848 (A : vector_signed_int;
5849 B : vector_signed_char) return vector_signed_int
5852 return To_LL_VSI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5856 (A : vector_signed_int;
5857 B : vector_unsigned_char) return vector_signed_int
5860 return To_LL_VSI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5864 (A : vector_unsigned_int;
5865 B : vector_signed_char) return vector_unsigned_int
5868 return To_LL_VUI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5872 (A : vector_unsigned_int;
5873 B : vector_unsigned_char) return vector_unsigned_int
5876 return To_LL_VUI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5880 (A : vector_signed_short;
5881 B : vector_signed_char) return vector_signed_short
5884 return To_LL_VSS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5888 (A : vector_signed_short;
5889 B : vector_unsigned_char) return vector_signed_short
5892 return To_LL_VSS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5896 (A : vector_unsigned_short;
5897 B : vector_signed_char) return vector_unsigned_short
5900 return To_LL_VUS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5904 (A : vector_unsigned_short;
5905 B : vector_unsigned_char) return vector_unsigned_short
5908 return To_LL_VUS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5913 B : vector_signed_char) return vector_pixel
5916 return To_LL_VP (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5921 B : vector_unsigned_char) return vector_pixel
5924 return To_LL_VP (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5928 (A : vector_signed_char;
5929 B : vector_signed_char) return vector_signed_char
5932 return To_LL_VSC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5936 (A : vector_signed_char;
5937 B : vector_unsigned_char) return vector_signed_char
5940 return To_LL_VSC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5944 (A : vector_unsigned_char;
5945 B : vector_signed_char) return vector_unsigned_char
5948 return To_LL_VUC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5952 (A : vector_unsigned_char;
5953 B : vector_unsigned_char) return vector_unsigned_char
5956 return To_LL_VUC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5966 C : vector_float_ptr)
5969 stvx (To_LL_VSI (A), B, To_PTR (C));
5978 stvx (To_LL_VSI (A), B, To_PTR (C));
5982 (A : vector_signed_int;
5984 C : vector_signed_int_ptr)
5987 stvx (To_LL_VSI (A), B, To_PTR (C));
5991 (A : vector_signed_int;
5996 stvx (To_LL_VSI (A), B, To_PTR (C));
6000 (A : vector_unsigned_int;
6002 C : vector_unsigned_int_ptr)
6005 stvx (To_LL_VSI (A), B, To_PTR (C));
6009 (A : vector_unsigned_int;
6011 C : unsigned_int_ptr)
6014 stvx (To_LL_VSI (A), B, To_PTR (C));
6018 (A : vector_bool_int;
6020 C : vector_bool_int_ptr)
6023 stvx (To_LL_VSI (A), B, To_PTR (C));
6027 (A : vector_bool_int;
6029 C : unsigned_int_ptr)
6032 stvx (To_LL_VSI (A), B, To_PTR (C));
6036 (A : vector_bool_int;
6041 stvx (To_LL_VSI (A), B, To_PTR (C));
6045 (A : vector_signed_short;
6047 C : vector_signed_short_ptr)
6050 stvx (To_LL_VSI (A), B, To_PTR (C));
6054 (A : vector_signed_short;
6059 stvx (To_LL_VSI (A), B, To_PTR (C));
6063 (A : vector_unsigned_short;
6065 C : vector_unsigned_short_ptr)
6068 stvx (To_LL_VSI (A), B, To_PTR (C));
6072 (A : vector_unsigned_short;
6074 C : unsigned_short_ptr)
6077 stvx (To_LL_VSI (A), B, To_PTR (C));
6081 (A : vector_bool_short;
6083 C : vector_bool_short_ptr)
6086 stvx (To_LL_VSI (A), B, To_PTR (C));
6090 (A : vector_bool_short;
6092 C : unsigned_short_ptr)
6095 stvx (To_LL_VSI (A), B, To_PTR (C));
6101 C : vector_pixel_ptr)
6104 stvx (To_LL_VSI (A), B, To_PTR (C));
6110 C : unsigned_short_ptr)
6113 stvx (To_LL_VSI (A), B, To_PTR (C));
6122 stvx (To_LL_VSI (A), B, To_PTR (C));
6126 (A : vector_bool_short;
6131 stvx (To_LL_VSI (A), B, To_PTR (C));
6135 (A : vector_signed_char;
6137 C : vector_signed_char_ptr)
6140 stvx (To_LL_VSI (A), B, To_PTR (C));
6144 (A : vector_signed_char;
6146 C : signed_char_ptr)
6149 stvx (To_LL_VSI (A), B, To_PTR (C));
6153 (A : vector_unsigned_char;
6155 C : vector_unsigned_char_ptr)
6158 stvx (To_LL_VSI (A), B, To_PTR (C));
6162 (A : vector_unsigned_char;
6164 C : unsigned_char_ptr)
6167 stvx (To_LL_VSI (A), B, To_PTR (C));
6171 (A : vector_bool_char;
6173 C : vector_bool_char_ptr)
6176 stvx (To_LL_VSI (A), B, To_PTR (C));
6180 (A : vector_bool_char;
6182 C : unsigned_char_ptr)
6185 stvx (To_LL_VSI (A), B, To_PTR (C));
6189 (A : vector_bool_char;
6191 C : signed_char_ptr)
6194 stvx (To_LL_VSI (A), B, To_PTR (C));
6202 (A : vector_signed_char;
6204 C : signed_char_ptr)
6207 stvebx (To_LL_VSC (A), B, To_PTR (C));
6211 (A : vector_unsigned_char;
6213 C : unsigned_char_ptr)
6216 stvebx (To_LL_VSC (A), B, To_PTR (C));
6220 (A : vector_bool_char;
6222 C : signed_char_ptr)
6225 stvebx (To_LL_VSC (A), B, To_PTR (C));
6229 (A : vector_bool_char;
6231 C : unsigned_char_ptr)
6234 stvebx (To_LL_VSC (A), B, To_PTR (C));
6238 (A : vector_signed_short;
6243 stvehx (To_LL_VSS (A), B, To_PTR (C));
6247 (A : vector_unsigned_short;
6249 C : unsigned_short_ptr)
6252 stvehx (To_LL_VSS (A), B, To_PTR (C));
6256 (A : vector_bool_short;
6261 stvehx (To_LL_VSS (A), B, To_PTR (C));
6265 (A : vector_bool_short;
6267 C : unsigned_short_ptr)
6270 stvehx (To_LL_VSS (A), B, To_PTR (C));
6279 stvehx (To_LL_VSS (A), B, To_PTR (C));
6285 C : unsigned_short_ptr)
6288 stvehx (To_LL_VSS (A), B, To_PTR (C));
6297 stvewx (To_LL_VSI (A), B, To_PTR (C));
6301 (A : vector_signed_int;
6306 stvewx (To_LL_VSI (A), B, To_PTR (C));
6310 (A : vector_unsigned_int;
6312 C : unsigned_int_ptr)
6315 stvewx (To_LL_VSI (A), B, To_PTR (C));
6319 (A : vector_bool_int;
6324 stvewx (To_LL_VSI (A), B, To_PTR (C));
6328 (A : vector_bool_int;
6330 C : unsigned_int_ptr)
6333 stvewx (To_LL_VSI (A), B, To_PTR (C));
6340 procedure vec_stvewx
6346 stvewx (To_LL_VSI (A), B, To_PTR (C));
6349 procedure vec_stvewx
6350 (A : vector_signed_int;
6355 stvewx (To_LL_VSI (A), B, To_PTR (C));
6358 procedure vec_stvewx
6359 (A : vector_unsigned_int;
6361 C : unsigned_int_ptr)
6364 stvewx (To_LL_VSI (A), B, To_PTR (C));
6367 procedure vec_stvewx
6368 (A : vector_bool_int;
6373 stvewx (To_LL_VSI (A), B, To_PTR (C));
6376 procedure vec_stvewx
6377 (A : vector_bool_int;
6379 C : unsigned_int_ptr)
6382 stvewx (To_LL_VSI (A), B, To_PTR (C));
6389 procedure vec_stvehx
6390 (A : vector_signed_short;
6395 stvehx (To_LL_VSS (A), B, To_PTR (C));
6398 procedure vec_stvehx
6399 (A : vector_unsigned_short;
6401 C : unsigned_short_ptr)
6404 stvehx (To_LL_VSS (A), B, To_PTR (C));
6407 procedure vec_stvehx
6408 (A : vector_bool_short;
6413 stvehx (To_LL_VSS (A), B, To_PTR (C));
6416 procedure vec_stvehx
6417 (A : vector_bool_short;
6419 C : unsigned_short_ptr)
6422 stvehx (To_LL_VSS (A), B, To_PTR (C));
6425 procedure vec_stvehx
6431 stvehx (To_LL_VSS (A), B, To_PTR (C));
6434 procedure vec_stvehx
6437 C : unsigned_short_ptr)
6440 stvehx (To_LL_VSS (A), B, To_PTR (C));
6447 procedure vec_stvebx
6448 (A : vector_signed_char;
6450 C : signed_char_ptr)
6453 stvebx (To_LL_VSC (A), B, To_PTR (C));
6456 procedure vec_stvebx
6457 (A : vector_unsigned_char;
6459 C : unsigned_char_ptr)
6462 stvebx (To_LL_VSC (A), B, To_PTR (C));
6465 procedure vec_stvebx
6466 (A : vector_bool_char;
6468 C : signed_char_ptr)
6471 stvebx (To_LL_VSC (A), B, To_PTR (C));
6474 procedure vec_stvebx
6475 (A : vector_bool_char;
6477 C : unsigned_char_ptr)
6480 stvebx (To_LL_VSC (A), B, To_PTR (C));
6490 C : vector_float_ptr)
6493 stvxl (To_LL_VSI (A), B, To_PTR (C));
6502 stvxl (To_LL_VSI (A), B, To_PTR (C));
6506 (A : vector_signed_int;
6508 C : vector_signed_int_ptr)
6511 stvxl (To_LL_VSI (A), B, To_PTR (C));
6515 (A : vector_signed_int;
6520 stvxl (To_LL_VSI (A), B, To_PTR (C));
6524 (A : vector_unsigned_int;
6526 C : vector_unsigned_int_ptr)
6529 stvxl (To_LL_VSI (A), B, To_PTR (C));
6533 (A : vector_unsigned_int;
6535 C : unsigned_int_ptr)
6538 stvxl (To_LL_VSI (A), B, To_PTR (C));
6542 (A : vector_bool_int;
6544 C : vector_bool_int_ptr)
6547 stvxl (To_LL_VSI (A), B, To_PTR (C));
6551 (A : vector_bool_int;
6553 C : unsigned_int_ptr)
6556 stvxl (To_LL_VSI (A), B, To_PTR (C));
6560 (A : vector_bool_int;
6565 stvxl (To_LL_VSI (A), B, To_PTR (C));
6569 (A : vector_signed_short;
6571 C : vector_signed_short_ptr)
6574 stvxl (To_LL_VSI (A), B, To_PTR (C));
6578 (A : vector_signed_short;
6583 stvxl (To_LL_VSI (A), B, To_PTR (C));
6587 (A : vector_unsigned_short;
6589 C : vector_unsigned_short_ptr)
6592 stvxl (To_LL_VSI (A), B, To_PTR (C));
6596 (A : vector_unsigned_short;
6598 C : unsigned_short_ptr)
6601 stvxl (To_LL_VSI (A), B, To_PTR (C));
6605 (A : vector_bool_short;
6607 C : vector_bool_short_ptr)
6610 stvxl (To_LL_VSI (A), B, To_PTR (C));
6614 (A : vector_bool_short;
6616 C : unsigned_short_ptr)
6619 stvxl (To_LL_VSI (A), B, To_PTR (C));
6623 (A : vector_bool_short;
6628 stvxl (To_LL_VSI (A), B, To_PTR (C));
6634 C : vector_pixel_ptr)
6637 stvxl (To_LL_VSI (A), B, To_PTR (C));
6643 C : unsigned_short_ptr)
6646 stvxl (To_LL_VSI (A), B, To_PTR (C));
6655 stvxl (To_LL_VSI (A), B, To_PTR (C));
6659 (A : vector_signed_char;
6661 C : vector_signed_char_ptr)
6664 stvxl (To_LL_VSI (A), B, To_PTR (C));
6668 (A : vector_signed_char;
6670 C : signed_char_ptr)
6673 stvxl (To_LL_VSI (A), B, To_PTR (C));
6677 (A : vector_unsigned_char;
6679 C : vector_unsigned_char_ptr)
6682 stvxl (To_LL_VSI (A), B, To_PTR (C));
6686 (A : vector_unsigned_char;
6688 C : unsigned_char_ptr)
6691 stvxl (To_LL_VSI (A), B, To_PTR (C));
6695 (A : vector_bool_char;
6697 C : vector_bool_char_ptr)
6700 stvxl (To_LL_VSI (A), B, To_PTR (C));
6704 (A : vector_bool_char;
6706 C : unsigned_char_ptr)
6709 stvxl (To_LL_VSI (A), B, To_PTR (C));
6713 (A : vector_bool_char;
6715 C : signed_char_ptr)
6718 stvxl (To_LL_VSI (A), B, To_PTR (C));
6726 (A : vector_bool_char;
6727 B : vector_signed_char) return vector_signed_char
6730 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6734 (A : vector_signed_char;
6735 B : vector_bool_char) return vector_signed_char
6738 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6742 (A : vector_signed_char;
6743 B : vector_signed_char) return vector_signed_char
6746 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6750 (A : vector_bool_char;
6751 B : vector_unsigned_char) return vector_unsigned_char
6754 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6758 (A : vector_unsigned_char;
6759 B : vector_bool_char) return vector_unsigned_char
6762 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6766 (A : vector_unsigned_char;
6767 B : vector_unsigned_char) return vector_unsigned_char
6770 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6774 (A : vector_bool_short;
6775 B : vector_signed_short) return vector_signed_short
6778 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6782 (A : vector_signed_short;
6783 B : vector_bool_short) return vector_signed_short
6786 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6790 (A : vector_signed_short;
6791 B : vector_signed_short) return vector_signed_short
6794 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6798 (A : vector_bool_short;
6799 B : vector_unsigned_short) return vector_unsigned_short
6802 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6806 (A : vector_unsigned_short;
6807 B : vector_bool_short) return vector_unsigned_short
6810 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6814 (A : vector_unsigned_short;
6815 B : vector_unsigned_short) return vector_unsigned_short
6818 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6822 (A : vector_bool_int;
6823 B : vector_signed_int) return vector_signed_int
6826 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6830 (A : vector_signed_int;
6831 B : vector_bool_int) return vector_signed_int
6834 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6838 (A : vector_signed_int;
6839 B : vector_signed_int) return vector_signed_int
6842 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6846 (A : vector_bool_int;
6847 B : vector_unsigned_int) return vector_unsigned_int
6850 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6854 (A : vector_unsigned_int;
6855 B : vector_bool_int) return vector_unsigned_int
6858 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6862 (A : vector_unsigned_int;
6863 B : vector_unsigned_int) return vector_unsigned_int
6866 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6871 B : vector_float) return vector_float
6874 return To_LL_VF (vsubfp (To_LL_VF (A), To_LL_VF (B)));
6883 B : vector_float) return vector_float
6886 return To_LL_VF (vsubfp (To_LL_VF (A), To_LL_VF (B)));
6893 function vec_vsubuwm
6894 (A : vector_bool_int;
6895 B : vector_signed_int) return vector_signed_int
6898 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6901 function vec_vsubuwm
6902 (A : vector_signed_int;
6903 B : vector_bool_int) return vector_signed_int
6906 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6909 function vec_vsubuwm
6910 (A : vector_signed_int;
6911 B : vector_signed_int) return vector_signed_int
6914 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6917 function vec_vsubuwm
6918 (A : vector_bool_int;
6919 B : vector_unsigned_int) return vector_unsigned_int
6922 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6925 function vec_vsubuwm
6926 (A : vector_unsigned_int;
6927 B : vector_bool_int) return vector_unsigned_int
6930 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6933 function vec_vsubuwm
6934 (A : vector_unsigned_int;
6935 B : vector_unsigned_int) return vector_unsigned_int
6938 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6945 function vec_vsubuhm
6946 (A : vector_bool_short;
6947 B : vector_signed_short) return vector_signed_short
6950 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6953 function vec_vsubuhm
6954 (A : vector_signed_short;
6955 B : vector_bool_short) return vector_signed_short
6958 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6961 function vec_vsubuhm
6962 (A : vector_signed_short;
6963 B : vector_signed_short) return vector_signed_short
6966 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6969 function vec_vsubuhm
6970 (A : vector_bool_short;
6971 B : vector_unsigned_short) return vector_unsigned_short
6974 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6977 function vec_vsubuhm
6978 (A : vector_unsigned_short;
6979 B : vector_bool_short) return vector_unsigned_short
6982 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6985 function vec_vsubuhm
6986 (A : vector_unsigned_short;
6987 B : vector_unsigned_short) return vector_unsigned_short
6990 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6997 function vec_vsububm
6998 (A : vector_bool_char;
6999 B : vector_signed_char) return vector_signed_char
7002 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
7005 function vec_vsububm
7006 (A : vector_signed_char;
7007 B : vector_bool_char) return vector_signed_char
7010 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
7013 function vec_vsububm
7014 (A : vector_signed_char;
7015 B : vector_signed_char) return vector_signed_char
7018 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
7021 function vec_vsububm
7022 (A : vector_bool_char;
7023 B : vector_unsigned_char) return vector_unsigned_char
7026 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
7029 function vec_vsububm
7030 (A : vector_unsigned_char;
7031 B : vector_bool_char) return vector_unsigned_char
7034 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
7037 function vec_vsububm
7038 (A : vector_unsigned_char;
7039 B : vector_unsigned_char) return vector_unsigned_char
7042 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
7050 (A : vector_unsigned_int;
7051 B : vector_unsigned_int) return vector_unsigned_int
7054 return To_LL_VUI (vsubcuw (To_LL_VSI (A), To_LL_VSI (B)));
7062 (A : vector_bool_char;
7063 B : vector_unsigned_char) return vector_unsigned_char
7066 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7070 (A : vector_unsigned_char;
7071 B : vector_bool_char) return vector_unsigned_char
7074 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7078 (A : vector_unsigned_char;
7079 B : vector_unsigned_char) return vector_unsigned_char
7082 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7086 (A : vector_bool_char;
7087 B : vector_signed_char) return vector_signed_char
7090 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7094 (A : vector_signed_char;
7095 B : vector_bool_char) return vector_signed_char
7098 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7102 (A : vector_signed_char;
7103 B : vector_signed_char) return vector_signed_char
7106 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7110 (A : vector_bool_short;
7111 B : vector_unsigned_short) return vector_unsigned_short
7114 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7118 (A : vector_unsigned_short;
7119 B : vector_bool_short) return vector_unsigned_short
7122 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7126 (A : vector_unsigned_short;
7127 B : vector_unsigned_short) return vector_unsigned_short
7130 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7134 (A : vector_bool_short;
7135 B : vector_signed_short) return vector_signed_short
7138 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
7142 (A : vector_signed_short;
7143 B : vector_bool_short) return vector_signed_short
7146 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
7150 (A : vector_signed_short;
7151 B : vector_signed_short) return vector_signed_short
7154 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
7158 (A : vector_bool_int;
7159 B : vector_unsigned_int) return vector_unsigned_int
7162 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
7166 (A : vector_unsigned_int;
7167 B : vector_bool_int) return vector_unsigned_int
7170 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
7174 (A : vector_unsigned_int;
7175 B : vector_unsigned_int) return vector_unsigned_int
7178 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
7182 (A : vector_bool_int;
7183 B : vector_signed_int) return vector_signed_int
7186 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
7190 (A : vector_signed_int;
7191 B : vector_bool_int) return vector_signed_int
7194 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
7198 (A : vector_signed_int;
7199 B : vector_signed_int) return vector_signed_int
7202 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
7209 function vec_vsubsws
7210 (A : vector_bool_int;
7211 B : vector_signed_int) return vector_signed_int
7214 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
7217 function vec_vsubsws
7218 (A : vector_signed_int;
7219 B : vector_bool_int) return vector_signed_int
7222 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
7225 function vec_vsubsws
7226 (A : vector_signed_int;
7227 B : vector_signed_int) return vector_signed_int
7230 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
7237 function vec_vsubuws
7238 (A : vector_bool_int;
7239 B : vector_unsigned_int) return vector_unsigned_int
7242 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
7245 function vec_vsubuws
7246 (A : vector_unsigned_int;
7247 B : vector_bool_int) return vector_unsigned_int
7250 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
7253 function vec_vsubuws
7254 (A : vector_unsigned_int;
7255 B : vector_unsigned_int) return vector_unsigned_int
7258 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
7265 function vec_vsubshs
7266 (A : vector_bool_short;
7267 B : vector_signed_short) return vector_signed_short
7270 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
7273 function vec_vsubshs
7274 (A : vector_signed_short;
7275 B : vector_bool_short) return vector_signed_short
7278 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
7281 function vec_vsubshs
7282 (A : vector_signed_short;
7283 B : vector_signed_short) return vector_signed_short
7286 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
7293 function vec_vsubuhs
7294 (A : vector_bool_short;
7295 B : vector_unsigned_short) return vector_unsigned_short
7298 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7301 function vec_vsubuhs
7302 (A : vector_unsigned_short;
7303 B : vector_bool_short) return vector_unsigned_short
7306 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7309 function vec_vsubuhs
7310 (A : vector_unsigned_short;
7311 B : vector_unsigned_short) return vector_unsigned_short
7314 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7321 function vec_vsubsbs
7322 (A : vector_bool_char;
7323 B : vector_signed_char) return vector_signed_char
7326 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7329 function vec_vsubsbs
7330 (A : vector_signed_char;
7331 B : vector_bool_char) return vector_signed_char
7334 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7337 function vec_vsubsbs
7338 (A : vector_signed_char;
7339 B : vector_signed_char) return vector_signed_char
7342 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7349 function vec_vsububs
7350 (A : vector_bool_char;
7351 B : vector_unsigned_char) return vector_unsigned_char
7354 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7357 function vec_vsububs
7358 (A : vector_unsigned_char;
7359 B : vector_bool_char) return vector_unsigned_char
7362 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7365 function vec_vsububs
7366 (A : vector_unsigned_char;
7367 B : vector_unsigned_char) return vector_unsigned_char
7370 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7378 (A : vector_unsigned_char;
7379 B : vector_unsigned_int) return vector_unsigned_int
7382 return To_LL_VUI (vsum4ubs (To_LL_VSC (A), To_LL_VSI (B)));
7386 (A : vector_signed_char;
7387 B : vector_signed_int) return vector_signed_int
7390 return To_LL_VSI (vsum4sbs (To_LL_VSC (A), To_LL_VSI (B)));
7394 (A : vector_signed_short;
7395 B : vector_signed_int) return vector_signed_int
7398 return To_LL_VSI (vsum4shs (To_LL_VSS (A), To_LL_VSI (B)));
7405 function vec_vsum4shs
7406 (A : vector_signed_short;
7407 B : vector_signed_int) return vector_signed_int
7410 return To_LL_VSI (vsum4shs (To_LL_VSS (A), To_LL_VSI (B)));
7417 function vec_vsum4sbs
7418 (A : vector_signed_char;
7419 B : vector_signed_int) return vector_signed_int
7422 return To_LL_VSI (vsum4sbs (To_LL_VSC (A), To_LL_VSI (B)));
7429 function vec_vsum4ubs
7430 (A : vector_unsigned_char;
7431 B : vector_unsigned_int) return vector_unsigned_int
7434 return To_LL_VUI (vsum4ubs (To_LL_VSC (A), To_LL_VSI (B)));
7442 (A : vector_signed_int;
7443 B : vector_signed_int) return vector_signed_int
7446 return To_LL_VSI (vsum2sws (To_LL_VSI (A), To_LL_VSI (B)));
7454 (A : vector_signed_int;
7455 B : vector_signed_int) return vector_signed_int
7458 return To_LL_VSI (vsumsws (To_LL_VSI (A), To_LL_VSI (B)));
7466 (A : vector_float) return vector_float
7469 return To_LL_VF (vrfiz (To_LL_VF (A)));
7476 function vec_unpackh
7477 (A : vector_signed_char) return vector_signed_short
7480 return To_LL_VSS (vupkhsb (To_LL_VSC (A)));
7483 function vec_unpackh
7484 (A : vector_bool_char) return vector_bool_short
7487 return To_LL_VBS (vupkhsb (To_LL_VSC (A)));
7490 function vec_unpackh
7491 (A : vector_signed_short) return vector_signed_int
7494 return To_LL_VSI (vupkhsh (To_LL_VSS (A)));
7497 function vec_unpackh
7498 (A : vector_bool_short) return vector_bool_int
7501 return To_LL_VBI (vupkhsh (To_LL_VSS (A)));
7504 function vec_unpackh
7505 (A : vector_pixel) return vector_unsigned_int
7508 return To_LL_VUI (vupkhpx (To_LL_VSS (A)));
7515 function vec_vupkhsh
7516 (A : vector_bool_short) return vector_bool_int
7519 return To_LL_VBI (vupkhsh (To_LL_VSS (A)));
7522 function vec_vupkhsh
7523 (A : vector_signed_short) return vector_signed_int
7526 return To_LL_VSI (vupkhsh (To_LL_VSS (A)));
7533 function vec_vupkhpx
7534 (A : vector_pixel) return vector_unsigned_int
7537 return To_LL_VUI (vupkhpx (To_LL_VSS (A)));
7544 function vec_vupkhsb
7545 (A : vector_bool_char) return vector_bool_short
7548 return To_LL_VBS (vupkhsb (To_LL_VSC (A)));
7551 function vec_vupkhsb
7552 (A : vector_signed_char) return vector_signed_short
7555 return To_LL_VSS (vupkhsb (To_LL_VSC (A)));
7562 function vec_unpackl
7563 (A : vector_signed_char) return vector_signed_short
7566 return To_LL_VSS (vupklsb (To_LL_VSC (A)));
7569 function vec_unpackl
7570 (A : vector_bool_char) return vector_bool_short
7573 return To_LL_VBS (vupklsb (To_LL_VSC (A)));
7576 function vec_unpackl
7577 (A : vector_pixel) return vector_unsigned_int
7580 return To_LL_VUI (vupklpx (To_LL_VSS (A)));
7583 function vec_unpackl
7584 (A : vector_signed_short) return vector_signed_int
7587 return To_LL_VSI (vupklsh (To_LL_VSS (A)));
7590 function vec_unpackl
7591 (A : vector_bool_short) return vector_bool_int
7594 return To_LL_VBI (vupklsh (To_LL_VSS (A)));
7601 function vec_vupklpx
7602 (A : vector_pixel) return vector_unsigned_int
7605 return To_LL_VUI (vupklpx (To_LL_VSS (A)));
7612 function vec_vupklsh
7613 (A : vector_bool_short) return vector_bool_int
7616 return To_LL_VBI (vupklsh (To_LL_VSS (A)));
7619 function vec_vupklsh
7620 (A : vector_signed_short) return vector_signed_int
7623 return To_LL_VSI (vupklsh (To_LL_VSS (A)));
7630 function vec_vupklsb
7631 (A : vector_bool_char) return vector_bool_short
7634 return To_LL_VBS (vupklsb (To_LL_VSC (A)));
7637 function vec_vupklsb
7638 (A : vector_signed_char) return vector_signed_short
7641 return To_LL_VSS (vupklsb (To_LL_VSC (A)));
7650 B : vector_float) return vector_float
7653 return To_LL_VF (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7658 B : vector_bool_int) return vector_float
7661 return To_LL_VF (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7665 (A : vector_bool_int;
7666 B : vector_float) return vector_float
7669 return To_LL_VF (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7673 (A : vector_bool_int;
7674 B : vector_bool_int) return vector_bool_int
7677 return To_LL_VBI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7681 (A : vector_bool_int;
7682 B : vector_signed_int) return vector_signed_int
7685 return To_LL_VSI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7689 (A : vector_signed_int;
7690 B : vector_bool_int) return vector_signed_int
7693 return To_LL_VSI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7697 (A : vector_signed_int;
7698 B : vector_signed_int) return vector_signed_int
7701 return To_LL_VSI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7705 (A : vector_bool_int;
7706 B : vector_unsigned_int) return vector_unsigned_int
7709 return To_LL_VUI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7713 (A : vector_unsigned_int;
7714 B : vector_bool_int) return vector_unsigned_int
7717 return To_LL_VUI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7721 (A : vector_unsigned_int;
7722 B : vector_unsigned_int) return vector_unsigned_int
7725 return To_LL_VUI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7729 (A : vector_bool_short;
7730 B : vector_bool_short) return vector_bool_short
7733 return To_LL_VBS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7737 (A : vector_bool_short;
7738 B : vector_signed_short) return vector_signed_short
7741 return To_LL_VSS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7745 (A : vector_signed_short;
7746 B : vector_bool_short) return vector_signed_short
7749 return To_LL_VSS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7753 (A : vector_signed_short;
7754 B : vector_signed_short) return vector_signed_short
7757 return To_LL_VSS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7761 (A : vector_bool_short;
7762 B : vector_unsigned_short) return vector_unsigned_short
7765 return To_LL_VUS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7769 (A : vector_unsigned_short;
7770 B : vector_bool_short) return vector_unsigned_short
7773 return To_LL_VUS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7777 (A : vector_unsigned_short;
7778 B : vector_unsigned_short) return vector_unsigned_short
7781 return To_LL_VUS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7785 (A : vector_bool_char;
7786 B : vector_signed_char) return vector_signed_char
7789 return To_LL_VSC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7793 (A : vector_bool_char;
7794 B : vector_bool_char) return vector_bool_char
7797 return To_LL_VBC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7801 (A : vector_signed_char;
7802 B : vector_bool_char) return vector_signed_char
7805 return To_LL_VSC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7809 (A : vector_signed_char;
7810 B : vector_signed_char) return vector_signed_char
7813 return To_LL_VSC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7817 (A : vector_bool_char;
7818 B : vector_unsigned_char) return vector_unsigned_char
7821 return To_LL_VUC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7825 (A : vector_unsigned_char;
7826 B : vector_bool_char) return vector_unsigned_char
7829 return To_LL_VUC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7833 (A : vector_unsigned_char;
7834 B : vector_unsigned_char) return vector_unsigned_char
7837 return To_LL_VUC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7845 (A : const_vector_unsigned_char_ptr;
7850 dst (To_PTR (A), B, C);
7854 (A : const_vector_signed_char_ptr;
7859 dst (To_PTR (A), B, C);
7863 (A : const_vector_bool_char_ptr;
7868 dst (To_PTR (A), B, C);
7872 (A : const_vector_unsigned_short_ptr;
7877 dst (To_PTR (A), B, C);
7881 (A : const_vector_signed_short_ptr;
7886 dst (To_PTR (A), B, C);
7890 (A : const_vector_bool_short_ptr;
7895 dst (To_PTR (A), B, C);
7899 (A : const_vector_pixel_ptr;
7904 dst (To_PTR (A), B, C);
7908 (A : const_vector_unsigned_int_ptr;
7913 dst (To_PTR (A), B, C);
7917 (A : const_vector_signed_int_ptr;
7922 dst (To_PTR (A), B, C);
7926 (A : const_vector_bool_int_ptr;
7931 dst (To_PTR (A), B, C);
7935 (A : const_vector_float_ptr;
7940 dst (To_PTR (A), B, C);
7944 (A : const_unsigned_char_ptr;
7949 dst (To_PTR (A), B, C);
7953 (A : const_signed_char_ptr;
7958 dst (To_PTR (A), B, C);
7962 (A : const_unsigned_short_ptr;
7967 dst (To_PTR (A), B, C);
7971 (A : const_short_ptr;
7976 dst (To_PTR (A), B, C);
7980 (A : const_unsigned_int_ptr;
7985 dst (To_PTR (A), B, C);
7994 dst (To_PTR (A), B, C);
7998 (A : const_unsigned_long_ptr;
8003 dst (To_PTR (A), B, C);
8007 (A : const_long_ptr;
8012 dst (To_PTR (A), B, C);
8016 (A : const_float_ptr;
8021 dst (To_PTR (A), B, C);
8029 (A : const_vector_unsigned_char_ptr;
8034 dstt (To_PTR (A), B, C);
8038 (A : const_vector_signed_char_ptr;
8043 dstt (To_PTR (A), B, C);
8047 (A : const_vector_bool_char_ptr;
8052 dstt (To_PTR (A), B, C);
8056 (A : const_vector_unsigned_short_ptr;
8061 dstt (To_PTR (A), B, C);
8065 (A : const_vector_signed_short_ptr;
8070 dstt (To_PTR (A), B, C);
8074 (A : const_vector_bool_short_ptr;
8079 dstt (To_PTR (A), B, C);
8083 (A : const_vector_pixel_ptr;
8088 dstt (To_PTR (A), B, C);
8092 (A : const_vector_unsigned_int_ptr;
8097 dstt (To_PTR (A), B, C);
8101 (A : const_vector_signed_int_ptr;
8106 dstt (To_PTR (A), B, C);
8110 (A : const_vector_bool_int_ptr;
8115 dstt (To_PTR (A), B, C);
8119 (A : const_vector_float_ptr;
8124 dstt (To_PTR (A), B, C);
8128 (A : const_unsigned_char_ptr;
8133 dstt (To_PTR (A), B, C);
8137 (A : const_signed_char_ptr;
8142 dstt (To_PTR (A), B, C);
8146 (A : const_unsigned_short_ptr;
8151 dstt (To_PTR (A), B, C);
8155 (A : const_short_ptr;
8160 dstt (To_PTR (A), B, C);
8164 (A : const_unsigned_int_ptr;
8169 dstt (To_PTR (A), B, C);
8178 dstt (To_PTR (A), B, C);
8182 (A : const_unsigned_long_ptr;
8187 dstt (To_PTR (A), B, C);
8191 (A : const_long_ptr;
8196 dstt (To_PTR (A), B, C);
8200 (A : const_float_ptr;
8205 dstt (To_PTR (A), B, C);
8213 (A : const_vector_unsigned_char_ptr;
8218 dstst (To_PTR (A), B, C);
8222 (A : const_vector_signed_char_ptr;
8227 dstst (To_PTR (A), B, C);
8231 (A : const_vector_bool_char_ptr;
8236 dstst (To_PTR (A), B, C);
8240 (A : const_vector_unsigned_short_ptr;
8245 dstst (To_PTR (A), B, C);
8249 (A : const_vector_signed_short_ptr;
8254 dstst (To_PTR (A), B, C);
8258 (A : const_vector_bool_short_ptr;
8263 dstst (To_PTR (A), B, C);
8267 (A : const_vector_pixel_ptr;
8272 dstst (To_PTR (A), B, C);
8276 (A : const_vector_unsigned_int_ptr;
8281 dstst (To_PTR (A), B, C);
8285 (A : const_vector_signed_int_ptr;
8290 dstst (To_PTR (A), B, C);
8294 (A : const_vector_bool_int_ptr;
8299 dstst (To_PTR (A), B, C);
8303 (A : const_vector_float_ptr;
8308 dstst (To_PTR (A), B, C);
8312 (A : const_unsigned_char_ptr;
8317 dstst (To_PTR (A), B, C);
8321 (A : const_signed_char_ptr;
8326 dstst (To_PTR (A), B, C);
8330 (A : const_unsigned_short_ptr;
8335 dstst (To_PTR (A), B, C);
8339 (A : const_short_ptr;
8344 dstst (To_PTR (A), B, C);
8348 (A : const_unsigned_int_ptr;
8353 dstst (To_PTR (A), B, C);
8362 dstst (To_PTR (A), B, C);
8366 (A : const_unsigned_long_ptr;
8371 dstst (To_PTR (A), B, C);
8375 (A : const_long_ptr;
8380 dstst (To_PTR (A), B, C);
8384 (A : const_float_ptr;
8389 dstst (To_PTR (A), B, C);
8396 procedure vec_dststt
8397 (A : const_vector_unsigned_char_ptr;
8402 dststt (To_PTR (A), B, C);
8405 procedure vec_dststt
8406 (A : const_vector_signed_char_ptr;
8411 dststt (To_PTR (A), B, C);
8414 procedure vec_dststt
8415 (A : const_vector_bool_char_ptr;
8420 dststt (To_PTR (A), B, C);
8423 procedure vec_dststt
8424 (A : const_vector_unsigned_short_ptr;
8429 dststt (To_PTR (A), B, C);
8432 procedure vec_dststt
8433 (A : const_vector_signed_short_ptr;
8438 dststt (To_PTR (A), B, C);
8441 procedure vec_dststt
8442 (A : const_vector_bool_short_ptr;
8447 dststt (To_PTR (A), B, C);
8450 procedure vec_dststt
8451 (A : const_vector_pixel_ptr;
8456 dststt (To_PTR (A), B, C);
8459 procedure vec_dststt
8460 (A : const_vector_unsigned_int_ptr;
8465 dststt (To_PTR (A), B, C);
8468 procedure vec_dststt
8469 (A : const_vector_signed_int_ptr;
8474 dststt (To_PTR (A), B, C);
8477 procedure vec_dststt
8478 (A : const_vector_bool_int_ptr;
8483 dststt (To_PTR (A), B, C);
8486 procedure vec_dststt
8487 (A : const_vector_float_ptr;
8492 dststt (To_PTR (A), B, C);
8495 procedure vec_dststt
8496 (A : const_unsigned_char_ptr;
8501 dststt (To_PTR (A), B, C);
8504 procedure vec_dststt
8505 (A : const_signed_char_ptr;
8510 dststt (To_PTR (A), B, C);
8513 procedure vec_dststt
8514 (A : const_unsigned_short_ptr;
8519 dststt (To_PTR (A), B, C);
8522 procedure vec_dststt
8523 (A : const_short_ptr;
8528 dststt (To_PTR (A), B, C);
8531 procedure vec_dststt
8532 (A : const_unsigned_int_ptr;
8537 dststt (To_PTR (A), B, C);
8540 procedure vec_dststt
8546 dststt (To_PTR (A), B, C);
8549 procedure vec_dststt
8550 (A : const_unsigned_long_ptr;
8555 dststt (To_PTR (A), B, C);
8558 procedure vec_dststt
8559 (A : const_long_ptr;
8564 dststt (To_PTR (A), B, C);
8567 procedure vec_dststt
8568 (A : const_float_ptr;
8573 dststt (To_PTR (A), B, C);
8582 B : c_int) return vector_float
8585 return To_LL_VF (vspltw (To_LL_VSI (A), B));
8589 (A : vector_unsigned_int;
8590 B : c_int) return vector_unsigned_int
8593 return To_LL_VUI (vspltw (To_LL_VSI (A), B));
8597 (A : vector_bool_int;
8598 B : c_int) return vector_bool_int
8601 return To_LL_VBI (vspltw (To_LL_VSI (A), B));
8609 (A : vector_bool_short;
8610 B : c_int) return vector_bool_short
8613 return To_LL_VBS (vsplth (To_LL_VSS (A), B));
8617 (A : vector_unsigned_short;
8618 B : c_int) return vector_unsigned_short
8621 return To_LL_VUS (vsplth (To_LL_VSS (A), B));
8626 B : c_int) return vector_pixel
8629 return To_LL_VP (vsplth (To_LL_VSS (A), B));
8637 (A : vector_unsigned_char;
8638 B : c_int) return vector_unsigned_char
8641 return To_LL_VUC (vspltb (To_LL_VSC (A), B));
8645 (A : vector_bool_char;
8646 B : c_int) return vector_bool_char
8649 return To_LL_VBC (vspltb (To_LL_VSC (A), B));
8656 function vec_splat_u8
8657 (A : c_int) return vector_unsigned_char
8660 return To_LL_VUC (vspltisb (A));
8667 function vec_splat_u16
8668 (A : c_int) return vector_unsigned_short
8671 return To_LL_VUS (vspltish (A));
8678 function vec_splat_u32
8679 (A : c_int) return vector_unsigned_int
8682 return To_LL_VUI (vspltisw (A));
8690 (A : vector_unsigned_int;
8691 B : vector_unsigned_int;
8692 C : c_int) return vector_unsigned_int
8695 return To_LL_VUI (vsldoi_4si (To_LL_VSI (A), To_LL_VSI (B), C));
8699 (A : vector_bool_int;
8700 B : vector_bool_int;
8701 C : c_int) return vector_bool_int
8704 return To_LL_VBI (vsldoi_4si (To_LL_VSI (A), To_LL_VSI (B), C));
8708 (A : vector_unsigned_short;
8709 B : vector_unsigned_short;
8710 C : c_int) return vector_unsigned_short
8713 return To_LL_VUS (vsldoi_8hi (To_LL_VSS (A), To_LL_VSS (B), C));
8717 (A : vector_bool_short;
8718 B : vector_bool_short;
8719 C : c_int) return vector_bool_short
8722 return To_LL_VBS (vsldoi_8hi (To_LL_VSS (A), To_LL_VSS (B), C));
8728 C : c_int) return vector_pixel
8731 return To_LL_VP (vsldoi_8hi (To_LL_VSS (A), To_LL_VSS (B), C));
8735 (A : vector_unsigned_char;
8736 B : vector_unsigned_char;
8737 C : c_int) return vector_unsigned_char
8740 return To_LL_VUC (vsldoi_16qi (To_LL_VSC (A), To_LL_VSC (B), C));
8744 (A : vector_bool_char;
8745 B : vector_bool_char;
8746 C : c_int) return vector_bool_char
8749 return To_LL_VBC (vsldoi_16qi (To_LL_VSC (A), To_LL_VSC (B), C));
8757 (A : vector_signed_char;
8758 B : vector_bool_char) return c_int
8761 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
8765 (A : vector_signed_char;
8766 B : vector_signed_char) return c_int
8769 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
8773 (A : vector_unsigned_char;
8774 B : vector_bool_char) return c_int
8777 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
8781 (A : vector_unsigned_char;
8782 B : vector_unsigned_char) return c_int
8785 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
8789 (A : vector_bool_char;
8790 B : vector_bool_char) return c_int
8793 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
8797 (A : vector_bool_char;
8798 B : vector_unsigned_char) return c_int
8801 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
8805 (A : vector_bool_char;
8806 B : vector_signed_char) return c_int
8809 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
8813 (A : vector_signed_short;
8814 B : vector_bool_short) return c_int
8817 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
8821 (A : vector_signed_short;
8822 B : vector_signed_short) return c_int
8825 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
8829 (A : vector_unsigned_short;
8830 B : vector_bool_short) return c_int
8833 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
8837 (A : vector_unsigned_short;
8838 B : vector_unsigned_short) return c_int
8841 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
8845 (A : vector_bool_short;
8846 B : vector_bool_short) return c_int
8849 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
8853 (A : vector_bool_short;
8854 B : vector_unsigned_short) return c_int
8857 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
8861 (A : vector_bool_short;
8862 B : vector_signed_short) return c_int
8865 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
8870 B : vector_pixel) return c_int
8873 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
8877 (A : vector_signed_int;
8878 B : vector_bool_int) return c_int
8881 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
8885 (A : vector_signed_int;
8886 B : vector_signed_int) return c_int
8889 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
8893 (A : vector_unsigned_int;
8894 B : vector_bool_int) return c_int
8897 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
8901 (A : vector_unsigned_int;
8902 B : vector_unsigned_int) return c_int
8905 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
8909 (A : vector_bool_int;
8910 B : vector_bool_int) return c_int
8913 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
8917 (A : vector_bool_int;
8918 B : vector_unsigned_int) return c_int
8921 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
8925 (A : vector_bool_int;
8926 B : vector_signed_int) return c_int
8929 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
8934 B : vector_float) return c_int
8937 return vcmpeqfp_p (CR6_LT, To_LL_VF (A), To_LL_VF (B));
8945 (A : vector_bool_char;
8946 B : vector_unsigned_char) return c_int
8949 return vcmpgtub_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
8953 (A : vector_unsigned_char;
8954 B : vector_bool_char) return c_int
8957 return vcmpgtub_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
8961 (A : vector_unsigned_char;
8962 B : vector_unsigned_char) return c_int
8965 return vcmpgtub_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
8969 (A : vector_bool_char;
8970 B : vector_signed_char) return c_int
8973 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
8977 (A : vector_signed_char;
8978 B : vector_bool_char) return c_int
8981 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
8985 (A : vector_signed_char;
8986 B : vector_signed_char) return c_int
8989 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
8993 (A : vector_bool_short;
8994 B : vector_unsigned_short) return c_int
8997 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
9001 (A : vector_unsigned_short;
9002 B : vector_bool_short) return c_int
9005 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
9009 (A : vector_unsigned_short;
9010 B : vector_unsigned_short) return c_int
9013 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
9017 (A : vector_signed_short;
9018 B : vector_signed_short) return c_int
9021 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
9025 (A : vector_bool_short;
9026 B : vector_signed_short) return c_int
9029 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
9033 (A : vector_signed_short;
9034 B : vector_bool_short) return c_int
9037 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
9041 (A : vector_bool_int;
9042 B : vector_unsigned_int) return c_int
9045 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
9049 (A : vector_unsigned_int;
9050 B : vector_bool_int) return c_int
9053 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
9057 (A : vector_unsigned_int;
9058 B : vector_unsigned_int) return c_int
9061 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
9065 (A : vector_bool_int;
9066 B : vector_signed_int) return c_int
9069 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
9073 (A : vector_signed_int;
9074 B : vector_bool_int) return c_int
9077 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
9081 (A : vector_signed_int;
9082 B : vector_signed_int) return c_int
9085 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
9090 B : vector_float) return c_int
9093 return vcmpgefp_p (CR6_LT, To_LL_VF (A), To_LL_VF (B));
9101 (A : vector_bool_char;
9102 B : vector_unsigned_char) return c_int
9105 return vcmpgtub_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
9109 (A : vector_unsigned_char;
9110 B : vector_bool_char) return c_int
9113 return vcmpgtub_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
9117 (A : vector_unsigned_char;
9118 B : vector_unsigned_char) return c_int
9121 return vcmpgtub_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
9125 (A : vector_bool_char;
9126 B : vector_signed_char) return c_int
9129 return vcmpgtsb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
9133 (A : vector_signed_char;
9134 B : vector_bool_char) return c_int
9137 return vcmpgtsb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
9141 (A : vector_signed_char;
9142 B : vector_signed_char) return c_int
9145 return vcmpgtsb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
9149 (A : vector_bool_short;
9150 B : vector_unsigned_short) return c_int
9153 return vcmpgtuh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
9157 (A : vector_unsigned_short;
9158 B : vector_bool_short) return c_int
9161 return vcmpgtuh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
9165 (A : vector_unsigned_short;
9166 B : vector_unsigned_short) return c_int
9169 return vcmpgtuh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
9173 (A : vector_bool_short;
9174 B : vector_signed_short) return c_int
9177 return vcmpgtsh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
9181 (A : vector_signed_short;
9182 B : vector_bool_short) return c_int
9185 return vcmpgtsh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
9189 (A : vector_signed_short;
9190 B : vector_signed_short) return c_int
9193 return vcmpgtsh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
9197 (A : vector_bool_int;
9198 B : vector_unsigned_int) return c_int
9201 return vcmpgtuw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
9205 (A : vector_unsigned_int;
9206 B : vector_bool_int) return c_int
9209 return vcmpgtuw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
9213 (A : vector_unsigned_int;
9214 B : vector_unsigned_int) return c_int
9217 return vcmpgtuw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
9221 (A : vector_bool_int;
9222 B : vector_signed_int) return c_int
9225 return vcmpgtsw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
9229 (A : vector_signed_int;
9230 B : vector_bool_int) return c_int
9233 return vcmpgtsw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
9237 (A : vector_signed_int;
9238 B : vector_signed_int) return c_int
9241 return vcmpgtsw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
9246 B : vector_float) return c_int
9249 return vcmpgtfp_p (CR6_LT, To_LL_VF (A), To_LL_VF (B));
9258 B : vector_float) return c_int
9261 return vcmpbfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
9269 (A : vector_bool_char;
9270 B : vector_unsigned_char) return c_int
9273 return vcmpgtub_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9277 (A : vector_unsigned_char;
9278 B : vector_bool_char) return c_int
9281 return vcmpgtub_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9285 (A : vector_unsigned_char;
9286 B : vector_unsigned_char) return c_int
9289 return vcmpgtub_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9293 (A : vector_bool_char;
9294 B : vector_signed_char) return c_int
9297 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9301 (A : vector_signed_char;
9302 B : vector_bool_char) return c_int
9305 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9309 (A : vector_signed_char;
9310 B : vector_signed_char) return c_int
9313 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9317 (A : vector_bool_short;
9318 B : vector_unsigned_short) return c_int
9321 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9325 (A : vector_unsigned_short;
9326 B : vector_bool_short) return c_int
9329 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9333 (A : vector_unsigned_short;
9334 B : vector_unsigned_short) return c_int
9337 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9341 (A : vector_bool_short;
9342 B : vector_signed_short) return c_int
9345 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9349 (A : vector_signed_short;
9350 B : vector_bool_short) return c_int
9353 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9357 (A : vector_signed_short;
9358 B : vector_signed_short) return c_int
9361 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9365 (A : vector_bool_int;
9366 B : vector_unsigned_int) return c_int
9369 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9373 (A : vector_unsigned_int;
9374 B : vector_bool_int) return c_int
9377 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9381 (A : vector_unsigned_int;
9382 B : vector_unsigned_int) return c_int
9385 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9389 (A : vector_bool_int;
9390 B : vector_signed_int) return c_int
9393 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9397 (A : vector_signed_int;
9398 B : vector_bool_int) return c_int
9401 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9405 (A : vector_signed_int;
9406 B : vector_signed_int) return c_int
9409 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9414 B : vector_float) return c_int
9417 return vcmpgefp_p (CR6_LT, To_LL_VF (B), To_LL_VF (A));
9425 (A : vector_bool_char;
9426 B : vector_unsigned_char) return c_int
9429 return vcmpgtub_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
9433 (A : vector_unsigned_char;
9434 B : vector_bool_char) return c_int
9437 return vcmpgtub_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
9441 (A : vector_unsigned_char;
9442 B : vector_unsigned_char) return c_int
9445 return vcmpgtub_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
9449 (A : vector_bool_char;
9450 B : vector_signed_char) return c_int
9453 return vcmpgtsb_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
9457 (A : vector_signed_char;
9458 B : vector_bool_char) return c_int
9461 return vcmpgtsb_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
9465 (A : vector_signed_char;
9466 B : vector_signed_char) return c_int
9469 return vcmpgtsb_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
9473 (A : vector_bool_short;
9474 B : vector_unsigned_short) return c_int
9477 return vcmpgtuh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
9481 (A : vector_unsigned_short;
9482 B : vector_bool_short) return c_int
9485 return vcmpgtuh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
9489 (A : vector_unsigned_short;
9490 B : vector_unsigned_short) return c_int
9493 return vcmpgtuh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
9497 (A : vector_bool_short;
9498 B : vector_signed_short) return c_int
9501 return vcmpgtsh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
9505 (A : vector_signed_short;
9506 B : vector_bool_short) return c_int
9509 return vcmpgtsh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
9513 (A : vector_signed_short;
9514 B : vector_signed_short) return c_int
9517 return vcmpgtsh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
9521 (A : vector_bool_int;
9522 B : vector_unsigned_int) return c_int
9525 return vcmpgtuw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
9529 (A : vector_unsigned_int;
9530 B : vector_bool_int) return c_int
9533 return vcmpgtuw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
9537 (A : vector_unsigned_int;
9538 B : vector_unsigned_int) return c_int
9541 return vcmpgtuw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
9545 (A : vector_bool_int;
9546 B : vector_signed_int) return c_int
9549 return vcmpgtsw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
9553 (A : vector_signed_int;
9554 B : vector_bool_int) return c_int
9557 return vcmpgtsw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
9561 (A : vector_signed_int;
9562 B : vector_signed_int) return c_int
9565 return vcmpgtsw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
9570 B : vector_float) return c_int
9573 return vcmpgtfp_p (CR6_LT, To_LL_VF (B), To_LL_VF (A));
9580 function vec_all_nan
9581 (A : vector_float) return c_int
9584 return vcmpeqfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (A));
9592 (A : vector_signed_char;
9593 B : vector_bool_char) return c_int
9596 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9600 (A : vector_signed_char;
9601 B : vector_signed_char) return c_int
9604 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9608 (A : vector_unsigned_char;
9609 B : vector_bool_char) return c_int
9612 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9616 (A : vector_unsigned_char;
9617 B : vector_unsigned_char) return c_int
9620 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9624 (A : vector_bool_char;
9625 B : vector_bool_char) return c_int
9628 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9632 (A : vector_bool_char;
9633 B : vector_unsigned_char) return c_int
9636 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9640 (A : vector_bool_char;
9641 B : vector_signed_char) return c_int
9644 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
9648 (A : vector_signed_short;
9649 B : vector_bool_short) return c_int
9652 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9656 (A : vector_signed_short;
9657 B : vector_signed_short) return c_int
9660 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9664 (A : vector_unsigned_short;
9665 B : vector_bool_short) return c_int
9668 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9672 (A : vector_unsigned_short;
9673 B : vector_unsigned_short) return c_int
9676 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9680 (A : vector_bool_short;
9681 B : vector_bool_short) return c_int
9684 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9688 (A : vector_bool_short;
9689 B : vector_unsigned_short) return c_int
9692 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9696 (A : vector_bool_short;
9697 B : vector_signed_short) return c_int
9700 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9705 B : vector_pixel) return c_int
9708 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
9712 (A : vector_signed_int;
9713 B : vector_bool_int) return c_int
9716 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9720 (A : vector_signed_int;
9721 B : vector_signed_int) return c_int
9724 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9728 (A : vector_unsigned_int;
9729 B : vector_bool_int) return c_int
9732 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9736 (A : vector_unsigned_int;
9737 B : vector_unsigned_int) return c_int
9740 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9744 (A : vector_bool_int;
9745 B : vector_bool_int) return c_int
9748 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9752 (A : vector_bool_int;
9753 B : vector_unsigned_int) return c_int
9756 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9760 (A : vector_bool_int;
9761 B : vector_signed_int) return c_int
9764 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
9769 B : vector_float) return c_int
9772 return vcmpeqfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
9779 function vec_all_nge
9781 B : vector_float) return c_int
9784 return vcmpgefp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
9791 function vec_all_ngt
9793 B : vector_float) return c_int
9796 return vcmpgtfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
9803 function vec_all_nle
9805 B : vector_float) return c_int
9808 return vcmpgefp_p (CR6_EQ, To_LL_VF (B), To_LL_VF (A));
9815 function vec_all_nlt
9817 B : vector_float) return c_int
9820 return vcmpgtfp_p (CR6_EQ, To_LL_VF (B), To_LL_VF (A));
9823 ---------------------
9824 -- vec_all_numeric --
9825 ---------------------
9827 function vec_all_numeric
9828 (A : vector_float) return c_int
9831 return vcmpeqfp_p (CR6_LT, To_LL_VF (A), To_LL_VF (A));
9832 end vec_all_numeric;
9839 (A : vector_signed_char;
9840 B : vector_bool_char) return c_int
9843 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
9847 (A : vector_signed_char;
9848 B : vector_signed_char) return c_int
9851 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
9855 (A : vector_unsigned_char;
9856 B : vector_bool_char) return c_int
9859 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
9863 (A : vector_unsigned_char;
9864 B : vector_unsigned_char) return c_int
9867 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
9871 (A : vector_bool_char;
9872 B : vector_bool_char) return c_int
9875 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
9879 (A : vector_bool_char;
9880 B : vector_unsigned_char) return c_int
9883 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
9887 (A : vector_bool_char;
9888 B : vector_signed_char) return c_int
9891 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
9895 (A : vector_signed_short;
9896 B : vector_bool_short) return c_int
9899 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
9903 (A : vector_signed_short;
9904 B : vector_signed_short) return c_int
9907 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
9911 (A : vector_unsigned_short;
9912 B : vector_bool_short) return c_int
9915 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
9919 (A : vector_unsigned_short;
9920 B : vector_unsigned_short) return c_int
9923 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
9927 (A : vector_bool_short;
9928 B : vector_bool_short) return c_int
9931 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
9935 (A : vector_bool_short;
9936 B : vector_unsigned_short) return c_int
9939 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
9943 (A : vector_bool_short;
9944 B : vector_signed_short) return c_int
9947 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
9952 B : vector_pixel) return c_int
9955 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
9959 (A : vector_signed_int;
9960 B : vector_bool_int) return c_int
9963 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9967 (A : vector_signed_int;
9968 B : vector_signed_int) return c_int
9971 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9975 (A : vector_unsigned_int;
9976 B : vector_bool_int) return c_int
9979 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9983 (A : vector_unsigned_int;
9984 B : vector_unsigned_int) return c_int
9987 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9991 (A : vector_bool_int;
9992 B : vector_bool_int) return c_int
9995 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9999 (A : vector_bool_int;
10000 B : vector_unsigned_int) return c_int
10003 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
10006 function vec_any_eq
10007 (A : vector_bool_int;
10008 B : vector_signed_int) return c_int
10011 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
10014 function vec_any_eq
10016 B : vector_float) return c_int
10019 return vcmpeqfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
10026 function vec_any_ge
10027 (A : vector_signed_char;
10028 B : vector_bool_char) return c_int
10031 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
10034 function vec_any_ge
10035 (A : vector_unsigned_char;
10036 B : vector_bool_char) return c_int
10039 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
10042 function vec_any_ge
10043 (A : vector_unsigned_char;
10044 B : vector_unsigned_char) return c_int
10047 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
10050 function vec_any_ge
10051 (A : vector_signed_char;
10052 B : vector_signed_char) return c_int
10055 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
10058 function vec_any_ge
10059 (A : vector_bool_char;
10060 B : vector_unsigned_char) return c_int
10063 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
10066 function vec_any_ge
10067 (A : vector_bool_char;
10068 B : vector_signed_char) return c_int
10071 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
10074 function vec_any_ge
10075 (A : vector_unsigned_short;
10076 B : vector_bool_short) return c_int
10079 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
10082 function vec_any_ge
10083 (A : vector_unsigned_short;
10084 B : vector_unsigned_short) return c_int
10087 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
10090 function vec_any_ge
10091 (A : vector_signed_short;
10092 B : vector_signed_short) return c_int
10095 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
10098 function vec_any_ge
10099 (A : vector_signed_short;
10100 B : vector_bool_short) return c_int
10103 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
10106 function vec_any_ge
10107 (A : vector_bool_short;
10108 B : vector_unsigned_short) return c_int
10111 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
10114 function vec_any_ge
10115 (A : vector_bool_short;
10116 B : vector_signed_short) return c_int
10119 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
10122 function vec_any_ge
10123 (A : vector_signed_int;
10124 B : vector_bool_int) return c_int
10127 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
10130 function vec_any_ge
10131 (A : vector_unsigned_int;
10132 B : vector_bool_int) return c_int
10135 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
10138 function vec_any_ge
10139 (A : vector_unsigned_int;
10140 B : vector_unsigned_int) return c_int
10143 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
10146 function vec_any_ge
10147 (A : vector_signed_int;
10148 B : vector_signed_int) return c_int
10151 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
10154 function vec_any_ge
10155 (A : vector_bool_int;
10156 B : vector_unsigned_int) return c_int
10159 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
10162 function vec_any_ge
10163 (A : vector_bool_int;
10164 B : vector_signed_int) return c_int
10167 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
10170 function vec_any_ge
10172 B : vector_float) return c_int
10175 return vcmpgefp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
10182 function vec_any_gt
10183 (A : vector_bool_char;
10184 B : vector_unsigned_char) return c_int
10187 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
10190 function vec_any_gt
10191 (A : vector_unsigned_char;
10192 B : vector_bool_char) return c_int
10195 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
10198 function vec_any_gt
10199 (A : vector_unsigned_char;
10200 B : vector_unsigned_char) return c_int
10203 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
10206 function vec_any_gt
10207 (A : vector_bool_char;
10208 B : vector_signed_char) return c_int
10211 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
10214 function vec_any_gt
10215 (A : vector_signed_char;
10216 B : vector_bool_char) return c_int
10219 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
10222 function vec_any_gt
10223 (A : vector_signed_char;
10224 B : vector_signed_char) return c_int
10227 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
10230 function vec_any_gt
10231 (A : vector_bool_short;
10232 B : vector_unsigned_short) return c_int
10235 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
10238 function vec_any_gt
10239 (A : vector_unsigned_short;
10240 B : vector_bool_short) return c_int
10243 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
10246 function vec_any_gt
10247 (A : vector_unsigned_short;
10248 B : vector_unsigned_short) return c_int
10251 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
10254 function vec_any_gt
10255 (A : vector_bool_short;
10256 B : vector_signed_short) return c_int
10259 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
10262 function vec_any_gt
10263 (A : vector_signed_short;
10264 B : vector_bool_short) return c_int
10267 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
10270 function vec_any_gt
10271 (A : vector_signed_short;
10272 B : vector_signed_short) return c_int
10275 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
10278 function vec_any_gt
10279 (A : vector_bool_int;
10280 B : vector_unsigned_int) return c_int
10283 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
10286 function vec_any_gt
10287 (A : vector_unsigned_int;
10288 B : vector_bool_int) return c_int
10291 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
10294 function vec_any_gt
10295 (A : vector_unsigned_int;
10296 B : vector_unsigned_int) return c_int
10299 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
10302 function vec_any_gt
10303 (A : vector_bool_int;
10304 B : vector_signed_int) return c_int
10307 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
10310 function vec_any_gt
10311 (A : vector_signed_int;
10312 B : vector_bool_int) return c_int
10315 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
10318 function vec_any_gt
10319 (A : vector_signed_int;
10320 B : vector_signed_int) return c_int
10323 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
10326 function vec_any_gt
10328 B : vector_float) return c_int
10331 return vcmpgtfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
10338 function vec_any_le
10339 (A : vector_bool_char;
10340 B : vector_unsigned_char) return c_int
10343 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10346 function vec_any_le
10347 (A : vector_unsigned_char;
10348 B : vector_bool_char) return c_int
10351 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10354 function vec_any_le
10355 (A : vector_unsigned_char;
10356 B : vector_unsigned_char) return c_int
10359 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10362 function vec_any_le
10363 (A : vector_bool_char;
10364 B : vector_signed_char) return c_int
10367 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10370 function vec_any_le
10371 (A : vector_signed_char;
10372 B : vector_bool_char) return c_int
10375 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10378 function vec_any_le
10379 (A : vector_signed_char;
10380 B : vector_signed_char) return c_int
10383 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10386 function vec_any_le
10387 (A : vector_bool_short;
10388 B : vector_unsigned_short) return c_int
10391 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10394 function vec_any_le
10395 (A : vector_unsigned_short;
10396 B : vector_bool_short) return c_int
10399 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10402 function vec_any_le
10403 (A : vector_unsigned_short;
10404 B : vector_unsigned_short) return c_int
10407 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10410 function vec_any_le
10411 (A : vector_bool_short;
10412 B : vector_signed_short) return c_int
10415 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10418 function vec_any_le
10419 (A : vector_signed_short;
10420 B : vector_bool_short) return c_int
10423 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10426 function vec_any_le
10427 (A : vector_signed_short;
10428 B : vector_signed_short) return c_int
10431 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10434 function vec_any_le
10435 (A : vector_bool_int;
10436 B : vector_unsigned_int) return c_int
10439 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10442 function vec_any_le
10443 (A : vector_unsigned_int;
10444 B : vector_bool_int) return c_int
10447 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10450 function vec_any_le
10451 (A : vector_unsigned_int;
10452 B : vector_unsigned_int) return c_int
10455 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10458 function vec_any_le
10459 (A : vector_bool_int;
10460 B : vector_signed_int) return c_int
10463 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10466 function vec_any_le
10467 (A : vector_signed_int;
10468 B : vector_bool_int) return c_int
10471 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10474 function vec_any_le
10475 (A : vector_signed_int;
10476 B : vector_signed_int) return c_int
10479 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10482 function vec_any_le
10484 B : vector_float) return c_int
10487 return vcmpgefp_p (CR6_EQ_REV, To_LL_VF (B), To_LL_VF (A));
10494 function vec_any_lt
10495 (A : vector_bool_char;
10496 B : vector_unsigned_char) return c_int
10499 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
10502 function vec_any_lt
10503 (A : vector_unsigned_char;
10504 B : vector_bool_char) return c_int
10507 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
10510 function vec_any_lt
10511 (A : vector_unsigned_char;
10512 B : vector_unsigned_char) return c_int
10515 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
10518 function vec_any_lt
10519 (A : vector_bool_char;
10520 B : vector_signed_char) return c_int
10523 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
10526 function vec_any_lt
10527 (A : vector_signed_char;
10528 B : vector_bool_char) return c_int
10531 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
10534 function vec_any_lt
10535 (A : vector_signed_char;
10536 B : vector_signed_char) return c_int
10539 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
10542 function vec_any_lt
10543 (A : vector_bool_short;
10544 B : vector_unsigned_short) return c_int
10547 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
10550 function vec_any_lt
10551 (A : vector_unsigned_short;
10552 B : vector_bool_short) return c_int
10555 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
10558 function vec_any_lt
10559 (A : vector_unsigned_short;
10560 B : vector_unsigned_short) return c_int
10563 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
10566 function vec_any_lt
10567 (A : vector_bool_short;
10568 B : vector_signed_short) return c_int
10571 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
10574 function vec_any_lt
10575 (A : vector_signed_short;
10576 B : vector_bool_short) return c_int
10579 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
10582 function vec_any_lt
10583 (A : vector_signed_short;
10584 B : vector_signed_short) return c_int
10587 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
10590 function vec_any_lt
10591 (A : vector_bool_int;
10592 B : vector_unsigned_int) return c_int
10595 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
10598 function vec_any_lt
10599 (A : vector_unsigned_int;
10600 B : vector_bool_int) return c_int
10603 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
10606 function vec_any_lt
10607 (A : vector_unsigned_int;
10608 B : vector_unsigned_int) return c_int
10611 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
10614 function vec_any_lt
10615 (A : vector_bool_int;
10616 B : vector_signed_int) return c_int
10619 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
10622 function vec_any_lt
10623 (A : vector_signed_int;
10624 B : vector_bool_int) return c_int
10627 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
10630 function vec_any_lt
10631 (A : vector_signed_int;
10632 B : vector_signed_int) return c_int
10635 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
10638 function vec_any_lt
10640 B : vector_float) return c_int
10643 return vcmpgtfp_p (CR6_EQ_REV, To_LL_VF (B), To_LL_VF (A));
10650 function vec_any_nan
10651 (A : vector_float) return c_int
10654 return vcmpeqfp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (A));
10661 function vec_any_ne
10662 (A : vector_signed_char;
10663 B : vector_bool_char) return c_int
10666 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10669 function vec_any_ne
10670 (A : vector_signed_char;
10671 B : vector_signed_char) return c_int
10674 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10677 function vec_any_ne
10678 (A : vector_unsigned_char;
10679 B : vector_bool_char) return c_int
10682 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10685 function vec_any_ne
10686 (A : vector_unsigned_char;
10687 B : vector_unsigned_char) return c_int
10690 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10693 function vec_any_ne
10694 (A : vector_bool_char;
10695 B : vector_bool_char) return c_int
10698 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10701 function vec_any_ne
10702 (A : vector_bool_char;
10703 B : vector_unsigned_char) return c_int
10706 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10709 function vec_any_ne
10710 (A : vector_bool_char;
10711 B : vector_signed_char) return c_int
10714 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
10717 function vec_any_ne
10718 (A : vector_signed_short;
10719 B : vector_bool_short) return c_int
10722 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10725 function vec_any_ne
10726 (A : vector_signed_short;
10727 B : vector_signed_short) return c_int
10730 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10733 function vec_any_ne
10734 (A : vector_unsigned_short;
10735 B : vector_bool_short) return c_int
10738 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10741 function vec_any_ne
10742 (A : vector_unsigned_short;
10743 B : vector_unsigned_short) return c_int
10746 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10749 function vec_any_ne
10750 (A : vector_bool_short;
10751 B : vector_bool_short) return c_int
10754 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10757 function vec_any_ne
10758 (A : vector_bool_short;
10759 B : vector_unsigned_short) return c_int
10762 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10765 function vec_any_ne
10766 (A : vector_bool_short;
10767 B : vector_signed_short) return c_int
10770 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10773 function vec_any_ne
10775 B : vector_pixel) return c_int
10778 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
10781 function vec_any_ne
10782 (A : vector_signed_int;
10783 B : vector_bool_int) return c_int
10786 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10789 function vec_any_ne
10790 (A : vector_signed_int;
10791 B : vector_signed_int) return c_int
10794 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10797 function vec_any_ne
10798 (A : vector_unsigned_int;
10799 B : vector_bool_int) return c_int
10802 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10805 function vec_any_ne
10806 (A : vector_unsigned_int;
10807 B : vector_unsigned_int) return c_int
10810 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10813 function vec_any_ne
10814 (A : vector_bool_int;
10815 B : vector_bool_int) return c_int
10818 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10821 function vec_any_ne
10822 (A : vector_bool_int;
10823 B : vector_unsigned_int) return c_int
10826 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10829 function vec_any_ne
10830 (A : vector_bool_int;
10831 B : vector_signed_int) return c_int
10834 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
10837 function vec_any_ne
10839 B : vector_float) return c_int
10842 return vcmpeqfp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (B));
10849 function vec_any_nge
10851 B : vector_float) return c_int
10854 return vcmpgefp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (B));
10861 function vec_any_ngt
10863 B : vector_float) return c_int
10866 return vcmpgtfp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (B));
10873 function vec_any_nle
10875 B : vector_float) return c_int
10878 return vcmpgefp_p (CR6_LT_REV, To_LL_VF (B), To_LL_VF (A));
10885 function vec_any_nlt
10887 B : vector_float) return c_int
10890 return vcmpgtfp_p (CR6_LT_REV, To_LL_VF (B), To_LL_VF (A));
10893 ---------------------
10894 -- vec_any_numeric --
10895 ---------------------
10897 function vec_any_numeric
10898 (A : vector_float) return c_int
10901 return vcmpeqfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (A));
10902 end vec_any_numeric;
10908 function vec_any_out
10910 B : vector_float) return c_int
10913 return vcmpbfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
10921 (V : vector_unsigned_char) return Integer
10923 pragma Unreferenced (V);
10929 (V : vector_signed_char) return Integer
10931 pragma Unreferenced (V);
10937 (V : vector_bool_char) return Integer
10939 pragma Unreferenced (V);
10945 (V : vector_unsigned_short) return Integer
10947 pragma Unreferenced (V);
10953 (V : vector_signed_short) return Integer
10955 pragma Unreferenced (V);
10961 (V : vector_bool_short) return Integer
10963 pragma Unreferenced (V);
10969 (V : vector_unsigned_int) return Integer
10971 pragma Unreferenced (V);
10977 (V : vector_signed_int) return Integer
10979 pragma Unreferenced (V);
10985 (V : vector_bool_int) return Integer
10987 pragma Unreferenced (V);
10993 (V : vector_float) return Integer
10995 pragma Unreferenced (V);
11001 (V : vector_pixel) return Integer
11003 pragma Unreferenced (V);
11008 end GNAT.Altivec.Vector_Operations;