[RISCV][VLOPT] Add vector narrowing integer right shift instructions to isSupportedIn...
[llvm-project.git] / llvm / test / CodeGen / AArch64 / arm64-vsra.ll
blobfa6a40c0181d07ed07ee9007c9c735aeffb189c0
1 ; RUN: llc < %s -mtriple=arm64-eabi -aarch64-neon-syntax=apple | FileCheck %s
3 define <8 x i8> @vsras8(ptr %A, ptr %B) nounwind {
4 ;CHECK-LABEL: vsras8:
5 ;CHECK: ssra.8b
6         %tmp1 = load <8 x i8>, ptr %A
7         %tmp2 = load <8 x i8>, ptr %B
8         %tmp3 = ashr <8 x i8> %tmp2, < i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7 >
9         %tmp4 = add <8 x i8> %tmp1, %tmp3
10         ret <8 x i8> %tmp4
13 define <4 x i16> @vsras16(ptr %A, ptr %B) nounwind {
14 ;CHECK-LABEL: vsras16:
15 ;CHECK: ssra.4h
16         %tmp1 = load <4 x i16>, ptr %A
17         %tmp2 = load <4 x i16>, ptr %B
18         %tmp3 = ashr <4 x i16> %tmp2, < i16 15, i16 15, i16 15, i16 15 >
19         %tmp4 = add <4 x i16> %tmp1, %tmp3
20         ret <4 x i16> %tmp4
23 define <2 x i32> @vsras32(ptr %A, ptr %B) nounwind {
24 ;CHECK-LABEL: vsras32:
25 ;CHECK: ssra.2s
26         %tmp1 = load <2 x i32>, ptr %A
27         %tmp2 = load <2 x i32>, ptr %B
28         %tmp3 = ashr <2 x i32> %tmp2, < i32 31, i32 31 >
29         %tmp4 = add <2 x i32> %tmp1, %tmp3
30         ret <2 x i32> %tmp4
33 define <16 x i8> @vsraQs8(ptr %A, ptr %B) nounwind {
34 ;CHECK-LABEL: vsraQs8:
35 ;CHECK: ssra.16b
36         %tmp1 = load <16 x i8>, ptr %A
37         %tmp2 = load <16 x i8>, ptr %B
38         %tmp3 = ashr <16 x i8> %tmp2, < i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7 >
39         %tmp4 = add <16 x i8> %tmp1, %tmp3
40         ret <16 x i8> %tmp4
43 define <8 x i16> @vsraQs16(ptr %A, ptr %B) nounwind {
44 ;CHECK-LABEL: vsraQs16:
45 ;CHECK: ssra.8h
46         %tmp1 = load <8 x i16>, ptr %A
47         %tmp2 = load <8 x i16>, ptr %B
48         %tmp3 = ashr <8 x i16> %tmp2, < i16 15, i16 15, i16 15, i16 15, i16 15, i16 15, i16 15, i16 15 >
49         %tmp4 = add <8 x i16> %tmp1, %tmp3
50         ret <8 x i16> %tmp4
53 define <4 x i32> @vsraQs32(ptr %A, ptr %B) nounwind {
54 ;CHECK-LABEL: vsraQs32:
55 ;CHECK: ssra.4s
56         %tmp1 = load <4 x i32>, ptr %A
57         %tmp2 = load <4 x i32>, ptr %B
58         %tmp3 = ashr <4 x i32> %tmp2, < i32 31, i32 31, i32 31, i32 31 >
59         %tmp4 = add <4 x i32> %tmp1, %tmp3
60         ret <4 x i32> %tmp4
63 define <2 x i64> @vsraQs64(ptr %A, ptr %B) nounwind {
64 ;CHECK-LABEL: vsraQs64:
65 ;CHECK: ssra.2d
66         %tmp1 = load <2 x i64>, ptr %A
67         %tmp2 = load <2 x i64>, ptr %B
68         %tmp3 = ashr <2 x i64> %tmp2, < i64 63, i64 63 >
69         %tmp4 = add <2 x i64> %tmp1, %tmp3
70         ret <2 x i64> %tmp4
73 define <8 x i8> @vsrau8(ptr %A, ptr %B) nounwind {
74 ;CHECK-LABEL: vsrau8:
75 ;CHECK: usra.8b
76         %tmp1 = load <8 x i8>, ptr %A
77         %tmp2 = load <8 x i8>, ptr %B
78         %tmp3 = lshr <8 x i8> %tmp2, < i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7 >
79         %tmp4 = add <8 x i8> %tmp1, %tmp3
80         ret <8 x i8> %tmp4
83 define <4 x i16> @vsrau16(ptr %A, ptr %B) nounwind {
84 ;CHECK-LABEL: vsrau16:
85 ;CHECK: usra.4h
86         %tmp1 = load <4 x i16>, ptr %A
87         %tmp2 = load <4 x i16>, ptr %B
88         %tmp3 = lshr <4 x i16> %tmp2, < i16 15, i16 15, i16 15, i16 15 >
89         %tmp4 = add <4 x i16> %tmp1, %tmp3
90         ret <4 x i16> %tmp4
93 define <2 x i32> @vsrau32(ptr %A, ptr %B) nounwind {
94 ;CHECK-LABEL: vsrau32:
95 ;CHECK: usra.2s
96         %tmp1 = load <2 x i32>, ptr %A
97         %tmp2 = load <2 x i32>, ptr %B
98         %tmp3 = lshr <2 x i32> %tmp2, < i32 31, i32 31 >
99         %tmp4 = add <2 x i32> %tmp1, %tmp3
100         ret <2 x i32> %tmp4
104 define <16 x i8> @vsraQu8(ptr %A, ptr %B) nounwind {
105 ;CHECK-LABEL: vsraQu8:
106 ;CHECK: usra.16b
107         %tmp1 = load <16 x i8>, ptr %A
108         %tmp2 = load <16 x i8>, ptr %B
109         %tmp3 = lshr <16 x i8> %tmp2, < i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7, i8 7 >
110         %tmp4 = add <16 x i8> %tmp1, %tmp3
111         ret <16 x i8> %tmp4
114 define <8 x i16> @vsraQu16(ptr %A, ptr %B) nounwind {
115 ;CHECK-LABEL: vsraQu16:
116 ;CHECK: usra.8h
117         %tmp1 = load <8 x i16>, ptr %A
118         %tmp2 = load <8 x i16>, ptr %B
119         %tmp3 = lshr <8 x i16> %tmp2, < i16 15, i16 15, i16 15, i16 15, i16 15, i16 15, i16 15, i16 15 >
120         %tmp4 = add <8 x i16> %tmp1, %tmp3
121         ret <8 x i16> %tmp4
124 define <4 x i32> @vsraQu32(ptr %A, ptr %B) nounwind {
125 ;CHECK-LABEL: vsraQu32:
126 ;CHECK: usra.4s
127         %tmp1 = load <4 x i32>, ptr %A
128         %tmp2 = load <4 x i32>, ptr %B
129         %tmp3 = lshr <4 x i32> %tmp2, < i32 31, i32 31, i32 31, i32 31 >
130         %tmp4 = add <4 x i32> %tmp1, %tmp3
131         ret <4 x i32> %tmp4
134 define <2 x i64> @vsraQu64(ptr %A, ptr %B) nounwind {
135 ;CHECK-LABEL: vsraQu64:
136 ;CHECK: usra.2d
137         %tmp1 = load <2 x i64>, ptr %A
138         %tmp2 = load <2 x i64>, ptr %B
139         %tmp3 = lshr <2 x i64> %tmp2, < i64 63, i64 63 >
140         %tmp4 = add <2 x i64> %tmp1, %tmp3
141         ret <2 x i64> %tmp4
144 define <1 x i64> @vsra_v1i64(<1 x i64> %A, <1 x i64> %B) nounwind {
145 ; CHECK-LABEL: vsra_v1i64:
146 ; CHECK: ssra d0, d1, #63
147   %tmp3 = ashr <1 x i64> %B, < i64 63 >
148   %tmp4 = add <1 x i64> %A, %tmp3
149   ret <1 x i64> %tmp4