llvm/test/Transforms/PhaseOrdering/min-max-abs-cse.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -S -O1 | FileCheck %s
   3 ; RUN: opt -passes='default<O1>' -S < %s | FileCheck %s
   4
   5 ; In all tests, expect instcombine to canonicalize the select patterns
   6 ; for min/max/abs to allow CSE and subsequent simplification.
   7
   8 ; TODO:
   9 ; This should be reduced to 0, but we are missing some
  10 ; fold(s) in instcombine.
  11
  12 define i8 @smax_nsw(i8 %a, i8 %b) {
  13 ; CHECK-LABEL: @smax_nsw(
  14 ; CHECK-NEXT:    [[SUB:%.*]] = sub nsw i8 [[A:%.*]], [[B:%.*]]
  15 ; CHECK-NEXT:    [[CMP1:%.*]] = icmp slt i8 [[A]], [[B]]
  16 ; CHECK-NEXT:    [[M1:%.*]] = select i1 [[CMP1]], i8 0, i8 [[SUB]]
  17 ; CHECK-NEXT:    [[TMP1:%.*]] = tail call i8 @llvm.smax.i8(i8 [[SUB]], i8 0)
  18 ; CHECK-NEXT:    [[R:%.*]] = sub i8 [[TMP1]], [[M1]]
  19 ; CHECK-NEXT:    ret i8 [[R]]
  20 ;
  21   %sub = sub nsw i8 %a, %b
  22   %cmp1 = icmp slt i8 %a, %b
  23   %cmp2 = icmp sgt i8 %sub, 0
  24   %m1 = select i1 %cmp1, i8 0, i8 %sub
  25   %m2 = select i1 %cmp2, i8 %sub, i8 0
  26   %r = sub i8 %m2, %m1
  27   ret i8 %r
  28 }
  29
  30 ; or (abs a), (abs a) --> abs a
  31
  32 define i8 @abs_swapped(i8 %a) {
  33 ; CHECK-LABEL: @abs_swapped(
  34 ; CHECK-NEXT:    [[TMP1:%.*]] = tail call i8 @llvm.abs.i8(i8 [[A:%.*]], i1 false)
  35 ; CHECK-NEXT:    ret i8 [[TMP1]]
  36 ;
  37   %neg = sub i8 0, %a
  38   %cmp1 = icmp sgt i8 %a, 0
  39   %cmp2 = icmp slt i8 %a, 0
  40   %m1 = select i1 %cmp1, i8 %a, i8 %neg
  41   %m2 = select i1 %cmp2, i8 %neg, i8 %a
  42   %r = or i8 %m2, %m1
  43   ret i8 %r
  44 }
  45
  46 ; xor (nabs a), (nabs a) --> 0
  47
  48 define i8 @nabs_swapped(i8 %a) {
  49 ; CHECK-LABEL: @nabs_swapped(
  50 ; CHECK-NEXT:    ret i8 0
  51 ;
  52   %neg = sub i8 0, %a
  53   %cmp1 = icmp slt i8 %a, 0
  54   %cmp2 = icmp sgt i8 %a, 0
  55   %m1 = select i1 %cmp1, i8 %a, i8 %neg
  56   %m2 = select i1 %cmp2, i8 %neg, i8 %a
  57   %r = xor i8 %m2, %m1
  58   ret i8 %r
  59 }
  60
  61 ; xor (abs a), (abs a) --> 0
  62
  63 define i8 @abs_different_constants(i8 %a) {
  64 ; CHECK-LABEL: @abs_different_constants(
  65 ; CHECK-NEXT:    ret i8 0
  66 ;
  67   %neg = sub i8 0, %a
  68   %cmp1 = icmp sgt i8 %a, -1
  69   %cmp2 = icmp slt i8 %a, 0
  70   %m1 = select i1 %cmp1, i8 %a, i8 %neg
  71   %m2 = select i1 %cmp2, i8 %neg, i8 %a
  72   %r = xor i8 %m2, %m1
  73   ret i8 %r
  74 }
  75
  76 ; or (nabs a), (nabs a) --> nabs a
  77
  78 define i8 @nabs_different_constants(i8 %a) {
  79 ; CHECK-LABEL: @nabs_different_constants(
  80 ; CHECK-NEXT:    [[TMP1:%.*]] = tail call i8 @llvm.abs.i8(i8 [[A:%.*]], i1 false)
  81 ; CHECK-NEXT:    [[M1:%.*]] = sub i8 0, [[TMP1]]
  82 ; CHECK-NEXT:    ret i8 [[M1]]
  83 ;
  84   %neg = sub i8 0, %a
  85   %cmp1 = icmp slt i8 %a, 0
  86   %cmp2 = icmp sgt i8 %a, -1
  87   %m1 = select i1 %cmp1, i8 %a, i8 %neg
  88   %m2 = select i1 %cmp2, i8 %neg, i8 %a
  89   %r = or i8 %m2, %m1
  90   ret i8 %r
  91 }