1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 2
2 // REQUIRES: riscv-registered-target
3 // RUN: %clang_cc1 -triple riscv64 -target-feature +v -target-feature +zfh \
4 // RUN: -target-feature +zvfh -disable-O0-optnone \
5 // RUN: -emit-llvm %s -o - | opt -S -passes=mem2reg | \
6 // RUN: FileCheck --check-prefix=CHECK-RV64 %s
8 #include <riscv_vector.h>
10 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_i8mf8x8
11 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 1 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0:[0-9]+]] {
12 // CHECK-RV64-NEXT: entry:
13 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.triscv.vector.tuple_nxv1i8_8t.i64(target("riscv.vector.tuple", <vscale x 1 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3)
14 // CHECK-RV64-NEXT: ret void
16 void test_vsseg8e8_v_i8mf8x8(int8_t *base
, vint8mf8x8_t v_tuple
, size_t vl
) {
17 return __riscv_vsseg8e8_v_i8mf8x8(base
, v_tuple
, vl
);
20 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_i8mf4x8
21 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 2 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
22 // CHECK-RV64-NEXT: entry:
23 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.triscv.vector.tuple_nxv2i8_8t.i64(target("riscv.vector.tuple", <vscale x 2 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3)
24 // CHECK-RV64-NEXT: ret void
26 void test_vsseg8e8_v_i8mf4x8(int8_t *base
, vint8mf4x8_t v_tuple
, size_t vl
) {
27 return __riscv_vsseg8e8_v_i8mf4x8(base
, v_tuple
, vl
);
30 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_i8mf2x8
31 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 4 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
32 // CHECK-RV64-NEXT: entry:
33 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.triscv.vector.tuple_nxv4i8_8t.i64(target("riscv.vector.tuple", <vscale x 4 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3)
34 // CHECK-RV64-NEXT: ret void
36 void test_vsseg8e8_v_i8mf2x8(int8_t *base
, vint8mf2x8_t v_tuple
, size_t vl
) {
37 return __riscv_vsseg8e8_v_i8mf2x8(base
, v_tuple
, vl
);
40 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_i8m1x8
41 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 8 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
42 // CHECK-RV64-NEXT: entry:
43 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.triscv.vector.tuple_nxv8i8_8t.i64(target("riscv.vector.tuple", <vscale x 8 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3)
44 // CHECK-RV64-NEXT: ret void
46 void test_vsseg8e8_v_i8m1x8(int8_t *base
, vint8m1x8_t v_tuple
, size_t vl
) {
47 return __riscv_vsseg8e8_v_i8m1x8(base
, v_tuple
, vl
);
50 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_u8mf8x8
51 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 1 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
52 // CHECK-RV64-NEXT: entry:
53 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.triscv.vector.tuple_nxv1i8_8t.i64(target("riscv.vector.tuple", <vscale x 1 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3)
54 // CHECK-RV64-NEXT: ret void
56 void test_vsseg8e8_v_u8mf8x8(uint8_t *base
, vuint8mf8x8_t v_tuple
, size_t vl
) {
57 return __riscv_vsseg8e8_v_u8mf8x8(base
, v_tuple
, vl
);
60 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_u8mf4x8
61 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 2 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
62 // CHECK-RV64-NEXT: entry:
63 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.triscv.vector.tuple_nxv2i8_8t.i64(target("riscv.vector.tuple", <vscale x 2 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3)
64 // CHECK-RV64-NEXT: ret void
66 void test_vsseg8e8_v_u8mf4x8(uint8_t *base
, vuint8mf4x8_t v_tuple
, size_t vl
) {
67 return __riscv_vsseg8e8_v_u8mf4x8(base
, v_tuple
, vl
);
70 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_u8mf2x8
71 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 4 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
72 // CHECK-RV64-NEXT: entry:
73 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.triscv.vector.tuple_nxv4i8_8t.i64(target("riscv.vector.tuple", <vscale x 4 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3)
74 // CHECK-RV64-NEXT: ret void
76 void test_vsseg8e8_v_u8mf2x8(uint8_t *base
, vuint8mf2x8_t v_tuple
, size_t vl
) {
77 return __riscv_vsseg8e8_v_u8mf2x8(base
, v_tuple
, vl
);
80 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_u8m1x8
81 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 8 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
82 // CHECK-RV64-NEXT: entry:
83 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.triscv.vector.tuple_nxv8i8_8t.i64(target("riscv.vector.tuple", <vscale x 8 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3)
84 // CHECK-RV64-NEXT: ret void
86 void test_vsseg8e8_v_u8m1x8(uint8_t *base
, vuint8m1x8_t v_tuple
, size_t vl
) {
87 return __riscv_vsseg8e8_v_u8m1x8(base
, v_tuple
, vl
);
90 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_i8mf8x8_m
91 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 1 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
92 // CHECK-RV64-NEXT: entry:
93 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.mask.triscv.vector.tuple_nxv1i8_8t.nxv1i1.i64(target("riscv.vector.tuple", <vscale x 1 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], <vscale x 1 x i1> [[MASK]], i64 [[VL]], i64 3)
94 // CHECK-RV64-NEXT: ret void
96 void test_vsseg8e8_v_i8mf8x8_m(vbool64_t mask
, int8_t *base
, vint8mf8x8_t v_tuple
, size_t vl
) {
97 return __riscv_vsseg8e8_v_i8mf8x8_m(mask
, base
, v_tuple
, vl
);
100 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_i8mf4x8_m
101 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 2 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
102 // CHECK-RV64-NEXT: entry:
103 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.mask.triscv.vector.tuple_nxv2i8_8t.nxv2i1.i64(target("riscv.vector.tuple", <vscale x 2 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], <vscale x 2 x i1> [[MASK]], i64 [[VL]], i64 3)
104 // CHECK-RV64-NEXT: ret void
106 void test_vsseg8e8_v_i8mf4x8_m(vbool32_t mask
, int8_t *base
, vint8mf4x8_t v_tuple
, size_t vl
) {
107 return __riscv_vsseg8e8_v_i8mf4x8_m(mask
, base
, v_tuple
, vl
);
110 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_i8mf2x8_m
111 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 4 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
112 // CHECK-RV64-NEXT: entry:
113 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.mask.triscv.vector.tuple_nxv4i8_8t.nxv4i1.i64(target("riscv.vector.tuple", <vscale x 4 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], <vscale x 4 x i1> [[MASK]], i64 [[VL]], i64 3)
114 // CHECK-RV64-NEXT: ret void
116 void test_vsseg8e8_v_i8mf2x8_m(vbool16_t mask
, int8_t *base
, vint8mf2x8_t v_tuple
, size_t vl
) {
117 return __riscv_vsseg8e8_v_i8mf2x8_m(mask
, base
, v_tuple
, vl
);
120 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_i8m1x8_m
121 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 8 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
122 // CHECK-RV64-NEXT: entry:
123 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.mask.triscv.vector.tuple_nxv8i8_8t.nxv8i1.i64(target("riscv.vector.tuple", <vscale x 8 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], <vscale x 8 x i1> [[MASK]], i64 [[VL]], i64 3)
124 // CHECK-RV64-NEXT: ret void
126 void test_vsseg8e8_v_i8m1x8_m(vbool8_t mask
, int8_t *base
, vint8m1x8_t v_tuple
, size_t vl
) {
127 return __riscv_vsseg8e8_v_i8m1x8_m(mask
, base
, v_tuple
, vl
);
130 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_u8mf8x8_m
131 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 1 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
132 // CHECK-RV64-NEXT: entry:
133 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.mask.triscv.vector.tuple_nxv1i8_8t.nxv1i1.i64(target("riscv.vector.tuple", <vscale x 1 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], <vscale x 1 x i1> [[MASK]], i64 [[VL]], i64 3)
134 // CHECK-RV64-NEXT: ret void
136 void test_vsseg8e8_v_u8mf8x8_m(vbool64_t mask
, uint8_t *base
, vuint8mf8x8_t v_tuple
, size_t vl
) {
137 return __riscv_vsseg8e8_v_u8mf8x8_m(mask
, base
, v_tuple
, vl
);
140 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_u8mf4x8_m
141 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 2 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
142 // CHECK-RV64-NEXT: entry:
143 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.mask.triscv.vector.tuple_nxv2i8_8t.nxv2i1.i64(target("riscv.vector.tuple", <vscale x 2 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], <vscale x 2 x i1> [[MASK]], i64 [[VL]], i64 3)
144 // CHECK-RV64-NEXT: ret void
146 void test_vsseg8e8_v_u8mf4x8_m(vbool32_t mask
, uint8_t *base
, vuint8mf4x8_t v_tuple
, size_t vl
) {
147 return __riscv_vsseg8e8_v_u8mf4x8_m(mask
, base
, v_tuple
, vl
);
150 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_u8mf2x8_m
151 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 4 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
152 // CHECK-RV64-NEXT: entry:
153 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.mask.triscv.vector.tuple_nxv4i8_8t.nxv4i1.i64(target("riscv.vector.tuple", <vscale x 4 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], <vscale x 4 x i1> [[MASK]], i64 [[VL]], i64 3)
154 // CHECK-RV64-NEXT: ret void
156 void test_vsseg8e8_v_u8mf2x8_m(vbool16_t mask
, uint8_t *base
, vuint8mf2x8_t v_tuple
, size_t vl
) {
157 return __riscv_vsseg8e8_v_u8mf2x8_m(mask
, base
, v_tuple
, vl
);
160 // CHECK-RV64-LABEL: define dso_local void @test_vsseg8e8_v_u8m1x8_m
161 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 8 x i8>, 8) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] {
162 // CHECK-RV64-NEXT: entry:
163 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg8.mask.triscv.vector.tuple_nxv8i8_8t.nxv8i1.i64(target("riscv.vector.tuple", <vscale x 8 x i8>, 8) [[V_TUPLE]], ptr [[BASE]], <vscale x 8 x i1> [[MASK]], i64 [[VL]], i64 3)
164 // CHECK-RV64-NEXT: ret void
166 void test_vsseg8e8_v_u8m1x8_m(vbool8_t mask
, uint8_t *base
, vuint8m1x8_t v_tuple
, size_t vl
) {
167 return __riscv_vsseg8e8_v_u8m1x8_m(mask
, base
, v_tuple
, vl
);