1b87a0930SLuke Lau; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 2b87a0930SLuke Lau; RUN: opt -passes=slp-vectorizer -S < %s -mtriple=riscv32 -mattr=+v \ 3b87a0930SLuke Lau; RUN: -riscv-v-slp-max-vf=0 | FileCheck %s 4b87a0930SLuke Lau; RUN: opt -passes=slp-vectorizer -S < %s -mtriple=riscv64 -mattr=+v \ 5b87a0930SLuke Lau; RUN: -riscv-v-slp-max-vf=0 | FileCheck %s 6b87a0930SLuke Lau 7b87a0930SLuke Lau; These shouldn't be vectorized as the cost of materializing the constants as 8b87a0930SLuke Lau; vectors should outweigh the scalar cost 9b87a0930SLuke Lau 10b87a0930SLuke Laudefine void @f(ptr %p, i1 %c) { 11b87a0930SLuke Lau; CHECK-LABEL: define void @f 12b87a0930SLuke Lau; CHECK-SAME: (ptr [[P:%.*]], i1 [[C:%.*]]) #[[ATTR0:[0-9]+]] { 13b87a0930SLuke Lau; CHECK-NEXT: [[P_0:%.*]] = getelementptr i8, ptr [[P]] 14b87a0930SLuke Lau; CHECK-NEXT: br i1 [[C]], label [[A:%.*]], label [[B:%.*]] 15b87a0930SLuke Lau; CHECK: a: 16b87a0930SLuke Lau; CHECK-NEXT: br label [[D:%.*]] 17b87a0930SLuke Lau; CHECK: b: 18b87a0930SLuke Lau; CHECK-NEXT: br label [[D]] 19b87a0930SLuke Lau; CHECK: d: 20b87a0930SLuke Lau; CHECK-NEXT: [[TMP1:%.*]] = phi <2 x i8> [ <i8 1, i8 -1>, [[A]] ], [ <i8 -1, i8 1>, [[B]] ] 21b87a0930SLuke Lau; CHECK-NEXT: store <2 x i8> [[TMP1]], ptr [[P_0]], align 1 22b87a0930SLuke Lau; CHECK-NEXT: ret void 23b87a0930SLuke Lau; 24b87a0930SLuke Lau %p.0 = getelementptr i8, ptr %p 25b87a0930SLuke Lau %p.1 = getelementptr i8, ptr %p, i32 1 26b87a0930SLuke Lau br i1 %c, label %a, label %b 27b87a0930SLuke Laua: 28b87a0930SLuke Lau br label %d 29b87a0930SLuke Laub: 30b87a0930SLuke Lau br label %d 31b87a0930SLuke Laud: 32b87a0930SLuke Lau %x = phi i8 [1, %a], [-1, %b] 33b87a0930SLuke Lau %y = phi i8 [-1, %a], [1, %b] 34b87a0930SLuke Lau store i8 %x, ptr %p.0 35b87a0930SLuke Lau store i8 %y, ptr %p.1 36b87a0930SLuke Lau ret void 37b87a0930SLuke Lau} 38b87a0930SLuke Lau 39b87a0930SLuke Laudefine void @g(ptr %p, i1 %c) { 40b87a0930SLuke Lau; CHECK-LABEL: define void @g 41b87a0930SLuke Lau; CHECK-SAME: (ptr [[P:%.*]], i1 [[C:%.*]]) #[[ATTR0]] { 42b87a0930SLuke Lau; CHECK-NEXT: [[P_0:%.*]] = getelementptr i8, ptr [[P]] 43b87a0930SLuke Lau; CHECK-NEXT: br i1 [[C]], label [[A:%.*]], label [[B:%.*]] 44b87a0930SLuke Lau; CHECK: a: 45b87a0930SLuke Lau; CHECK-NEXT: br label [[D:%.*]] 46b87a0930SLuke Lau; CHECK: b: 47b87a0930SLuke Lau; CHECK-NEXT: br label [[D]] 48b87a0930SLuke Lau; CHECK: d: 49b87a0930SLuke Lau; CHECK-NEXT: [[TMP1:%.*]] = phi <2 x i8> [ <i8 1, i8 -1>, [[A]] ], [ <i8 -1, i8 1>, [[B]] ] 50*38fffa63SPaul Walker; CHECK-NEXT: [[TMP2:%.*]] = add <2 x i8> [[TMP1]], splat (i8 1) 51b87a0930SLuke Lau; CHECK-NEXT: store <2 x i8> [[TMP2]], ptr [[P_0]], align 1 52b87a0930SLuke Lau; CHECK-NEXT: ret void 53b87a0930SLuke Lau; 54b87a0930SLuke Lau %p.0 = getelementptr i8, ptr %p 55b87a0930SLuke Lau %p.1 = getelementptr i8, ptr %p, i32 1 56b87a0930SLuke Lau br i1 %c, label %a, label %b 57b87a0930SLuke Laua: 58b87a0930SLuke Lau br label %d 59b87a0930SLuke Laub: 60b87a0930SLuke Lau br label %d 61b87a0930SLuke Laud: 62b87a0930SLuke Lau %x = phi i8 [1, %a], [-1, %b] 63b87a0930SLuke Lau %y = phi i8 [-1, %a], [1, %b] 64b87a0930SLuke Lau %x.add = add i8 %x, 1 65b87a0930SLuke Lau %y.add = add i8 %y, 1 66b87a0930SLuke Lau store i8 %x.add, ptr %p.0 67b87a0930SLuke Lau store i8 %y.add, ptr %p.1 68b87a0930SLuke Lau ret void 69b87a0930SLuke Lau} 70