xref: /llvm-project/llvm/test/CodeGen/LoongArch/lasx/intrinsic-ssrarni-invalid-imm.ll (revision 82bbf7003cabe2b6be8ab9b88bc96ecb8a64dc49) 
1; RUN: not llc --mtriple=loongarch64 --mattr=+lasx < %s 2>&1 | FileCheck %s
2
3declare <32 x i8> @llvm.loongarch.lasx.xvssrarni.b.h(<32 x i8>, <32 x i8>, i32)
4
5define <32 x i8> @lasx_xvssrarni_b_h_lo(<32 x i8> %va, <32 x i8> %vb) nounwind {
6; CHECK: llvm.loongarch.lasx.xvssrarni.b.h: argument out of range
7entry:
8  %res = call <32 x i8> @llvm.loongarch.lasx.xvssrarni.b.h(<32 x i8> %va, <32 x i8> %vb, i32 -1)
9  ret <32 x i8> %res
10}
11
12define <32 x i8> @lasx_xvssrarni_b_h_hi(<32 x i8> %va, <32 x i8> %vb) nounwind {
13; CHECK: llvm.loongarch.lasx.xvssrarni.b.h: argument out of range
14entry:
15  %res = call <32 x i8> @llvm.loongarch.lasx.xvssrarni.b.h(<32 x i8> %va, <32 x i8> %vb, i32 16)
16  ret <32 x i8> %res
17}
18
19declare <16 x i16> @llvm.loongarch.lasx.xvssrarni.h.w(<16 x i16>, <16 x i16>, i32)
20
21define <16 x i16> @lasx_xvssrarni_h_w_lo(<16 x i16> %va, <16 x i16> %vb) nounwind {
22; CHECK: llvm.loongarch.lasx.xvssrarni.h.w: argument out of range
23entry:
24  %res = call <16 x i16> @llvm.loongarch.lasx.xvssrarni.h.w(<16 x i16> %va, <16 x i16> %vb, i32 -1)
25  ret <16 x i16> %res
26}
27
28define <16 x i16> @lasx_xvssrarni_h_w_hi(<16 x i16> %va, <16 x i16> %vb) nounwind {
29; CHECK: llvm.loongarch.lasx.xvssrarni.h.w: argument out of range
30entry:
31  %res = call <16 x i16> @llvm.loongarch.lasx.xvssrarni.h.w(<16 x i16> %va, <16 x i16> %vb, i32 32)
32  ret <16 x i16> %res
33}
34
35declare <8 x i32> @llvm.loongarch.lasx.xvssrarni.w.d(<8 x i32>, <8 x i32>, i32)
36
37define <8 x i32> @lasx_xvssrarni_w_d_lo(<8 x i32> %va, <8 x i32> %vb) nounwind {
38; CHECK: llvm.loongarch.lasx.xvssrarni.w.d: argument out of range
39entry:
40  %res = call <8 x i32> @llvm.loongarch.lasx.xvssrarni.w.d(<8 x i32> %va, <8 x i32> %vb, i32 -1)
41  ret <8 x i32> %res
42}
43
44define <8 x i32> @lasx_xvssrarni_w_d_hi(<8 x i32> %va, <8 x i32> %vb) nounwind {
45; CHECK: llvm.loongarch.lasx.xvssrarni.w.d: argument out of range
46entry:
47  %res = call <8 x i32> @llvm.loongarch.lasx.xvssrarni.w.d(<8 x i32> %va, <8 x i32> %vb, i32 64)
48  ret <8 x i32> %res
49}
50
51declare <4 x i64> @llvm.loongarch.lasx.xvssrarni.d.q(<4 x i64>, <4 x i64>, i32)
52
53define <4 x i64> @lasx_xvssrarni_d_q_lo(<4 x i64> %va, <4 x i64> %vb) nounwind {
54; CHECK: llvm.loongarch.lasx.xvssrarni.d.q: argument out of range
55entry:
56  %res = call <4 x i64> @llvm.loongarch.lasx.xvssrarni.d.q(<4 x i64> %va, <4 x i64> %vb, i32 -1)
57  ret <4 x i64> %res
58}
59
60define <4 x i64> @lasx_xvssrarni_d_q_hi(<4 x i64> %va, <4 x i64> %vb) nounwind {
61; CHECK: llvm.loongarch.lasx.xvssrarni.d.q: argument out of range
62entry:
63  %res = call <4 x i64> @llvm.loongarch.lasx.xvssrarni.d.q(<4 x i64> %va, <4 x i64> %vb, i32 128)
64  ret <4 x i64> %res
65}
66
67declare <32 x i8> @llvm.loongarch.lasx.xvssrarni.bu.h(<32 x i8>, <32 x i8>, i32)
68
69define <32 x i8> @lasx_xvssrarni_bu_h_lo(<32 x i8> %va, <32 x i8> %vb) nounwind {
70; CHECK: llvm.loongarch.lasx.xvssrarni.bu.h: argument out of range
71entry:
72  %res = call <32 x i8> @llvm.loongarch.lasx.xvssrarni.bu.h(<32 x i8> %va, <32 x i8> %vb, i32 -1)
73  ret <32 x i8> %res
74}
75
76define <32 x i8> @lasx_xvssrarni_bu_h_hi(<32 x i8> %va, <32 x i8> %vb) nounwind {
77; CHECK: llvm.loongarch.lasx.xvssrarni.bu.h: argument out of range
78entry:
79  %res = call <32 x i8> @llvm.loongarch.lasx.xvssrarni.bu.h(<32 x i8> %va, <32 x i8> %vb, i32 16)
80  ret <32 x i8> %res
81}
82
83declare <16 x i16> @llvm.loongarch.lasx.xvssrarni.hu.w(<16 x i16>, <16 x i16>, i32)
84
85define <16 x i16> @lasx_xvssrarni_hu_w_lo(<16 x i16> %va, <16 x i16> %vb) nounwind {
86; CHECK: llvm.loongarch.lasx.xvssrarni.hu.w: argument out of range
87entry:
88  %res = call <16 x i16> @llvm.loongarch.lasx.xvssrarni.hu.w(<16 x i16> %va, <16 x i16> %vb, i32 -1)
89  ret <16 x i16> %res
90}
91
92define <16 x i16> @lasx_xvssrarni_hu_w_hi(<16 x i16> %va, <16 x i16> %vb) nounwind {
93; CHECK: llvm.loongarch.lasx.xvssrarni.hu.w: argument out of range
94entry:
95  %res = call <16 x i16> @llvm.loongarch.lasx.xvssrarni.hu.w(<16 x i16> %va, <16 x i16> %vb, i32 32)
96  ret <16 x i16> %res
97}
98
99declare <8 x i32> @llvm.loongarch.lasx.xvssrarni.wu.d(<8 x i32>, <8 x i32>, i32)
100
101define <8 x i32> @lasx_xvssrarni_wu_d_lo(<8 x i32> %va, <8 x i32> %vb) nounwind {
102; CHECK: llvm.loongarch.lasx.xvssrarni.wu.d: argument out of range
103entry:
104  %res = call <8 x i32> @llvm.loongarch.lasx.xvssrarni.wu.d(<8 x i32> %va, <8 x i32> %vb, i32 -1)
105  ret <8 x i32> %res
106}
107
108define <8 x i32> @lasx_xvssrarni_wu_d_hi(<8 x i32> %va, <8 x i32> %vb) nounwind {
109; CHECK: llvm.loongarch.lasx.xvssrarni.wu.d: argument out of range
110entry:
111  %res = call <8 x i32> @llvm.loongarch.lasx.xvssrarni.wu.d(<8 x i32> %va, <8 x i32> %vb, i32 64)
112  ret <8 x i32> %res
113}
114
115declare <4 x i64> @llvm.loongarch.lasx.xvssrarni.du.q(<4 x i64>, <4 x i64>, i32)
116
117define <4 x i64> @lasx_xvssrarni_du_q_lo(<4 x i64> %va, <4 x i64> %vb) nounwind {
118; CHECK: llvm.loongarch.lasx.xvssrarni.du.q: argument out of range
119entry:
120  %res = call <4 x i64> @llvm.loongarch.lasx.xvssrarni.du.q(<4 x i64> %va, <4 x i64> %vb, i32 -1)
121  ret <4 x i64> %res
122}
123
124define <4 x i64> @lasx_xvssrarni_du_q_hi(<4 x i64> %va, <4 x i64> %vb) nounwind {
125; CHECK: llvm.loongarch.lasx.xvssrarni.du.q: argument out of range
126entry:
127  %res = call <4 x i64> @llvm.loongarch.lasx.xvssrarni.du.q(<4 x i64> %va, <4 x i64> %vb, i32 128)
128  ret <4 x i64> %res
129}
130