llvm/test/Transforms/InstCombine/icmp-shl.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3
   4 define i1 @shl_nuw_eq_0(i8 %x, i8 %C) {
   5 ; CHECK-LABEL: @shl_nuw_eq_0(
   6 ; CHECK-NEXT:    [[Z:%.*]] = icmp eq i8 [[X:%.*]], 0
   7 ; CHECK-NEXT:    ret i1 [[Z]]
   8 ;
   9   %y = shl nuw i8 %x, %C
  10   %z = icmp eq i8 %y, 0
  11   ret i1 %z
  12 }
  13
  14 define <2 x i1> @shl_nsw_ne_0(<2 x i8> %x, <2 x i8> %C) {
  15 ; CHECK-LABEL: @shl_nsw_ne_0(
  16 ; CHECK-NEXT:    [[Z:%.*]] = icmp ne <2 x i8> [[X:%.*]], zeroinitializer
  17 ; CHECK-NEXT:    ret <2 x i1> [[Z]]
  18 ;
  19   %y = shl nsw <2 x i8> %x, %C
  20   %z = icmp ne <2 x i8> %y, zeroinitializer
  21   ret <2 x i1> %z
  22 }
  23
  24 define i1 @shl_eq_0_fail_missing_flags(i8 %x, i8 %C) {
  25 ; CHECK-LABEL: @shl_eq_0_fail_missing_flags(
  26 ; CHECK-NEXT:    [[Y:%.*]] = shl i8 [[X:%.*]], [[C:%.*]]
  27 ; CHECK-NEXT:    [[Z:%.*]] = icmp eq i8 [[Y]], 0
  28 ; CHECK-NEXT:    ret i1 [[Z]]
  29 ;
  30   %y = shl i8 %x, %C
  31   %z = icmp eq i8 %y, 0
  32   ret i1 %z
  33 }
  34
  35 define i1 @shl_ne_1_fail_nonzero(i8 %x, i8 %C) {
  36 ; CHECK-LABEL: @shl_ne_1_fail_nonzero(
  37 ; CHECK-NEXT:    [[Y:%.*]] = shl nuw nsw i8 [[X:%.*]], [[C:%.*]]
  38 ; CHECK-NEXT:    [[Z:%.*]] = icmp ne i8 [[Y]], 1
  39 ; CHECK-NEXT:    ret i1 [[Z]]
  40 ;
  41   %y = shl nsw nuw i8 %x, %C
  42   %z = icmp ne i8 %y, 1
  43   ret i1 %z
  44 }
  45
  46 define i1 @shl_nsw_slt_1(i8 %x, i8 %C) {
  47 ; CHECK-LABEL: @shl_nsw_slt_1(
  48 ; CHECK-NEXT:    [[Z:%.*]] = icmp slt i8 [[X:%.*]], 1
  49 ; CHECK-NEXT:    ret i1 [[Z]]
  50 ;
  51   %y = shl nsw i8 %x, %C
  52   %z = icmp slt i8 %y, 1
  53   ret i1 %z
  54 }
  55
  56 define <2 x i1> @shl_vec_nsw_slt_1_0_todo_non_splat(<2 x i8> %x, <2 x i8> %C) {
  57 ; CHECK-LABEL: @shl_vec_nsw_slt_1_0_todo_non_splat(
  58 ; CHECK-NEXT:    [[Y:%.*]] = shl nsw <2 x i8> [[X:%.*]], [[C:%.*]]
  59 ; CHECK-NEXT:    [[Z:%.*]] = icmp slt <2 x i8> [[Y]], <i8 1, i8 0>
  60 ; CHECK-NEXT:    ret <2 x i1> [[Z]]
  61 ;
  62   %y = shl nsw <2 x i8> %x, %C
  63   %z = icmp slt <2 x i8> %y, <i8 1, i8 0>
  64   ret <2 x i1> %z
  65 }
  66
  67 define <2 x i1> @shl_nsw_sle_n1(<2 x i8> %x, <2 x i8> %C) {
  68 ; CHECK-LABEL: @shl_nsw_sle_n1(
  69 ; CHECK-NEXT:    [[Y:%.*]] = shl nsw <2 x i8> [[X:%.*]], [[C:%.*]]
  70 ; CHECK-NEXT:    [[Z:%.*]] = icmp slt <2 x i8> [[Y]], <i8 2, i8 2>
  71 ; CHECK-NEXT:    ret <2 x i1> [[Z]]
  72 ;
  73   %y = shl nsw <2 x i8> %x, %C
  74   %z = icmp sle <2 x i8> %y, <i8 1, i8 1>
  75   ret <2 x i1> %z
  76 }
  77
  78 define <2 x i1> @shl_nsw_sge_1(<2 x i8> %x, <2 x i8> %C) {
  79 ; CHECK-LABEL: @shl_nsw_sge_1(
  80 ; CHECK-NEXT:    [[Z:%.*]] = icmp sgt <2 x i8> [[X:%.*]], zeroinitializer
  81 ; CHECK-NEXT:    ret <2 x i1> [[Z]]
  82 ;
  83   %y = shl nsw <2 x i8> %x, %C
  84   %z = icmp sge <2 x i8> %y, <i8 1, i8 1>
  85   ret <2 x i1> %z
  86 }
  87
  88 define i1 @shl_nsw_sgt_n1(i8 %x, i8 %C) {
  89 ; CHECK-LABEL: @shl_nsw_sgt_n1(
  90 ; CHECK-NEXT:    [[Z:%.*]] = icmp sgt i8 [[X:%.*]], -1
  91 ; CHECK-NEXT:    ret i1 [[Z]]
  92 ;
  93   %y = shl nsw i8 %x, %C
  94   %z = icmp sgt i8 %y, -1
  95   ret i1 %z
  96 }
  97
  98 define i1 @shl_nuw_sgt_n1_fail_wrong_flag(i8 %x, i8 %C) {
  99 ; CHECK-LABEL: @shl_nuw_sgt_n1_fail_wrong_flag(
 100 ; CHECK-NEXT:    [[Y:%.*]] = shl nuw i8 [[X:%.*]], [[C:%.*]]
 101 ; CHECK-NEXT:    [[Z:%.*]] = icmp sgt i8 [[Y]], -1
 102 ; CHECK-NEXT:    ret i1 [[Z]]
 103 ;
 104   %y = shl nuw i8 %x, %C
 105   %z = icmp sgt i8 %y, -1
 106   ret i1 %z
 107 }
 108
 109 define i1 @shl_nsw_nuw_ult_Csle0(i8 %x, i8 %C) {
 110 ; CHECK-LABEL: @shl_nsw_nuw_ult_Csle0(
 111 ; CHECK-NEXT:    [[Z:%.*]] = icmp ult i8 [[X:%.*]], -19
 112 ; CHECK-NEXT:    ret i1 [[Z]]
 113 ;
 114   %y = shl nuw nsw i8 %x, %C
 115   %z = icmp ult i8 %y, -19
 116   ret i1 %z
 117 }
 118
 119 define i1 @shl_nsw_ule_Csle0_fail_missing_flag(i8 %x, i8 %C) {
 120 ; CHECK-LABEL: @shl_nsw_ule_Csle0_fail_missing_flag(
 121 ; CHECK-NEXT:    [[Y:%.*]] = shl nsw i8 [[X:%.*]], [[C:%.*]]
 122 ; CHECK-NEXT:    [[Z:%.*]] = icmp ult i8 [[Y]], -18
 123 ; CHECK-NEXT:    ret i1 [[Z]]
 124 ;
 125   %y = shl nsw i8 %x, %C
 126   %z = icmp ule i8 %y, -19
 127   ret i1 %z
 128 }
 129
 130 define i1 @shl_nsw_nuw_uge_Csle0(i8 %x, i8 %C) {
 131 ; CHECK-LABEL: @shl_nsw_nuw_uge_Csle0(
 132 ; CHECK-NEXT:    [[Z:%.*]] = icmp ugt i8 [[X:%.*]], -121
 133 ; CHECK-NEXT:    ret i1 [[Z]]
 134 ;
 135   %y = shl nuw nsw i8 %x, %C
 136   %z = icmp uge i8 %y, -120
 137   ret i1 %z
 138 }
 139
 140 define i1 @shl_nuw_ugt_Csle0_fail_missing_flag(i8 %x, i8 %C) {
 141 ; CHECK-LABEL: @shl_nuw_ugt_Csle0_fail_missing_flag(
 142 ; CHECK-NEXT:    [[Y:%.*]] = shl nuw i8 [[X:%.*]], [[C:%.*]]
 143 ; CHECK-NEXT:    [[Z:%.*]] = icmp ugt i8 [[Y]], -19
 144 ; CHECK-NEXT:    ret i1 [[Z]]
 145 ;
 146   %y = shl nuw i8 %x, %C
 147   %z = icmp ugt i8 %y, -19
 148   ret i1 %z
 149 }
 150
 151 define <2 x i1> @shl_nsw_nuw_sgt_Csle0(<2 x i8> %x, <2 x i8> %C) {
 152 ; CHECK-LABEL: @shl_nsw_nuw_sgt_Csle0(
 153 ; CHECK-NEXT:    [[Z:%.*]] = icmp sgt <2 x i8> [[X:%.*]], <i8 -10, i8 -10>
 154 ; CHECK-NEXT:    ret <2 x i1> [[Z]]
 155 ;
 156   %y = shl nsw nuw <2 x i8> %x, %C
 157   %z = icmp sgt <2 x i8> %y, <i8 -10, i8 -10>
 158   ret <2 x i1> %z
 159 }
 160
 161 define <2 x i1> @shl_nsw_nuw_sge_Csle0_todo_non_splat(<2 x i8> %x, <2 x i8> %C) {
 162 ; CHECK-LABEL: @shl_nsw_nuw_sge_Csle0_todo_non_splat(
 163 ; CHECK-NEXT:    [[Y:%.*]] = shl nuw nsw <2 x i8> [[X:%.*]], [[C:%.*]]
 164 ; CHECK-NEXT:    [[Z:%.*]] = icmp sgt <2 x i8> [[Y]], <i8 -11, i8 -66>
 165 ; CHECK-NEXT:    ret <2 x i1> [[Z]]
 166 ;
 167   %y = shl nsw nuw <2 x i8> %x, %C
 168   %z = icmp sge <2 x i8> %y, <i8 -10, i8 -65>
 169   ret <2 x i1> %z
 170 }
 171
 172 define <2 x i1> @shl_nsw_nuw_sle_Csle0(<2 x i8> %x, <2 x i8> %C) {
 173 ; CHECK-LABEL: @shl_nsw_nuw_sle_Csle0(
 174 ; CHECK-NEXT:    [[Z:%.*]] = icmp slt <2 x i8> [[X:%.*]], <i8 -5, i8 -5>
 175 ; CHECK-NEXT:    ret <2 x i1> [[Z]]
 176 ;
 177   %y = shl nsw nuw <2 x i8> %x, %C
 178   %z = icmp sle <2 x i8> %y, <i8 -6, i8 -6>
 179   ret <2 x i1> %z
 180 }
 181
 182 define <2 x i1> @shl_nsw_nuw_slt_Csle0_fail_positive(<2 x i8> %x, <2 x i8> %C) {
 183 ; CHECK-LABEL: @shl_nsw_nuw_slt_Csle0_fail_positive(
 184 ; CHECK-NEXT:    [[Y:%.*]] = shl nuw nsw <2 x i8> [[X:%.*]], [[C:%.*]]
 185 ; CHECK-NEXT:    [[Z:%.*]] = icmp slt <2 x i8> [[Y]], <i8 6, i8 6>
 186 ; CHECK-NEXT:    ret <2 x i1> [[Z]]
 187 ;
 188   %y = shl nsw nuw <2 x i8> %x, %C
 189   %z = icmp slt <2 x i8> %y, <i8 6, i8 6>
 190   ret <2 x i1> %z
 191 }