annotate clang/test/CodeGen/builtins-ppc-error.c @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // REQUIRES: powerpc-registered-target
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 // RUN: %clang_cc1 -target-feature +altivec -target-feature +power9-vector \
anatofuz
parents:
diff changeset
4 // RUN: -triple powerpc64-unknown-unknown -fsyntax-only \
anatofuz
parents:
diff changeset
5 // RUN: -flax-vector-conversions=integer \
anatofuz
parents:
diff changeset
6 // RUN: -Wall -Werror -verify %s
anatofuz
parents:
diff changeset
7
anatofuz
parents:
diff changeset
8 // RUN: %clang_cc1 -target-feature +altivec -target-feature +power9-vector \
anatofuz
parents:
diff changeset
9 // RUN: -triple powerpc64le-unknown-unknown -fsyntax-only \
anatofuz
parents:
diff changeset
10 // RUN: -flax-vector-conversions=integer \
anatofuz
parents:
diff changeset
11 // RUN: -Wall -Werror -verify %s
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 // FIXME: Fix <altivec.h> so this test also passes under
anatofuz
parents:
diff changeset
14 // -flax-vector-conversions=none (this last test exists to produce an error if
anatofuz
parents:
diff changeset
15 // we change the default to that without fixing <altivec.h>).
anatofuz
parents:
diff changeset
16 // RUN: %clang_cc1 -target-feature +altivec -target-feature +power9-vector \
anatofuz
parents:
diff changeset
17 // RUN: -triple powerpc64-unknown-unknown -fsyntax-only \
anatofuz
parents:
diff changeset
18 // RUN: -Wall -Werror -verify %s
anatofuz
parents:
diff changeset
19
anatofuz
parents:
diff changeset
20 #include <altivec.h>
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 extern vector signed int vsi;
anatofuz
parents:
diff changeset
23 extern vector signed int vui;
anatofuz
parents:
diff changeset
24 extern vector float vf;
anatofuz
parents:
diff changeset
25 extern vector unsigned char vuc;
anatofuz
parents:
diff changeset
26 extern vector signed __int128 vsllli;
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 void testInsertWord(void) {
anatofuz
parents:
diff changeset
29 int index = 5;
anatofuz
parents:
diff changeset
30 vector unsigned char v1 = vec_insert4b(vsi, vuc, index); // expected-error {{argument to '__builtin_vsx_insertword' must be a constant integer}}
anatofuz
parents:
diff changeset
31 vector unsigned long long v2 = vec_extract4b(vuc, index); // expected-error {{argument to '__builtin_vsx_extractuword' must be a constant integer}}
anatofuz
parents:
diff changeset
32 }
anatofuz
parents:
diff changeset
33
anatofuz
parents:
diff changeset
34 void testXXPERMDI(int index) {
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
35 vec_xxpermdi(vsi); //expected-error {{too few arguments to function call, expected 3, have 1}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
36 vec_xxpermdi(vsi, vsi, 2, 4); //expected-error {{too many arguments to function call, expected 3, have 4}}
150
anatofuz
parents:
diff changeset
37 vec_xxpermdi(vsi, vsi, index); //expected-error {{argument 3 to '__builtin_vsx_xxpermdi' must be a 2-bit unsigned literal (i.e. 0, 1, 2 or 3)}}
anatofuz
parents:
diff changeset
38 vec_xxpermdi(1, 2, 3); //expected-error {{first two arguments to '__builtin_vsx_xxpermdi' must be vectors}}
anatofuz
parents:
diff changeset
39 vec_xxpermdi(vsi, vuc, 2); //expected-error {{first two arguments to '__builtin_vsx_xxpermdi' must have the same type}}
anatofuz
parents:
diff changeset
40 }
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 void testXXSLDWI(int index) {
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
43 vec_xxsldwi(vsi); //expected-error {{too few arguments to function call, expected 3, have 1}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
44 vec_xxsldwi(vsi, vsi, 2, 4); //expected-error {{too many arguments to function call, expected 3, have 4}}
150
anatofuz
parents:
diff changeset
45 vec_xxsldwi(vsi, vsi, index); //expected-error {{argument 3 to '__builtin_vsx_xxsldwi' must be a 2-bit unsigned literal (i.e. 0, 1, 2 or 3)}}
anatofuz
parents:
diff changeset
46 vec_xxsldwi(1, 2, 3); //expected-error {{first two arguments to '__builtin_vsx_xxsldwi' must be vectors}}
anatofuz
parents:
diff changeset
47 vec_xxsldwi(vsi, vuc, 2); //expected-error {{first two arguments to '__builtin_vsx_xxsldwi' must have the same type}}
anatofuz
parents:
diff changeset
48 }
anatofuz
parents:
diff changeset
49
anatofuz
parents:
diff changeset
50 void testCTF(int index) {
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
51 vec_ctf(vsi, index); //expected-error {{argument to '__builtin_altivec_vcfsx' must be a constant integer}} expected-error {{argument to '__builtin_altivec_vcfux' must be a constant integer}}
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
52 vec_ctf(vui, index); //expected-error {{argument to '__builtin_altivec_vcfsx' must be a constant integer}} expected-error {{argument to '__builtin_altivec_vcfux' must be a constant integer}}
150
anatofuz
parents:
diff changeset
53 }
anatofuz
parents:
diff changeset
54
anatofuz
parents:
diff changeset
55 void testVCFSX(int index) {
anatofuz
parents:
diff changeset
56 vec_vcfsx(vsi, index); //expected-error {{argument to '__builtin_altivec_vcfsx' must be a constant integer}}
anatofuz
parents:
diff changeset
57 }
anatofuz
parents:
diff changeset
58
anatofuz
parents:
diff changeset
59 void testVCFUX(int index) {
anatofuz
parents:
diff changeset
60 vec_vcfux(vui, index); //expected-error {{argument to '__builtin_altivec_vcfux' must be a constant integer}}
anatofuz
parents:
diff changeset
61 }
anatofuz
parents:
diff changeset
62
anatofuz
parents:
diff changeset
63 void testCTS(int index) {
anatofuz
parents:
diff changeset
64 vec_cts(vf, index); //expected-error {{argument to '__builtin_altivec_vctsxs' must be a constant integer}}
anatofuz
parents:
diff changeset
65
anatofuz
parents:
diff changeset
66 }
anatofuz
parents:
diff changeset
67
anatofuz
parents:
diff changeset
68 void testVCTSXS(int index) {
anatofuz
parents:
diff changeset
69 vec_vctsxs(vf, index); //expected-error {{argument to '__builtin_altivec_vctsxs' must be a constant integer}}
anatofuz
parents:
diff changeset
70 }
anatofuz
parents:
diff changeset
71
anatofuz
parents:
diff changeset
72 void testCTU(int index) {
anatofuz
parents:
diff changeset
73 vec_ctu(vf, index); //expected-error {{argument to '__builtin_altivec_vctuxs' must be a constant integer}}
anatofuz
parents:
diff changeset
74
anatofuz
parents:
diff changeset
75 }
anatofuz
parents:
diff changeset
76
anatofuz
parents:
diff changeset
77 void testVCTUXS(int index) {
anatofuz
parents:
diff changeset
78 vec_vctuxs(vf, index); //expected-error {{argument to '__builtin_altivec_vctuxs' must be a constant integer}}
anatofuz
parents:
diff changeset
79 }
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 void testUnpack128(int index) {
anatofuz
parents:
diff changeset
82 __builtin_unpack_vector_int128(vsllli, index); //expected-error {{argument to '__builtin_unpack_vector_int128' must be a constant integer}}
anatofuz
parents:
diff changeset
83 __builtin_unpack_vector_int128(vsllli, 5); //expected-error {{argument value 5 is outside the valid range [0, 1]}}
anatofuz
parents:
diff changeset
84 }
anatofuz
parents:
diff changeset
85
anatofuz
parents:
diff changeset
86 void testDSS(int index) {
anatofuz
parents:
diff changeset
87 vec_dss(index); //expected-error {{argument to '__builtin_altivec_dss' must be a constant integer}}
anatofuz
parents:
diff changeset
88 vec_dss(5); //expected-error {{argument value 5 is outside the valid range [0, 3]}}
anatofuz
parents:
diff changeset
89 }
anatofuz
parents:
diff changeset
90
anatofuz
parents:
diff changeset
91 void testDST(int index) {
anatofuz
parents:
diff changeset
92 vec_dst(&vsi, index, index); //expected-error {{argument to '__builtin_altivec_dst' must be a constant integer}}
anatofuz
parents:
diff changeset
93 vec_dst(&vsi, index, 5); //expected-error {{argument value 5 is outside the valid range [0, 3]}}
anatofuz
parents:
diff changeset
94 vec_dstt(&vsi, index, index); //expected-error {{argument to '__builtin_altivec_dstt' must be a constant integer}}
anatofuz
parents:
diff changeset
95 vec_dstt(&vsi, index, 5); //expected-error {{argument value 5 is outside the valid range [0, 3]}}
anatofuz
parents:
diff changeset
96 vec_dstst(&vsi, index, index); //expected-error {{argument to '__builtin_altivec_dstst' must be a constant integer}}
anatofuz
parents:
diff changeset
97 vec_dstst(&vsi, index, 5); //expected-error {{argument value 5 is outside the valid range [0, 3]}}
anatofuz
parents:
diff changeset
98 vec_dststt(&vsi, index, index); //expected-error {{argument to '__builtin_altivec_dststt' must be a constant integer}}
anatofuz
parents:
diff changeset
99 vec_dststt(&vsi, index, 5); //expected-error {{argument value 5 is outside the valid range [0, 3]}}
anatofuz
parents:
diff changeset
100 }