; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu -mcpu=bdver2 < %s | FileCheck %s
define i32 @foo(ptr nocapture readonly %arr, i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7, i32 %a8) {
; CHECK-LABEL: @foo(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[ARR:%.*]], i64 1
; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[ARRAYIDX]], align 4
; CHECK-NEXT: [[ADD:%.*]] = add i32 [[TMP0]], [[A1:%.*]]
; CHECK-NEXT: [[ADD2:%.*]] = add i32 [[TMP0]], [[A2:%.*]]
; CHECK-NEXT: [[ADD4:%.*]] = add i32 [[TMP0]], [[A3:%.*]]
; CHECK-NEXT: [[ADD6:%.*]] = add i32 [[TMP0]], [[A4:%.*]]
; CHECK-NEXT: [[ADD8:%.*]] = add i32 [[TMP0]], [[A5:%.*]]
; CHECK-NEXT: [[ADD10:%.*]] = add i32 [[TMP0]], [[A6:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[ARR]], align 4
; CHECK-NEXT: [[ADD12:%.*]] = add i32 [[TMP1]], [[A7:%.*]]
; CHECK-NEXT: [[ADD14:%.*]] = add i32 [[TMP1]], [[A8:%.*]]
; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[ADD]], [[ADD2]]
; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[ADD]], i32 [[ADD2]]
; CHECK-NEXT: [[CMP15:%.*]] = icmp ult i32 [[COND]], [[ADD4]]
; CHECK-NEXT: [[COND19:%.*]] = select i1 [[CMP15]], i32 [[COND]], i32 [[ADD4]]
; CHECK-NEXT: [[CMP20:%.*]] = icmp ult i32 [[COND19]], [[ADD6]]
; CHECK-NEXT: [[COND24:%.*]] = select i1 [[CMP20]], i32 [[COND19]], i32 [[ADD6]]
; CHECK-NEXT: [[CMP25:%.*]] = icmp ult i32 [[COND24]], [[ADD8]]
; CHECK-NEXT: [[COND29:%.*]] = select i1 [[CMP25]], i32 [[COND24]], i32 [[ADD8]]
; CHECK-NEXT: [[CMP30:%.*]] = icmp ult i32 [[COND29]], [[ADD10]]
; CHECK-NEXT: [[COND34:%.*]] = select i1 [[CMP30]], i32 [[COND29]], i32 [[ADD10]]
; CHECK-NEXT: [[CMP35:%.*]] = icmp ult i32 [[COND34]], [[ADD12]]
; CHECK-NEXT: [[COND39:%.*]] = select i1 [[CMP35]], i32 [[COND34]], i32 [[ADD12]]
; CHECK-NEXT: [[CMP40:%.*]] = icmp ult i32 [[COND39]], [[ADD14]]
; CHECK-NEXT: [[COND44:%.*]] = select i1 [[CMP40]], i32 [[COND39]], i32 [[ADD14]]
; CHECK-NEXT: ret i32 [[COND44]]
;
entry:
%arrayidx = getelementptr inbounds i32, ptr %arr, i64 1
%0 = load i32, ptr %arrayidx, align 4
%add = add i32 %0, %a1
%add2 = add i32 %0, %a2
%add4 = add i32 %0, %a3
%add6 = add i32 %0, %a4
%add8 = add i32 %0, %a5
%add10 = add i32 %0, %a6
%1 = load i32, ptr %arr, align 4
%add12 = add i32 %1, %a7
%add14 = add i32 %1, %a8
%cmp = icmp ult i32 %add, %add2
%cond = select i1 %cmp, i32 %add, i32 %add2
%cmp15 = icmp ult i32 %cond, %add4
%cond19 = select i1 %cmp15, i32 %cond, i32 %add4
%cmp20 = icmp ult i32 %cond19, %add6
%cond24 = select i1 %cmp20, i32 %cond19, i32 %add6
%cmp25 = icmp ult i32 %cond24, %add8
%cond29 = select i1 %cmp25, i32 %cond24, i32 %add8
%cmp30 = icmp ult i32 %cond29, %add10
%cond34 = select i1 %cmp30, i32 %cond29, i32 %add10
%cmp35 = icmp ult i32 %cond34, %add12
%cond39 = select i1 %cmp35, i32 %cond34, i32 %add12
%cmp40 = icmp ult i32 %cond39, %add14
%cond44 = select i1 %cmp40, i32 %cond39, i32 %add14
ret i32 %cond44
}
define i32 @foo1(ptr nocapture readonly %arr, i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7, i32 %a8) {
; CHECK-LABEL: @foo1(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[ARR:%.*]], i64 1
; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[ARRAYIDX]], align 4
; CHECK-NEXT: [[ADD:%.*]] = add i32 [[TMP0]], [[A1:%.*]]
; CHECK-NEXT: [[ARRAYIDX1:%.*]] = getelementptr inbounds i32, ptr [[ARR]], i64 2
; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[ARRAYIDX1]], align 4
; CHECK-NEXT: [[ADD2:%.*]] = add i32 [[TMP1]], [[A2:%.*]]
; CHECK-NEXT: [[ARRAYIDX3:%.*]] = getelementptr inbounds i32, ptr [[ARR]], i64 3
; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[ARRAYIDX3]], align 4
; CHECK-NEXT: [[ADD4:%.*]] = add i32 [[TMP2]], [[A3:%.*]]
; CHECK-NEXT: [[ADD6:%.*]] = add i32 [[TMP0]], [[A4:%.*]]
; CHECK-NEXT: [[ADD8:%.*]] = add i32 [[TMP0]], [[A5:%.*]]
; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[ARR]], align 4
; CHECK-NEXT: [[ADD10:%.*]] = add i32 [[TMP3]], [[A6:%.*]]
; CHECK-NEXT: [[ADD12:%.*]] = add i32 [[TMP1]], [[A7:%.*]]
; CHECK-NEXT: [[ADD14:%.*]] = add i32 [[TMP0]], [[A8:%.*]]
; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[ADD]], [[ADD2]]
; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[ADD]], i32 [[ADD2]]
; CHECK-NEXT: [[CMP15:%.*]] = icmp ult i32 [[COND]], [[ADD4]]
; CHECK-NEXT: [[COND19:%.*]] = select i1 [[CMP15]], i32 [[COND]], i32 [[ADD4]]
; CHECK-NEXT: [[CMP20:%.*]] = icmp ult i32 [[COND19]], [[ADD6]]
; CHECK-NEXT: [[COND24:%.*]] = select i1 [[CMP20]], i32 [[COND19]], i32 [[ADD6]]
; CHECK-NEXT: [[CMP25:%.*]] = icmp ult i32 [[COND24]], [[ADD8]]
; CHECK-NEXT: [[COND29:%.*]] = select i1 [[CMP25]], i32 [[COND24]], i32 [[ADD8]]
; CHECK-NEXT: [[CMP30:%.*]] = icmp ult i32 [[COND29]], [[ADD10]]
; CHECK-NEXT: [[COND34:%.*]] = select i1 [[CMP30]], i32 [[COND29]], i32 [[ADD10]]
; CHECK-NEXT: [[CMP35:%.*]] = icmp ult i32 [[COND34]], [[ADD12]]
; CHECK-NEXT: [[COND39:%.*]] = select i1 [[CMP35]], i32 [[COND34]], i32 [[ADD12]]
; CHECK-NEXT: [[CMP40:%.*]] = icmp ult i32 [[COND39]], [[ADD14]]
; CHECK-NEXT: [[COND44:%.*]] = select i1 [[CMP40]], i32 [[COND39]], i32 [[ADD14]]
; CHECK-NEXT: ret i32 [[COND44]]
;
entry:
%arrayidx = getelementptr inbounds i32, ptr %arr, i64 1
%0 = load i32, ptr %arrayidx, align 4
%add = add i32 %0, %a1
%arrayidx1 = getelementptr inbounds i32, ptr %arr, i64 2
%1 = load i32, ptr %arrayidx1, align 4
%add2 = add i32 %1, %a2
%arrayidx3 = getelementptr inbounds i32, ptr %arr, i64 3
%2 = load i32, ptr %arrayidx3, align 4
%add4 = add i32 %2, %a3
%add6 = add i32 %0, %a4
%add8 = add i32 %0, %a5
%3 = load i32, ptr %arr, align 4
%add10 = add i32 %3, %a6
%add12 = add i32 %1, %a7
%add14 = add i32 %0, %a8
%cmp = icmp ult i32 %add, %add2
%cond = select i1 %cmp, i32 %add, i32 %add2
%cmp15 = icmp ult i32 %cond, %add4
%cond19 = select i1 %cmp15, i32 %cond, i32 %add4
%cmp20 = icmp ult i32 %cond19, %add6
%cond24 = select i1 %cmp20, i32 %cond19, i32 %add6
%cmp25 = icmp ult i32 %cond24, %add8
%cond29 = select i1 %cmp25, i32 %cond24, i32 %add8
%cmp30 = icmp ult i32 %cond29, %add10
%cond34 = select i1 %cmp30, i32 %cond29, i32 %add10
%cmp35 = icmp ult i32 %cond34, %add12
%cond39 = select i1 %cmp35, i32 %cond34, i32 %add12
%cmp40 = icmp ult i32 %cond39, %add14
%cond44 = select i1 %cmp40, i32 %cond39, i32 %add14
ret i32 %cond44
}
define i32 @foo2(ptr nocapture readonly %arr, i32 %a1, i32 %a2, i32 %a3, i32 %a4, i32 %a5, i32 %a6, i32 %a7, i32 %a8) {
; CHECK-LABEL: @foo2(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[ARR:%.*]], i64 3
; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[ARRAYIDX]], align 4
; CHECK-NEXT: [[ADD:%.*]] = add i32 [[TMP0]], [[A1:%.*]]
; CHECK-NEXT: [[ARRAYIDX1:%.*]] = getelementptr inbounds i32, ptr [[ARR]], i64 2
; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[ARRAYIDX1]], align 4
; CHECK-NEXT: [[ADD2:%.*]] = add i32 [[TMP1]], [[A2:%.*]]
; CHECK-NEXT: [[ADD4:%.*]] = add i32 [[TMP0]], [[A3:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[ARR]], align 4
; CHECK-NEXT: [[ADD6:%.*]] = add i32 [[TMP2]], [[A4:%.*]]
; CHECK-NEXT: [[ARRAYIDX7:%.*]] = getelementptr inbounds i32, ptr [[ARR]], i64 1
; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[ARRAYIDX7]], align 4
; CHECK-NEXT: [[ADD8:%.*]] = add i32 [[TMP3]], [[A5:%.*]]
; CHECK-NEXT: [[ADD10:%.*]] = add i32 [[TMP2]], [[A6:%.*]]
; CHECK-NEXT: [[ADD12:%.*]] = add i32 [[TMP1]], [[A7:%.*]]
; CHECK-NEXT: [[ADD14:%.*]] = add i32 [[TMP3]], [[A8:%.*]]
; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[ADD]], [[ADD2]]
; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 [[ADD]], i32 [[ADD2]]
; CHECK-NEXT: [[CMP15:%.*]] = icmp ult i32 [[COND]], [[ADD4]]
; CHECK-NEXT: [[COND19:%.*]] = select i1 [[CMP15]], i32 [[COND]], i32 [[ADD4]]
; CHECK-NEXT: [[CMP20:%.*]] = icmp ult i32 [[COND19]], [[ADD6]]
; CHECK-NEXT: [[COND24:%.*]] = select i1 [[CMP20]], i32 [[COND19]], i32 [[ADD6]]
; CHECK-NEXT: [[CMP25:%.*]] = icmp ult i32 [[COND24]], [[ADD8]]
; CHECK-NEXT: [[COND29:%.*]] = select i1 [[CMP25]], i32 [[COND24]], i32 [[ADD8]]
; CHECK-NEXT: [[CMP30:%.*]] = icmp ult i32 [[COND29]], [[ADD10]]
; CHECK-NEXT: [[COND34:%.*]] = select i1 [[CMP30]], i32 [[COND29]], i32 [[ADD10]]
; CHECK-NEXT: [[CMP35:%.*]] = icmp ult i32 [[COND34]], [[ADD12]]
; CHECK-NEXT: [[COND39:%.*]] = select i1 [[CMP35]], i32 [[COND34]], i32 [[ADD12]]
; CHECK-NEXT: [[CMP40:%.*]] = icmp ult i32 [[COND39]], [[ADD14]]
; CHECK-NEXT: [[COND44:%.*]] = select i1 [[CMP40]], i32 [[COND39]], i32 [[ADD14]]
; CHECK-NEXT: ret i32 [[COND44]]
;
entry:
%arrayidx = getelementptr inbounds i32, ptr %arr, i64 3
%0 = load i32, ptr %arrayidx, align 4
%add = add i32 %0, %a1
%arrayidx1 = getelementptr inbounds i32, ptr %arr, i64 2
%1 = load i32, ptr %arrayidx1, align 4
%add2 = add i32 %1, %a2
%add4 = add i32 %0, %a3
%2 = load i32, ptr %arr, align 4
%add6 = add i32 %2, %a4
%arrayidx7 = getelementptr inbounds i32, ptr %arr, i64 1
%3 = load i32, ptr %arrayidx7, align 4
%add8 = add i32 %3, %a5
%add10 = add i32 %2, %a6
%add12 = add i32 %1, %a7
%add14 = add i32 %3, %a8
%cmp = icmp ult i32 %add, %add2
%cond = select i1 %cmp, i32 %add, i32 %add2
%cmp15 = icmp ult i32 %cond, %add4
%cond19 = select i1 %cmp15, i32 %cond, i32 %add4
%cmp20 = icmp ult i32 %cond19, %add6
%cond24 = select i1 %cmp20, i32 %cond19, i32 %add6
%cmp25 = icmp ult i32 %cond24, %add8
%cond29 = select i1 %cmp25, i32 %cond24, i32 %add8
%cmp30 = icmp ult i32 %cond29, %add10
%cond34 = select i1 %cmp30, i32 %cond29, i32 %add10
%cmp35 = icmp ult i32 %cond34, %add12
%cond39 = select i1 %cmp35, i32 %cond34, i32 %add12
%cmp40 = icmp ult i32 %cond39, %add14
%cond44 = select i1 %cmp40, i32 %cond39, i32 %add14
ret i32 %cond44
}