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 7 8 #include <riscv_vector.h> 9 10 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_i8mf8x7 11 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 1 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0:[0-9]+]] { 12 // CHECK-RV64-NEXT: entry: 13 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.triscv.vector.tuple_nxv1i8_7t.i64(target("riscv.vector.tuple", <vscale x 1 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3) 14 // CHECK-RV64-NEXT: ret void 15 // 16 void test_vsseg7e8_v_i8mf8x7(int8_t *base, vint8mf8x7_t v_tuple, size_t vl) { 17 return __riscv_vsseg7e8(base, v_tuple, vl); 18 } 19 20 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_i8mf4x7 21 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 2 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 22 // CHECK-RV64-NEXT: entry: 23 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.triscv.vector.tuple_nxv2i8_7t.i64(target("riscv.vector.tuple", <vscale x 2 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3) 24 // CHECK-RV64-NEXT: ret void 25 // 26 void test_vsseg7e8_v_i8mf4x7(int8_t *base, vint8mf4x7_t v_tuple, size_t vl) { 27 return __riscv_vsseg7e8(base, v_tuple, vl); 28 } 29 30 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_i8mf2x7 31 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 4 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 32 // CHECK-RV64-NEXT: entry: 33 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.triscv.vector.tuple_nxv4i8_7t.i64(target("riscv.vector.tuple", <vscale x 4 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3) 34 // CHECK-RV64-NEXT: ret void 35 // 36 void test_vsseg7e8_v_i8mf2x7(int8_t *base, vint8mf2x7_t v_tuple, size_t vl) { 37 return __riscv_vsseg7e8(base, v_tuple, vl); 38 } 39 40 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_i8m1x7 41 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 8 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 42 // CHECK-RV64-NEXT: entry: 43 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.triscv.vector.tuple_nxv8i8_7t.i64(target("riscv.vector.tuple", <vscale x 8 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3) 44 // CHECK-RV64-NEXT: ret void 45 // 46 void test_vsseg7e8_v_i8m1x7(int8_t *base, vint8m1x7_t v_tuple, size_t vl) { 47 return __riscv_vsseg7e8(base, v_tuple, vl); 48 } 49 50 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_u8mf8x7 51 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 1 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 52 // CHECK-RV64-NEXT: entry: 53 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.triscv.vector.tuple_nxv1i8_7t.i64(target("riscv.vector.tuple", <vscale x 1 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3) 54 // CHECK-RV64-NEXT: ret void 55 // 56 void test_vsseg7e8_v_u8mf8x7(uint8_t *base, vuint8mf8x7_t v_tuple, size_t vl) { 57 return __riscv_vsseg7e8(base, v_tuple, vl); 58 } 59 60 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_u8mf4x7 61 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 2 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 62 // CHECK-RV64-NEXT: entry: 63 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.triscv.vector.tuple_nxv2i8_7t.i64(target("riscv.vector.tuple", <vscale x 2 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3) 64 // CHECK-RV64-NEXT: ret void 65 // 66 void test_vsseg7e8_v_u8mf4x7(uint8_t *base, vuint8mf4x7_t v_tuple, size_t vl) { 67 return __riscv_vsseg7e8(base, v_tuple, vl); 68 } 69 70 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_u8mf2x7 71 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 4 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 72 // CHECK-RV64-NEXT: entry: 73 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.triscv.vector.tuple_nxv4i8_7t.i64(target("riscv.vector.tuple", <vscale x 4 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3) 74 // CHECK-RV64-NEXT: ret void 75 // 76 void test_vsseg7e8_v_u8mf2x7(uint8_t *base, vuint8mf2x7_t v_tuple, size_t vl) { 77 return __riscv_vsseg7e8(base, v_tuple, vl); 78 } 79 80 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_u8m1x7 81 // CHECK-RV64-SAME: (ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 8 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 82 // CHECK-RV64-NEXT: entry: 83 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.triscv.vector.tuple_nxv8i8_7t.i64(target("riscv.vector.tuple", <vscale x 8 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], i64 [[VL]], i64 3) 84 // CHECK-RV64-NEXT: ret void 85 // 86 void test_vsseg7e8_v_u8m1x7(uint8_t *base, vuint8m1x7_t v_tuple, size_t vl) { 87 return __riscv_vsseg7e8(base, v_tuple, vl); 88 } 89 90 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_i8mf8x7_m 91 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 1 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 92 // CHECK-RV64-NEXT: entry: 93 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.mask.triscv.vector.tuple_nxv1i8_7t.nxv1i1.i64(target("riscv.vector.tuple", <vscale x 1 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], <vscale x 1 x i1> [[MASK]], i64 [[VL]], i64 3) 94 // CHECK-RV64-NEXT: ret void 95 // 96 void test_vsseg7e8_v_i8mf8x7_m(vbool64_t mask, int8_t *base, vint8mf8x7_t v_tuple, size_t vl) { 97 return __riscv_vsseg7e8(mask, base, v_tuple, vl); 98 } 99 100 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_i8mf4x7_m 101 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 2 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 102 // CHECK-RV64-NEXT: entry: 103 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.mask.triscv.vector.tuple_nxv2i8_7t.nxv2i1.i64(target("riscv.vector.tuple", <vscale x 2 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], <vscale x 2 x i1> [[MASK]], i64 [[VL]], i64 3) 104 // CHECK-RV64-NEXT: ret void 105 // 106 void test_vsseg7e8_v_i8mf4x7_m(vbool32_t mask, int8_t *base, vint8mf4x7_t v_tuple, size_t vl) { 107 return __riscv_vsseg7e8(mask, base, v_tuple, vl); 108 } 109 110 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_i8mf2x7_m 111 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 4 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 112 // CHECK-RV64-NEXT: entry: 113 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.mask.triscv.vector.tuple_nxv4i8_7t.nxv4i1.i64(target("riscv.vector.tuple", <vscale x 4 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], <vscale x 4 x i1> [[MASK]], i64 [[VL]], i64 3) 114 // CHECK-RV64-NEXT: ret void 115 // 116 void test_vsseg7e8_v_i8mf2x7_m(vbool16_t mask, int8_t *base, vint8mf2x7_t v_tuple, size_t vl) { 117 return __riscv_vsseg7e8(mask, base, v_tuple, vl); 118 } 119 120 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_i8m1x7_m 121 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 8 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 122 // CHECK-RV64-NEXT: entry: 123 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.mask.triscv.vector.tuple_nxv8i8_7t.nxv8i1.i64(target("riscv.vector.tuple", <vscale x 8 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], <vscale x 8 x i1> [[MASK]], i64 [[VL]], i64 3) 124 // CHECK-RV64-NEXT: ret void 125 // 126 void test_vsseg7e8_v_i8m1x7_m(vbool8_t mask, int8_t *base, vint8m1x7_t v_tuple, size_t vl) { 127 return __riscv_vsseg7e8(mask, base, v_tuple, vl); 128 } 129 130 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_u8mf8x7_m 131 // CHECK-RV64-SAME: (<vscale x 1 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 1 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 132 // CHECK-RV64-NEXT: entry: 133 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.mask.triscv.vector.tuple_nxv1i8_7t.nxv1i1.i64(target("riscv.vector.tuple", <vscale x 1 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], <vscale x 1 x i1> [[MASK]], i64 [[VL]], i64 3) 134 // CHECK-RV64-NEXT: ret void 135 // 136 void test_vsseg7e8_v_u8mf8x7_m(vbool64_t mask, uint8_t *base, vuint8mf8x7_t v_tuple, size_t vl) { 137 return __riscv_vsseg7e8(mask, base, v_tuple, vl); 138 } 139 140 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_u8mf4x7_m 141 // CHECK-RV64-SAME: (<vscale x 2 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 2 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 142 // CHECK-RV64-NEXT: entry: 143 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.mask.triscv.vector.tuple_nxv2i8_7t.nxv2i1.i64(target("riscv.vector.tuple", <vscale x 2 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], <vscale x 2 x i1> [[MASK]], i64 [[VL]], i64 3) 144 // CHECK-RV64-NEXT: ret void 145 // 146 void test_vsseg7e8_v_u8mf4x7_m(vbool32_t mask, uint8_t *base, vuint8mf4x7_t v_tuple, size_t vl) { 147 return __riscv_vsseg7e8(mask, base, v_tuple, vl); 148 } 149 150 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_u8mf2x7_m 151 // CHECK-RV64-SAME: (<vscale x 4 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 4 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 152 // CHECK-RV64-NEXT: entry: 153 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.mask.triscv.vector.tuple_nxv4i8_7t.nxv4i1.i64(target("riscv.vector.tuple", <vscale x 4 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], <vscale x 4 x i1> [[MASK]], i64 [[VL]], i64 3) 154 // CHECK-RV64-NEXT: ret void 155 // 156 void test_vsseg7e8_v_u8mf2x7_m(vbool16_t mask, uint8_t *base, vuint8mf2x7_t v_tuple, size_t vl) { 157 return __riscv_vsseg7e8(mask, base, v_tuple, vl); 158 } 159 160 // CHECK-RV64-LABEL: define dso_local void @test_vsseg7e8_v_u8m1x7_m 161 // CHECK-RV64-SAME: (<vscale x 8 x i1> [[MASK:%.*]], ptr noundef [[BASE:%.*]], target("riscv.vector.tuple", <vscale x 8 x i8>, 7) [[V_TUPLE:%.*]], i64 noundef [[VL:%.*]]) #[[ATTR0]] { 162 // CHECK-RV64-NEXT: entry: 163 // CHECK-RV64-NEXT: call void @llvm.riscv.vsseg7.mask.triscv.vector.tuple_nxv8i8_7t.nxv8i1.i64(target("riscv.vector.tuple", <vscale x 8 x i8>, 7) [[V_TUPLE]], ptr [[BASE]], <vscale x 8 x i1> [[MASK]], i64 [[VL]], i64 3) 164 // CHECK-RV64-NEXT: ret void 165 // 166 void test_vsseg7e8_v_u8m1x7_m(vbool8_t mask, uint8_t *base, vuint8m1x7_t v_tuple, size_t vl) { 167 return __riscv_vsseg7e8(mask, base, v_tuple, vl); 168 } 169 170