1 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
2 // RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve -S -disable-O0-optnone -Werror -Wall -emit-llvm -o - %s | opt -S -passes=mem2reg,tailcallelim | FileCheck %s
3 // RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve -S -disable-O0-optnone -Werror -Wall -emit-llvm -o - -x c++ %s | opt -S -passes=mem2reg,tailcallelim | FileCheck %s -check-prefix=CPP-CHECK
4 // RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -S -disable-O0-optnone -Werror -Wall -emit-llvm -o - %s | opt -S -passes=mem2reg,tailcallelim | FileCheck %s
5 // RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -S -disable-O0-optnone -Werror -Wall -emit-llvm -o - -x c++ %s | opt -S -passes=mem2reg,tailcallelim | FileCheck %s -check-prefix=CPP-CHECK
7 // REQUIRES: aarch64-registered-target
11 #ifdef SVE_OVERLOADED_FORMS
12 // A simple used,unused... macro, long enough to represent any SVE builtin.
13 #define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
15 #define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
18 // CHECK-LABEL: @test_svset2_s8(
20 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 32 x i8> @llvm.vector.insert.nxv32i8.nxv16i8(<vscale x 32 x i8> [[TUPLE:%.*]], <vscale x 16 x i8> [[X:%.*]], i64 16)
21 // CHECK-NEXT: ret <vscale x 32 x i8> [[TMP0]]
23 // CPP-CHECK-LABEL: @_Z14test_svset2_s810svint8x2_tu10__SVInt8_t(
24 // CPP-CHECK-NEXT: entry:
25 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 32 x i8> @llvm.vector.insert.nxv32i8.nxv16i8(<vscale x 32 x i8> [[TUPLE:%.*]], <vscale x 16 x i8> [[X:%.*]], i64 16)
26 // CPP-CHECK-NEXT: ret <vscale x 32 x i8> [[TMP0]]
28 svint8x2_t
test_svset2_s8(svint8x2_t tuple
, svint8_t x
)
30 return SVE_ACLE_FUNC(svset2
,_s8
,,)(tuple
, 1, x
);
33 // CHECK-LABEL: @test_svset2_s16(
35 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 16 x i16> @llvm.vector.insert.nxv16i16.nxv8i16(<vscale x 16 x i16> [[TUPLE:%.*]], <vscale x 8 x i16> [[X:%.*]], i64 0)
36 // CHECK-NEXT: ret <vscale x 16 x i16> [[TMP0]]
38 // CPP-CHECK-LABEL: @_Z15test_svset2_s1611svint16x2_tu11__SVInt16_t(
39 // CPP-CHECK-NEXT: entry:
40 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 16 x i16> @llvm.vector.insert.nxv16i16.nxv8i16(<vscale x 16 x i16> [[TUPLE:%.*]], <vscale x 8 x i16> [[X:%.*]], i64 0)
41 // CPP-CHECK-NEXT: ret <vscale x 16 x i16> [[TMP0]]
43 svint16x2_t
test_svset2_s16(svint16x2_t tuple
, svint16_t x
)
45 return SVE_ACLE_FUNC(svset2
,_s16
,,)(tuple
, 0, x
);
48 // CHECK-LABEL: @test_svset2_s32(
50 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 8 x i32> @llvm.vector.insert.nxv8i32.nxv4i32(<vscale x 8 x i32> [[TUPLE:%.*]], <vscale x 4 x i32> [[X:%.*]], i64 4)
51 // CHECK-NEXT: ret <vscale x 8 x i32> [[TMP0]]
53 // CPP-CHECK-LABEL: @_Z15test_svset2_s3211svint32x2_tu11__SVInt32_t(
54 // CPP-CHECK-NEXT: entry:
55 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 8 x i32> @llvm.vector.insert.nxv8i32.nxv4i32(<vscale x 8 x i32> [[TUPLE:%.*]], <vscale x 4 x i32> [[X:%.*]], i64 4)
56 // CPP-CHECK-NEXT: ret <vscale x 8 x i32> [[TMP0]]
58 svint32x2_t
test_svset2_s32(svint32x2_t tuple
, svint32_t x
)
60 return SVE_ACLE_FUNC(svset2
,_s32
,,)(tuple
, 1, x
);
63 // CHECK-LABEL: @test_svset2_s64(
65 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 4 x i64> @llvm.vector.insert.nxv4i64.nxv2i64(<vscale x 4 x i64> [[TUPLE:%.*]], <vscale x 2 x i64> [[X:%.*]], i64 0)
66 // CHECK-NEXT: ret <vscale x 4 x i64> [[TMP0]]
68 // CPP-CHECK-LABEL: @_Z15test_svset2_s6411svint64x2_tu11__SVInt64_t(
69 // CPP-CHECK-NEXT: entry:
70 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 4 x i64> @llvm.vector.insert.nxv4i64.nxv2i64(<vscale x 4 x i64> [[TUPLE:%.*]], <vscale x 2 x i64> [[X:%.*]], i64 0)
71 // CPP-CHECK-NEXT: ret <vscale x 4 x i64> [[TMP0]]
73 svint64x2_t
test_svset2_s64(svint64x2_t tuple
, svint64_t x
)
75 return SVE_ACLE_FUNC(svset2
,_s64
,,)(tuple
, 0, x
);
78 // CHECK-LABEL: @test_svset2_u8(
80 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 32 x i8> @llvm.vector.insert.nxv32i8.nxv16i8(<vscale x 32 x i8> [[TUPLE:%.*]], <vscale x 16 x i8> [[X:%.*]], i64 16)
81 // CHECK-NEXT: ret <vscale x 32 x i8> [[TMP0]]
83 // CPP-CHECK-LABEL: @_Z14test_svset2_u811svuint8x2_tu11__SVUint8_t(
84 // CPP-CHECK-NEXT: entry:
85 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 32 x i8> @llvm.vector.insert.nxv32i8.nxv16i8(<vscale x 32 x i8> [[TUPLE:%.*]], <vscale x 16 x i8> [[X:%.*]], i64 16)
86 // CPP-CHECK-NEXT: ret <vscale x 32 x i8> [[TMP0]]
88 svuint8x2_t
test_svset2_u8(svuint8x2_t tuple
, svuint8_t x
)
90 return SVE_ACLE_FUNC(svset2
,_u8
,,)(tuple
, 1, x
);
93 // CHECK-LABEL: @test_svset2_u16(
95 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 16 x i16> @llvm.vector.insert.nxv16i16.nxv8i16(<vscale x 16 x i16> [[TUPLE:%.*]], <vscale x 8 x i16> [[X:%.*]], i64 0)
96 // CHECK-NEXT: ret <vscale x 16 x i16> [[TMP0]]
98 // CPP-CHECK-LABEL: @_Z15test_svset2_u1612svuint16x2_tu12__SVUint16_t(
99 // CPP-CHECK-NEXT: entry:
100 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 16 x i16> @llvm.vector.insert.nxv16i16.nxv8i16(<vscale x 16 x i16> [[TUPLE:%.*]], <vscale x 8 x i16> [[X:%.*]], i64 0)
101 // CPP-CHECK-NEXT: ret <vscale x 16 x i16> [[TMP0]]
103 svuint16x2_t
test_svset2_u16(svuint16x2_t tuple
, svuint16_t x
)
105 return SVE_ACLE_FUNC(svset2
,_u16
,,)(tuple
, 0, x
);
108 // CHECK-LABEL: @test_svset2_u32(
109 // CHECK-NEXT: entry:
110 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 8 x i32> @llvm.vector.insert.nxv8i32.nxv4i32(<vscale x 8 x i32> [[TUPLE:%.*]], <vscale x 4 x i32> [[X:%.*]], i64 4)
111 // CHECK-NEXT: ret <vscale x 8 x i32> [[TMP0]]
113 // CPP-CHECK-LABEL: @_Z15test_svset2_u3212svuint32x2_tu12__SVUint32_t(
114 // CPP-CHECK-NEXT: entry:
115 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 8 x i32> @llvm.vector.insert.nxv8i32.nxv4i32(<vscale x 8 x i32> [[TUPLE:%.*]], <vscale x 4 x i32> [[X:%.*]], i64 4)
116 // CPP-CHECK-NEXT: ret <vscale x 8 x i32> [[TMP0]]
118 svuint32x2_t
test_svset2_u32(svuint32x2_t tuple
, svuint32_t x
)
120 return SVE_ACLE_FUNC(svset2
,_u32
,,)(tuple
, 1, x
);
123 // CHECK-LABEL: @test_svset2_u64(
124 // CHECK-NEXT: entry:
125 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 4 x i64> @llvm.vector.insert.nxv4i64.nxv2i64(<vscale x 4 x i64> [[TUPLE:%.*]], <vscale x 2 x i64> [[X:%.*]], i64 0)
126 // CHECK-NEXT: ret <vscale x 4 x i64> [[TMP0]]
128 // CPP-CHECK-LABEL: @_Z15test_svset2_u6412svuint64x2_tu12__SVUint64_t(
129 // CPP-CHECK-NEXT: entry:
130 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 4 x i64> @llvm.vector.insert.nxv4i64.nxv2i64(<vscale x 4 x i64> [[TUPLE:%.*]], <vscale x 2 x i64> [[X:%.*]], i64 0)
131 // CPP-CHECK-NEXT: ret <vscale x 4 x i64> [[TMP0]]
133 svuint64x2_t
test_svset2_u64(svuint64x2_t tuple
, svuint64_t x
)
135 return SVE_ACLE_FUNC(svset2
,_u64
,,)(tuple
, 0, x
);
138 // CHECK-LABEL: @test_svset2_f16(
139 // CHECK-NEXT: entry:
140 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 16 x half> @llvm.vector.insert.nxv16f16.nxv8f16(<vscale x 16 x half> [[TUPLE:%.*]], <vscale x 8 x half> [[X:%.*]], i64 8)
141 // CHECK-NEXT: ret <vscale x 16 x half> [[TMP0]]
143 // CPP-CHECK-LABEL: @_Z15test_svset2_f1613svfloat16x2_tu13__SVFloat16_t(
144 // CPP-CHECK-NEXT: entry:
145 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 16 x half> @llvm.vector.insert.nxv16f16.nxv8f16(<vscale x 16 x half> [[TUPLE:%.*]], <vscale x 8 x half> [[X:%.*]], i64 8)
146 // CPP-CHECK-NEXT: ret <vscale x 16 x half> [[TMP0]]
148 svfloat16x2_t
test_svset2_f16(svfloat16x2_t tuple
, svfloat16_t x
)
150 return SVE_ACLE_FUNC(svset2
,_f16
,,)(tuple
, 1, x
);
153 // CHECK-LABEL: @test_svset2_f32(
154 // CHECK-NEXT: entry:
155 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 8 x float> @llvm.vector.insert.nxv8f32.nxv4f32(<vscale x 8 x float> [[TUPLE:%.*]], <vscale x 4 x float> [[X:%.*]], i64 0)
156 // CHECK-NEXT: ret <vscale x 8 x float> [[TMP0]]
158 // CPP-CHECK-LABEL: @_Z15test_svset2_f3213svfloat32x2_tu13__SVFloat32_t(
159 // CPP-CHECK-NEXT: entry:
160 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 8 x float> @llvm.vector.insert.nxv8f32.nxv4f32(<vscale x 8 x float> [[TUPLE:%.*]], <vscale x 4 x float> [[X:%.*]], i64 0)
161 // CPP-CHECK-NEXT: ret <vscale x 8 x float> [[TMP0]]
163 svfloat32x2_t
test_svset2_f32(svfloat32x2_t tuple
, svfloat32_t x
)
165 return SVE_ACLE_FUNC(svset2
,_f32
,,)(tuple
, 0, x
);
168 // CHECK-LABEL: @test_svset2_f64(
169 // CHECK-NEXT: entry:
170 // CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 4 x double> @llvm.vector.insert.nxv4f64.nxv2f64(<vscale x 4 x double> [[TUPLE:%.*]], <vscale x 2 x double> [[X:%.*]], i64 2)
171 // CHECK-NEXT: ret <vscale x 4 x double> [[TMP0]]
173 // CPP-CHECK-LABEL: @_Z15test_svset2_f6413svfloat64x2_tu13__SVFloat64_t(
174 // CPP-CHECK-NEXT: entry:
175 // CPP-CHECK-NEXT: [[TMP0:%.*]] = tail call <vscale x 4 x double> @llvm.vector.insert.nxv4f64.nxv2f64(<vscale x 4 x double> [[TUPLE:%.*]], <vscale x 2 x double> [[X:%.*]], i64 2)
176 // CPP-CHECK-NEXT: ret <vscale x 4 x double> [[TMP0]]
178 svfloat64x2_t
test_svset2_f64(svfloat64x2_t tuple
, svfloat64_t x
)
180 return SVE_ACLE_FUNC(svset2
,_f64
,,)(tuple
, 1, x
);