70 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -passes=slp-vectorizer -S < %s -mtriple=riscv32 -mattr=+v \3; RUN: -riscv-v-slp-max-vf=0 | FileCheck %s4; RUN: opt -passes=slp-vectorizer -S < %s -mtriple=riscv64 -mattr=+v \5; RUN: -riscv-v-slp-max-vf=0 | FileCheck %s6 7; These shouldn't be vectorized as the cost of materializing the constants as8; vectors should outweigh the scalar cost9 10define void @f(ptr %p, i1 %c) {11; CHECK-LABEL: define void @f12; CHECK-SAME: (ptr [[P:%.*]], i1 [[C:%.*]]) #[[ATTR0:[0-9]+]] {13; CHECK-NEXT: [[P_0:%.*]] = getelementptr i8, ptr [[P]]14; CHECK-NEXT: br i1 [[C]], label [[A:%.*]], label [[B:%.*]]15; CHECK: a:16; CHECK-NEXT: br label [[D:%.*]]17; CHECK: b:18; CHECK-NEXT: br label [[D]]19; CHECK: d:20; CHECK-NEXT: [[TMP1:%.*]] = phi <2 x i8> [ <i8 1, i8 -1>, [[A]] ], [ <i8 -1, i8 1>, [[B]] ]21; CHECK-NEXT: store <2 x i8> [[TMP1]], ptr [[P_0]], align 122; CHECK-NEXT: ret void23;24 %p.0 = getelementptr i8, ptr %p25 %p.1 = getelementptr i8, ptr %p, i32 126 br i1 %c, label %a, label %b27a:28 br label %d29b:30 br label %d31d:32 %x = phi i8 [1, %a], [-1, %b]33 %y = phi i8 [-1, %a], [1, %b]34 store i8 %x, ptr %p.035 store i8 %y, ptr %p.136 ret void37}38 39define void @g(ptr %p, i1 %c) {40; CHECK-LABEL: define void @g41; CHECK-SAME: (ptr [[P:%.*]], i1 [[C:%.*]]) #[[ATTR0]] {42; CHECK-NEXT: [[P_0:%.*]] = getelementptr i8, ptr [[P]]43; CHECK-NEXT: br i1 [[C]], label [[A:%.*]], label [[B:%.*]]44; CHECK: a:45; CHECK-NEXT: br label [[D:%.*]]46; CHECK: b:47; CHECK-NEXT: br label [[D]]48; CHECK: d:49; CHECK-NEXT: [[TMP1:%.*]] = phi <2 x i8> [ <i8 1, i8 -1>, [[A]] ], [ <i8 -1, i8 1>, [[B]] ]50; CHECK-NEXT: [[TMP2:%.*]] = add <2 x i8> [[TMP1]], splat (i8 1)51; CHECK-NEXT: store <2 x i8> [[TMP2]], ptr [[P_0]], align 152; CHECK-NEXT: ret void53;54 %p.0 = getelementptr i8, ptr %p55 %p.1 = getelementptr i8, ptr %p, i32 156 br i1 %c, label %a, label %b57a:58 br label %d59b:60 br label %d61d:62 %x = phi i8 [1, %a], [-1, %b]63 %y = phi i8 [-1, %a], [1, %b]64 %x.add = add i8 %x, 165 %y.add = add i8 %y, 166 store i8 %x.add, ptr %p.067 store i8 %y.add, ptr %p.168 ret void69}70