blob: 64c376295bed2279432ba129cdc6966e7cab3ceb [file] [edit]
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -S < %s | FileCheck %s
define i32 @test(ptr %p, i32 %n, ptr %p2) {
; CHECK-LABEL: define i32 @test(
; CHECK-SAME: ptr [[P:%.*]], i32 [[N:%.*]], ptr [[P2:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[TMP0:%.*]] = load <8 x i16>, ptr [[P]], align 2
; CHECK-NEXT: [[TMP1:%.*]] = sext <8 x i16> [[TMP0]] to <8 x i32>
; CHECK-NEXT: [[TMP2:%.*]] = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> [[TMP1]])
; CHECK-NEXT: store i32 [[TMP2]], ptr [[P2]], align 4
; CHECK-NEXT: [[ADD1:%.*]] = add nsw i32 [[TMP2]], [[N]]
; CHECK-NEXT: ret i32 [[ADD1]]
;
entry:
%0 = load i16, ptr %p
%conv = sext i16 %0 to i32
%arrayidx.1 = getelementptr inbounds nuw i8, ptr %p, i64 2
%1 = load i16, ptr %arrayidx.1
%conv.1 = sext i16 %1 to i32
%add.1 = add nsw i32 %conv, %conv.1
%arrayidx.2 = getelementptr inbounds nuw i8, ptr %p, i64 4
%2 = load i16, ptr %arrayidx.2
%conv.2 = sext i16 %2 to i32
%add.2 = add nsw i32 %add.1, %conv.2
%arrayidx.3 = getelementptr inbounds nuw i8, ptr %p, i64 6
%3 = load i16, ptr %arrayidx.3
%conv.3 = sext i16 %3 to i32
%add.3 = add nsw i32 %add.2, %conv.3
%arrayidx.4 = getelementptr inbounds nuw i8, ptr %p, i64 8
%4 = load i16, ptr %arrayidx.4
%conv.4 = sext i16 %4 to i32
%add.4 = add nsw i32 %add.3, %conv.4
%arrayidx.5 = getelementptr inbounds nuw i8, ptr %p, i64 10
%5 = load i16, ptr %arrayidx.5
%conv.5 = sext i16 %5 to i32
%add.5 = add nsw i32 %add.4, %conv.5
%arrayidx.6 = getelementptr inbounds nuw i8, ptr %p, i64 12
%6 = load i16, ptr %arrayidx.6
%conv.6 = sext i16 %6 to i32
%add.6 = add nsw i32 %add.5, %conv.6
%arrayidx.7 = getelementptr inbounds nuw i8, ptr %p, i64 14
%7 = load i16, ptr %arrayidx.7
%conv.7 = sext i16 %7 to i32
%add.7 = add nsw i32 %add.6, %conv.7
store i32 %add.7, ptr %p2
%add1 = add nsw i32 %add.7, %n
ret i32 %add1
}