xref: /llvm-project/llvm/test/Transforms/PhaseOrdering/minmax.ll (revision bfb9b8e075ee32197157ccaf0c301122ca9b81af)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -O1                   -S < %s  | FileCheck %s
3; RUN: opt -passes='default<O1>' -S < %s  | FileCheck %s
4
5; This is an important benchmark for color-space-conversion.
6; It should reduce to contain only 1 'not' op.
7
8declare void @use(i8, i8, i8, i8)
9
10define void @cmyk(i8 %r, i8 %g, i8 %b) {
11; CHECK-LABEL: @cmyk(
12; CHECK-NEXT:  entry:
13; CHECK-NEXT:    [[TMP0:%.*]] = tail call i8 @llvm.smax.i8(i8 [[R:%.*]], i8 [[G:%.*]])
14; CHECK-NEXT:    [[TMP1:%.*]] = tail call i8 @llvm.smax.i8(i8 [[B:%.*]], i8 [[TMP0]])
15; CHECK-NEXT:    [[K_0:%.*]] = xor i8 [[TMP1]], -1
16; CHECK-NEXT:    [[SUB31:%.*]] = sub i8 [[TMP1]], [[R]]
17; CHECK-NEXT:    [[SUB35:%.*]] = sub i8 [[TMP1]], [[G]]
18; CHECK-NEXT:    [[SUB39:%.*]] = sub i8 [[TMP1]], [[B]]
19; CHECK-NEXT:    tail call void @use(i8 [[SUB31]], i8 [[SUB35]], i8 [[SUB39]], i8 [[K_0]])
20; CHECK-NEXT:    ret void
21;
22entry:
23  %conv = sext i8 %r to i32
24  %sub = sub nsw i32 255, %conv
25  %conv1 = trunc i32 %sub to i8
26  %conv2 = sext i8 %g to i32
27  %sub3 = sub nsw i32 255, %conv2
28  %conv4 = trunc i32 %sub3 to i8
29  %conv5 = sext i8 %b to i32
30  %sub6 = sub nsw i32 255, %conv5
31  %conv7 = trunc i32 %sub6 to i8
32  %conv8 = sext i8 %conv1 to i32
33  %conv9 = sext i8 %conv4 to i32
34  %cmp = icmp slt i32 %conv8, %conv9
35  br i1 %cmp, label %if.then, label %if.else
36
37if.then:
38  %conv12 = sext i8 %conv7 to i32
39  %cmp13 = icmp slt i32 %conv8, %conv12
40  %cond = select i1 %cmp13, i32 %conv8, i32 %conv12
41  %conv17 = trunc i32 %cond to i8
42  br label %if.end
43
44if.else:
45  %conv19 = sext i8 %conv7 to i32
46  %cmp20 = icmp slt i32 %conv9, %conv19
47  %cond27 = select i1 %cmp20, i32 %conv9, i32 %conv19
48  %conv28 = trunc i32 %cond27 to i8
49  br label %if.end
50
51if.end:
52  %k.0 = phi i8 [ %conv17, %if.then ], [ %conv28, %if.else ]
53  %conv30 = sext i8 %k.0 to i32
54  %sub31 = sub nsw i32 %conv8, %conv30
55  %conv32 = trunc i32 %sub31 to i8
56  %sub35 = sub nsw i32 %conv9, %conv30
57  %conv36 = trunc i32 %sub35 to i8
58  %conv37 = sext i8 %conv7 to i32
59  %sub39 = sub nsw i32 %conv37, %conv30
60  %conv40 = trunc i32 %sub39 to i8
61  call void @use(i8 %conv32, i8 %conv36, i8 %conv40, i8 %k.0)
62  ret void
63}
64