| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 |
| ; RUN: opt -S --passes=slp-vectorizer -mtriple=riscv64-unknown-linux-gnu -mattr=+v -slp-threshold=-20 < %s | FileCheck %s |
| |
| %S = type { i16, i16 } |
| |
| define i16 @test() { |
| ; CHECK-LABEL: define i16 @test |
| ; CHECK-SAME: () #[[ATTR0:[0-9]+]] { |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[PPREV_058_I:%.*]] = getelementptr [[S:%.*]], ptr null, i64 -1 |
| ; CHECK-NEXT: [[TMP0:%.*]] = insertelement <2 x ptr> <ptr null, ptr poison>, ptr [[PPREV_058_I]], i32 1 |
| ; CHECK-NEXT: br label [[WHILE_BODY_I:%.*]] |
| ; CHECK: while.body.i: |
| ; CHECK-NEXT: [[TMP1:%.*]] = phi i16 [ 0, [[WHILE_BODY_I]] ], [ 0, [[ENTRY:%.*]] ] |
| ; CHECK-NEXT: [[TMP2:%.*]] = phi <2 x ptr> [ [[TMP3:%.*]], [[WHILE_BODY_I]] ], [ [[TMP0]], [[ENTRY]] ] |
| ; CHECK-NEXT: [[TMP3]] = getelementptr [[S]], <2 x ptr> [[TMP2]], <2 x i64> <i64 -1, i64 -1> |
| ; CHECK-NEXT: [[TMP4:%.*]] = call <2 x i16> @llvm.masked.gather.v2i16.v2p0(<2 x ptr> [[TMP3]], i32 2, <2 x i1> <i1 true, i1 true>, <2 x i16> poison) |
| ; CHECK-NEXT: [[TMP5:%.*]] = extractelement <2 x i16> [[TMP4]], i32 0 |
| ; CHECK-NEXT: [[TMP6:%.*]] = extractelement <2 x i16> [[TMP4]], i32 1 |
| ; CHECK-NEXT: [[CMP_I178:%.*]] = icmp ult i16 [[TMP5]], [[TMP6]] |
| ; CHECK-NEXT: br label [[WHILE_BODY_I]] |
| ; |
| entry: |
| %pPrev.058.i = getelementptr %S, ptr null, i64 -1 |
| br label %while.body.i |
| |
| while.body.i: |
| %0 = phi i16 [ 0, %while.body.i ], [ 0, %entry ] |
| %pPrev.062.i = phi ptr [ %pPrev.0.i, %while.body.i ], [ %pPrev.058.i, %entry ] |
| %pEdge.061.i = phi ptr [ %incdec.ptr.i, %while.body.i ], [ null, %entry ] |
| %incdec.ptr.i = getelementptr %S, ptr %pEdge.061.i, i64 -1 |
| %pPrev.0.i = getelementptr %S, ptr %pPrev.062.i, i64 -1 |
| %1 = load i16, ptr %incdec.ptr.i, align 2 |
| %2 = load i16, ptr %pPrev.0.i, align 2 |
| %cmp.i178 = icmp ult i16 %1, %2 |
| br label %while.body.i |
| } |