xref: /llvm-project/llvm/test/Transforms/SLPVectorizer/RISCV/phi-const.ll (revision 38fffa630ee80163dc65e759392ad29798905679)
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