17b9bf80aSAlexey Bataev; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 27b9bf80aSAlexey Bataev; RUN: opt -S --passes=slp-vectorizer -mtriple=riscv64-unknown-linux-gnu -mattr=+v -slp-threshold=-20 < %s | FileCheck %s 37b9bf80aSAlexey Bataev 47b9bf80aSAlexey Bataev%S = type { i16, i16 } 57b9bf80aSAlexey Bataev 67b9bf80aSAlexey Bataevdefine i16 @test() { 77b9bf80aSAlexey Bataev; CHECK-LABEL: define i16 @test 87b9bf80aSAlexey Bataev; CHECK-SAME: () #[[ATTR0:[0-9]+]] { 97b9bf80aSAlexey Bataev; CHECK-NEXT: entry: 107b9bf80aSAlexey Bataev; CHECK-NEXT: [[PPREV_058_I:%.*]] = getelementptr [[S:%.*]], ptr null, i64 -1 117b9bf80aSAlexey Bataev; CHECK-NEXT: br label [[WHILE_BODY_I:%.*]] 127b9bf80aSAlexey Bataev; CHECK: while.body.i: 13daf4a06eSAlexey Bataev; CHECK-NEXT: [[TMP0:%.*]] = phi i16 [ 0, [[WHILE_BODY_I]] ], [ 0, [[ENTRY:%.*]] ] 14daf4a06eSAlexey Bataev; CHECK-NEXT: [[PPREV_062_I:%.*]] = phi ptr [ [[PPREV_0_I:%.*]], [[WHILE_BODY_I]] ], [ [[PPREV_058_I]], [[ENTRY]] ] 15daf4a06eSAlexey Bataev; CHECK-NEXT: [[PEDGE_061_I:%.*]] = phi ptr [ [[INCDEC_PTR_I:%.*]], [[WHILE_BODY_I]] ], [ null, [[ENTRY]] ] 16daf4a06eSAlexey Bataev; CHECK-NEXT: [[INCDEC_PTR_I]] = getelementptr [[S]], ptr [[PEDGE_061_I]], i64 -1 17daf4a06eSAlexey Bataev; CHECK-NEXT: [[PPREV_0_I]] = getelementptr [[S]], ptr [[PPREV_062_I]], i64 -1 18*38fffa63SPaul Walker; CHECK-NEXT: [[TMP1:%.*]] = call <2 x i16> @llvm.experimental.vp.strided.load.v2i16.p0.i64(ptr align 2 [[PPREV_0_I]], i64 4, <2 x i1> splat (i1 true), i32 2) 19daf4a06eSAlexey Bataev; CHECK-NEXT: [[TMP2:%.*]] = extractelement <2 x i16> [[TMP1]], i32 0 20daf4a06eSAlexey Bataev; CHECK-NEXT: [[TMP3:%.*]] = extractelement <2 x i16> [[TMP1]], i32 1 21daf4a06eSAlexey Bataev; CHECK-NEXT: [[CMP_I178:%.*]] = icmp ult i16 [[TMP3]], [[TMP2]] 227b9bf80aSAlexey Bataev; CHECK-NEXT: br label [[WHILE_BODY_I]] 237b9bf80aSAlexey Bataev; 247b9bf80aSAlexey Bataeventry: 257b9bf80aSAlexey Bataev %pPrev.058.i = getelementptr %S, ptr null, i64 -1 267b9bf80aSAlexey Bataev br label %while.body.i 277b9bf80aSAlexey Bataev 287b9bf80aSAlexey Bataevwhile.body.i: 297b9bf80aSAlexey Bataev %0 = phi i16 [ 0, %while.body.i ], [ 0, %entry ] 307b9bf80aSAlexey Bataev %pPrev.062.i = phi ptr [ %pPrev.0.i, %while.body.i ], [ %pPrev.058.i, %entry ] 317b9bf80aSAlexey Bataev %pEdge.061.i = phi ptr [ %incdec.ptr.i, %while.body.i ], [ null, %entry ] 327b9bf80aSAlexey Bataev %incdec.ptr.i = getelementptr %S, ptr %pEdge.061.i, i64 -1 337b9bf80aSAlexey Bataev %pPrev.0.i = getelementptr %S, ptr %pPrev.062.i, i64 -1 347b9bf80aSAlexey Bataev %1 = load i16, ptr %incdec.ptr.i, align 2 357b9bf80aSAlexey Bataev %2 = load i16, ptr %pPrev.0.i, align 2 367b9bf80aSAlexey Bataev %cmp.i178 = icmp ult i16 %1, %2 377b9bf80aSAlexey Bataev br label %while.body.i 387b9bf80aSAlexey Bataev} 39