1f2e8b38fSAlexey Bataev; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 2f2e8b38fSAlexey Bataev; RUN: opt -S -passes=slp-vectorizer < %s -mtriple=riscv64-unknown-linux -mattr=+v | FileCheck %s 3f2e8b38fSAlexey Bataev 4f2e8b38fSAlexey Bataevdefine i32 @sum_of_abs(ptr noalias %a, ptr noalias %b) { 5f2e8b38fSAlexey Bataev; CHECK-LABEL: define i32 @sum_of_abs 6f2e8b38fSAlexey Bataev; CHECK-SAME: (ptr noalias [[A:%.*]], ptr noalias [[B:%.*]]) #[[ATTR0:[0-9]+]] { 7f2e8b38fSAlexey Bataev; CHECK-NEXT: entry: 8*38fffa63SPaul Walker; CHECK-NEXT: [[TMP0:%.*]] = call <8 x i8> @llvm.experimental.vp.strided.load.v8i8.p0.i64(ptr align 1 [[A]], i64 64, <8 x i1> splat (i1 true), i32 8) 9833a1cadSAlexey Bataev; CHECK-NEXT: [[TMP1:%.*]] = call <8 x i8> @llvm.abs.v8i8(<8 x i8> [[TMP0]], i1 false) 10833a1cadSAlexey Bataev; CHECK-NEXT: [[TMP2:%.*]] = sext <8 x i8> [[TMP1]] to <8 x i32> 11833a1cadSAlexey Bataev; CHECK-NEXT: [[TMP3:%.*]] = call i32 @llvm.vector.reduce.add.v8i32(<8 x i32> [[TMP2]]) 12833a1cadSAlexey Bataev; CHECK-NEXT: ret i32 [[TMP3]] 13f2e8b38fSAlexey Bataev; 14f2e8b38fSAlexey Bataeventry: 15f2e8b38fSAlexey Bataev %0 = load i8, ptr %a, align 1 16f2e8b38fSAlexey Bataev %spec.select.i = tail call i8 @llvm.abs.i8(i8 %0, i1 false) 17f2e8b38fSAlexey Bataev %conv = sext i8 %spec.select.i to i32 18f2e8b38fSAlexey Bataev %arrayidx.1 = getelementptr inbounds i8, ptr %a, i64 64 19f2e8b38fSAlexey Bataev %1 = load i8, ptr %arrayidx.1, align 1 20f2e8b38fSAlexey Bataev %spec.select.i.1 = tail call i8 @llvm.abs.i8(i8 %1, i1 false) 21f2e8b38fSAlexey Bataev %conv.1 = sext i8 %spec.select.i.1 to i32 22f2e8b38fSAlexey Bataev %add.1 = add nsw i32 %conv, %conv.1 23f2e8b38fSAlexey Bataev %arrayidx.2 = getelementptr inbounds i8, ptr %a, i64 128 24f2e8b38fSAlexey Bataev %2 = load i8, ptr %arrayidx.2, align 1 25f2e8b38fSAlexey Bataev %spec.select.i.2 = tail call i8 @llvm.abs.i8(i8 %2, i1 false) 26f2e8b38fSAlexey Bataev %conv.2 = sext i8 %spec.select.i.2 to i32 27f2e8b38fSAlexey Bataev %add.2 = add nsw i32 %add.1, %conv.2 28f2e8b38fSAlexey Bataev %arrayidx.3 = getelementptr inbounds i8, ptr %a, i64 192 29f2e8b38fSAlexey Bataev %3 = load i8, ptr %arrayidx.3, align 1 30f2e8b38fSAlexey Bataev %spec.select.i.3 = tail call i8 @llvm.abs.i8(i8 %3, i1 false) 31f2e8b38fSAlexey Bataev %conv.3 = sext i8 %spec.select.i.3 to i32 32f2e8b38fSAlexey Bataev %add.3 = add nsw i32 %add.2, %conv.3 33f2e8b38fSAlexey Bataev %arrayidx.4 = getelementptr inbounds i8, ptr %a, i64 256 34f2e8b38fSAlexey Bataev %4 = load i8, ptr %arrayidx.4, align 1 35f2e8b38fSAlexey Bataev %spec.select.i.4 = tail call i8 @llvm.abs.i8(i8 %4, i1 false) 36f2e8b38fSAlexey Bataev %conv.4 = sext i8 %spec.select.i.4 to i32 37f2e8b38fSAlexey Bataev %add.4 = add nsw i32 %add.3, %conv.4 38f2e8b38fSAlexey Bataev %arrayidx.5 = getelementptr inbounds i8, ptr %a, i64 320 39f2e8b38fSAlexey Bataev %5 = load i8, ptr %arrayidx.5, align 1 40f2e8b38fSAlexey Bataev %spec.select.i.5 = tail call i8 @llvm.abs.i8(i8 %5, i1 false) 41f2e8b38fSAlexey Bataev %conv.5 = sext i8 %spec.select.i.5 to i32 42f2e8b38fSAlexey Bataev %add.5 = add nsw i32 %add.4, %conv.5 43f2e8b38fSAlexey Bataev %arrayidx.6 = getelementptr inbounds i8, ptr %a, i64 384 44f2e8b38fSAlexey Bataev %6 = load i8, ptr %arrayidx.6, align 1 45f2e8b38fSAlexey Bataev %spec.select.i.6 = tail call i8 @llvm.abs.i8(i8 %6, i1 false) 46f2e8b38fSAlexey Bataev %conv.6 = sext i8 %spec.select.i.6 to i32 47f2e8b38fSAlexey Bataev %add.6 = add nsw i32 %add.5, %conv.6 48f2e8b38fSAlexey Bataev %arrayidx.7 = getelementptr inbounds i8, ptr %a, i64 448 49f2e8b38fSAlexey Bataev %7 = load i8, ptr %arrayidx.7, align 1 50f2e8b38fSAlexey Bataev %spec.select.i.7 = tail call i8 @llvm.abs.i8(i8 %7, i1 false) 51f2e8b38fSAlexey Bataev %conv.7 = sext i8 %spec.select.i.7 to i32 52f2e8b38fSAlexey Bataev %add.7 = add nsw i32 %add.6, %conv.7 53f2e8b38fSAlexey Bataev ret i32 %add.7 54f2e8b38fSAlexey Bataev} 55f2e8b38fSAlexey Bataev 56f2e8b38fSAlexey Bataevdeclare i8 @llvm.abs.i8(i8, i1 immarg) 57