1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -mcpu=gfx900 -slp-vectorizer %s | FileCheck %s
3
4define <2 x i16> @uadd_sat_v9i16_combine_vi16(<9 x i16> %arg0, <9 x i16> %arg1) {
5; CHECK-LABEL: @uadd_sat_v9i16_combine_vi16(
6; CHECK-NEXT:  bb:
7; CHECK-NEXT:    [[ARG0_1:%.*]] = extractelement <9 x i16> undef, i64 7
8; CHECK-NEXT:    [[ARG0_2:%.*]] = extractelement <9 x i16> [[ARG0:%.*]], i64 8
9; CHECK-NEXT:    [[ARG1_1:%.*]] = extractelement <9 x i16> [[ARG1:%.*]], i64 7
10; CHECK-NEXT:    [[ARG1_2:%.*]] = extractelement <9 x i16> [[ARG1]], i64 8
11; CHECK-NEXT:    [[TMP0:%.*]] = insertelement <2 x i16> poison, i16 [[ARG0_1]], i32 0
12; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x i16> [[TMP0]], i16 [[ARG0_2]], i32 1
13; CHECK-NEXT:    [[TMP2:%.*]] = insertelement <2 x i16> poison, i16 [[ARG1_1]], i32 0
14; CHECK-NEXT:    [[TMP3:%.*]] = insertelement <2 x i16> [[TMP2]], i16 [[ARG1_2]], i32 1
15; CHECK-NEXT:    [[TMP4:%.*]] = call <2 x i16> @llvm.uadd.sat.v2i16(<2 x i16> [[TMP1]], <2 x i16> [[TMP3]])
16; CHECK-NEXT:    ret <2 x i16> [[TMP4]]
17;
18bb:
19  %arg0.1 = extractelement <9 x i16> undef, i64 7
20  %arg0.2 = extractelement <9 x i16> %arg0, i64 8
21  %arg1.1 = extractelement <9 x i16> %arg1, i64 7
22  %arg1.2 = extractelement <9 x i16> %arg1, i64 8
23  %add.1 = call i16 @llvm.uadd.sat.i16(i16 %arg0.1, i16 %arg1.1)
24  %add.2 = call i16 @llvm.uadd.sat.i16(i16 %arg0.2, i16 %arg1.2)
25  %ins.1 = insertelement <2 x i16> undef, i16 %add.1, i64 0
26  %ins.2 = insertelement <2 x i16> %ins.1, i16 %add.2, i64 1
27  ret <2 x i16> %ins.2
28}
29
30declare i16 @llvm.uadd.sat.i16(i16, i16) #0
31attributes #0 = { nounwind readnone speculatable willreturn }
32