xref: /llvm-project/llvm/test/Transforms/SLPVectorizer/reduction-min-select.ll (revision 15ee17c3ce34623261788d7de3c1bdf5860be34e)
1*15ee17c3SElvina Yakubova; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2*15ee17c3SElvina Yakubova; RUN: %if x86-registered-target %{ opt -S -passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s %}
3*15ee17c3SElvina Yakubova; RUN: %if aarch64-registered-target %{ opt -S -passes=slp-vectorizer -mtriple=aarch64-unknown-linux-gnu < %s | FileCheck %s %}
4*15ee17c3SElvina Yakubova
5*15ee17c3SElvina Yakubovadefine void @test() {
6*15ee17c3SElvina Yakubova; CHECK-LABEL: @test(
7*15ee17c3SElvina Yakubova; CHECK-NEXT:  entry:
8*15ee17c3SElvina Yakubova; CHECK-NEXT:    br i1 false, label [[IF_ELSE:%.*]], label [[IF_THEN:%.*]]
9*15ee17c3SElvina Yakubova; CHECK:       if.then:
10*15ee17c3SElvina Yakubova; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i32 1, 0
11*15ee17c3SElvina Yakubova; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[CMP]], i32 1, i32 0
12*15ee17c3SElvina Yakubova; CHECK-NEXT:    [[TMP0:%.*]] = call i32 @llvm.smin.i32(i32 [[SPEC_SELECT]], i32 1)
13*15ee17c3SElvina Yakubova; CHECK-NEXT:    br label [[IF_END20:%.*]]
14*15ee17c3SElvina Yakubova; CHECK:       if.else:
15*15ee17c3SElvina Yakubova; CHECK-NEXT:    br label [[IF_END20]]
16*15ee17c3SElvina Yakubova; CHECK:       if.end20:
17*15ee17c3SElvina Yakubova; CHECK-NEXT:    [[TMP1:%.*]] = phi i32 [ undef, [[IF_ELSE]] ], [ [[TMP0]], [[IF_THEN]] ]
18*15ee17c3SElvina Yakubova; CHECK-NEXT:    ret void
19*15ee17c3SElvina Yakubova;
20*15ee17c3SElvina Yakubovaentry:
21*15ee17c3SElvina Yakubova  br i1 false, label %if.else, label %if.then
22*15ee17c3SElvina Yakubova
23*15ee17c3SElvina Yakubovaif.then:
24*15ee17c3SElvina Yakubova  %cmp = icmp slt i32 1, 0
25*15ee17c3SElvina Yakubova  %spec.select = select i1 %cmp, i32 1, i32 0
26*15ee17c3SElvina Yakubova  %0 = call i32 @llvm.smin.i32(i32 %spec.select, i32 1)
27*15ee17c3SElvina Yakubova  br label %if.end20
28*15ee17c3SElvina Yakubova
29*15ee17c3SElvina Yakubovaif.else:
30*15ee17c3SElvina Yakubova  br label %if.end20
31*15ee17c3SElvina Yakubova
32*15ee17c3SElvina Yakubovaif.end20:
33*15ee17c3SElvina Yakubova  %1 = phi i32 [ undef, %if.else ], [ %0, %if.then ]
34*15ee17c3SElvina Yakubova  ret void
35*15ee17c3SElvina Yakubova}
36*15ee17c3SElvina Yakubova
37*15ee17c3SElvina Yakubovadeclare i32 @llvm.smin.i32(i32, i32)
38