llvm/test/Transforms/PhaseOrdering/minmax.ll

   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
   8 declare void @use(i8, i8, i8, i8)
   9
  10 define 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 ;
  22 entry:
  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
  37 if.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
  44 if.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
  51 if.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 }