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-2005, 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 2, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING. If not, write --
19 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, USA. --
22 -- As a special exception, if other files instantiate generics from this --
23 -- unit, or you link this unit with other files to produce an executable, --
24 -- this unit does not by itself cause the resulting executable to be --
25 -- covered by the GNU General Public License. This exception does not --
26 -- however invalidate any other reasons why the executable file might be --
27 -- covered by the GNU Public License. --
29 -- GNAT was originally developed by the GNAT team at New York University. --
30 -- Extensive contributions were provided by Ada Core Technologies Inc. --
32 ------------------------------------------------------------------------------
34 with GNAT.Altivec.Low_Level_Vectors; use GNAT.Altivec.Low_Level_Vectors;
36 package body GNAT.Altivec.Vector_Operations is
38 --------------------------------------------------------
39 -- Bodies for generic and specific Altivec operations --
40 --------------------------------------------------------
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));
75 (A : vector_signed_char) return vector_signed_char
78 return To_LL_VSC (abss_v16qi (A));
82 (A : vector_signed_short) return vector_signed_short
85 return To_LL_VSS (abss_v8hi (A));
89 (A : vector_signed_int) return vector_signed_int
92 return To_LL_VSI (abss_v4si (A));
98 (A : vector_bool_char;
99 B : vector_signed_char) return vector_signed_char
102 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
106 (A : vector_signed_char;
107 B : vector_bool_char) return vector_signed_char
110 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
114 (A : vector_signed_char;
115 B : vector_signed_char) return vector_signed_char
118 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
122 (A : vector_bool_char;
123 B : vector_unsigned_char) return vector_unsigned_char
126 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
130 (A : vector_unsigned_char;
131 B : vector_bool_char) return vector_unsigned_char
134 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
138 (A : vector_unsigned_char;
139 B : vector_unsigned_char) return vector_unsigned_char
142 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
146 (A : vector_bool_short;
147 B : vector_signed_short) return vector_signed_short
150 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
154 (A : vector_signed_short;
155 B : vector_bool_short) return vector_signed_short
158 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
162 (A : vector_signed_short;
163 B : vector_signed_short) return vector_signed_short
166 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
170 (A : vector_bool_short;
171 B : vector_unsigned_short) return vector_unsigned_short
174 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
178 (A : vector_unsigned_short;
179 B : vector_bool_short) return vector_unsigned_short
182 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
186 (A : vector_unsigned_short;
187 B : vector_unsigned_short) return vector_unsigned_short
190 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
194 (A : vector_bool_int;
195 B : vector_signed_int) return vector_signed_int
198 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
202 (A : vector_signed_int;
203 B : vector_bool_int) return vector_signed_int
206 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
210 (A : vector_signed_int;
211 B : vector_signed_int) return vector_signed_int
214 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
218 (A : vector_bool_int;
219 B : vector_unsigned_int) return vector_unsigned_int
222 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
226 (A : vector_unsigned_int;
227 B : vector_bool_int) return vector_unsigned_int
230 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
234 (A : vector_unsigned_int;
235 B : vector_unsigned_int) return vector_unsigned_int
238 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
243 B : vector_float) return vector_float
246 return To_LL_VF (vaddfp (To_LL_VF (A), To_LL_VF (B)));
253 B : vector_float) return vector_float
256 return To_LL_VF (vaddfp (To_LL_VF (A), To_LL_VF (B)));
262 (A : vector_bool_int;
263 B : vector_signed_int) return vector_signed_int
266 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
270 (A : vector_signed_int;
271 B : vector_bool_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_signed_int) return vector_signed_int
282 return To_LL_VSI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
286 (A : vector_bool_int;
287 B : vector_unsigned_int) return vector_unsigned_int
290 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
294 (A : vector_unsigned_int;
295 B : vector_bool_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_unsigned_int) return vector_unsigned_int
306 return To_LL_VUI (vadduwm (To_LL_VSI (A), To_LL_VSI (B)));
312 (A : vector_bool_short;
313 B : vector_signed_short) return vector_signed_short
316 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
320 (A : vector_signed_short;
321 B : vector_bool_short) return vector_signed_short
324 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
328 (A : vector_signed_short;
329 B : vector_signed_short) return vector_signed_short
332 return To_LL_VSS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
336 (A : vector_bool_short;
337 B : vector_unsigned_short) return vector_unsigned_short
340 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
344 (A : vector_unsigned_short;
345 B : vector_bool_short) return vector_unsigned_short
348 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
352 (A : vector_unsigned_short;
353 B : vector_unsigned_short) return vector_unsigned_short
356 return To_LL_VUS (vadduhm (To_LL_VSS (A), To_LL_VSS (B)));
362 (A : vector_bool_char;
363 B : vector_signed_char) return vector_signed_char
366 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
370 (A : vector_signed_char;
371 B : vector_bool_char) return vector_signed_char
374 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
378 (A : vector_signed_char;
379 B : vector_signed_char) return vector_signed_char
382 return To_LL_VSC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
386 (A : vector_bool_char;
387 B : vector_unsigned_char) return vector_unsigned_char
390 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
394 (A : vector_unsigned_char;
395 B : vector_bool_char) return vector_unsigned_char
398 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
402 (A : vector_unsigned_char;
403 B : vector_unsigned_char) return vector_unsigned_char
406 return To_LL_VUC (vaddubm (To_LL_VSC (A), To_LL_VSC (B)));
412 (A : vector_unsigned_int;
413 B : vector_unsigned_int) return vector_unsigned_int
416 return To_LL_VUI (vaddcuw (To_LL_VSI (A), To_LL_VSI (B)));
422 (A : vector_bool_char;
423 B : vector_unsigned_char) return vector_unsigned_char
426 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
430 (A : vector_unsigned_char;
431 B : vector_bool_char) return vector_unsigned_char
434 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
438 (A : vector_unsigned_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_bool_char;
447 B : vector_signed_char) return vector_signed_char
450 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
454 (A : vector_signed_char;
455 B : vector_bool_char) return vector_signed_char
458 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
462 (A : vector_signed_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_bool_short;
471 B : vector_unsigned_short) return vector_unsigned_short
474 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
478 (A : vector_unsigned_short;
479 B : vector_bool_short) return vector_unsigned_short
482 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
486 (A : vector_unsigned_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_bool_short;
495 B : vector_signed_short) return vector_signed_short
498 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
502 (A : vector_signed_short;
503 B : vector_bool_short) return vector_signed_short
506 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
510 (A : vector_signed_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_bool_int;
519 B : vector_unsigned_int) return vector_unsigned_int
522 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
526 (A : vector_unsigned_int;
527 B : vector_bool_int) return vector_unsigned_int
530 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
534 (A : vector_unsigned_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_bool_int;
543 B : vector_signed_int) return vector_signed_int
546 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
550 (A : vector_signed_int;
551 B : vector_bool_int) return vector_signed_int
554 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
558 (A : vector_signed_int;
559 B : vector_signed_int) return vector_signed_int
562 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
568 (A : vector_bool_int;
569 B : vector_signed_int) return vector_signed_int
572 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
576 (A : vector_signed_int;
577 B : vector_bool_int) return vector_signed_int
580 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
584 (A : vector_signed_int;
585 B : vector_signed_int) return vector_signed_int
588 return To_LL_VSI (vaddsws (To_LL_VSI (A), To_LL_VSI (B)));
594 (A : vector_bool_int;
595 B : vector_unsigned_int) return vector_unsigned_int
598 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
602 (A : vector_unsigned_int;
603 B : vector_bool_int) return vector_unsigned_int
606 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
610 (A : vector_unsigned_int;
611 B : vector_unsigned_int) return vector_unsigned_int
614 return To_LL_VUI (vadduws (To_LL_VSI (A), To_LL_VSI (B)));
620 (A : vector_bool_short;
621 B : vector_signed_short) return vector_signed_short
624 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
628 (A : vector_signed_short;
629 B : vector_bool_short) return vector_signed_short
632 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
636 (A : vector_signed_short;
637 B : vector_signed_short) return vector_signed_short
640 return To_LL_VSS (vaddshs (To_LL_VSS (A), To_LL_VSS (B)));
646 (A : vector_bool_short;
647 B : vector_unsigned_short) return vector_unsigned_short
650 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
654 (A : vector_unsigned_short;
655 B : vector_bool_short) return vector_unsigned_short
658 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
662 (A : vector_unsigned_short;
663 B : vector_unsigned_short) return vector_unsigned_short
666 return To_LL_VUS (vadduhs (To_LL_VSS (A), To_LL_VSS (B)));
672 (A : vector_bool_char;
673 B : vector_signed_char) return vector_signed_char
676 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
680 (A : vector_signed_char;
681 B : vector_bool_char) return vector_signed_char
684 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
688 (A : vector_signed_char;
689 B : vector_signed_char) return vector_signed_char
692 return To_LL_VSC (vaddsbs (To_LL_VSC (A), To_LL_VSC (B)));
698 (A : vector_bool_char;
699 B : vector_unsigned_char) return vector_unsigned_char
702 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
706 (A : vector_unsigned_char;
707 B : vector_bool_char) return vector_unsigned_char
710 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
714 (A : vector_unsigned_char;
715 B : vector_unsigned_char) return vector_unsigned_char
718 return To_LL_VUC (vaddubs (To_LL_VSC (A), To_LL_VSC (B)));
725 B : vector_float) return vector_float
728 return To_LL_VF (vand (To_LL_VSI (A), To_LL_VSI (B)));
733 B : vector_bool_int) return vector_float
736 return To_LL_VF (vand (To_LL_VSI (A), To_LL_VSI (B)));
740 (A : vector_bool_int;
741 B : vector_float) return vector_float
744 return To_LL_VF (vand (To_LL_VSI (A), To_LL_VSI (B)));
748 (A : vector_bool_int;
749 B : vector_bool_int) return vector_bool_int
752 return To_LL_VBI (vand (To_LL_VSI (A), To_LL_VSI (B)));
756 (A : vector_bool_int;
757 B : vector_signed_int) return vector_signed_int
760 return To_LL_VSI (vand (To_LL_VSI (A), To_LL_VSI (B)));
764 (A : vector_signed_int;
765 B : vector_bool_int) return vector_signed_int
768 return To_LL_VSI (vand (To_LL_VSI (A), To_LL_VSI (B)));
772 (A : vector_signed_int;
773 B : vector_signed_int) return vector_signed_int
776 return To_LL_VSI (vand (To_LL_VSI (A), To_LL_VSI (B)));
780 (A : vector_bool_int;
781 B : vector_unsigned_int) return vector_unsigned_int
784 return To_LL_VUI (vand (To_LL_VSI (A), To_LL_VSI (B)));
788 (A : vector_unsigned_int;
789 B : vector_bool_int) return vector_unsigned_int
792 return To_LL_VUI (vand (To_LL_VSI (A), To_LL_VSI (B)));
796 (A : vector_unsigned_int;
797 B : vector_unsigned_int) return vector_unsigned_int
800 return To_LL_VUI (vand (To_LL_VSI (A), To_LL_VSI (B)));
804 (A : vector_bool_short;
805 B : vector_bool_short) return vector_bool_short
808 return To_LL_VBS (vand (To_LL_VSI (A), To_LL_VSI (B)));
812 (A : vector_bool_short;
813 B : vector_signed_short) return vector_signed_short
816 return To_LL_VSS (vand (To_LL_VSI (A), To_LL_VSI (B)));
820 (A : vector_signed_short;
821 B : vector_bool_short) return vector_signed_short
824 return To_LL_VSS (vand (To_LL_VSI (A), To_LL_VSI (B)));
828 (A : vector_signed_short;
829 B : vector_signed_short) return vector_signed_short
832 return To_LL_VSS (vand (To_LL_VSI (A), To_LL_VSI (B)));
836 (A : vector_bool_short;
837 B : vector_unsigned_short) return vector_unsigned_short
840 return To_LL_VUS (vand (To_LL_VSI (A), To_LL_VSI (B)));
844 (A : vector_unsigned_short;
845 B : vector_bool_short) return vector_unsigned_short
848 return To_LL_VUS (vand (To_LL_VSI (A), To_LL_VSI (B)));
852 (A : vector_unsigned_short;
853 B : vector_unsigned_short) return vector_unsigned_short
856 return To_LL_VUS (vand (To_LL_VSI (A), To_LL_VSI (B)));
860 (A : vector_bool_char;
861 B : vector_signed_char) return vector_signed_char
864 return To_LL_VSC (vand (To_LL_VSI (A), To_LL_VSI (B)));
868 (A : vector_bool_char;
869 B : vector_bool_char) return vector_bool_char
872 return To_LL_VBC (vand (To_LL_VSI (A), To_LL_VSI (B)));
876 (A : vector_signed_char;
877 B : vector_bool_char) return vector_signed_char
880 return To_LL_VSC (vand (To_LL_VSI (A), To_LL_VSI (B)));
884 (A : vector_signed_char;
885 B : vector_signed_char) return vector_signed_char
888 return To_LL_VSC (vand (To_LL_VSI (A), To_LL_VSI (B)));
892 (A : vector_bool_char;
893 B : vector_unsigned_char) return vector_unsigned_char
896 return To_LL_VUC (vand (To_LL_VSI (A), To_LL_VSI (B)));
900 (A : vector_unsigned_char;
901 B : vector_bool_char) return vector_unsigned_char
904 return To_LL_VUC (vand (To_LL_VSI (A), To_LL_VSI (B)));
908 (A : vector_unsigned_char;
909 B : vector_unsigned_char) return vector_unsigned_char
912 return To_LL_VUC (vand (To_LL_VSI (A), To_LL_VSI (B)));
919 B : vector_float) return vector_float
922 return To_LL_VF (vandc (To_LL_VSI (A), To_LL_VSI (B)));
927 B : vector_bool_int) return vector_float
930 return To_LL_VF (vandc (To_LL_VSI (A), To_LL_VSI (B)));
934 (A : vector_bool_int;
935 B : vector_float) return vector_float
938 return To_LL_VF (vandc (To_LL_VSI (A), To_LL_VSI (B)));
942 (A : vector_bool_int;
943 B : vector_bool_int) return vector_bool_int
946 return To_LL_VBI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
950 (A : vector_bool_int;
951 B : vector_signed_int) return vector_signed_int
954 return To_LL_VSI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
958 (A : vector_signed_int;
959 B : vector_bool_int) return vector_signed_int
962 return To_LL_VSI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
966 (A : vector_signed_int;
967 B : vector_signed_int) return vector_signed_int
970 return To_LL_VSI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
974 (A : vector_bool_int;
975 B : vector_unsigned_int) return vector_unsigned_int
978 return To_LL_VUI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
982 (A : vector_unsigned_int;
983 B : vector_bool_int) return vector_unsigned_int
986 return To_LL_VUI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
990 (A : vector_unsigned_int;
991 B : vector_unsigned_int) return vector_unsigned_int
994 return To_LL_VUI (vandc (To_LL_VSI (A), To_LL_VSI (B)));
998 (A : vector_bool_short;
999 B : vector_bool_short) return vector_bool_short
1002 return To_LL_VBS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1006 (A : vector_bool_short;
1007 B : vector_signed_short) return vector_signed_short
1010 return To_LL_VSS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1014 (A : vector_signed_short;
1015 B : vector_bool_short) return vector_signed_short
1018 return To_LL_VSS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1022 (A : vector_signed_short;
1023 B : vector_signed_short) return vector_signed_short
1026 return To_LL_VSS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1030 (A : vector_bool_short;
1031 B : vector_unsigned_short) return vector_unsigned_short
1034 return To_LL_VUS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1038 (A : vector_unsigned_short;
1039 B : vector_bool_short) return vector_unsigned_short
1042 return To_LL_VUS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1046 (A : vector_unsigned_short;
1047 B : vector_unsigned_short) return vector_unsigned_short
1050 return To_LL_VUS (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1054 (A : vector_bool_char;
1055 B : vector_signed_char) return vector_signed_char
1058 return To_LL_VSC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1062 (A : vector_bool_char;
1063 B : vector_bool_char) return vector_bool_char
1066 return To_LL_VBC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1070 (A : vector_signed_char;
1071 B : vector_bool_char) return vector_signed_char
1074 return To_LL_VSC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1078 (A : vector_signed_char;
1079 B : vector_signed_char) return vector_signed_char
1082 return To_LL_VSC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1086 (A : vector_bool_char;
1087 B : vector_unsigned_char) return vector_unsigned_char
1090 return To_LL_VUC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1094 (A : vector_unsigned_char;
1095 B : vector_bool_char) return vector_unsigned_char
1098 return To_LL_VUC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1102 (A : vector_unsigned_char;
1103 B : vector_unsigned_char) return vector_unsigned_char
1106 return To_LL_VUC (vandc (To_LL_VSI (A), To_LL_VSI (B)));
1112 (A : vector_unsigned_char;
1113 B : vector_unsigned_char) return vector_unsigned_char
1116 return To_LL_VUC (vavgub (To_LL_VSC (A), To_LL_VSC (B)));
1120 (A : vector_signed_char;
1121 B : vector_signed_char) return vector_signed_char
1124 return To_LL_VSC (vavgsb (To_LL_VSC (A), To_LL_VSC (B)));
1128 (A : vector_unsigned_short;
1129 B : vector_unsigned_short) return vector_unsigned_short
1132 return To_LL_VUS (vavguh (To_LL_VSS (A), To_LL_VSS (B)));
1136 (A : vector_signed_short;
1137 B : vector_signed_short) return vector_signed_short
1140 return To_LL_VSS (vavgsh (To_LL_VSS (A), To_LL_VSS (B)));
1144 (A : vector_unsigned_int;
1145 B : vector_unsigned_int) return vector_unsigned_int
1148 return To_LL_VUI (vavguw (To_LL_VSI (A), To_LL_VSI (B)));
1152 (A : vector_signed_int;
1153 B : vector_signed_int) return vector_signed_int
1156 return To_LL_VSI (vavgsw (To_LL_VSI (A), To_LL_VSI (B)));
1162 (A : vector_signed_int;
1163 B : vector_signed_int) return vector_signed_int
1166 return To_LL_VSI (vavgsw (To_LL_VSI (A), To_LL_VSI (B)));
1172 (A : vector_unsigned_int;
1173 B : vector_unsigned_int) return vector_unsigned_int
1176 return To_LL_VUI (vavguw (To_LL_VSI (A), To_LL_VSI (B)));
1182 (A : vector_signed_short;
1183 B : vector_signed_short) return vector_signed_short
1186 return To_LL_VSS (vavgsh (To_LL_VSS (A), To_LL_VSS (B)));
1192 (A : vector_unsigned_short;
1193 B : vector_unsigned_short) return vector_unsigned_short
1196 return To_LL_VUS (vavguh (To_LL_VSS (A), To_LL_VSS (B)));
1202 (A : vector_signed_char;
1203 B : vector_signed_char) return vector_signed_char
1206 return To_LL_VSC (vavgsb (To_LL_VSC (A), To_LL_VSC (B)));
1212 (A : vector_unsigned_char;
1213 B : vector_unsigned_char) return vector_unsigned_char
1216 return To_LL_VUC (vavgub (To_LL_VSC (A), To_LL_VSC (B)));
1222 (A : vector_float) return vector_float
1225 return To_LL_VF (vrfip (To_LL_VF (A)));
1232 B : vector_float) return vector_signed_int
1235 return To_LL_VSI (vcmpbfp (To_LL_VF (A), To_LL_VF (B)));
1241 (A : vector_signed_char;
1242 B : vector_signed_char) return vector_bool_char
1245 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1249 (A : vector_unsigned_char;
1250 B : vector_unsigned_char) return vector_bool_char
1253 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1257 (A : vector_signed_short;
1258 B : vector_signed_short) return vector_bool_short
1261 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1265 (A : vector_unsigned_short;
1266 B : vector_unsigned_short) return vector_bool_short
1269 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1273 (A : vector_signed_int;
1274 B : vector_signed_int) return vector_bool_int
1277 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1281 (A : vector_unsigned_int;
1282 B : vector_unsigned_int) return vector_bool_int
1285 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1290 B : vector_float) return vector_bool_int
1293 return To_LL_VBI (vcmpeqfp (To_LL_VF (A), To_LL_VF (B)));
1298 function vec_vcmpeqfp
1300 B : vector_float) return vector_bool_int
1303 return To_LL_VBI (vcmpeqfp (To_LL_VF (A), To_LL_VF (B)));
1308 function vec_vcmpequw
1309 (A : vector_signed_int;
1310 B : vector_signed_int) return vector_bool_int
1313 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1316 function vec_vcmpequw
1317 (A : vector_unsigned_int;
1318 B : vector_unsigned_int) return vector_bool_int
1321 return To_LL_VBI (vcmpequw (To_LL_VSI (A), To_LL_VSI (B)));
1326 function vec_vcmpequh
1327 (A : vector_signed_short;
1328 B : vector_signed_short) return vector_bool_short
1331 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1334 function vec_vcmpequh
1335 (A : vector_unsigned_short;
1336 B : vector_unsigned_short) return vector_bool_short
1339 return To_LL_VBS (vcmpequh (To_LL_VSS (A), To_LL_VSS (B)));
1344 function vec_vcmpequb
1345 (A : vector_signed_char;
1346 B : vector_signed_char) return vector_bool_char
1349 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1352 function vec_vcmpequb
1353 (A : vector_unsigned_char;
1354 B : vector_unsigned_char) return vector_bool_char
1357 return To_LL_VBC (vcmpequb (To_LL_VSC (A), To_LL_VSC (B)));
1364 B : vector_float) return vector_bool_int
1367 return To_LL_VBI (vcmpgefp (To_LL_VF (A), To_LL_VF (B)));
1373 (A : vector_unsigned_char;
1374 B : vector_unsigned_char) return vector_bool_char
1377 return To_LL_VBC (vcmpgtub (To_LL_VSC (A), To_LL_VSC (B)));
1381 (A : vector_signed_char;
1382 B : vector_signed_char) return vector_bool_char
1385 return To_LL_VBC (vcmpgtsb (To_LL_VSC (A), To_LL_VSC (B)));
1389 (A : vector_unsigned_short;
1390 B : vector_unsigned_short) return vector_bool_short
1393 return To_LL_VBS (vcmpgtuh (To_LL_VSS (A), To_LL_VSS (B)));
1397 (A : vector_signed_short;
1398 B : vector_signed_short) return vector_bool_short
1401 return To_LL_VBS (vcmpgtsh (To_LL_VSS (A), To_LL_VSS (B)));
1405 (A : vector_unsigned_int;
1406 B : vector_unsigned_int) return vector_bool_int
1409 return To_LL_VBI (vcmpgtuw (To_LL_VSI (A), To_LL_VSI (B)));
1413 (A : vector_signed_int;
1414 B : vector_signed_int) return vector_bool_int
1417 return To_LL_VBI (vcmpgtsw (To_LL_VSI (A), To_LL_VSI (B)));
1422 B : vector_float) return vector_bool_int
1425 return To_LL_VBI (vcmpgtfp (To_LL_VF (A), To_LL_VF (B)));
1430 function vec_vcmpgtfp
1432 B : vector_float) return vector_bool_int
1435 return To_LL_VBI (vcmpgtfp (To_LL_VF (A), To_LL_VF (B)));
1440 function vec_vcmpgtsw
1441 (A : vector_signed_int;
1442 B : vector_signed_int) return vector_bool_int
1445 return To_LL_VBI (vcmpgtsw (To_LL_VSI (A), To_LL_VSI (B)));
1450 function vec_vcmpgtuw
1451 (A : vector_unsigned_int;
1452 B : vector_unsigned_int) return vector_bool_int
1455 return To_LL_VBI (vcmpgtuw (To_LL_VSI (A), To_LL_VSI (B)));
1460 function vec_vcmpgtsh
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)));
1470 function vec_vcmpgtuh
1471 (A : vector_unsigned_short;
1472 B : vector_unsigned_short) return vector_bool_short
1475 return To_LL_VBS (vcmpgtuh (To_LL_VSS (A), To_LL_VSS (B)));
1480 function vec_vcmpgtsb
1481 (A : vector_signed_char;
1482 B : vector_signed_char) return vector_bool_char
1485 return To_LL_VBC (vcmpgtsb (To_LL_VSC (A), To_LL_VSC (B)));
1490 function vec_vcmpgtub
1491 (A : vector_unsigned_char;
1492 B : vector_unsigned_char) return vector_bool_char
1495 return To_LL_VBC (vcmpgtub (To_LL_VSC (A), To_LL_VSC (B)));
1502 B : vector_float) return vector_bool_int
1505 return To_LL_VBI (vcmpgefp (To_LL_VF (B), To_LL_VF (A)));
1511 (A : vector_unsigned_char;
1512 B : vector_unsigned_char) return vector_bool_char
1515 return To_LL_VBC (vcmpgtub (To_LL_VSC (B), To_LL_VSC (A)));
1519 (A : vector_signed_char;
1520 B : vector_signed_char) return vector_bool_char
1523 return To_LL_VBC (vcmpgtsb (To_LL_VSC (B), To_LL_VSC (A)));
1527 (A : vector_unsigned_short;
1528 B : vector_unsigned_short) return vector_bool_short
1531 return To_LL_VBS (vcmpgtuh (To_LL_VSS (B), To_LL_VSS (A)));
1535 (A : vector_signed_short;
1536 B : vector_signed_short) return vector_bool_short
1539 return To_LL_VBS (vcmpgtsh (To_LL_VSS (B), To_LL_VSS (A)));
1543 (A : vector_unsigned_int;
1544 B : vector_unsigned_int) return vector_bool_int
1547 return To_LL_VBI (vcmpgtuw (To_LL_VSI (B), To_LL_VSI (A)));
1551 (A : vector_signed_int;
1552 B : vector_signed_int) return vector_bool_int
1555 return To_LL_VBI (vcmpgtsw (To_LL_VSI (B), To_LL_VSI (A)));
1560 B : vector_float) return vector_bool_int
1563 return To_LL_VBI (vcmpgtfp (To_LL_VF (B), To_LL_VF (A)));
1569 (A : vector_float) return vector_float
1572 return To_LL_VF (vexptefp (To_LL_VF (A)));
1578 (A : vector_float) return vector_float
1581 return To_LL_VF (vrfim (To_LL_VF (A)));
1588 B : const_vector_float_ptr) return vector_float
1591 return To_LL_VF (lvx (A, To_PTR (B)));
1596 B : const_float_ptr) return vector_float
1599 return To_LL_VF (lvx (A, To_PTR (B)));
1604 B : const_vector_bool_int_ptr) return vector_bool_int
1607 return To_LL_VBI (lvx (A, To_PTR (B)));
1612 B : const_vector_signed_int_ptr) return vector_signed_int
1615 return To_LL_VSI (lvx (A, To_PTR (B)));
1620 B : const_int_ptr) return vector_signed_int
1623 return To_LL_VSI (lvx (A, To_PTR (B)));
1628 B : const_long_ptr) return vector_signed_int
1631 return To_LL_VSI (lvx (A, To_PTR (B)));
1636 B : const_vector_unsigned_int_ptr) return vector_unsigned_int
1639 return To_LL_VUI (lvx (A, To_PTR (B)));
1644 B : const_unsigned_int_ptr) return vector_unsigned_int
1647 return To_LL_VUI (lvx (A, To_PTR (B)));
1652 B : const_unsigned_long_ptr) return vector_unsigned_int
1655 return To_LL_VUI (lvx (A, To_PTR (B)));
1660 B : const_vector_bool_short_ptr) return vector_bool_short
1663 return To_LL_VBS (lvx (A, To_PTR (B)));
1668 B : const_vector_pixel_ptr) return vector_pixel
1671 return To_LL_VP (lvx (A, To_PTR (B)));
1676 B : const_vector_signed_short_ptr) return vector_signed_short
1679 return To_LL_VSS (lvx (A, To_PTR (B)));
1684 B : const_short_ptr) return vector_signed_short
1687 return To_LL_VSS (lvx (A, To_PTR (B)));
1692 B : const_vector_unsigned_short_ptr) return vector_unsigned_short
1695 return To_LL_VUS (lvx (A, To_PTR (B)));
1700 B : const_unsigned_short_ptr) return vector_unsigned_short
1703 return To_LL_VUS (lvx (A, To_PTR (B)));
1708 B : const_vector_bool_char_ptr) return vector_bool_char
1711 return To_LL_VBC (lvx (A, To_PTR (B)));
1716 B : const_vector_signed_char_ptr) return vector_signed_char
1719 return To_LL_VSC (lvx (A, To_PTR (B)));
1724 B : const_signed_char_ptr) return vector_signed_char
1727 return To_LL_VSC (lvx (A, To_PTR (B)));
1732 B : const_vector_unsigned_char_ptr) return vector_unsigned_char
1735 return To_LL_VUC (lvx (A, To_PTR (B)));
1740 B : const_unsigned_char_ptr) return vector_unsigned_char
1743 return To_LL_VUC (lvx (A, To_PTR (B)));
1750 B : const_signed_char_ptr) return vector_signed_char
1753 return To_LL_VSC (lvebx (A, To_PTR (B)));
1758 B : const_unsigned_char_ptr) return vector_unsigned_char
1761 return To_LL_VUC (lvebx (A, To_PTR (B)));
1766 B : const_short_ptr) return vector_signed_short
1769 return To_LL_VSS (lvehx (A, To_PTR (B)));
1774 B : const_unsigned_short_ptr) return vector_unsigned_short
1777 return To_LL_VUS (lvehx (A, To_PTR (B)));
1782 B : const_float_ptr) return vector_float
1785 return To_LL_VF (lvewx (A, To_PTR (B)));
1790 B : const_int_ptr) return vector_signed_int
1793 return To_LL_VSI (lvewx (A, To_PTR (B)));
1798 B : const_unsigned_int_ptr) return vector_unsigned_int
1801 return To_LL_VUI (lvewx (A, To_PTR (B)));
1806 B : const_long_ptr) return vector_signed_int
1809 return To_LL_VSI (lvewx (A, To_PTR (B)));
1814 B : const_unsigned_long_ptr) return vector_unsigned_int
1817 return To_LL_VUI (lvewx (A, To_PTR (B)));
1824 B : float_ptr) return vector_float
1827 return To_LL_VF (lvewx (A, To_PTR (B)));
1832 B : int_ptr) return vector_signed_int
1835 return To_LL_VSI (lvewx (A, To_PTR (B)));
1840 B : unsigned_int_ptr) return vector_unsigned_int
1843 return To_LL_VUI (lvewx (A, To_PTR (B)));
1848 B : long_ptr) return vector_signed_int
1851 return To_LL_VSI (lvewx (A, To_PTR (B)));
1856 B : unsigned_long_ptr) return vector_unsigned_int
1859 return To_LL_VUI (lvewx (A, To_PTR (B)));
1866 B : short_ptr) return vector_signed_short
1869 return To_LL_VSS (lvehx (A, To_PTR (B)));
1874 B : unsigned_short_ptr) return vector_unsigned_short
1877 return To_LL_VUS (lvehx (A, To_PTR (B)));
1884 B : signed_char_ptr) return vector_signed_char
1887 return To_LL_VSC (lvebx (A, To_PTR (B)));
1892 B : unsigned_char_ptr) return vector_unsigned_char
1895 return To_LL_VUC (lvebx (A, To_PTR (B)));
1902 B : const_vector_float_ptr) return vector_float
1905 return To_LL_VF (lvxl (A, To_PTR (B)));
1910 B : const_float_ptr) return vector_float
1913 return To_LL_VF (lvxl (A, To_PTR (B)));
1918 B : const_vector_bool_int_ptr) return vector_bool_int
1921 return To_LL_VBI (lvxl (A, To_PTR (B)));
1926 B : const_vector_signed_int_ptr) return vector_signed_int
1929 return To_LL_VSI (lvxl (A, To_PTR (B)));
1934 B : const_int_ptr) return vector_signed_int
1937 return To_LL_VSI (lvxl (A, To_PTR (B)));
1942 B : const_long_ptr) return vector_signed_int
1945 return To_LL_VSI (lvxl (A, To_PTR (B)));
1950 B : const_vector_unsigned_int_ptr) return vector_unsigned_int
1953 return To_LL_VUI (lvxl (A, To_PTR (B)));
1958 B : const_unsigned_int_ptr) return vector_unsigned_int
1961 return To_LL_VUI (lvxl (A, To_PTR (B)));
1966 B : const_unsigned_long_ptr) return vector_unsigned_int
1969 return To_LL_VUI (lvxl (A, To_PTR (B)));
1974 B : const_vector_bool_short_ptr) return vector_bool_short
1977 return To_LL_VBS (lvxl (A, To_PTR (B)));
1982 B : const_vector_pixel_ptr) return vector_pixel
1985 return To_LL_VP (lvxl (A, To_PTR (B)));
1990 B : const_vector_signed_short_ptr) return vector_signed_short
1993 return To_LL_VSS (lvxl (A, To_PTR (B)));
1998 B : const_short_ptr) return vector_signed_short
2001 return To_LL_VSS (lvxl (A, To_PTR (B)));
2006 B : const_vector_unsigned_short_ptr) return vector_unsigned_short
2009 return To_LL_VUS (lvxl (A, To_PTR (B)));
2014 B : const_unsigned_short_ptr) return vector_unsigned_short
2017 return To_LL_VUS (lvxl (A, To_PTR (B)));
2022 B : const_vector_bool_char_ptr) return vector_bool_char
2025 return To_LL_VBC (lvxl (A, To_PTR (B)));
2030 B : const_vector_signed_char_ptr) return vector_signed_char
2033 return To_LL_VSC (lvxl (A, To_PTR (B)));
2038 B : const_signed_char_ptr) return vector_signed_char
2041 return To_LL_VSC (lvxl (A, To_PTR (B)));
2046 B : const_vector_unsigned_char_ptr) return vector_unsigned_char
2049 return To_LL_VUC (lvxl (A, To_PTR (B)));
2054 B : const_unsigned_char_ptr) return vector_unsigned_char
2057 return To_LL_VUC (lvxl (A, To_PTR (B)));
2063 (A : vector_float) return vector_float
2066 return To_LL_VF (vlogefp (To_LL_VF (A)));
2073 B : constv_unsigned_char_ptr) return vector_unsigned_char
2076 return To_LL_VUC (lvsl (A, To_PTR (B)));
2081 B : constv_signed_char_ptr) return vector_unsigned_char
2084 return To_LL_VUC (lvsl (A, To_PTR (B)));
2089 B : constv_unsigned_short_ptr) return vector_unsigned_char
2092 return To_LL_VUC (lvsl (A, To_PTR (B)));
2097 B : constv_short_ptr) return vector_unsigned_char
2100 return To_LL_VUC (lvsl (A, To_PTR (B)));
2105 B : constv_unsigned_int_ptr) return vector_unsigned_char
2108 return To_LL_VUC (lvsl (A, To_PTR (B)));
2113 B : constv_int_ptr) return vector_unsigned_char
2116 return To_LL_VUC (lvsl (A, To_PTR (B)));
2121 B : constv_unsigned_long_ptr) return vector_unsigned_char
2124 return To_LL_VUC (lvsl (A, To_PTR (B)));
2129 B : constv_long_ptr) return vector_unsigned_char
2132 return To_LL_VUC (lvsl (A, To_PTR (B)));
2137 B : constv_float_ptr) return vector_unsigned_char
2140 return To_LL_VUC (lvsl (A, To_PTR (B)));
2147 B : constv_unsigned_char_ptr) return vector_unsigned_char
2150 return To_LL_VUC (lvsr (A, To_PTR (B)));
2155 B : constv_signed_char_ptr) return vector_unsigned_char
2158 return To_LL_VUC (lvsr (A, To_PTR (B)));
2163 B : constv_unsigned_short_ptr) return vector_unsigned_char
2166 return To_LL_VUC (lvsr (A, To_PTR (B)));
2171 B : constv_short_ptr) return vector_unsigned_char
2174 return To_LL_VUC (lvsr (A, To_PTR (B)));
2179 B : constv_unsigned_int_ptr) return vector_unsigned_char
2182 return To_LL_VUC (lvsr (A, To_PTR (B)));
2187 B : constv_int_ptr) return vector_unsigned_char
2190 return To_LL_VUC (lvsr (A, To_PTR (B)));
2195 B : constv_unsigned_long_ptr) return vector_unsigned_char
2198 return To_LL_VUC (lvsr (A, To_PTR (B)));
2203 B : constv_long_ptr) return vector_unsigned_char
2206 return To_LL_VUC (lvsr (A, To_PTR (B)));
2211 B : constv_float_ptr) return vector_unsigned_char
2214 return To_LL_VUC (lvsr (A, To_PTR (B)));
2222 C : vector_float) return vector_float
2225 return vmaddfp (A, B, C);
2231 (A : vector_signed_short;
2232 B : vector_signed_short;
2233 C : vector_signed_short) return vector_signed_short
2236 return vmhaddshs (A, B, C);
2242 (A : vector_bool_char;
2243 B : vector_unsigned_char) return vector_unsigned_char
2246 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2250 (A : vector_unsigned_char;
2251 B : vector_bool_char) return vector_unsigned_char
2254 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2258 (A : vector_unsigned_char;
2259 B : vector_unsigned_char) return vector_unsigned_char
2262 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2266 (A : vector_bool_char;
2267 B : vector_signed_char) return vector_signed_char
2270 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2274 (A : vector_signed_char;
2275 B : vector_bool_char) return vector_signed_char
2278 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2282 (A : vector_signed_char;
2283 B : vector_signed_char) return vector_signed_char
2286 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2290 (A : vector_bool_short;
2291 B : vector_unsigned_short) return vector_unsigned_short
2294 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2298 (A : vector_unsigned_short;
2299 B : vector_bool_short) return vector_unsigned_short
2302 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2306 (A : vector_unsigned_short;
2307 B : vector_unsigned_short) return vector_unsigned_short
2310 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2314 (A : vector_bool_short;
2315 B : vector_signed_short) return vector_signed_short
2318 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2322 (A : vector_signed_short;
2323 B : vector_bool_short) return vector_signed_short
2326 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2330 (A : vector_signed_short;
2331 B : vector_signed_short) return vector_signed_short
2334 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2338 (A : vector_bool_int;
2339 B : vector_unsigned_int) return vector_unsigned_int
2342 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2346 (A : vector_unsigned_int;
2347 B : vector_bool_int) return vector_unsigned_int
2350 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2354 (A : vector_unsigned_int;
2355 B : vector_unsigned_int) return vector_unsigned_int
2358 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2362 (A : vector_bool_int;
2363 B : vector_signed_int) return vector_signed_int
2366 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2370 (A : vector_signed_int;
2371 B : vector_bool_int) return vector_signed_int
2374 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2378 (A : vector_signed_int;
2379 B : vector_signed_int) return vector_signed_int
2382 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2387 B : vector_float) return vector_float
2390 return To_LL_VF (vmaxfp (To_LL_VF (A), To_LL_VF (B)));
2397 B : vector_float) return vector_float
2400 return To_LL_VF (vmaxfp (To_LL_VF (A), To_LL_VF (B)));
2406 (A : vector_bool_int;
2407 B : vector_signed_int) return vector_signed_int
2410 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2414 (A : vector_signed_int;
2415 B : vector_bool_int) return vector_signed_int
2418 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2422 (A : vector_signed_int;
2423 B : vector_signed_int) return vector_signed_int
2426 return To_LL_VSI (vmaxsw (To_LL_VSI (A), To_LL_VSI (B)));
2432 (A : vector_bool_int;
2433 B : vector_unsigned_int) return vector_unsigned_int
2436 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2440 (A : vector_unsigned_int;
2441 B : vector_bool_int) return vector_unsigned_int
2444 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2448 (A : vector_unsigned_int;
2449 B : vector_unsigned_int) return vector_unsigned_int
2452 return To_LL_VUI (vmaxuw (To_LL_VSI (A), To_LL_VSI (B)));
2458 (A : vector_bool_short;
2459 B : vector_signed_short) return vector_signed_short
2462 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2466 (A : vector_signed_short;
2467 B : vector_bool_short) return vector_signed_short
2470 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2474 (A : vector_signed_short;
2475 B : vector_signed_short) return vector_signed_short
2478 return To_LL_VSS (vmaxsh (To_LL_VSS (A), To_LL_VSS (B)));
2484 (A : vector_bool_short;
2485 B : vector_unsigned_short) return vector_unsigned_short
2488 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2492 (A : vector_unsigned_short;
2493 B : vector_bool_short) return vector_unsigned_short
2496 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2500 (A : vector_unsigned_short;
2501 B : vector_unsigned_short) return vector_unsigned_short
2504 return To_LL_VUS (vmaxuh (To_LL_VSS (A), To_LL_VSS (B)));
2510 (A : vector_bool_char;
2511 B : vector_signed_char) return vector_signed_char
2514 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2518 (A : vector_signed_char;
2519 B : vector_bool_char) return vector_signed_char
2522 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2526 (A : vector_signed_char;
2527 B : vector_signed_char) return vector_signed_char
2530 return To_LL_VSC (vmaxsb (To_LL_VSC (A), To_LL_VSC (B)));
2536 (A : vector_bool_char;
2537 B : vector_unsigned_char) return vector_unsigned_char
2540 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2544 (A : vector_unsigned_char;
2545 B : vector_bool_char) return vector_unsigned_char
2548 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2552 (A : vector_unsigned_char;
2553 B : vector_unsigned_char) return vector_unsigned_char
2556 return To_LL_VUC (vmaxub (To_LL_VSC (A), To_LL_VSC (B)));
2562 (A : vector_bool_char;
2563 B : vector_bool_char) return vector_bool_char
2566 return To_LL_VBC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2570 (A : vector_signed_char;
2571 B : vector_signed_char) return vector_signed_char
2574 return To_LL_VSC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2578 (A : vector_unsigned_char;
2579 B : vector_unsigned_char) return vector_unsigned_char
2582 return To_LL_VUC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2586 (A : vector_bool_short;
2587 B : vector_bool_short) return vector_bool_short
2590 return To_LL_VBS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2595 B : vector_pixel) return vector_pixel
2598 return To_LL_VP (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2602 (A : vector_signed_short;
2603 B : vector_signed_short) return vector_signed_short
2606 return To_LL_VSS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2610 (A : vector_unsigned_short;
2611 B : vector_unsigned_short) return vector_unsigned_short
2614 return To_LL_VUS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2619 B : vector_float) return vector_float
2622 return To_LL_VF (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2626 (A : vector_bool_int;
2627 B : vector_bool_int) return vector_bool_int
2630 return To_LL_VBI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2634 (A : vector_signed_int;
2635 B : vector_signed_int) return vector_signed_int
2638 return To_LL_VSI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2642 (A : vector_unsigned_int;
2643 B : vector_unsigned_int) return vector_unsigned_int
2646 return To_LL_VUI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2653 B : vector_float) return vector_float
2656 return To_LL_VF (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2660 (A : vector_bool_int;
2661 B : vector_bool_int) return vector_bool_int
2664 return To_LL_VBI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2668 (A : vector_signed_int;
2669 B : vector_signed_int) return vector_signed_int
2672 return To_LL_VSI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2676 (A : vector_unsigned_int;
2677 B : vector_unsigned_int) return vector_unsigned_int
2680 return To_LL_VUI (vmrghw (To_LL_VSI (A), To_LL_VSI (B)));
2686 (A : vector_bool_short;
2687 B : vector_bool_short) return vector_bool_short
2690 return To_LL_VBS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2694 (A : vector_signed_short;
2695 B : vector_signed_short) return vector_signed_short
2698 return To_LL_VSS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2702 (A : vector_unsigned_short;
2703 B : vector_unsigned_short) return vector_unsigned_short
2706 return To_LL_VUS (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2711 B : vector_pixel) return vector_pixel
2714 return To_LL_VP (vmrghh (To_LL_VSS (A), To_LL_VSS (B)));
2720 (A : vector_bool_char;
2721 B : vector_bool_char) return vector_bool_char
2724 return To_LL_VBC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2728 (A : vector_signed_char;
2729 B : vector_signed_char) return vector_signed_char
2732 return To_LL_VSC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2736 (A : vector_unsigned_char;
2737 B : vector_unsigned_char) return vector_unsigned_char
2740 return To_LL_VUC (vmrghb (To_LL_VSC (A), To_LL_VSC (B)));
2746 (A : vector_bool_char;
2747 B : vector_bool_char) return vector_bool_char
2750 return To_LL_VBC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2754 (A : vector_signed_char;
2755 B : vector_signed_char) return vector_signed_char
2758 return To_LL_VSC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2762 (A : vector_unsigned_char;
2763 B : vector_unsigned_char) return vector_unsigned_char
2766 return To_LL_VUC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2770 (A : vector_bool_short;
2771 B : vector_bool_short) return vector_bool_short
2774 return To_LL_VBS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2779 B : vector_pixel) return vector_pixel
2782 return To_LL_VP (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2786 (A : vector_signed_short;
2787 B : vector_signed_short) return vector_signed_short
2790 return To_LL_VSS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2794 (A : vector_unsigned_short;
2795 B : vector_unsigned_short) return vector_unsigned_short
2798 return To_LL_VUS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2803 B : vector_float) return vector_float
2806 return To_LL_VF (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2810 (A : vector_bool_int;
2811 B : vector_bool_int) return vector_bool_int
2814 return To_LL_VBI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2818 (A : vector_signed_int;
2819 B : vector_signed_int) return vector_signed_int
2822 return To_LL_VSI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2826 (A : vector_unsigned_int;
2827 B : vector_unsigned_int) return vector_unsigned_int
2830 return To_LL_VUI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2837 B : vector_float) return vector_float
2840 return To_LL_VF (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2844 (A : vector_signed_int;
2845 B : vector_signed_int) return vector_signed_int
2848 return To_LL_VSI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2852 (A : vector_unsigned_int;
2853 B : vector_unsigned_int) return vector_unsigned_int
2856 return To_LL_VUI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2860 (A : vector_bool_int;
2861 B : vector_bool_int) return vector_bool_int
2864 return To_LL_VBI (vmrglw (To_LL_VSI (A), To_LL_VSI (B)));
2870 (A : vector_bool_short;
2871 B : vector_bool_short) return vector_bool_short
2874 return To_LL_VBS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2878 (A : vector_signed_short;
2879 B : vector_signed_short) return vector_signed_short
2882 return To_LL_VSS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2886 (A : vector_unsigned_short;
2887 B : vector_unsigned_short) return vector_unsigned_short
2890 return To_LL_VUS (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2895 B : vector_pixel) return vector_pixel
2898 return To_LL_VP (vmrglh (To_LL_VSS (A), To_LL_VSS (B)));
2904 (A : vector_bool_char;
2905 B : vector_bool_char) return vector_bool_char
2908 return To_LL_VBC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2912 (A : vector_signed_char;
2913 B : vector_signed_char) return vector_signed_char
2916 return To_LL_VSC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2920 (A : vector_unsigned_char;
2921 B : vector_unsigned_char) return vector_unsigned_char
2924 return To_LL_VUC (vmrglb (To_LL_VSC (A), To_LL_VSC (B)));
2929 function vec_mfvscr return vector_unsigned_short
2932 return To_LL_VUS (mfvscr);
2938 (A : vector_bool_char;
2939 B : vector_unsigned_char) return vector_unsigned_char
2942 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
2946 (A : vector_unsigned_char;
2947 B : vector_bool_char) return vector_unsigned_char
2950 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
2954 (A : vector_unsigned_char;
2955 B : vector_unsigned_char) return vector_unsigned_char
2958 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
2962 (A : vector_bool_char;
2963 B : vector_signed_char) return vector_signed_char
2966 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
2970 (A : vector_signed_char;
2971 B : vector_bool_char) return vector_signed_char
2974 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
2978 (A : vector_signed_char;
2979 B : vector_signed_char) return vector_signed_char
2982 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
2986 (A : vector_bool_short;
2987 B : vector_unsigned_short) return vector_unsigned_short
2990 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
2994 (A : vector_unsigned_short;
2995 B : vector_bool_short) return vector_unsigned_short
2998 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3002 (A : vector_unsigned_short;
3003 B : vector_unsigned_short) return vector_unsigned_short
3006 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3010 (A : vector_bool_short;
3011 B : vector_signed_short) return vector_signed_short
3014 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3018 (A : vector_signed_short;
3019 B : vector_bool_short) return vector_signed_short
3022 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3026 (A : vector_signed_short;
3027 B : vector_signed_short) return vector_signed_short
3030 return To_LL_VSS (vminsh (To_LL_VSS (A), To_LL_VSS (B)));
3034 (A : vector_bool_int;
3035 B : vector_unsigned_int) return vector_unsigned_int
3038 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3042 (A : vector_unsigned_int;
3043 B : vector_bool_int) return vector_unsigned_int
3046 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3050 (A : vector_unsigned_int;
3051 B : vector_unsigned_int) return vector_unsigned_int
3054 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3058 (A : vector_bool_int;
3059 B : vector_signed_int) return vector_signed_int
3062 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3066 (A : vector_signed_int;
3067 B : vector_bool_int) return vector_signed_int
3070 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3074 (A : vector_signed_int;
3075 B : vector_signed_int) return vector_signed_int
3078 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3083 B : vector_float) return vector_float
3086 return To_LL_VF (vminfp (To_LL_VF (A), To_LL_VF (B)));
3093 B : vector_float) return vector_float
3096 return To_LL_VF (vminfp (To_LL_VF (A), To_LL_VF (B)));
3102 (A : vector_bool_int;
3103 B : vector_signed_int) return vector_signed_int
3106 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3110 (A : vector_signed_int;
3111 B : vector_bool_int) return vector_signed_int
3114 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3118 (A : vector_signed_int;
3119 B : vector_signed_int) return vector_signed_int
3122 return To_LL_VSI (vminsw (To_LL_VSI (A), To_LL_VSI (B)));
3128 (A : vector_bool_int;
3129 B : vector_unsigned_int) return vector_unsigned_int
3132 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3136 (A : vector_unsigned_int;
3137 B : vector_bool_int) return vector_unsigned_int
3140 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (B)));
3144 (A : vector_unsigned_int;
3145 B : vector_unsigned_int) return vector_unsigned_int
3148 return To_LL_VUI (vminuw (To_LL_VSI (A), To_LL_VSI (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)));
3180 (A : vector_bool_short;
3181 B : vector_unsigned_short) return vector_unsigned_short
3184 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3188 (A : vector_unsigned_short;
3189 B : vector_bool_short) return vector_unsigned_short
3192 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3196 (A : vector_unsigned_short;
3197 B : vector_unsigned_short) return vector_unsigned_short
3200 return To_LL_VUS (vminuh (To_LL_VSS (A), To_LL_VSS (B)));
3206 (A : vector_bool_char;
3207 B : vector_signed_char) return vector_signed_char
3210 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3214 (A : vector_signed_char;
3215 B : vector_bool_char) return vector_signed_char
3218 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3222 (A : vector_signed_char;
3223 B : vector_signed_char) return vector_signed_char
3226 return To_LL_VSC (vminsb (To_LL_VSC (A), To_LL_VSC (B)));
3232 (A : vector_bool_char;
3233 B : vector_unsigned_char) return vector_unsigned_char
3236 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3240 (A : vector_unsigned_char;
3241 B : vector_bool_char) return vector_unsigned_char
3244 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3248 (A : vector_unsigned_char;
3249 B : vector_unsigned_char) return vector_unsigned_char
3252 return To_LL_VUC (vminub (To_LL_VSC (A), To_LL_VSC (B)));
3258 (A : vector_signed_short;
3259 B : vector_signed_short;
3260 C : vector_signed_short) return vector_signed_short
3263 return vmladduhm (A, B, C);
3267 (A : vector_signed_short;
3268 B : vector_unsigned_short;
3269 C : vector_unsigned_short) return vector_signed_short
3272 return vmladduhm (A, To_LL_VSS (B), To_LL_VSS (C));
3276 (A : vector_unsigned_short;
3277 B : vector_signed_short;
3278 C : vector_signed_short) return vector_signed_short
3281 return vmladduhm (To_LL_VSS (A), B, C);
3285 (A : vector_unsigned_short;
3286 B : vector_unsigned_short;
3287 C : vector_unsigned_short) return vector_unsigned_short
3291 To_LL_VUS (vmladduhm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSS (C)));
3297 (A : vector_signed_short;
3298 B : vector_signed_short;
3299 C : vector_signed_short) return vector_signed_short
3302 return vmhraddshs (A, B, C);
3308 (A : vector_unsigned_char;
3309 B : vector_unsigned_char;
3310 C : vector_unsigned_int) return vector_unsigned_int
3314 To_LL_VUI (vmsumubm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3318 (A : vector_signed_char;
3319 B : vector_unsigned_char;
3320 C : vector_signed_int) return vector_signed_int
3324 To_LL_VSI (vmsummbm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3328 (A : vector_unsigned_short;
3329 B : vector_unsigned_short;
3330 C : vector_unsigned_int) return vector_unsigned_int
3334 To_LL_VUI (vmsumuhm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3338 (A : vector_signed_short;
3339 B : vector_signed_short;
3340 C : vector_signed_int) return vector_signed_int
3344 To_LL_VSI (vmsumshm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3349 function vec_vmsumshm
3350 (A : vector_signed_short;
3351 B : vector_signed_short;
3352 C : vector_signed_int) return vector_signed_int
3356 To_LL_VSI (vmsumshm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3361 function vec_vmsumuhm
3362 (A : vector_unsigned_short;
3363 B : vector_unsigned_short;
3364 C : vector_unsigned_int) return vector_unsigned_int
3368 To_LL_VUI (vmsumuhm (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3373 function vec_vmsummbm
3374 (A : vector_signed_char;
3375 B : vector_unsigned_char;
3376 C : vector_signed_int) return vector_signed_int
3380 To_LL_VSI (vmsummbm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3385 function vec_vmsumubm
3386 (A : vector_unsigned_char;
3387 B : vector_unsigned_char;
3388 C : vector_unsigned_int) return vector_unsigned_int
3392 To_LL_VUI (vmsumubm (To_LL_VSC (A), To_LL_VSC (B), To_LL_VSI (C)));
3398 (A : vector_unsigned_short;
3399 B : vector_unsigned_short;
3400 C : vector_unsigned_int) return vector_unsigned_int
3404 To_LL_VUI (vmsumuhs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3408 (A : vector_signed_short;
3409 B : vector_signed_short;
3410 C : vector_signed_int) return vector_signed_int
3414 To_LL_VSI (vmsumshs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3419 function vec_vmsumshs
3420 (A : vector_signed_short;
3421 B : vector_signed_short;
3422 C : vector_signed_int) return vector_signed_int
3426 To_LL_VSI (vmsumshs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3431 function vec_vmsumuhs
3432 (A : vector_unsigned_short;
3433 B : vector_unsigned_short;
3434 C : vector_unsigned_int) return vector_unsigned_int
3438 To_LL_VUI (vmsumuhs (To_LL_VSS (A), To_LL_VSS (B), To_LL_VSI (C)));
3443 procedure vec_mtvscr
3444 (A : vector_signed_int)
3447 mtvscr (To_LL_VSI (A));
3450 procedure vec_mtvscr
3451 (A : vector_unsigned_int)
3454 mtvscr (To_LL_VSI (A));
3457 procedure vec_mtvscr
3458 (A : vector_bool_int)
3461 mtvscr (To_LL_VSI (A));
3464 procedure vec_mtvscr
3465 (A : vector_signed_short)
3468 mtvscr (To_LL_VSI (A));
3471 procedure vec_mtvscr
3472 (A : vector_unsigned_short)
3475 mtvscr (To_LL_VSI (A));
3478 procedure vec_mtvscr
3479 (A : vector_bool_short)
3482 mtvscr (To_LL_VSI (A));
3485 procedure vec_mtvscr
3489 mtvscr (To_LL_VSI (A));
3492 procedure vec_mtvscr
3493 (A : vector_signed_char)
3496 mtvscr (To_LL_VSI (A));
3499 procedure vec_mtvscr
3500 (A : vector_unsigned_char)
3503 mtvscr (To_LL_VSI (A));
3506 procedure vec_mtvscr
3507 (A : vector_bool_char)
3510 mtvscr (To_LL_VSI (A));
3516 (A : vector_unsigned_char;
3517 B : vector_unsigned_char) return vector_unsigned_short
3520 return To_LL_VUS (vmuleub (To_LL_VSC (A), To_LL_VSC (B)));
3524 (A : vector_signed_char;
3525 B : vector_signed_char) return vector_signed_short
3528 return To_LL_VSS (vmulesb (To_LL_VSC (A), To_LL_VSC (B)));
3532 (A : vector_unsigned_short;
3533 B : vector_unsigned_short) return vector_unsigned_int
3536 return To_LL_VUI (vmuleuh (To_LL_VSS (A), To_LL_VSS (B)));
3540 (A : vector_signed_short;
3541 B : vector_signed_short) return vector_signed_int
3544 return To_LL_VSI (vmulesh (To_LL_VSS (A), To_LL_VSS (B)));
3549 function vec_vmulesh
3550 (A : vector_signed_short;
3551 B : vector_signed_short) return vector_signed_int
3554 return To_LL_VSI (vmulesh (To_LL_VSS (A), To_LL_VSS (B)));
3559 function vec_vmuleuh
3560 (A : vector_unsigned_short;
3561 B : vector_unsigned_short) return vector_unsigned_int
3564 return To_LL_VUI (vmuleuh (To_LL_VSS (A), To_LL_VSS (B)));
3569 function vec_vmulesb
3570 (A : vector_signed_char;
3571 B : vector_signed_char) return vector_signed_short
3574 return To_LL_VSS (vmuleub (To_LL_VSC (A), To_LL_VSC (B)));
3579 function vec_vmuleub
3580 (A : vector_unsigned_char;
3581 B : vector_unsigned_char) return vector_unsigned_short
3584 return To_LL_VUS (vmuleub (To_LL_VSC (A), To_LL_VSC (B)));
3590 (A : vector_unsigned_char;
3591 B : vector_unsigned_char) return vector_unsigned_short
3594 return To_LL_VUS (vmuloub (To_LL_VSC (A), To_LL_VSC (B)));
3598 (A : vector_signed_char;
3599 B : vector_signed_char) return vector_signed_short
3602 return To_LL_VSS (vmulosb (To_LL_VSC (A), To_LL_VSC (B)));
3606 (A : vector_unsigned_short;
3607 B : vector_unsigned_short) return vector_unsigned_int
3610 return To_LL_VUI (vmulouh (To_LL_VSS (A), To_LL_VSS (B)));
3614 (A : vector_signed_short;
3615 B : vector_signed_short) return vector_signed_int
3618 return To_LL_VSI (vmulosh (To_LL_VSS (A), To_LL_VSS (B)));
3623 function vec_vmulosh
3624 (A : vector_signed_short;
3625 B : vector_signed_short) return vector_signed_int
3628 return To_LL_VSI (vmulosh (To_LL_VSS (A), To_LL_VSS (B)));
3633 function vec_vmulouh
3634 (A : vector_unsigned_short;
3635 B : vector_unsigned_short) return vector_unsigned_int
3638 return To_LL_VUI (vmulouh (To_LL_VSS (A), To_LL_VSS (B)));
3643 function vec_vmulosb
3644 (A : vector_signed_char;
3645 B : vector_signed_char) return vector_signed_short
3648 return To_LL_VSS (vmulosb (To_LL_VSC (A), To_LL_VSC (B)));
3653 function vec_vmuloub
3654 (A : vector_unsigned_char;
3655 B : vector_unsigned_char) return vector_unsigned_short
3658 return To_LL_VUS (vmuloub (To_LL_VSC (A), To_LL_VSC (B)));
3666 C : vector_float) return vector_float
3669 return To_LL_VF (vnmsubfp (To_LL_VF (A), To_LL_VF (B), To_LL_VF (C)));
3676 B : vector_float) return vector_float
3679 return To_LL_VF (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3683 (A : vector_signed_int;
3684 B : vector_signed_int) return vector_signed_int
3687 return To_LL_VSI (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3691 (A : vector_unsigned_int;
3692 B : vector_unsigned_int) return vector_unsigned_int
3695 return To_LL_VUI (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3699 (A : vector_bool_int;
3700 B : vector_bool_int) return vector_bool_int
3703 return To_LL_VBI (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3707 (A : vector_signed_short;
3708 B : vector_signed_short) return vector_signed_short
3711 return To_LL_VSS (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3715 (A : vector_unsigned_short;
3716 B : vector_unsigned_short) return vector_unsigned_short
3719 return To_LL_VUS (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3723 (A : vector_bool_short;
3724 B : vector_bool_short) return vector_bool_short
3727 return To_LL_VBS (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3731 (A : vector_signed_char;
3732 B : vector_signed_char) return vector_signed_char
3735 return To_LL_VSC (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3739 (A : vector_unsigned_char;
3740 B : vector_unsigned_char) return vector_unsigned_char
3743 return To_LL_VUC (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3747 (A : vector_bool_char;
3748 B : vector_bool_char) return vector_bool_char
3751 return To_LL_VBC (vnor (To_LL_VSI (A), To_LL_VSI (B)));
3758 B : vector_float) return vector_float
3761 return To_LL_VF (vor (To_LL_VSI (A), To_LL_VSI (B)));
3766 B : vector_bool_int) return vector_float
3769 return To_LL_VF (vor (To_LL_VSI (A), To_LL_VSI (B)));
3773 (A : vector_bool_int;
3774 B : vector_float) return vector_float
3777 return To_LL_VF (vor (To_LL_VSI (A), To_LL_VSI (B)));
3781 (A : vector_bool_int;
3782 B : vector_bool_int) return vector_bool_int
3785 return To_LL_VBI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3789 (A : vector_bool_int;
3790 B : vector_signed_int) return vector_signed_int
3793 return To_LL_VSI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3797 (A : vector_signed_int;
3798 B : vector_bool_int) return vector_signed_int
3801 return To_LL_VSI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3805 (A : vector_signed_int;
3806 B : vector_signed_int) return vector_signed_int
3809 return To_LL_VSI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3813 (A : vector_bool_int;
3814 B : vector_unsigned_int) return vector_unsigned_int
3817 return To_LL_VUI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3821 (A : vector_unsigned_int;
3822 B : vector_bool_int) return vector_unsigned_int
3825 return To_LL_VUI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3829 (A : vector_unsigned_int;
3830 B : vector_unsigned_int) return vector_unsigned_int
3833 return To_LL_VUI (vor (To_LL_VSI (A), To_LL_VSI (B)));
3837 (A : vector_bool_short;
3838 B : vector_bool_short) return vector_bool_short
3841 return To_LL_VBS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3845 (A : vector_bool_short;
3846 B : vector_signed_short) return vector_signed_short
3849 return To_LL_VSS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3853 (A : vector_signed_short;
3854 B : vector_bool_short) return vector_signed_short
3857 return To_LL_VSS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3861 (A : vector_signed_short;
3862 B : vector_signed_short) return vector_signed_short
3865 return To_LL_VSS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3869 (A : vector_bool_short;
3870 B : vector_unsigned_short) return vector_unsigned_short
3873 return To_LL_VUS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3877 (A : vector_unsigned_short;
3878 B : vector_bool_short) return vector_unsigned_short
3881 return To_LL_VUS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3885 (A : vector_unsigned_short;
3886 B : vector_unsigned_short) return vector_unsigned_short
3889 return To_LL_VUS (vor (To_LL_VSI (A), To_LL_VSI (B)));
3893 (A : vector_bool_char;
3894 B : vector_signed_char) return vector_signed_char
3897 return To_LL_VSC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3901 (A : vector_bool_char;
3902 B : vector_bool_char) return vector_bool_char
3905 return To_LL_VBC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3909 (A : vector_signed_char;
3910 B : vector_bool_char) return vector_signed_char
3913 return To_LL_VSC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3917 (A : vector_signed_char;
3918 B : vector_signed_char) return vector_signed_char
3921 return To_LL_VSC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3925 (A : vector_bool_char;
3926 B : vector_unsigned_char) return vector_unsigned_char
3929 return To_LL_VUC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3933 (A : vector_unsigned_char;
3934 B : vector_bool_char) return vector_unsigned_char
3937 return To_LL_VUC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3941 (A : vector_unsigned_char;
3942 B : vector_unsigned_char) return vector_unsigned_char
3945 return To_LL_VUC (vor (To_LL_VSI (A), To_LL_VSI (B)));
3951 (A : vector_signed_short;
3952 B : vector_signed_short) return vector_signed_char
3955 return To_LL_VSC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
3959 (A : vector_unsigned_short;
3960 B : vector_unsigned_short) return vector_unsigned_char
3963 return To_LL_VUC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
3967 (A : vector_bool_short;
3968 B : vector_bool_short) return vector_bool_char
3971 return To_LL_VBC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
3975 (A : vector_signed_int;
3976 B : vector_signed_int) return vector_signed_short
3979 return To_LL_VSS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
3983 (A : vector_unsigned_int;
3984 B : vector_unsigned_int) return vector_unsigned_short
3987 return To_LL_VUS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
3991 (A : vector_bool_int;
3992 B : vector_bool_int) return vector_bool_short
3995 return To_LL_VBS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4000 function vec_vpkuwum
4001 (A : vector_bool_int;
4002 B : vector_bool_int) return vector_bool_short
4005 return To_LL_VBS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4008 function vec_vpkuwum
4009 (A : vector_signed_int;
4010 B : vector_signed_int) return vector_signed_short
4013 return To_LL_VSS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4016 function vec_vpkuwum
4017 (A : vector_unsigned_int;
4018 B : vector_unsigned_int) return vector_unsigned_short
4021 return To_LL_VUS (vpkuwum (To_LL_VSI (A), To_LL_VSI (B)));
4026 function vec_vpkuhum
4027 (A : vector_bool_short;
4028 B : vector_bool_short) return vector_bool_char
4031 return To_LL_VBC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4034 function vec_vpkuhum
4035 (A : vector_signed_short;
4036 B : vector_signed_short) return vector_signed_char
4039 return To_LL_VSC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4042 function vec_vpkuhum
4043 (A : vector_unsigned_short;
4044 B : vector_unsigned_short) return vector_unsigned_char
4047 return To_LL_VUC (vpkuhum (To_LL_VSS (A), To_LL_VSS (B)));
4053 (A : vector_unsigned_int;
4054 B : vector_unsigned_int) return vector_pixel
4057 return To_LL_VP (vpkpx (To_LL_VSI (A), To_LL_VSI (B)));
4063 (A : vector_unsigned_short;
4064 B : vector_unsigned_short) return vector_unsigned_char
4067 return To_LL_VUC (vpkuhus (To_LL_VSS (A), To_LL_VSS (B)));
4071 (A : vector_signed_short;
4072 B : vector_signed_short) return vector_signed_char
4075 return To_LL_VSC (vpkshss (To_LL_VSS (A), To_LL_VSS (B)));
4079 (A : vector_unsigned_int;
4080 B : vector_unsigned_int) return vector_unsigned_short
4083 return To_LL_VUS (vpkuwus (To_LL_VSI (A), To_LL_VSI (B)));
4087 (A : vector_signed_int;
4088 B : vector_signed_int) return vector_signed_short
4091 return To_LL_VSS (vpkswss (To_LL_VSI (A), To_LL_VSI (B)));
4096 function vec_vpkswss
4097 (A : vector_signed_int;
4098 B : vector_signed_int) return vector_signed_short
4101 return To_LL_VSS (vpkswss (To_LL_VSI (A), To_LL_VSI (B)));
4106 function vec_vpkuwus
4107 (A : vector_unsigned_int;
4108 B : vector_unsigned_int) return vector_unsigned_short
4111 return To_LL_VUS (vpkuwus (To_LL_VSI (A), To_LL_VSI (B)));
4116 function vec_vpkshss
4117 (A : vector_signed_short;
4118 B : vector_signed_short) return vector_signed_char
4121 return To_LL_VSC (vpkshss (To_LL_VSS (A), To_LL_VSS (B)));
4126 function vec_vpkuhus
4127 (A : vector_unsigned_short;
4128 B : vector_unsigned_short) return vector_unsigned_char
4131 return To_LL_VUC (vpkuhus (To_LL_VSS (A), To_LL_VSS (B)));
4137 (A : vector_unsigned_short;
4138 B : vector_unsigned_short) return vector_unsigned_char
4141 return To_LL_VUC (vpkuhus (To_LL_VSS (A), To_LL_VSS (B)));
4145 (A : vector_signed_short;
4146 B : vector_signed_short) return vector_unsigned_char
4149 return To_LL_VUC (vpkshus (To_LL_VSS (A), To_LL_VSS (B)));
4153 (A : vector_unsigned_int;
4154 B : vector_unsigned_int) return vector_unsigned_short
4157 return To_LL_VUS (vpkuwus (To_LL_VSI (A), To_LL_VSI (B)));
4161 (A : vector_signed_int;
4162 B : vector_signed_int) return vector_unsigned_short
4165 return To_LL_VUS (vpkswus (To_LL_VSI (A), To_LL_VSI (B)));
4170 function vec_vpkswus
4171 (A : vector_signed_int;
4172 B : vector_signed_int) return vector_unsigned_short
4175 return To_LL_VUS (vpkswus (To_LL_VSI (A), To_LL_VSI (B)));
4180 function vec_vpkshus
4181 (A : vector_signed_short;
4182 B : vector_signed_short) return vector_unsigned_char
4185 return To_LL_VUC (vpkshus (To_LL_VSS (A), To_LL_VSS (B)));
4193 C : vector_unsigned_char) return vector_float
4197 To_LL_VF (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4201 (A : vector_signed_int;
4202 B : vector_signed_int;
4203 C : vector_unsigned_char) return vector_signed_int
4207 To_LL_VSI (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4211 (A : vector_unsigned_int;
4212 B : vector_unsigned_int;
4213 C : vector_unsigned_char) return vector_unsigned_int
4217 To_LL_VUI (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4221 (A : vector_bool_int;
4222 B : vector_bool_int;
4223 C : vector_unsigned_char) return vector_bool_int
4227 To_LL_VBI (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4231 (A : vector_signed_short;
4232 B : vector_signed_short;
4233 C : vector_unsigned_char) return vector_signed_short
4237 To_LL_VSS (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4241 (A : vector_unsigned_short;
4242 B : vector_unsigned_short;
4243 C : vector_unsigned_char) return vector_unsigned_short
4247 To_LL_VUS (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4251 (A : vector_bool_short;
4252 B : vector_bool_short;
4253 C : vector_unsigned_char) return vector_bool_short
4257 To_LL_VBS (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4263 C : vector_unsigned_char) return vector_pixel
4267 (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4271 (A : vector_signed_char;
4272 B : vector_signed_char;
4273 C : vector_unsigned_char) return vector_signed_char
4277 (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4281 (A : vector_unsigned_char;
4282 B : vector_unsigned_char;
4283 C : vector_unsigned_char) return vector_unsigned_char
4287 To_LL_VUC (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4291 (A : vector_bool_char;
4292 B : vector_bool_char;
4293 C : vector_unsigned_char) return vector_bool_char
4297 To_LL_VBC (vperm_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSC (C)));
4303 (A : vector_float) return vector_float
4306 return To_LL_VF (vrefp (To_LL_VF (A)));
4312 (A : vector_signed_char;
4313 B : vector_unsigned_char) return vector_signed_char
4316 return To_LL_VSC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4320 (A : vector_unsigned_char;
4321 B : vector_unsigned_char) return vector_unsigned_char
4324 return To_LL_VUC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4328 (A : vector_signed_short;
4329 B : vector_unsigned_short) return vector_signed_short
4332 return To_LL_VSS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4336 (A : vector_unsigned_short;
4337 B : vector_unsigned_short) return vector_unsigned_short
4340 return To_LL_VUS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4344 (A : vector_signed_int;
4345 B : vector_unsigned_int) return vector_signed_int
4348 return To_LL_VSI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4352 (A : vector_unsigned_int;
4353 B : vector_unsigned_int) return vector_unsigned_int
4356 return To_LL_VUI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4362 (A : vector_signed_int;
4363 B : vector_unsigned_int) return vector_signed_int
4366 return To_LL_VSI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4370 (A : vector_unsigned_int;
4371 B : vector_unsigned_int) return vector_unsigned_int
4374 return To_LL_VUI (vrlw (To_LL_VSI (A), To_LL_VSI (B)));
4380 (A : vector_signed_short;
4381 B : vector_unsigned_short) return vector_signed_short
4384 return To_LL_VSS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4388 (A : vector_unsigned_short;
4389 B : vector_unsigned_short) return vector_unsigned_short
4392 return To_LL_VUS (vrlh (To_LL_VSS (A), To_LL_VSS (B)));
4398 (A : vector_signed_char;
4399 B : vector_unsigned_char) return vector_signed_char
4402 return To_LL_VSC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4406 (A : vector_unsigned_char;
4407 B : vector_unsigned_char) return vector_unsigned_char
4410 return To_LL_VUC (vrlb (To_LL_VSC (A), To_LL_VSC (B)));
4416 (A : vector_float) return vector_float
4419 return To_LL_VF (vrfin (To_LL_VF (A)));
4425 (A : vector_float) return vector_float
4428 return To_LL_VF (vrsqrtefp (To_LL_VF (A)));
4436 C : vector_bool_int) return vector_float
4439 return To_LL_VF (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4445 C : vector_unsigned_int) return vector_float
4448 return To_LL_VF (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4452 (A : vector_signed_int;
4453 B : vector_signed_int;
4454 C : vector_bool_int) return vector_signed_int
4458 To_LL_VSI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4462 (A : vector_signed_int;
4463 B : vector_signed_int;
4464 C : vector_unsigned_int) return vector_signed_int
4468 To_LL_VSI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4472 (A : vector_unsigned_int;
4473 B : vector_unsigned_int;
4474 C : vector_bool_int) return vector_unsigned_int
4478 To_LL_VUI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4482 (A : vector_unsigned_int;
4483 B : vector_unsigned_int;
4484 C : vector_unsigned_int) return vector_unsigned_int
4488 To_LL_VUI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4492 (A : vector_bool_int;
4493 B : vector_bool_int;
4494 C : vector_bool_int) return vector_bool_int
4498 To_LL_VBI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4502 (A : vector_bool_int;
4503 B : vector_bool_int;
4504 C : vector_unsigned_int) return vector_bool_int
4508 To_LL_VBI (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4512 (A : vector_signed_short;
4513 B : vector_signed_short;
4514 C : vector_bool_short) return vector_signed_short
4518 To_LL_VSS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4522 (A : vector_signed_short;
4523 B : vector_signed_short;
4524 C : vector_unsigned_short) return vector_signed_short
4528 To_LL_VSS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4532 (A : vector_unsigned_short;
4533 B : vector_unsigned_short;
4534 C : vector_bool_short) return vector_unsigned_short
4538 To_LL_VUS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4542 (A : vector_unsigned_short;
4543 B : vector_unsigned_short;
4544 C : vector_unsigned_short) return vector_unsigned_short
4548 To_LL_VUS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4552 (A : vector_bool_short;
4553 B : vector_bool_short;
4554 C : vector_bool_short) return vector_bool_short
4558 To_LL_VBS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4562 (A : vector_bool_short;
4563 B : vector_bool_short;
4564 C : vector_unsigned_short) return vector_bool_short
4568 To_LL_VBS (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4572 (A : vector_signed_char;
4573 B : vector_signed_char;
4574 C : vector_bool_char) return vector_signed_char
4578 To_LL_VSC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4582 (A : vector_signed_char;
4583 B : vector_signed_char;
4584 C : vector_unsigned_char) return vector_signed_char
4588 To_LL_VSC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4592 (A : vector_unsigned_char;
4593 B : vector_unsigned_char;
4594 C : vector_bool_char) return vector_unsigned_char
4598 To_LL_VUC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4602 (A : vector_unsigned_char;
4603 B : vector_unsigned_char;
4604 C : vector_unsigned_char) return vector_unsigned_char
4608 To_LL_VUC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4612 (A : vector_bool_char;
4613 B : vector_bool_char;
4614 C : vector_bool_char) return vector_bool_char
4618 To_LL_VBC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4622 (A : vector_bool_char;
4623 B : vector_bool_char;
4624 C : vector_unsigned_char) return vector_bool_char
4628 To_LL_VBC (vsel_4si (To_LL_VSI (A), To_LL_VSI (B), To_LL_VSI (C)));
4634 (A : vector_signed_char;
4635 B : vector_unsigned_char) return vector_signed_char
4638 return To_LL_VSC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4642 (A : vector_unsigned_char;
4643 B : vector_unsigned_char) return vector_unsigned_char
4646 return To_LL_VUC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4650 (A : vector_signed_short;
4651 B : vector_unsigned_short) return vector_signed_short
4654 return To_LL_VSS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4658 (A : vector_unsigned_short;
4659 B : vector_unsigned_short) return vector_unsigned_short
4662 return To_LL_VUS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4666 (A : vector_signed_int;
4667 B : vector_unsigned_int) return vector_signed_int
4670 return To_LL_VSI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4674 (A : vector_unsigned_int;
4675 B : vector_unsigned_int) return vector_unsigned_int
4678 return To_LL_VUI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4684 (A : vector_signed_int;
4685 B : vector_unsigned_int) return vector_signed_int
4688 return To_LL_VSI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4692 (A : vector_unsigned_int;
4693 B : vector_unsigned_int) return vector_unsigned_int
4696 return To_LL_VUI (vslw (To_LL_VSI (A), To_LL_VSI (B)));
4702 (A : vector_signed_short;
4703 B : vector_unsigned_short) return vector_signed_short
4706 return To_LL_VSS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4710 (A : vector_unsigned_short;
4711 B : vector_unsigned_short) return vector_unsigned_short
4714 return To_LL_VUS (vslh (To_LL_VSS (A), To_LL_VSS (B)));
4720 (A : vector_signed_char;
4721 B : vector_unsigned_char) return vector_signed_char
4724 return To_LL_VSC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4728 (A : vector_unsigned_char;
4729 B : vector_unsigned_char) return vector_unsigned_char
4732 return To_LL_VUC (vslb (To_LL_VSC (A), To_LL_VSC (B)));
4738 (A : vector_signed_int;
4739 B : vector_unsigned_int) return vector_signed_int
4742 return To_LL_VSI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4746 (A : vector_signed_int;
4747 B : vector_unsigned_short) return vector_signed_int
4750 return To_LL_VSI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4754 (A : vector_signed_int;
4755 B : vector_unsigned_char) return vector_signed_int
4758 return To_LL_VSI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4762 (A : vector_unsigned_int;
4763 B : vector_unsigned_int) return vector_unsigned_int
4766 return To_LL_VUI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4770 (A : vector_unsigned_int;
4771 B : vector_unsigned_short) return vector_unsigned_int
4774 return To_LL_VUI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4778 (A : vector_unsigned_int;
4779 B : vector_unsigned_char) return vector_unsigned_int
4782 return To_LL_VUI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4786 (A : vector_bool_int;
4787 B : vector_unsigned_int) return vector_bool_int
4790 return To_LL_VBI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4794 (A : vector_bool_int;
4795 B : vector_unsigned_short) return vector_bool_int
4798 return To_LL_VBI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4802 (A : vector_bool_int;
4803 B : vector_unsigned_char) return vector_bool_int
4806 return To_LL_VBI (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4810 (A : vector_signed_short;
4811 B : vector_unsigned_int) return vector_signed_short
4814 return To_LL_VSS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4818 (A : vector_signed_short;
4819 B : vector_unsigned_short) return vector_signed_short
4822 return To_LL_VSS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4826 (A : vector_signed_short;
4827 B : vector_unsigned_char) return vector_signed_short
4830 return To_LL_VSS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4834 (A : vector_unsigned_short;
4835 B : vector_unsigned_int) return vector_unsigned_short
4838 return To_LL_VUS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4842 (A : vector_unsigned_short;
4843 B : vector_unsigned_short) return vector_unsigned_short
4846 return To_LL_VUS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4850 (A : vector_unsigned_short;
4851 B : vector_unsigned_char) return vector_unsigned_short
4854 return To_LL_VUS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4858 (A : vector_bool_short;
4859 B : vector_unsigned_int) return vector_bool_short
4862 return To_LL_VBS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4866 (A : vector_bool_short;
4867 B : vector_unsigned_short) return vector_bool_short
4870 return To_LL_VBS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4874 (A : vector_bool_short;
4875 B : vector_unsigned_char) return vector_bool_short
4878 return To_LL_VBS (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4883 B : vector_unsigned_int) return vector_pixel
4886 return To_LL_VP (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4891 B : vector_unsigned_short) return vector_pixel
4894 return To_LL_VP (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4899 B : vector_unsigned_char) return vector_pixel
4902 return To_LL_VP (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4906 (A : vector_signed_char;
4907 B : vector_unsigned_int) return vector_signed_char
4910 return To_LL_VSC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4914 (A : vector_signed_char;
4915 B : vector_unsigned_short) return vector_signed_char
4918 return To_LL_VSC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4922 (A : vector_signed_char;
4923 B : vector_unsigned_char) return vector_signed_char
4926 return To_LL_VSC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4930 (A : vector_unsigned_char;
4931 B : vector_unsigned_int) return vector_unsigned_char
4934 return To_LL_VUC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4938 (A : vector_unsigned_char;
4939 B : vector_unsigned_short) return vector_unsigned_char
4942 return To_LL_VUC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4946 (A : vector_unsigned_char;
4947 B : vector_unsigned_char) return vector_unsigned_char
4950 return To_LL_VUC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4954 (A : vector_bool_char;
4955 B : vector_unsigned_int) return vector_bool_char
4958 return To_LL_VBC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4962 (A : vector_bool_char;
4963 B : vector_unsigned_short) return vector_bool_char
4966 return To_LL_VBC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4970 (A : vector_bool_char;
4971 B : vector_unsigned_char) return vector_bool_char
4974 return To_LL_VBC (vsl (To_LL_VSI (A), To_LL_VSI (B)));
4981 B : vector_signed_char) return vector_float
4984 return To_LL_VF (vslo (To_LL_VSI (A), To_LL_VSI (B)));
4989 B : vector_unsigned_char) return vector_float
4992 return To_LL_VF (vslo (To_LL_VSI (A), To_LL_VSI (B)));
4996 (A : vector_signed_int;
4997 B : vector_signed_char) return vector_signed_int
5000 return To_LL_VSI (vslo (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 (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5012 (A : vector_unsigned_int;
5013 B : vector_signed_char) return vector_unsigned_int
5016 return To_LL_VUI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5020 (A : vector_unsigned_int;
5021 B : vector_unsigned_char) return vector_unsigned_int
5024 return To_LL_VUI (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5028 (A : vector_signed_short;
5029 B : vector_signed_char) return vector_signed_short
5032 return To_LL_VSS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5036 (A : vector_signed_short;
5037 B : vector_unsigned_char) return vector_signed_short
5040 return To_LL_VSS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5044 (A : vector_unsigned_short;
5045 B : vector_signed_char) return vector_unsigned_short
5048 return To_LL_VUS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5052 (A : vector_unsigned_short;
5053 B : vector_unsigned_char) return vector_unsigned_short
5056 return To_LL_VUS (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5061 B : vector_signed_char) return vector_pixel
5064 return To_LL_VP (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5069 B : vector_unsigned_char) return vector_pixel
5072 return To_LL_VP (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5076 (A : vector_signed_char;
5077 B : vector_signed_char) return vector_signed_char
5080 return To_LL_VSC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5084 (A : vector_signed_char;
5085 B : vector_unsigned_char) return vector_signed_char
5088 return To_LL_VSC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5092 (A : vector_unsigned_char;
5093 B : vector_signed_char) return vector_unsigned_char
5096 return To_LL_VUC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5100 (A : vector_unsigned_char;
5101 B : vector_unsigned_char) return vector_unsigned_char
5104 return To_LL_VUC (vslo (To_LL_VSI (A), To_LL_VSI (B)));
5110 (A : vector_signed_char;
5111 B : vector_unsigned_char) return vector_signed_char
5114 return To_LL_VSC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5118 (A : vector_unsigned_char;
5119 B : vector_unsigned_char) return vector_unsigned_char
5122 return To_LL_VUC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5126 (A : vector_signed_short;
5127 B : vector_unsigned_short) return vector_signed_short
5130 return To_LL_VSS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5134 (A : vector_unsigned_short;
5135 B : vector_unsigned_short) return vector_unsigned_short
5138 return To_LL_VUS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5142 (A : vector_signed_int;
5143 B : vector_unsigned_int) return vector_signed_int
5146 return To_LL_VSI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5150 (A : vector_unsigned_int;
5151 B : vector_unsigned_int) return vector_unsigned_int
5154 return To_LL_VUI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5160 (A : vector_signed_int;
5161 B : vector_unsigned_int) return vector_signed_int
5164 return To_LL_VSI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5168 (A : vector_unsigned_int;
5169 B : vector_unsigned_int) return vector_unsigned_int
5172 return To_LL_VUI (vsrw (To_LL_VSI (A), To_LL_VSI (B)));
5178 (A : vector_signed_short;
5179 B : vector_unsigned_short) return vector_signed_short
5182 return To_LL_VSS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5186 (A : vector_unsigned_short;
5187 B : vector_unsigned_short) return vector_unsigned_short
5190 return To_LL_VUS (vsrh (To_LL_VSS (A), To_LL_VSS (B)));
5196 (A : vector_signed_char;
5197 B : vector_unsigned_char) return vector_signed_char
5200 return To_LL_VSC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5204 (A : vector_unsigned_char;
5205 B : vector_unsigned_char) return vector_unsigned_char
5208 return To_LL_VUC (vsrb (To_LL_VSC (A), To_LL_VSC (B)));
5214 (A : vector_signed_char;
5215 B : vector_unsigned_char) return vector_signed_char
5218 return To_LL_VSC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5222 (A : vector_unsigned_char;
5223 B : vector_unsigned_char) return vector_unsigned_char
5226 return To_LL_VUC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5230 (A : vector_signed_short;
5231 B : vector_unsigned_short) return vector_signed_short
5234 return To_LL_VSS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5238 (A : vector_unsigned_short;
5239 B : vector_unsigned_short) return vector_unsigned_short
5242 return To_LL_VUS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5246 (A : vector_signed_int;
5247 B : vector_unsigned_int) return vector_signed_int
5250 return To_LL_VSI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5254 (A : vector_unsigned_int;
5255 B : vector_unsigned_int) return vector_unsigned_int
5258 return To_LL_VUI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5264 (A : vector_signed_int;
5265 B : vector_unsigned_int) return vector_signed_int
5268 return To_LL_VSI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5272 (A : vector_unsigned_int;
5273 B : vector_unsigned_int) return vector_unsigned_int
5276 return To_LL_VUI (vsraw (To_LL_VSI (A), To_LL_VSI (B)));
5282 (A : vector_signed_short;
5283 B : vector_unsigned_short) return vector_signed_short
5286 return To_LL_VSS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5290 (A : vector_unsigned_short;
5291 B : vector_unsigned_short) return vector_unsigned_short
5294 return To_LL_VUS (vsrah (To_LL_VSS (A), To_LL_VSS (B)));
5300 (A : vector_signed_char;
5301 B : vector_unsigned_char) return vector_signed_char
5304 return To_LL_VSC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5308 (A : vector_unsigned_char;
5309 B : vector_unsigned_char) return vector_unsigned_char
5312 return To_LL_VUC (vsrab (To_LL_VSC (A), To_LL_VSC (B)));
5318 (A : vector_signed_int;
5319 B : vector_unsigned_int) return vector_signed_int
5322 return To_LL_VSI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5326 (A : vector_signed_int;
5327 B : vector_unsigned_short) return vector_signed_int
5330 return To_LL_VSI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5334 (A : vector_signed_int;
5335 B : vector_unsigned_char) return vector_signed_int
5338 return To_LL_VSI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5342 (A : vector_unsigned_int;
5343 B : vector_unsigned_int) return vector_unsigned_int
5346 return To_LL_VUI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5350 (A : vector_unsigned_int;
5351 B : vector_unsigned_short) return vector_unsigned_int
5354 return To_LL_VUI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5358 (A : vector_unsigned_int;
5359 B : vector_unsigned_char) return vector_unsigned_int
5362 return To_LL_VUI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5366 (A : vector_bool_int;
5367 B : vector_unsigned_int) return vector_bool_int
5370 return To_LL_VBI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5374 (A : vector_bool_int;
5375 B : vector_unsigned_short) return vector_bool_int
5378 return To_LL_VBI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5382 (A : vector_bool_int;
5383 B : vector_unsigned_char) return vector_bool_int
5386 return To_LL_VBI (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5390 (A : vector_signed_short;
5391 B : vector_unsigned_int) return vector_signed_short
5394 return To_LL_VSS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5398 (A : vector_signed_short;
5399 B : vector_unsigned_short) return vector_signed_short
5402 return To_LL_VSS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5406 (A : vector_signed_short;
5407 B : vector_unsigned_char) return vector_signed_short
5410 return To_LL_VSS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5414 (A : vector_unsigned_short;
5415 B : vector_unsigned_int) return vector_unsigned_short
5418 return To_LL_VUS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5422 (A : vector_unsigned_short;
5423 B : vector_unsigned_short) return vector_unsigned_short
5426 return To_LL_VUS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5430 (A : vector_unsigned_short;
5431 B : vector_unsigned_char) return vector_unsigned_short
5434 return To_LL_VUS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5438 (A : vector_bool_short;
5439 B : vector_unsigned_int) return vector_bool_short
5442 return To_LL_VBS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5446 (A : vector_bool_short;
5447 B : vector_unsigned_short) return vector_bool_short
5450 return To_LL_VBS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5454 (A : vector_bool_short;
5455 B : vector_unsigned_char) return vector_bool_short
5458 return To_LL_VBS (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5463 B : vector_unsigned_int) return vector_pixel
5466 return To_LL_VP (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5471 B : vector_unsigned_short) return vector_pixel
5474 return To_LL_VP (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5479 B : vector_unsigned_char) return vector_pixel
5482 return To_LL_VP (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5486 (A : vector_signed_char;
5487 B : vector_unsigned_int) return vector_signed_char
5490 return To_LL_VSC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5494 (A : vector_signed_char;
5495 B : vector_unsigned_short) return vector_signed_char
5498 return To_LL_VSC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5502 (A : vector_signed_char;
5503 B : vector_unsigned_char) return vector_signed_char
5506 return To_LL_VSC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5510 (A : vector_unsigned_char;
5511 B : vector_unsigned_int) return vector_unsigned_char
5514 return To_LL_VUC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5518 (A : vector_unsigned_char;
5519 B : vector_unsigned_short) return vector_unsigned_char
5522 return To_LL_VUC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5526 (A : vector_unsigned_char;
5527 B : vector_unsigned_char) return vector_unsigned_char
5530 return To_LL_VUC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5534 (A : vector_bool_char;
5535 B : vector_unsigned_int) return vector_bool_char
5538 return To_LL_VBC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5542 (A : vector_bool_char;
5543 B : vector_unsigned_short) return vector_bool_char
5546 return To_LL_VBC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5550 (A : vector_bool_char;
5551 B : vector_unsigned_char) return vector_bool_char
5554 return To_LL_VBC (vsr (To_LL_VSI (A), To_LL_VSI (B)));
5561 B : vector_signed_char) return vector_float
5564 return To_LL_VF (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5569 B : vector_unsigned_char) return vector_float
5572 return To_LL_VF (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5576 (A : vector_signed_int;
5577 B : vector_signed_char) return vector_signed_int
5580 return To_LL_VSI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5584 (A : vector_signed_int;
5585 B : vector_unsigned_char) return vector_signed_int
5588 return To_LL_VSI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5592 (A : vector_unsigned_int;
5593 B : vector_signed_char) return vector_unsigned_int
5596 return To_LL_VUI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5600 (A : vector_unsigned_int;
5601 B : vector_unsigned_char) return vector_unsigned_int
5604 return To_LL_VUI (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5608 (A : vector_signed_short;
5609 B : vector_signed_char) return vector_signed_short
5612 return To_LL_VSS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5616 (A : vector_signed_short;
5617 B : vector_unsigned_char) return vector_signed_short
5620 return To_LL_VSS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5624 (A : vector_unsigned_short;
5625 B : vector_signed_char) return vector_unsigned_short
5628 return To_LL_VUS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5632 (A : vector_unsigned_short;
5633 B : vector_unsigned_char) return vector_unsigned_short
5636 return To_LL_VUS (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5641 B : vector_signed_char) return vector_pixel
5644 return To_LL_VP (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5649 B : vector_unsigned_char) return vector_pixel
5652 return To_LL_VP (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5656 (A : vector_signed_char;
5657 B : vector_signed_char) return vector_signed_char
5660 return To_LL_VSC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5664 (A : vector_signed_char;
5665 B : vector_unsigned_char) return vector_signed_char
5668 return To_LL_VSC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5672 (A : vector_unsigned_char;
5673 B : vector_signed_char) return vector_unsigned_char
5676 return To_LL_VUC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5680 (A : vector_unsigned_char;
5681 B : vector_unsigned_char) return vector_unsigned_char
5684 return To_LL_VUC (vsro (To_LL_VSI (A), To_LL_VSI (B)));
5692 C : vector_float_ptr)
5695 stvx (To_LL_VSI (A), B, To_PTR (C));
5704 stvx (To_LL_VSI (A), B, To_PTR (C));
5708 (A : vector_signed_int;
5710 C : vector_signed_int_ptr)
5713 stvx (To_LL_VSI (A), B, To_PTR (C));
5717 (A : vector_signed_int;
5722 stvx (To_LL_VSI (A), B, To_PTR (C));
5726 (A : vector_unsigned_int;
5728 C : vector_unsigned_int_ptr)
5731 stvx (To_LL_VSI (A), B, To_PTR (C));
5735 (A : vector_unsigned_int;
5737 C : unsigned_int_ptr)
5740 stvx (To_LL_VSI (A), B, To_PTR (C));
5744 (A : vector_bool_int;
5746 C : vector_bool_int_ptr)
5749 stvx (To_LL_VSI (A), B, To_PTR (C));
5753 (A : vector_bool_int;
5755 C : unsigned_int_ptr)
5758 stvx (To_LL_VSI (A), B, To_PTR (C));
5762 (A : vector_bool_int;
5767 stvx (To_LL_VSI (A), B, To_PTR (C));
5771 (A : vector_signed_short;
5773 C : vector_signed_short_ptr)
5776 stvx (To_LL_VSI (A), B, To_PTR (C));
5780 (A : vector_signed_short;
5785 stvx (To_LL_VSI (A), B, To_PTR (C));
5789 (A : vector_unsigned_short;
5791 C : vector_unsigned_short_ptr)
5794 stvx (To_LL_VSI (A), B, To_PTR (C));
5798 (A : vector_unsigned_short;
5800 C : unsigned_short_ptr)
5803 stvx (To_LL_VSI (A), B, To_PTR (C));
5807 (A : vector_bool_short;
5809 C : vector_bool_short_ptr)
5812 stvx (To_LL_VSI (A), B, To_PTR (C));
5816 (A : vector_bool_short;
5818 C : unsigned_short_ptr)
5821 stvx (To_LL_VSI (A), B, To_PTR (C));
5827 C : vector_pixel_ptr)
5830 stvx (To_LL_VSI (A), B, To_PTR (C));
5836 C : unsigned_short_ptr)
5839 stvx (To_LL_VSI (A), B, To_PTR (C));
5848 stvx (To_LL_VSI (A), B, To_PTR (C));
5852 (A : vector_bool_short;
5857 stvx (To_LL_VSI (A), B, To_PTR (C));
5861 (A : vector_signed_char;
5863 C : vector_signed_char_ptr)
5866 stvx (To_LL_VSI (A), B, To_PTR (C));
5870 (A : vector_signed_char;
5872 C : signed_char_ptr)
5875 stvx (To_LL_VSI (A), B, To_PTR (C));
5879 (A : vector_unsigned_char;
5881 C : vector_unsigned_char_ptr)
5884 stvx (To_LL_VSI (A), B, To_PTR (C));
5888 (A : vector_unsigned_char;
5890 C : unsigned_char_ptr)
5893 stvx (To_LL_VSI (A), B, To_PTR (C));
5897 (A : vector_bool_char;
5899 C : vector_bool_char_ptr)
5902 stvx (To_LL_VSI (A), B, To_PTR (C));
5906 (A : vector_bool_char;
5908 C : unsigned_char_ptr)
5911 stvx (To_LL_VSI (A), B, To_PTR (C));
5915 (A : vector_bool_char;
5917 C : signed_char_ptr)
5920 stvx (To_LL_VSI (A), B, To_PTR (C));
5926 (A : vector_signed_char;
5928 C : signed_char_ptr)
5931 stvebx (To_LL_VSC (A), B, To_PTR (C));
5935 (A : vector_unsigned_char;
5937 C : unsigned_char_ptr)
5940 stvebx (To_LL_VSC (A), B, To_PTR (C));
5944 (A : vector_bool_char;
5946 C : signed_char_ptr)
5949 stvebx (To_LL_VSC (A), B, To_PTR (C));
5953 (A : vector_bool_char;
5955 C : unsigned_char_ptr)
5958 stvebx (To_LL_VSC (A), B, To_PTR (C));
5962 (A : vector_signed_short;
5967 stvehx (To_LL_VSS (A), B, To_PTR (C));
5971 (A : vector_unsigned_short;
5973 C : unsigned_short_ptr)
5976 stvehx (To_LL_VSS (A), B, To_PTR (C));
5980 (A : vector_bool_short;
5985 stvehx (To_LL_VSS (A), B, To_PTR (C));
5989 (A : vector_bool_short;
5991 C : unsigned_short_ptr)
5994 stvehx (To_LL_VSS (A), B, To_PTR (C));
6003 stvehx (To_LL_VSS (A), B, To_PTR (C));
6009 C : unsigned_short_ptr)
6012 stvehx (To_LL_VSS (A), B, To_PTR (C));
6021 stvewx (To_LL_VSI (A), B, To_PTR (C));
6025 (A : vector_signed_int;
6030 stvewx (To_LL_VSI (A), B, To_PTR (C));
6034 (A : vector_unsigned_int;
6036 C : unsigned_int_ptr)
6039 stvewx (To_LL_VSI (A), B, To_PTR (C));
6043 (A : vector_bool_int;
6048 stvewx (To_LL_VSI (A), B, To_PTR (C));
6052 (A : vector_bool_int;
6054 C : unsigned_int_ptr)
6057 stvewx (To_LL_VSI (A), B, To_PTR (C));
6062 procedure vec_stvewx
6068 stvewx (To_LL_VSI (A), B, To_PTR (C));
6071 procedure vec_stvewx
6072 (A : vector_signed_int;
6077 stvewx (To_LL_VSI (A), B, To_PTR (C));
6080 procedure vec_stvewx
6081 (A : vector_unsigned_int;
6083 C : unsigned_int_ptr)
6086 stvewx (To_LL_VSI (A), B, To_PTR (C));
6089 procedure vec_stvewx
6090 (A : vector_bool_int;
6095 stvewx (To_LL_VSI (A), B, To_PTR (C));
6098 procedure vec_stvewx
6099 (A : vector_bool_int;
6101 C : unsigned_int_ptr)
6104 stvewx (To_LL_VSI (A), B, To_PTR (C));
6109 procedure vec_stvehx
6110 (A : vector_signed_short;
6115 stvehx (To_LL_VSS (A), B, To_PTR (C));
6118 procedure vec_stvehx
6119 (A : vector_unsigned_short;
6121 C : unsigned_short_ptr)
6124 stvehx (To_LL_VSS (A), B, To_PTR (C));
6127 procedure vec_stvehx
6128 (A : vector_bool_short;
6133 stvehx (To_LL_VSS (A), B, To_PTR (C));
6136 procedure vec_stvehx
6137 (A : vector_bool_short;
6139 C : unsigned_short_ptr)
6142 stvehx (To_LL_VSS (A), B, To_PTR (C));
6145 procedure vec_stvehx
6151 stvehx (To_LL_VSS (A), B, To_PTR (C));
6154 procedure vec_stvehx
6157 C : unsigned_short_ptr)
6160 stvehx (To_LL_VSS (A), B, To_PTR (C));
6165 procedure vec_stvebx
6166 (A : vector_signed_char;
6168 C : signed_char_ptr)
6171 stvebx (To_LL_VSC (A), B, To_PTR (C));
6174 procedure vec_stvebx
6175 (A : vector_unsigned_char;
6177 C : unsigned_char_ptr)
6180 stvebx (To_LL_VSC (A), B, To_PTR (C));
6183 procedure vec_stvebx
6184 (A : vector_bool_char;
6186 C : signed_char_ptr)
6189 stvebx (To_LL_VSC (A), B, To_PTR (C));
6192 procedure vec_stvebx
6193 (A : vector_bool_char;
6195 C : unsigned_char_ptr)
6198 stvebx (To_LL_VSC (A), B, To_PTR (C));
6206 C : vector_float_ptr)
6209 stvxl (To_LL_VSI (A), B, To_PTR (C));
6218 stvxl (To_LL_VSI (A), B, To_PTR (C));
6222 (A : vector_signed_int;
6224 C : vector_signed_int_ptr)
6227 stvxl (To_LL_VSI (A), B, To_PTR (C));
6231 (A : vector_signed_int;
6236 stvxl (To_LL_VSI (A), B, To_PTR (C));
6240 (A : vector_unsigned_int;
6242 C : vector_unsigned_int_ptr)
6245 stvxl (To_LL_VSI (A), B, To_PTR (C));
6249 (A : vector_unsigned_int;
6251 C : unsigned_int_ptr)
6254 stvxl (To_LL_VSI (A), B, To_PTR (C));
6258 (A : vector_bool_int;
6260 C : vector_bool_int_ptr)
6263 stvxl (To_LL_VSI (A), B, To_PTR (C));
6267 (A : vector_bool_int;
6269 C : unsigned_int_ptr)
6272 stvxl (To_LL_VSI (A), B, To_PTR (C));
6276 (A : vector_bool_int;
6281 stvxl (To_LL_VSI (A), B, To_PTR (C));
6285 (A : vector_signed_short;
6287 C : vector_signed_short_ptr)
6290 stvxl (To_LL_VSI (A), B, To_PTR (C));
6294 (A : vector_signed_short;
6299 stvxl (To_LL_VSI (A), B, To_PTR (C));
6303 (A : vector_unsigned_short;
6305 C : vector_unsigned_short_ptr)
6308 stvxl (To_LL_VSI (A), B, To_PTR (C));
6312 (A : vector_unsigned_short;
6314 C : unsigned_short_ptr)
6317 stvxl (To_LL_VSI (A), B, To_PTR (C));
6321 (A : vector_bool_short;
6323 C : vector_bool_short_ptr)
6326 stvxl (To_LL_VSI (A), B, To_PTR (C));
6330 (A : vector_bool_short;
6332 C : unsigned_short_ptr)
6335 stvxl (To_LL_VSI (A), B, To_PTR (C));
6339 (A : vector_bool_short;
6344 stvxl (To_LL_VSI (A), B, To_PTR (C));
6350 C : vector_pixel_ptr)
6353 stvxl (To_LL_VSI (A), B, To_PTR (C));
6359 C : unsigned_short_ptr)
6362 stvxl (To_LL_VSI (A), B, To_PTR (C));
6371 stvxl (To_LL_VSI (A), B, To_PTR (C));
6375 (A : vector_signed_char;
6377 C : vector_signed_char_ptr)
6380 stvxl (To_LL_VSI (A), B, To_PTR (C));
6384 (A : vector_signed_char;
6386 C : signed_char_ptr)
6389 stvxl (To_LL_VSI (A), B, To_PTR (C));
6393 (A : vector_unsigned_char;
6395 C : vector_unsigned_char_ptr)
6398 stvxl (To_LL_VSI (A), B, To_PTR (C));
6402 (A : vector_unsigned_char;
6404 C : unsigned_char_ptr)
6407 stvxl (To_LL_VSI (A), B, To_PTR (C));
6411 (A : vector_bool_char;
6413 C : vector_bool_char_ptr)
6416 stvxl (To_LL_VSI (A), B, To_PTR (C));
6420 (A : vector_bool_char;
6422 C : unsigned_char_ptr)
6425 stvxl (To_LL_VSI (A), B, To_PTR (C));
6429 (A : vector_bool_char;
6431 C : signed_char_ptr)
6434 stvxl (To_LL_VSI (A), B, To_PTR (C));
6440 (A : vector_bool_char;
6441 B : vector_signed_char) return vector_signed_char
6444 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6448 (A : vector_signed_char;
6449 B : vector_bool_char) return vector_signed_char
6452 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6456 (A : vector_signed_char;
6457 B : vector_signed_char) return vector_signed_char
6460 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6464 (A : vector_bool_char;
6465 B : vector_unsigned_char) return vector_unsigned_char
6468 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6472 (A : vector_unsigned_char;
6473 B : vector_bool_char) return vector_unsigned_char
6476 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6480 (A : vector_unsigned_char;
6481 B : vector_unsigned_char) return vector_unsigned_char
6484 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6488 (A : vector_bool_short;
6489 B : vector_signed_short) return vector_signed_short
6492 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6496 (A : vector_signed_short;
6497 B : vector_bool_short) return vector_signed_short
6500 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6504 (A : vector_signed_short;
6505 B : vector_signed_short) return vector_signed_short
6508 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6512 (A : vector_bool_short;
6513 B : vector_unsigned_short) return vector_unsigned_short
6516 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6520 (A : vector_unsigned_short;
6521 B : vector_bool_short) return vector_unsigned_short
6524 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6528 (A : vector_unsigned_short;
6529 B : vector_unsigned_short) return vector_unsigned_short
6532 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6536 (A : vector_bool_int;
6537 B : vector_signed_int) return vector_signed_int
6540 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6544 (A : vector_signed_int;
6545 B : vector_bool_int) return vector_signed_int
6548 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6552 (A : vector_signed_int;
6553 B : vector_signed_int) return vector_signed_int
6556 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6560 (A : vector_bool_int;
6561 B : vector_unsigned_int) return vector_unsigned_int
6564 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6568 (A : vector_unsigned_int;
6569 B : vector_bool_int) return vector_unsigned_int
6572 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6576 (A : vector_unsigned_int;
6577 B : vector_unsigned_int) return vector_unsigned_int
6580 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6585 B : vector_float) return vector_float
6588 return To_LL_VF (vsubfp (To_LL_VF (A), To_LL_VF (B)));
6595 B : vector_float) return vector_float
6598 return To_LL_VF (vsubfp (To_LL_VF (A), To_LL_VF (B)));
6603 function vec_vsubuwm
6604 (A : vector_bool_int;
6605 B : vector_signed_int) return vector_signed_int
6608 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6611 function vec_vsubuwm
6612 (A : vector_signed_int;
6613 B : vector_bool_int) return vector_signed_int
6616 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6619 function vec_vsubuwm
6620 (A : vector_signed_int;
6621 B : vector_signed_int) return vector_signed_int
6624 return To_LL_VSI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6627 function vec_vsubuwm
6628 (A : vector_bool_int;
6629 B : vector_unsigned_int) return vector_unsigned_int
6632 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6635 function vec_vsubuwm
6636 (A : vector_unsigned_int;
6637 B : vector_bool_int) return vector_unsigned_int
6640 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6643 function vec_vsubuwm
6644 (A : vector_unsigned_int;
6645 B : vector_unsigned_int) return vector_unsigned_int
6648 return To_LL_VUI (vsubuwm (To_LL_VSI (A), To_LL_VSI (B)));
6653 function vec_vsubuhm
6654 (A : vector_bool_short;
6655 B : vector_signed_short) return vector_signed_short
6658 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6661 function vec_vsubuhm
6662 (A : vector_signed_short;
6663 B : vector_bool_short) return vector_signed_short
6666 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6669 function vec_vsubuhm
6670 (A : vector_signed_short;
6671 B : vector_signed_short) return vector_signed_short
6674 return To_LL_VSS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6677 function vec_vsubuhm
6678 (A : vector_bool_short;
6679 B : vector_unsigned_short) return vector_unsigned_short
6682 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6685 function vec_vsubuhm
6686 (A : vector_unsigned_short;
6687 B : vector_bool_short) return vector_unsigned_short
6690 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6693 function vec_vsubuhm
6694 (A : vector_unsigned_short;
6695 B : vector_unsigned_short) return vector_unsigned_short
6698 return To_LL_VUS (vsubuhm (To_LL_VSS (A), To_LL_VSS (B)));
6703 function vec_vsububm
6704 (A : vector_bool_char;
6705 B : vector_signed_char) return vector_signed_char
6708 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6711 function vec_vsububm
6712 (A : vector_signed_char;
6713 B : vector_bool_char) return vector_signed_char
6716 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6719 function vec_vsububm
6720 (A : vector_signed_char;
6721 B : vector_signed_char) return vector_signed_char
6724 return To_LL_VSC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6727 function vec_vsububm
6728 (A : vector_bool_char;
6729 B : vector_unsigned_char) return vector_unsigned_char
6732 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6735 function vec_vsububm
6736 (A : vector_unsigned_char;
6737 B : vector_bool_char) return vector_unsigned_char
6740 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6743 function vec_vsububm
6744 (A : vector_unsigned_char;
6745 B : vector_unsigned_char) return vector_unsigned_char
6748 return To_LL_VUC (vsububm (To_LL_VSC (A), To_LL_VSC (B)));
6754 (A : vector_unsigned_int;
6755 B : vector_unsigned_int) return vector_unsigned_int
6758 return To_LL_VUI (vsubcuw (To_LL_VSI (A), To_LL_VSI (B)));
6764 (A : vector_bool_char;
6765 B : vector_unsigned_char) return vector_unsigned_char
6768 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
6772 (A : vector_unsigned_char;
6773 B : vector_bool_char) return vector_unsigned_char
6776 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
6780 (A : vector_unsigned_char;
6781 B : vector_unsigned_char) return vector_unsigned_char
6784 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
6788 (A : vector_bool_char;
6789 B : vector_signed_char) return vector_signed_char
6792 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
6796 (A : vector_signed_char;
6797 B : vector_bool_char) return vector_signed_char
6800 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
6804 (A : vector_signed_char;
6805 B : vector_signed_char) return vector_signed_char
6808 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
6812 (A : vector_bool_short;
6813 B : vector_unsigned_short) return vector_unsigned_short
6816 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
6820 (A : vector_unsigned_short;
6821 B : vector_bool_short) return vector_unsigned_short
6824 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
6828 (A : vector_unsigned_short;
6829 B : vector_unsigned_short) return vector_unsigned_short
6832 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
6836 (A : vector_bool_short;
6837 B : vector_signed_short) return vector_signed_short
6840 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6844 (A : vector_signed_short;
6845 B : vector_bool_short) return vector_signed_short
6848 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6852 (A : vector_signed_short;
6853 B : vector_signed_short) return vector_signed_short
6856 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6860 (A : vector_bool_int;
6861 B : vector_unsigned_int) return vector_unsigned_int
6864 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6868 (A : vector_unsigned_int;
6869 B : vector_bool_int) return vector_unsigned_int
6872 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6876 (A : vector_unsigned_int;
6877 B : vector_unsigned_int) return vector_unsigned_int
6880 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6884 (A : vector_bool_int;
6885 B : vector_signed_int) return vector_signed_int
6888 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6892 (A : vector_signed_int;
6893 B : vector_bool_int) return vector_signed_int
6896 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6900 (A : vector_signed_int;
6901 B : vector_signed_int) return vector_signed_int
6904 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6909 function vec_vsubsws
6910 (A : vector_bool_int;
6911 B : vector_signed_int) return vector_signed_int
6914 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6917 function vec_vsubsws
6918 (A : vector_signed_int;
6919 B : vector_bool_int) return vector_signed_int
6922 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6925 function vec_vsubsws
6926 (A : vector_signed_int;
6927 B : vector_signed_int) return vector_signed_int
6930 return To_LL_VSI (vsubsws (To_LL_VSI (A), To_LL_VSI (B)));
6935 function vec_vsubuws
6936 (A : vector_bool_int;
6937 B : vector_unsigned_int) return vector_unsigned_int
6940 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6943 function vec_vsubuws
6944 (A : vector_unsigned_int;
6945 B : vector_bool_int) return vector_unsigned_int
6948 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6951 function vec_vsubuws
6952 (A : vector_unsigned_int;
6953 B : vector_unsigned_int) return vector_unsigned_int
6956 return To_LL_VUI (vsubuws (To_LL_VSI (A), To_LL_VSI (B)));
6961 function vec_vsubshs
6962 (A : vector_bool_short;
6963 B : vector_signed_short) return vector_signed_short
6966 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6969 function vec_vsubshs
6970 (A : vector_signed_short;
6971 B : vector_bool_short) return vector_signed_short
6974 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6977 function vec_vsubshs
6978 (A : vector_signed_short;
6979 B : vector_signed_short) return vector_signed_short
6982 return To_LL_VSS (vsubshs (To_LL_VSS (A), To_LL_VSS (B)));
6987 function vec_vsubuhs
6988 (A : vector_bool_short;
6989 B : vector_unsigned_short) return vector_unsigned_short
6992 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
6995 function vec_vsubuhs
6996 (A : vector_unsigned_short;
6997 B : vector_bool_short) return vector_unsigned_short
7000 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7003 function vec_vsubuhs
7004 (A : vector_unsigned_short;
7005 B : vector_unsigned_short) return vector_unsigned_short
7008 return To_LL_VUS (vsubuhs (To_LL_VSS (A), To_LL_VSS (B)));
7013 function vec_vsubsbs
7014 (A : vector_bool_char;
7015 B : vector_signed_char) return vector_signed_char
7018 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7021 function vec_vsubsbs
7022 (A : vector_signed_char;
7023 B : vector_bool_char) return vector_signed_char
7026 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7029 function vec_vsubsbs
7030 (A : vector_signed_char;
7031 B : vector_signed_char) return vector_signed_char
7034 return To_LL_VSC (vsubsbs (To_LL_VSC (A), To_LL_VSC (B)));
7039 function vec_vsububs
7040 (A : vector_bool_char;
7041 B : vector_unsigned_char) return vector_unsigned_char
7044 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7047 function vec_vsububs
7048 (A : vector_unsigned_char;
7049 B : vector_bool_char) return vector_unsigned_char
7052 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7055 function vec_vsububs
7056 (A : vector_unsigned_char;
7057 B : vector_unsigned_char) return vector_unsigned_char
7060 return To_LL_VUC (vsububs (To_LL_VSC (A), To_LL_VSC (B)));
7066 (A : vector_unsigned_char;
7067 B : vector_unsigned_int) return vector_unsigned_int
7070 return To_LL_VUI (vsum4ubs (To_LL_VSC (A), To_LL_VSI (B)));
7074 (A : vector_signed_char;
7075 B : vector_signed_int) return vector_signed_int
7078 return To_LL_VSI (vsum4sbs (To_LL_VSC (A), To_LL_VSI (B)));
7082 (A : vector_signed_short;
7083 B : vector_signed_int) return vector_signed_int
7086 return To_LL_VSI (vsum4shs (To_LL_VSS (A), To_LL_VSI (B)));
7091 function vec_vsum4shs
7092 (A : vector_signed_short;
7093 B : vector_signed_int) return vector_signed_int
7096 return To_LL_VSI (vsum4shs (To_LL_VSS (A), To_LL_VSI (B)));
7101 function vec_vsum4sbs
7102 (A : vector_signed_char;
7103 B : vector_signed_int) return vector_signed_int
7106 return To_LL_VSI (vsum4sbs (To_LL_VSC (A), To_LL_VSI (B)));
7111 function vec_vsum4ubs
7112 (A : vector_unsigned_char;
7113 B : vector_unsigned_int) return vector_unsigned_int
7116 return To_LL_VUI (vsum4ubs (To_LL_VSC (A), To_LL_VSI (B)));
7122 (A : vector_signed_int;
7123 B : vector_signed_int) return vector_signed_int
7126 return To_LL_VSI (vsum2sws (To_LL_VSI (A), To_LL_VSI (B)));
7132 (A : vector_signed_int;
7133 B : vector_signed_int) return vector_signed_int
7136 return To_LL_VSI (vsumsws (To_LL_VSI (A), To_LL_VSI (B)));
7142 (A : vector_float) return vector_float
7145 return To_LL_VF (vrfiz (To_LL_VF (A)));
7150 function vec_unpackh
7151 (A : vector_signed_char) return vector_signed_short
7154 return To_LL_VSS (vupkhsb (To_LL_VSC (A)));
7157 function vec_unpackh
7158 (A : vector_bool_char) return vector_bool_short
7161 return To_LL_VBS (vupkhsb (To_LL_VSC (A)));
7164 function vec_unpackh
7165 (A : vector_signed_short) return vector_signed_int
7168 return To_LL_VSI (vupkhsh (To_LL_VSS (A)));
7171 function vec_unpackh
7172 (A : vector_bool_short) return vector_bool_int
7175 return To_LL_VBI (vupkhsh (To_LL_VSS (A)));
7178 function vec_unpackh
7179 (A : vector_pixel) return vector_unsigned_int
7182 return To_LL_VUI (vupkhpx (To_LL_VSS (A)));
7187 function vec_vupkhsh
7188 (A : vector_bool_short) return vector_bool_int
7191 return To_LL_VBI (vupkhsh (To_LL_VSS (A)));
7194 function vec_vupkhsh
7195 (A : vector_signed_short) return vector_signed_int
7198 return To_LL_VSI (vupkhsh (To_LL_VSS (A)));
7203 function vec_vupkhpx
7204 (A : vector_pixel) return vector_unsigned_int
7207 return To_LL_VUI (vupkhpx (To_LL_VSS (A)));
7212 function vec_vupkhsb
7213 (A : vector_bool_char) return vector_bool_short
7216 return To_LL_VBS (vupkhsb (To_LL_VSC (A)));
7219 function vec_vupkhsb
7220 (A : vector_signed_char) return vector_signed_short
7223 return To_LL_VSS (vupkhsb (To_LL_VSC (A)));
7228 function vec_unpackl
7229 (A : vector_signed_char) return vector_signed_short
7232 return To_LL_VSS (vupklsb (To_LL_VSC (A)));
7235 function vec_unpackl
7236 (A : vector_bool_char) return vector_bool_short
7239 return To_LL_VBS (vupklsb (To_LL_VSC (A)));
7242 function vec_unpackl
7243 (A : vector_pixel) return vector_unsigned_int
7246 return To_LL_VUI (vupklpx (To_LL_VSS (A)));
7249 function vec_unpackl
7250 (A : vector_signed_short) return vector_signed_int
7253 return To_LL_VSI (vupklsh (To_LL_VSS (A)));
7256 function vec_unpackl
7257 (A : vector_bool_short) return vector_bool_int
7260 return To_LL_VBI (vupklsh (To_LL_VSS (A)));
7265 function vec_vupklpx
7266 (A : vector_pixel) return vector_unsigned_int
7269 return To_LL_VUI (vupklpx (To_LL_VSS (A)));
7274 function vec_vupklsh
7275 (A : vector_bool_short) return vector_bool_int
7278 return To_LL_VBI (vupklsh (To_LL_VSS (A)));
7281 function vec_vupklsh
7282 (A : vector_signed_short) return vector_signed_int
7285 return To_LL_VSI (vupklsh (To_LL_VSS (A)));
7290 function vec_vupklsb
7291 (A : vector_bool_char) return vector_bool_short
7294 return To_LL_VBS (vupklsb (To_LL_VSC (A)));
7297 function vec_vupklsb
7298 (A : vector_signed_char) return vector_signed_short
7301 return To_LL_VSS (vupklsb (To_LL_VSC (A)));
7308 B : vector_float) return vector_float
7311 return To_LL_VF (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7316 B : vector_bool_int) return vector_float
7319 return To_LL_VF (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7323 (A : vector_bool_int;
7324 B : vector_float) return vector_float
7327 return To_LL_VF (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7331 (A : vector_bool_int;
7332 B : vector_bool_int) return vector_bool_int
7335 return To_LL_VBI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7339 (A : vector_bool_int;
7340 B : vector_signed_int) return vector_signed_int
7343 return To_LL_VSI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7347 (A : vector_signed_int;
7348 B : vector_bool_int) return vector_signed_int
7351 return To_LL_VSI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7355 (A : vector_signed_int;
7356 B : vector_signed_int) return vector_signed_int
7359 return To_LL_VSI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7363 (A : vector_bool_int;
7364 B : vector_unsigned_int) return vector_unsigned_int
7367 return To_LL_VUI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7371 (A : vector_unsigned_int;
7372 B : vector_bool_int) return vector_unsigned_int
7375 return To_LL_VUI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7379 (A : vector_unsigned_int;
7380 B : vector_unsigned_int) return vector_unsigned_int
7383 return To_LL_VUI (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7387 (A : vector_bool_short;
7388 B : vector_bool_short) return vector_bool_short
7391 return To_LL_VBS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7395 (A : vector_bool_short;
7396 B : vector_signed_short) return vector_signed_short
7399 return To_LL_VSS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7403 (A : vector_signed_short;
7404 B : vector_bool_short) return vector_signed_short
7407 return To_LL_VSS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7411 (A : vector_signed_short;
7412 B : vector_signed_short) return vector_signed_short
7415 return To_LL_VSS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7419 (A : vector_bool_short;
7420 B : vector_unsigned_short) return vector_unsigned_short
7423 return To_LL_VUS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7427 (A : vector_unsigned_short;
7428 B : vector_bool_short) return vector_unsigned_short
7431 return To_LL_VUS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7435 (A : vector_unsigned_short;
7436 B : vector_unsigned_short) return vector_unsigned_short
7439 return To_LL_VUS (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7443 (A : vector_bool_char;
7444 B : vector_signed_char) return vector_signed_char
7447 return To_LL_VSC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7451 (A : vector_bool_char;
7452 B : vector_bool_char) return vector_bool_char
7455 return To_LL_VBC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7459 (A : vector_signed_char;
7460 B : vector_bool_char) return vector_signed_char
7463 return To_LL_VSC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7467 (A : vector_signed_char;
7468 B : vector_signed_char) return vector_signed_char
7471 return To_LL_VSC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7475 (A : vector_bool_char;
7476 B : vector_unsigned_char) return vector_unsigned_char
7479 return To_LL_VUC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7483 (A : vector_unsigned_char;
7484 B : vector_bool_char) return vector_unsigned_char
7487 return To_LL_VUC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7491 (A : vector_unsigned_char;
7492 B : vector_unsigned_char) return vector_unsigned_char
7495 return To_LL_VUC (vxor (To_LL_VSI (A), To_LL_VSI (B)));
7498 -----------------------------------
7499 -- Bodies for Altivec predicates --
7500 -----------------------------------
7505 (A : vector_signed_char;
7506 B : vector_bool_char) return c_int
7509 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7513 (A : vector_signed_char;
7514 B : vector_signed_char) return c_int
7517 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7521 (A : vector_unsigned_char;
7522 B : vector_bool_char) return c_int
7525 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7529 (A : vector_unsigned_char;
7530 B : vector_unsigned_char) return c_int
7533 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7537 (A : vector_bool_char;
7538 B : vector_bool_char) return c_int
7541 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7545 (A : vector_bool_char;
7546 B : vector_unsigned_char) return c_int
7549 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7553 (A : vector_bool_char;
7554 B : vector_signed_char) return c_int
7557 return vcmpequb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7561 (A : vector_signed_short;
7562 B : vector_bool_short) return c_int
7565 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7569 (A : vector_signed_short;
7570 B : vector_signed_short) return c_int
7573 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7577 (A : vector_unsigned_short;
7578 B : vector_bool_short) return c_int
7581 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7585 (A : vector_unsigned_short;
7586 B : vector_unsigned_short) return c_int
7589 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7593 (A : vector_bool_short;
7594 B : vector_bool_short) return c_int
7597 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7601 (A : vector_bool_short;
7602 B : vector_unsigned_short) return c_int
7605 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7609 (A : vector_bool_short;
7610 B : vector_signed_short) return c_int
7613 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7618 B : vector_pixel) return c_int
7621 return vcmpequh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7625 (A : vector_signed_int;
7626 B : vector_bool_int) return c_int
7629 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7633 (A : vector_signed_int;
7634 B : vector_signed_int) return c_int
7637 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7641 (A : vector_unsigned_int;
7642 B : vector_bool_int) return c_int
7645 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7649 (A : vector_unsigned_int;
7650 B : vector_unsigned_int) return c_int
7653 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7657 (A : vector_bool_int;
7658 B : vector_bool_int) return c_int
7661 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7665 (A : vector_bool_int;
7666 B : vector_unsigned_int) return c_int
7669 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7673 (A : vector_bool_int;
7674 B : vector_signed_int) return c_int
7677 return vcmpequw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7682 B : vector_float) return c_int
7685 return vcmpeqfp_p (CR6_LT, To_LL_VF (A), To_LL_VF (B));
7691 (A : vector_bool_char;
7692 B : vector_unsigned_char) return c_int
7695 return vcmpgtub_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7699 (A : vector_unsigned_char;
7700 B : vector_bool_char) return c_int
7703 return vcmpgtub_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7707 (A : vector_unsigned_char;
7708 B : vector_unsigned_char) return c_int
7711 return vcmpgtub_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7715 (A : vector_bool_char;
7716 B : vector_signed_char) return c_int
7719 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7723 (A : vector_signed_char;
7724 B : vector_bool_char) return c_int
7727 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7731 (A : vector_signed_char;
7732 B : vector_signed_char) return c_int
7735 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (B), To_LL_VSC (A));
7739 (A : vector_bool_short;
7740 B : vector_unsigned_short) return c_int
7743 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7747 (A : vector_unsigned_short;
7748 B : vector_bool_short) return c_int
7751 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7755 (A : vector_unsigned_short;
7756 B : vector_unsigned_short) return c_int
7759 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7763 (A : vector_signed_short;
7764 B : vector_signed_short) return c_int
7767 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7771 (A : vector_bool_short;
7772 B : vector_signed_short) return c_int
7775 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7779 (A : vector_signed_short;
7780 B : vector_bool_short) return c_int
7783 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (B), To_LL_VSS (A));
7787 (A : vector_bool_int;
7788 B : vector_unsigned_int) return c_int
7791 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7795 (A : vector_unsigned_int;
7796 B : vector_bool_int) return c_int
7799 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7803 (A : vector_unsigned_int;
7804 B : vector_unsigned_int) return c_int
7807 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7811 (A : vector_bool_int;
7812 B : vector_signed_int) return c_int
7815 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7819 (A : vector_signed_int;
7820 B : vector_bool_int) return c_int
7823 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7827 (A : vector_signed_int;
7828 B : vector_signed_int) return c_int
7831 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (B), To_LL_VSI (A));
7836 B : vector_float) return c_int
7839 return vcmpgefp_p (CR6_LT, To_LL_VF (A), To_LL_VF (B));
7845 (A : vector_bool_char;
7846 B : vector_unsigned_char) return c_int
7849 return vcmpgtub_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7853 (A : vector_unsigned_char;
7854 B : vector_bool_char) return c_int
7857 return vcmpgtub_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7861 (A : vector_unsigned_char;
7862 B : vector_unsigned_char) return c_int
7865 return vcmpgtub_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7869 (A : vector_bool_char;
7870 B : vector_signed_char) return c_int
7873 return vcmpgtsb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7877 (A : vector_signed_char;
7878 B : vector_bool_char) return c_int
7881 return vcmpgtsb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7885 (A : vector_signed_char;
7886 B : vector_signed_char) return c_int
7889 return vcmpgtsb_p (CR6_LT, To_LL_VSC (A), To_LL_VSC (B));
7893 (A : vector_bool_short;
7894 B : vector_unsigned_short) return c_int
7897 return vcmpgtuh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7901 (A : vector_unsigned_short;
7902 B : vector_bool_short) return c_int
7905 return vcmpgtuh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7909 (A : vector_unsigned_short;
7910 B : vector_unsigned_short) return c_int
7913 return vcmpgtuh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7917 (A : vector_bool_short;
7918 B : vector_signed_short) return c_int
7921 return vcmpgtsh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7925 (A : vector_signed_short;
7926 B : vector_bool_short) return c_int
7929 return vcmpgtsh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7933 (A : vector_signed_short;
7934 B : vector_signed_short) return c_int
7937 return vcmpgtsh_p (CR6_LT, To_LL_VSS (A), To_LL_VSS (B));
7941 (A : vector_bool_int;
7942 B : vector_unsigned_int) return c_int
7945 return vcmpgtuw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7949 (A : vector_unsigned_int;
7950 B : vector_bool_int) return c_int
7953 return vcmpgtuw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7957 (A : vector_unsigned_int;
7958 B : vector_unsigned_int) return c_int
7961 return vcmpgtuw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7965 (A : vector_bool_int;
7966 B : vector_signed_int) return c_int
7969 return vcmpgtsw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7973 (A : vector_signed_int;
7974 B : vector_bool_int) return c_int
7977 return vcmpgtsw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7981 (A : vector_signed_int;
7982 B : vector_signed_int) return c_int
7985 return vcmpgtsw_p (CR6_LT, To_LL_VSI (A), To_LL_VSI (B));
7990 B : vector_float) return c_int
7993 return vcmpgtfp_p (CR6_LT, To_LL_VF (A), To_LL_VF (B));
8000 B : vector_float) return c_int
8003 return vcmpbfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
8009 (A : vector_bool_char;
8010 B : vector_unsigned_char) return c_int
8013 return vcmpgtub_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8017 (A : vector_unsigned_char;
8018 B : vector_bool_char) return c_int
8021 return vcmpgtub_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8025 (A : vector_unsigned_char;
8026 B : vector_unsigned_char) return c_int
8029 return vcmpgtub_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8033 (A : vector_bool_char;
8034 B : vector_signed_char) return c_int
8037 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8041 (A : vector_signed_char;
8042 B : vector_bool_char) return c_int
8045 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8049 (A : vector_signed_char;
8050 B : vector_signed_char) return c_int
8053 return vcmpgtsb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8057 (A : vector_bool_short;
8058 B : vector_unsigned_short) return c_int
8061 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8065 (A : vector_unsigned_short;
8066 B : vector_bool_short) return c_int
8069 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8073 (A : vector_unsigned_short;
8074 B : vector_unsigned_short) return c_int
8077 return vcmpgtuh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8081 (A : vector_bool_short;
8082 B : vector_signed_short) return c_int
8085 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8089 (A : vector_signed_short;
8090 B : vector_bool_short) return c_int
8093 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8097 (A : vector_signed_short;
8098 B : vector_signed_short) return c_int
8101 return vcmpgtsh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8105 (A : vector_bool_int;
8106 B : vector_unsigned_int) return c_int
8109 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8113 (A : vector_unsigned_int;
8114 B : vector_bool_int) return c_int
8117 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8121 (A : vector_unsigned_int;
8122 B : vector_unsigned_int) return c_int
8125 return vcmpgtuw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8129 (A : vector_bool_int;
8130 B : vector_signed_int) return c_int
8133 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8137 (A : vector_signed_int;
8138 B : vector_bool_int) return c_int
8141 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8145 (A : vector_signed_int;
8146 B : vector_signed_int) return c_int
8149 return vcmpgtsw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8154 B : vector_float) return c_int
8157 return vcmpgefp_p (CR6_LT, To_LL_VF (B), To_LL_VF (A));
8163 (A : vector_bool_char;
8164 B : vector_unsigned_char) return c_int
8167 return vcmpgtub_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8171 (A : vector_unsigned_char;
8172 B : vector_bool_char) return c_int
8175 return vcmpgtub_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8179 (A : vector_unsigned_char;
8180 B : vector_unsigned_char) return c_int
8183 return vcmpgtub_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8187 (A : vector_bool_char;
8188 B : vector_signed_char) return c_int
8191 return vcmpgtsb_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8195 (A : vector_signed_char;
8196 B : vector_bool_char) return c_int
8199 return vcmpgtsb_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8203 (A : vector_signed_char;
8204 B : vector_signed_char) return c_int
8207 return vcmpgtsb_p (CR6_LT, To_LL_VSC (B), To_LL_VSC (A));
8211 (A : vector_bool_short;
8212 B : vector_unsigned_short) return c_int
8215 return vcmpgtuh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8219 (A : vector_unsigned_short;
8220 B : vector_bool_short) return c_int
8223 return vcmpgtuh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8227 (A : vector_unsigned_short;
8228 B : vector_unsigned_short) return c_int
8231 return vcmpgtuh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8235 (A : vector_bool_short;
8236 B : vector_signed_short) return c_int
8239 return vcmpgtsh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8243 (A : vector_signed_short;
8244 B : vector_bool_short) return c_int
8247 return vcmpgtsh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8251 (A : vector_signed_short;
8252 B : vector_signed_short) return c_int
8255 return vcmpgtsh_p (CR6_LT, To_LL_VSS (B), To_LL_VSS (A));
8259 (A : vector_bool_int;
8260 B : vector_unsigned_int) return c_int
8263 return vcmpgtuw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8267 (A : vector_unsigned_int;
8268 B : vector_bool_int) return c_int
8271 return vcmpgtuw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8275 (A : vector_unsigned_int;
8276 B : vector_unsigned_int) return c_int
8279 return vcmpgtuw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8283 (A : vector_bool_int;
8284 B : vector_signed_int) return c_int
8287 return vcmpgtsw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8291 (A : vector_signed_int;
8292 B : vector_bool_int) return c_int
8295 return vcmpgtsw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8299 (A : vector_signed_int;
8300 B : vector_signed_int) return c_int
8303 return vcmpgtsw_p (CR6_LT, To_LL_VSI (B), To_LL_VSI (A));
8308 B : vector_float) return c_int
8311 return vcmpgtfp_p (CR6_LT, To_LL_VF (B), To_LL_VF (A));
8316 function vec_all_nan
8317 (A : vector_float) return c_int
8320 return vcmpeqfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (A));
8326 (A : vector_signed_char;
8327 B : vector_bool_char) return c_int
8330 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8334 (A : vector_signed_char;
8335 B : vector_signed_char) return c_int
8338 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8342 (A : vector_unsigned_char;
8343 B : vector_bool_char) return c_int
8346 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8350 (A : vector_unsigned_char;
8351 B : vector_unsigned_char) return c_int
8354 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8358 (A : vector_bool_char;
8359 B : vector_bool_char) return c_int
8362 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8366 (A : vector_bool_char;
8367 B : vector_unsigned_char) return c_int
8370 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8374 (A : vector_bool_char;
8375 B : vector_signed_char) return c_int
8378 return vcmpequb_p (CR6_EQ, To_LL_VSC (A), To_LL_VSC (B));
8382 (A : vector_signed_short;
8383 B : vector_bool_short) return c_int
8386 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8390 (A : vector_signed_short;
8391 B : vector_signed_short) return c_int
8394 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8398 (A : vector_unsigned_short;
8399 B : vector_bool_short) return c_int
8402 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8406 (A : vector_unsigned_short;
8407 B : vector_unsigned_short) return c_int
8410 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8414 (A : vector_bool_short;
8415 B : vector_bool_short) return c_int
8418 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8422 (A : vector_bool_short;
8423 B : vector_unsigned_short) return c_int
8426 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8430 (A : vector_bool_short;
8431 B : vector_signed_short) return c_int
8434 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8439 B : vector_pixel) return c_int
8442 return vcmpequh_p (CR6_EQ, To_LL_VSS (A), To_LL_VSS (B));
8446 (A : vector_signed_int;
8447 B : vector_bool_int) return c_int
8450 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8454 (A : vector_signed_int;
8455 B : vector_signed_int) return c_int
8458 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8462 (A : vector_unsigned_int;
8463 B : vector_bool_int) return c_int
8466 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8470 (A : vector_unsigned_int;
8471 B : vector_unsigned_int) return c_int
8474 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8478 (A : vector_bool_int;
8479 B : vector_bool_int) return c_int
8482 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8486 (A : vector_bool_int;
8487 B : vector_unsigned_int) return c_int
8490 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8494 (A : vector_bool_int;
8495 B : vector_signed_int) return c_int
8498 return vcmpequw_p (CR6_EQ, To_LL_VSI (A), To_LL_VSI (B));
8503 B : vector_float) return c_int
8506 return vcmpeqfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
8511 function vec_all_nge
8513 B : vector_float) return c_int
8516 return vcmpgefp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
8521 function vec_all_ngt
8523 B : vector_float) return c_int
8526 return vcmpgtfp_p (CR6_EQ, To_LL_VF (A), To_LL_VF (B));
8531 function vec_all_nle
8533 B : vector_float) return c_int
8536 return vcmpgefp_p (CR6_EQ, To_LL_VF (B), To_LL_VF (A));
8541 function vec_all_nlt
8543 B : vector_float) return c_int
8546 return vcmpgtfp_p (CR6_EQ, To_LL_VF (B), To_LL_VF (A));
8549 -- vec_all_numeric --
8551 function vec_all_numeric
8552 (A : vector_float) return c_int
8555 return vcmpeqfp_p (CR6_LT, To_LL_VF (A), To_LL_VF (A));
8556 end vec_all_numeric;
8561 (A : vector_signed_char;
8562 B : vector_bool_char) return c_int
8565 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8569 (A : vector_signed_char;
8570 B : vector_signed_char) return c_int
8573 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8577 (A : vector_unsigned_char;
8578 B : vector_bool_char) return c_int
8581 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8585 (A : vector_unsigned_char;
8586 B : vector_unsigned_char) return c_int
8589 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8593 (A : vector_bool_char;
8594 B : vector_bool_char) return c_int
8597 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8601 (A : vector_bool_char;
8602 B : vector_unsigned_char) return c_int
8605 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8609 (A : vector_bool_char;
8610 B : vector_signed_char) return c_int
8613 return vcmpequb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8617 (A : vector_signed_short;
8618 B : vector_bool_short) return c_int
8621 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8625 (A : vector_signed_short;
8626 B : vector_signed_short) return c_int
8629 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8633 (A : vector_unsigned_short;
8634 B : vector_bool_short) return c_int
8637 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8641 (A : vector_unsigned_short;
8642 B : vector_unsigned_short) return c_int
8645 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8649 (A : vector_bool_short;
8650 B : vector_bool_short) return c_int
8653 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8657 (A : vector_bool_short;
8658 B : vector_unsigned_short) return c_int
8661 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8665 (A : vector_bool_short;
8666 B : vector_signed_short) return c_int
8669 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8674 B : vector_pixel) return c_int
8677 return vcmpequh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8681 (A : vector_signed_int;
8682 B : vector_bool_int) return c_int
8685 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8689 (A : vector_signed_int;
8690 B : vector_signed_int) return c_int
8693 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8697 (A : vector_unsigned_int;
8698 B : vector_bool_int) return c_int
8701 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8705 (A : vector_unsigned_int;
8706 B : vector_unsigned_int) return c_int
8709 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8713 (A : vector_bool_int;
8714 B : vector_bool_int) return c_int
8717 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8721 (A : vector_bool_int;
8722 B : vector_unsigned_int) return c_int
8725 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8729 (A : vector_bool_int;
8730 B : vector_signed_int) return c_int
8733 return vcmpequw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
8738 B : vector_float) return c_int
8741 return vcmpeqfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
8747 (A : vector_signed_char;
8748 B : vector_bool_char) return c_int
8751 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8755 (A : vector_unsigned_char;
8756 B : vector_bool_char) return c_int
8759 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8763 (A : vector_unsigned_char;
8764 B : vector_unsigned_char) return c_int
8767 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8771 (A : vector_signed_char;
8772 B : vector_signed_char) return c_int
8775 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8779 (A : vector_bool_char;
8780 B : vector_unsigned_char) return c_int
8783 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8787 (A : vector_bool_char;
8788 B : vector_signed_char) return c_int
8791 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (B), To_LL_VSC (A));
8795 (A : vector_unsigned_short;
8796 B : vector_bool_short) return c_int
8799 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8803 (A : vector_unsigned_short;
8804 B : vector_unsigned_short) return c_int
8807 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8811 (A : vector_signed_short;
8812 B : vector_signed_short) return c_int
8815 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8819 (A : vector_signed_short;
8820 B : vector_bool_short) return c_int
8823 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8827 (A : vector_bool_short;
8828 B : vector_unsigned_short) return c_int
8831 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8835 (A : vector_bool_short;
8836 B : vector_signed_short) return c_int
8839 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (B), To_LL_VSS (A));
8843 (A : vector_signed_int;
8844 B : vector_bool_int) return c_int
8847 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8851 (A : vector_unsigned_int;
8852 B : vector_bool_int) return c_int
8855 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8859 (A : vector_unsigned_int;
8860 B : vector_unsigned_int) return c_int
8863 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8867 (A : vector_signed_int;
8868 B : vector_signed_int) return c_int
8871 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8875 (A : vector_bool_int;
8876 B : vector_unsigned_int) return c_int
8879 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8883 (A : vector_bool_int;
8884 B : vector_signed_int) return c_int
8887 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (B), To_LL_VSI (A));
8892 B : vector_float) return c_int
8895 return vcmpgefp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
8901 (A : vector_bool_char;
8902 B : vector_unsigned_char) return c_int
8905 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8909 (A : vector_unsigned_char;
8910 B : vector_bool_char) return c_int
8913 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8917 (A : vector_unsigned_char;
8918 B : vector_unsigned_char) return c_int
8921 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8925 (A : vector_bool_char;
8926 B : vector_signed_char) return c_int
8929 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8933 (A : vector_signed_char;
8934 B : vector_bool_char) return c_int
8937 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8941 (A : vector_signed_char;
8942 B : vector_signed_char) return c_int
8945 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (A), To_LL_VSC (B));
8949 (A : vector_bool_short;
8950 B : vector_unsigned_short) return c_int
8953 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8957 (A : vector_unsigned_short;
8958 B : vector_bool_short) return c_int
8961 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8965 (A : vector_unsigned_short;
8966 B : vector_unsigned_short) return c_int
8969 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8973 (A : vector_bool_short;
8974 B : vector_signed_short) return c_int
8977 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8981 (A : vector_signed_short;
8982 B : vector_bool_short) return c_int
8985 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8989 (A : vector_signed_short;
8990 B : vector_signed_short) return c_int
8993 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (A), To_LL_VSS (B));
8997 (A : vector_bool_int;
8998 B : vector_unsigned_int) return c_int
9001 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9005 (A : vector_unsigned_int;
9006 B : vector_bool_int) return c_int
9009 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9013 (A : vector_unsigned_int;
9014 B : vector_unsigned_int) return c_int
9017 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9021 (A : vector_bool_int;
9022 B : vector_signed_int) return c_int
9025 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9029 (A : vector_signed_int;
9030 B : vector_bool_int) return c_int
9033 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9037 (A : vector_signed_int;
9038 B : vector_signed_int) return c_int
9041 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (A), To_LL_VSI (B));
9046 B : vector_float) return c_int
9049 return vcmpgtfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
9055 (A : vector_bool_char;
9056 B : vector_unsigned_char) return c_int
9059 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9063 (A : vector_unsigned_char;
9064 B : vector_bool_char) return c_int
9067 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9071 (A : vector_unsigned_char;
9072 B : vector_unsigned_char) return c_int
9075 return vcmpgtub_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9079 (A : vector_bool_char;
9080 B : vector_signed_char) return c_int
9083 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9087 (A : vector_signed_char;
9088 B : vector_bool_char) return c_int
9091 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9095 (A : vector_signed_char;
9096 B : vector_signed_char) return c_int
9099 return vcmpgtsb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9103 (A : vector_bool_short;
9104 B : vector_unsigned_short) return c_int
9107 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9111 (A : vector_unsigned_short;
9112 B : vector_bool_short) return c_int
9115 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9119 (A : vector_unsigned_short;
9120 B : vector_unsigned_short) return c_int
9123 return vcmpgtuh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9127 (A : vector_bool_short;
9128 B : vector_signed_short) return c_int
9131 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9135 (A : vector_signed_short;
9136 B : vector_bool_short) return c_int
9139 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9143 (A : vector_signed_short;
9144 B : vector_signed_short) return c_int
9147 return vcmpgtsh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9151 (A : vector_bool_int;
9152 B : vector_unsigned_int) return c_int
9155 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9159 (A : vector_unsigned_int;
9160 B : vector_bool_int) return c_int
9163 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9167 (A : vector_unsigned_int;
9168 B : vector_unsigned_int) return c_int
9171 return vcmpgtuw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9175 (A : vector_bool_int;
9176 B : vector_signed_int) return c_int
9179 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9183 (A : vector_signed_int;
9184 B : vector_bool_int) return c_int
9187 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9191 (A : vector_signed_int;
9192 B : vector_signed_int) return c_int
9195 return vcmpgtsw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9200 B : vector_float) return c_int
9203 return vcmpgefp_p (CR6_EQ_REV, To_LL_VF (B), To_LL_VF (A));
9209 (A : vector_bool_char;
9210 B : vector_unsigned_char) return c_int
9213 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9217 (A : vector_unsigned_char;
9218 B : vector_bool_char) return c_int
9221 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9225 (A : vector_unsigned_char;
9226 B : vector_unsigned_char) return c_int
9229 return vcmpgtub_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9233 (A : vector_bool_char;
9234 B : vector_signed_char) return c_int
9237 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9241 (A : vector_signed_char;
9242 B : vector_bool_char) return c_int
9245 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9249 (A : vector_signed_char;
9250 B : vector_signed_char) return c_int
9253 return vcmpgtsb_p (CR6_EQ_REV, To_LL_VSC (B), To_LL_VSC (A));
9257 (A : vector_bool_short;
9258 B : vector_unsigned_short) return c_int
9261 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9265 (A : vector_unsigned_short;
9266 B : vector_bool_short) return c_int
9269 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9273 (A : vector_unsigned_short;
9274 B : vector_unsigned_short) return c_int
9277 return vcmpgtuh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9281 (A : vector_bool_short;
9282 B : vector_signed_short) return c_int
9285 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9289 (A : vector_signed_short;
9290 B : vector_bool_short) return c_int
9293 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9297 (A : vector_signed_short;
9298 B : vector_signed_short) return c_int
9301 return vcmpgtsh_p (CR6_EQ_REV, To_LL_VSS (B), To_LL_VSS (A));
9305 (A : vector_bool_int;
9306 B : vector_unsigned_int) return c_int
9309 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9313 (A : vector_unsigned_int;
9314 B : vector_bool_int) return c_int
9317 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9321 (A : vector_unsigned_int;
9322 B : vector_unsigned_int) return c_int
9325 return vcmpgtuw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9329 (A : vector_bool_int;
9330 B : vector_signed_int) return c_int
9333 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9337 (A : vector_signed_int;
9338 B : vector_bool_int) return c_int
9341 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9345 (A : vector_signed_int;
9346 B : vector_signed_int) return c_int
9349 return vcmpgtsw_p (CR6_EQ_REV, To_LL_VSI (B), To_LL_VSI (A));
9354 B : vector_float) return c_int
9357 return vcmpgtfp_p (CR6_EQ_REV, To_LL_VF (B), To_LL_VF (A));
9362 function vec_any_nan
9363 (A : vector_float) return c_int
9366 return vcmpeqfp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (A));
9372 (A : vector_signed_char;
9373 B : vector_bool_char) return c_int
9376 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9380 (A : vector_signed_char;
9381 B : vector_signed_char) return c_int
9384 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9388 (A : vector_unsigned_char;
9389 B : vector_bool_char) return c_int
9392 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9396 (A : vector_unsigned_char;
9397 B : vector_unsigned_char) return c_int
9400 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9404 (A : vector_bool_char;
9405 B : vector_bool_char) return c_int
9408 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9412 (A : vector_bool_char;
9413 B : vector_unsigned_char) return c_int
9416 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9420 (A : vector_bool_char;
9421 B : vector_signed_char) return c_int
9424 return vcmpequb_p (CR6_LT_REV, To_LL_VSC (A), To_LL_VSC (B));
9428 (A : vector_signed_short;
9429 B : vector_bool_short) return c_int
9432 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9436 (A : vector_signed_short;
9437 B : vector_signed_short) return c_int
9440 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9444 (A : vector_unsigned_short;
9445 B : vector_bool_short) return c_int
9448 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9452 (A : vector_unsigned_short;
9453 B : vector_unsigned_short) return c_int
9456 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9460 (A : vector_bool_short;
9461 B : vector_bool_short) return c_int
9464 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9468 (A : vector_bool_short;
9469 B : vector_unsigned_short) return c_int
9472 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9476 (A : vector_bool_short;
9477 B : vector_signed_short) return c_int
9480 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9485 B : vector_pixel) return c_int
9488 return vcmpequh_p (CR6_LT_REV, To_LL_VSS (A), To_LL_VSS (B));
9492 (A : vector_signed_int;
9493 B : vector_bool_int) return c_int
9496 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9500 (A : vector_signed_int;
9501 B : vector_signed_int) return c_int
9504 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9508 (A : vector_unsigned_int;
9509 B : vector_bool_int) return c_int
9512 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9516 (A : vector_unsigned_int;
9517 B : vector_unsigned_int) return c_int
9520 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9524 (A : vector_bool_int;
9525 B : vector_bool_int) return c_int
9528 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9532 (A : vector_bool_int;
9533 B : vector_unsigned_int) return c_int
9536 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9540 (A : vector_bool_int;
9541 B : vector_signed_int) return c_int
9544 return vcmpequw_p (CR6_LT_REV, To_LL_VSI (A), To_LL_VSI (B));
9549 B : vector_float) return c_int
9552 return vcmpeqfp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (B));
9557 function vec_any_nge
9559 B : vector_float) return c_int
9562 return vcmpgefp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (B));
9567 function vec_any_ngt
9569 B : vector_float) return c_int
9572 return vcmpgtfp_p (CR6_LT_REV, To_LL_VF (A), To_LL_VF (B));
9577 function vec_any_nle
9579 B : vector_float) return c_int
9582 return vcmpgefp_p (CR6_LT_REV, To_LL_VF (B), To_LL_VF (A));
9587 function vec_any_nlt
9589 B : vector_float) return c_int
9592 return vcmpgtfp_p (CR6_LT_REV, To_LL_VF (B), To_LL_VF (A));
9595 -- vec_any_numeric --
9597 function vec_any_numeric
9598 (A : vector_float) return c_int
9601 return vcmpeqfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (A));
9602 end vec_any_numeric;
9606 function vec_any_out
9608 B : vector_float) return c_int
9611 return vcmpbfp_p (CR6_EQ_REV, To_LL_VF (A), To_LL_VF (B));
9617 (V : vector_unsigned_char) return Integer
9619 pragma Unreferenced (V);
9625 (V : vector_signed_char) return Integer
9627 pragma Unreferenced (V);
9633 (V : vector_bool_char) return Integer
9635 pragma Unreferenced (V);
9641 (V : vector_unsigned_short) return Integer
9643 pragma Unreferenced (V);
9649 (V : vector_signed_short) return Integer
9651 pragma Unreferenced (V);
9657 (V : vector_bool_short) return Integer
9659 pragma Unreferenced (V);
9665 (V : vector_unsigned_int) return Integer
9667 pragma Unreferenced (V);
9673 (V : vector_signed_int) return Integer
9675 pragma Unreferenced (V);
9681 (V : vector_bool_int) return Integer
9683 pragma Unreferenced (V);
9689 (V : vector_float) return Integer
9691 pragma Unreferenced (V);
9697 (V : vector_pixel) return Integer
9699 pragma Unreferenced (V);
9704 end GNAT.Altivec.Vector_Operations;