llvm/test/Transforms/InstCombine/icmp-of-trunc-ext.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
   3
   4 declare void @llvm.assume(i1)
   5 declare void @use(i16)
   6 define i1 @icmp_trunc_x_trunc_y(i32 %x, i32 %y) {
   7 ; CHECK-LABEL: @icmp_trunc_x_trunc_y(
   8 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 65536
   9 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536
  10 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
  11 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
  12 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i32 [[X]], [[Y]]
  13 ; CHECK-NEXT:    ret i1 [[R]]
  14 ;
  15   %x_lb_only = icmp ult i32 %x, 65536
  16   %y_lb_only = icmp ult i32 %y, 65536
  17   call void @llvm.assume(i1 %x_lb_only)
  18   call void @llvm.assume(i1 %y_lb_only)
  19   %x16 = trunc i32 %x to i16
  20   %y16 = trunc i32 %y to i16
  21   %r = icmp eq i16 %x16, %y16
  22   ret i1 %r
  23 }
  24
  25 define i1 @icmp_trunc_x_trunc_y_fail_from_illegal1(i256 %x, i256 %y) {
  26 ; CHECK-LABEL: @icmp_trunc_x_trunc_y_fail_from_illegal1(
  27 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i256 [[X:%.*]], 65536
  28 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i256 [[Y:%.*]], 65536
  29 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
  30 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
  31 ; CHECK-NEXT:    [[X16:%.*]] = trunc nuw i256 [[X]] to i16
  32 ; CHECK-NEXT:    [[Y16:%.*]] = trunc nuw i256 [[Y]] to i16
  33 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i16 [[X16]], [[Y16]]
  34 ; CHECK-NEXT:    ret i1 [[R]]
  35 ;
  36   %x_lb_only = icmp ult i256 %x, 65536
  37   %y_lb_only = icmp ult i256 %y, 65536
  38   call void @llvm.assume(i1 %x_lb_only)
  39   call void @llvm.assume(i1 %y_lb_only)
  40   %x16 = trunc i256 %x to i16
  41   %y16 = trunc i256 %y to i16
  42   %r = icmp eq i16 %x16, %y16
  43   ret i1 %r
  44 }
  45
  46 define i1 @icmp_trunc_x_trunc_y_illegal_trunc_to_legal_anyways(i123 %x, i32 %y) {
  47 ; CHECK-LABEL: @icmp_trunc_x_trunc_y_illegal_trunc_to_legal_anyways(
  48 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i123 [[X:%.*]], 65536
  49 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536
  50 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
  51 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
  52 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc nuw nsw i123 [[X]] to i32
  53 ; CHECK-NEXT:    [[R:%.*]] = icmp eq i32 [[TMP1]], [[Y]]
  54 ; CHECK-NEXT:    ret i1 [[R]]
  55 ;
  56   %x_lb_only = icmp ult i123 %x, 65536
  57   %y_lb_only = icmp ult i32 %y, 65536
  58   call void @llvm.assume(i1 %x_lb_only)
  59   call void @llvm.assume(i1 %y_lb_only)
  60   %x16 = trunc i123 %x to i16
  61   %y16 = trunc i32 %y to i16
  62   %r = icmp eq i16 %x16, %y16
  63   ret i1 %r
  64 }
  65
  66 define i1 @icmp_trunc_x_trunc_y_2_illegal_anyways(i33 %x, i63 %y) {
  67 ; CHECK-LABEL: @icmp_trunc_x_trunc_y_2_illegal_anyways(
  68 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i33 [[X:%.*]], 512
  69 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i63 [[Y:%.*]], 512
  70 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
  71 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
  72 ; CHECK-NEXT:    [[TMP1:%.*]] = zext nneg i33 [[X]] to i63
  73 ; CHECK-NEXT:    [[R:%.*]] = icmp ugt i63 [[TMP1]], [[Y]]
  74 ; CHECK-NEXT:    ret i1 [[R]]
  75 ;
  76   %x_lb_only = icmp ult i33 %x, 512
  77   %y_lb_only = icmp ult i63 %y, 512
  78   call void @llvm.assume(i1 %x_lb_only)
  79   call void @llvm.assume(i1 %y_lb_only)
  80   %x16 = trunc i33 %x to i9
  81   %y16 = trunc i63 %y to i9
  82   %r = icmp ult i9 %y16, %x16
  83   ret i1 %r
  84 }
  85
  86 define i1 @icmp_trunc_x_trunc_y_3(i64 %x, i32 %y) {
  87 ; CHECK-LABEL: @icmp_trunc_x_trunc_y_3(
  88 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i64 [[X:%.*]], 123
  89 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 256
  90 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
  91 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
  92 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc nuw nsw i64 [[X]] to i32
  93 ; CHECK-NEXT:    [[R:%.*]] = icmp uge i32 [[TMP1]], [[Y]]
  94 ; CHECK-NEXT:    ret i1 [[R]]
  95 ;
  96   %x_lb_only = icmp ult i64 %x, 123
  97   %y_lb_only = icmp ult i32 %y, 256
  98   call void @llvm.assume(i1 %x_lb_only)
  99   call void @llvm.assume(i1 %y_lb_only)
 100   %xi8 = trunc i64 %x to i8
 101   %yi8 = trunc i32 %y to i8
 102   %r = icmp ule i8 %yi8, %xi8
 103   ret i1 %r
 104 }
 105
 106 define i1 @icmp_trunc_x_trunc_y_fail_maybe_dirty_upper(i32 %x, i32 %y) {
 107 ; CHECK-LABEL: @icmp_trunc_x_trunc_y_fail_maybe_dirty_upper(
 108 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 65536
 109 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65537
 110 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
 111 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
 112 ; CHECK-NEXT:    [[X16:%.*]] = trunc nuw i32 [[X]] to i16
 113 ; CHECK-NEXT:    [[Y16:%.*]] = trunc i32 [[Y]] to i16
 114 ; CHECK-NEXT:    [[R:%.*]] = icmp ne i16 [[X16]], [[Y16]]
 115 ; CHECK-NEXT:    ret i1 [[R]]
 116 ;
 117   %x_lb_only = icmp ult i32 %x, 65536
 118   %y_lb_only = icmp ult i32 %y, 65537
 119   call void @llvm.assume(i1 %x_lb_only)
 120   call void @llvm.assume(i1 %y_lb_only)
 121   %x16 = trunc i32 %x to i16
 122   %y16 = trunc i32 %y to i16
 123   %r = icmp ne i16 %x16, %y16
 124   ret i1 %r
 125 }
 126
 127 define i1 @icmp_trunc_x_trunc_y_fail_maybe_dirty_upper_2(i32 %x, i32 %y) {
 128 ; CHECK-LABEL: @icmp_trunc_x_trunc_y_fail_maybe_dirty_upper_2(
 129 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp slt i32 [[X:%.*]], 65536
 130 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536
 131 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
 132 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
 133 ; CHECK-NEXT:    [[X16:%.*]] = trunc i32 [[X]] to i16
 134 ; CHECK-NEXT:    [[Y16:%.*]] = trunc nuw i32 [[Y]] to i16
 135 ; CHECK-NEXT:    [[R:%.*]] = icmp ne i16 [[X16]], [[Y16]]
 136 ; CHECK-NEXT:    ret i1 [[R]]
 137 ;
 138   %x_lb_only = icmp slt i32 %x, 65536
 139   %y_lb_only = icmp ult i32 %y, 65536
 140   call void @llvm.assume(i1 %x_lb_only)
 141   call void @llvm.assume(i1 %y_lb_only)
 142   %x16 = trunc i32 %x to i16
 143   %y16 = trunc i32 %y to i16
 144   %r = icmp ne i16 %x16, %y16
 145   ret i1 %r
 146 }
 147
 148 define i1 @icmp_trunc_x_trunc_y_swap0(i33 %x, i32 %y) {
 149 ; CHECK-LABEL: @icmp_trunc_x_trunc_y_swap0(
 150 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i33 [[X:%.*]], 65536
 151 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536
 152 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
 153 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
 154 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc nuw nsw i33 [[X]] to i32
 155 ; CHECK-NEXT:    [[R:%.*]] = icmp ule i32 [[TMP1]], [[Y]]
 156 ; CHECK-NEXT:    ret i1 [[R]]
 157 ;
 158   %x_lb_only = icmp ult i33 %x, 65536
 159   %y_lb_only = icmp ult i32 %y, 65536
 160   call void @llvm.assume(i1 %x_lb_only)
 161   call void @llvm.assume(i1 %y_lb_only)
 162   %x16 = trunc i33 %x to i16
 163   %y16 = trunc i32 %y to i16
 164   %r = icmp ule i16 %x16, %y16
 165   ret i1 %r
 166 }
 167
 168 define i1 @icmp_trunc_x_trunc_y_swap1(i33 %x, i32 %y) {
 169 ; CHECK-LABEL: @icmp_trunc_x_trunc_y_swap1(
 170 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i33 [[X:%.*]], 65536
 171 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536
 172 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
 173 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
 174 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc nuw nsw i33 [[X]] to i32
 175 ; CHECK-NEXT:    [[R:%.*]] = icmp uge i32 [[TMP1]], [[Y]]
 176 ; CHECK-NEXT:    ret i1 [[R]]
 177 ;
 178   %x_lb_only = icmp ult i33 %x, 65536
 179   %y_lb_only = icmp ult i32 %y, 65536
 180   call void @llvm.assume(i1 %x_lb_only)
 181   call void @llvm.assume(i1 %y_lb_only)
 182   %x16 = trunc i33 %x to i16
 183   %y16 = trunc i32 %y to i16
 184   %r = icmp ule i16 %y16, %x16
 185   ret i1 %r
 186 }
 187
 188 define i1 @icmp_trunc_x_zext_y(i32 %x, i8 %y) {
 189 ; CHECK-LABEL: @icmp_trunc_x_zext_y(
 190 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 65536
 191 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
 192 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32
 193 ; CHECK-NEXT:    [[R:%.*]] = icmp ult i32 [[TMP1]], [[X]]
 194 ; CHECK-NEXT:    ret i1 [[R]]
 195 ;
 196   %x_lb_only = icmp ult i32 %x, 65536
 197   call void @llvm.assume(i1 %x_lb_only)
 198   %x16 = trunc i32 %x to i16
 199   %y16 = zext i8 %y to i16
 200   %r = icmp ugt i16 %x16, %y16
 201   ret i1 %r
 202 }
 203
 204 define i1 @icmp_trunc_x_zext_y_2(i32 %x, i8 %y) {
 205 ; CHECK-LABEL: @icmp_trunc_x_zext_y_2(
 206 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 65536
 207 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
 208 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32
 209 ; CHECK-NEXT:    [[R:%.*]] = icmp uge i32 [[TMP1]], [[X]]
 210 ; CHECK-NEXT:    ret i1 [[R]]
 211 ;
 212   %x_lb_only = icmp ult i32 %x, 65536
 213   call void @llvm.assume(i1 %x_lb_only)
 214   %x16 = trunc i32 %x to i16
 215   %y16 = zext i8 %y to i16
 216   %r = icmp uge i16 %y16, %x16
 217   ret i1 %r
 218 }
 219
 220 define i1 @icmp_trunc_x_zext_y_3(i6 %x, i32 %y) {
 221 ; CHECK-LABEL: @icmp_trunc_x_zext_y_3(
 222 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i32 [[Y:%.*]], 65536
 223 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
 224 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i6 [[X:%.*]] to i32
 225 ; CHECK-NEXT:    [[R:%.*]] = icmp ne i32 [[TMP1]], [[Y]]
 226 ; CHECK-NEXT:    ret i1 [[R]]
 227 ;
 228   %y_lb_only = icmp ult i32 %y, 65536
 229   call void @llvm.assume(i1 %y_lb_only)
 230   %x16 = zext i6 %x to i16
 231   %y16 = trunc i32 %y to i16
 232   %r = icmp ne i16 %y16, %x16
 233   ret i1 %r
 234 }
 235
 236 define i1 @icmp_trunc_x_zext_y_3_fail_illegal(i6 %x, i45 %y) {
 237 ; CHECK-LABEL: @icmp_trunc_x_zext_y_3_fail_illegal(
 238 ; CHECK-NEXT:    [[Y_LB_ONLY:%.*]] = icmp ult i45 [[Y:%.*]], 65536
 239 ; CHECK-NEXT:    call void @llvm.assume(i1 [[Y_LB_ONLY]])
 240 ; CHECK-NEXT:    [[X16:%.*]] = zext i6 [[X:%.*]] to i16
 241 ; CHECK-NEXT:    [[Y16:%.*]] = trunc nuw i45 [[Y]] to i16
 242 ; CHECK-NEXT:    [[R:%.*]] = icmp ne i16 [[Y16]], [[X16]]
 243 ; CHECK-NEXT:    ret i1 [[R]]
 244 ;
 245   %y_lb_only = icmp ult i45 %y, 65536
 246   call void @llvm.assume(i1 %y_lb_only)
 247   %x16 = zext i6 %x to i16
 248   %y16 = trunc i45 %y to i16
 249   %r = icmp ne i16 %y16, %x16
 250   ret i1 %r
 251 }
 252
 253 define i1 @icmp_trunc_x_zext_y_fail_multiuse(i32 %x, i8 %y) {
 254 ; CHECK-LABEL: @icmp_trunc_x_zext_y_fail_multiuse(
 255 ; CHECK-NEXT:    [[X_LB_ONLY:%.*]] = icmp ult i32 [[X:%.*]], 65536
 256 ; CHECK-NEXT:    call void @llvm.assume(i1 [[X_LB_ONLY]])
 257 ; CHECK-NEXT:    [[X16:%.*]] = trunc nuw i32 [[X]] to i16
 258 ; CHECK-NEXT:    [[Y16:%.*]] = zext i8 [[Y:%.*]] to i16
 259 ; CHECK-NEXT:    call void @use(i16 [[Y16]])
 260 ; CHECK-NEXT:    [[R:%.*]] = icmp ule i16 [[X16]], [[Y16]]
 261 ; CHECK-NEXT:    ret i1 [[R]]
 262 ;
 263   %x_lb_only = icmp ult i32 %x, 65536
 264   call void @llvm.assume(i1 %x_lb_only)
 265   %x16 = trunc i32 %x to i16
 266   %y16 = zext i8 %y to i16
 267   call void @use(i16 %y16)
 268   %r = icmp ule i16 %x16, %y16
 269   ret i1 %r
 270 }
 271
 272 define i1 @trunc_unsigned_nuw(i16 %x, i16 %y) {
 273 ; CHECK-LABEL: @trunc_unsigned_nuw(
 274 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i16 [[X:%.*]], [[Y:%.*]]
 275 ; CHECK-NEXT:    ret i1 [[C]]
 276 ;
 277   %xt = trunc nuw i16 %x to i8
 278   %yt = trunc nuw i16 %y to i8
 279   %c = icmp ult i8 %xt, %yt
 280   ret i1 %c
 281 }
 282
 283 define i1 @trunc_unsigned_nsw(i16 %x, i16 %y) {
 284 ; CHECK-LABEL: @trunc_unsigned_nsw(
 285 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i16 [[X:%.*]], [[Y:%.*]]
 286 ; CHECK-NEXT:    ret i1 [[C]]
 287 ;
 288   %xt = trunc nsw i16 %x to i8
 289   %yt = trunc nsw i16 %y to i8
 290   %c = icmp ult i8 %xt, %yt
 291   ret i1 %c
 292 }
 293
 294 define i1 @trunc_unsigned_both(i16 %x, i16 %y) {
 295 ; CHECK-LABEL: @trunc_unsigned_both(
 296 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i16 [[X:%.*]], [[Y:%.*]]
 297 ; CHECK-NEXT:    ret i1 [[C]]
 298 ;
 299   %xt = trunc nuw nsw i16 %x to i8
 300   %yt = trunc nuw nsw i16 %y to i8
 301   %c = icmp ult i8 %xt, %yt
 302   ret i1 %c
 303 }
 304
 305 define i1 @trunc_unsigned_either(i16 %x, i16 %y) {
 306 ; CHECK-LABEL: @trunc_unsigned_either(
 307 ; CHECK-NEXT:    [[XT:%.*]] = trunc nuw i16 [[X:%.*]] to i8
 308 ; CHECK-NEXT:    [[YT:%.*]] = trunc nsw i16 [[Y:%.*]] to i8
 309 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i8 [[XT]], [[YT]]
 310 ; CHECK-NEXT:    ret i1 [[C]]
 311 ;
 312   %xt = trunc nuw i16 %x to i8
 313   %yt = trunc nsw i16 %y to i8
 314   %c = icmp ult i8 %xt, %yt
 315   ret i1 %c
 316 }
 317
 318 define i1 @trunc_signed_nuw(i16 %x, i16 %y) {
 319 ; CHECK-LABEL: @trunc_signed_nuw(
 320 ; CHECK-NEXT:    [[XT:%.*]] = trunc nuw i16 [[X:%.*]] to i8
 321 ; CHECK-NEXT:    [[YT:%.*]] = trunc nuw i16 [[Y:%.*]] to i8
 322 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i8 [[XT]], [[YT]]
 323 ; CHECK-NEXT:    ret i1 [[C]]
 324 ;
 325   %xt = trunc nuw i16 %x to i8
 326   %yt = trunc nuw i16 %y to i8
 327   %c = icmp slt i8 %xt, %yt
 328   ret i1 %c
 329 }
 330
 331 define i1 @trunc_signed_nsw(i16 %x, i16 %y) {
 332 ; CHECK-LABEL: @trunc_signed_nsw(
 333 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i16 [[X:%.*]], [[Y:%.*]]
 334 ; CHECK-NEXT:    ret i1 [[C]]
 335 ;
 336   %xt = trunc nsw i16 %x to i8
 337   %yt = trunc nsw i16 %y to i8
 338   %c = icmp slt i8 %xt, %yt
 339   ret i1 %c
 340 }
 341
 342 define i1 @trunc_signed_both(i16 %x, i16 %y) {
 343 ; CHECK-LABEL: @trunc_signed_both(
 344 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i16 [[X:%.*]], [[Y:%.*]]
 345 ; CHECK-NEXT:    ret i1 [[C]]
 346 ;
 347   %xt = trunc nuw nsw i16 %x to i8
 348   %yt = trunc nuw nsw i16 %y to i8
 349   %c = icmp slt i8 %xt, %yt
 350   ret i1 %c
 351 }
 352
 353 define i1 @trunc_signed_either(i16 %x, i16 %y) {
 354 ; CHECK-LABEL: @trunc_signed_either(
 355 ; CHECK-NEXT:    [[XT:%.*]] = trunc nuw i16 [[X:%.*]] to i8
 356 ; CHECK-NEXT:    [[YT:%.*]] = trunc nsw i16 [[Y:%.*]] to i8
 357 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i8 [[XT]], [[YT]]
 358 ; CHECK-NEXT:    ret i1 [[C]]
 359 ;
 360   %xt = trunc nuw i16 %x to i8
 361   %yt = trunc nsw i16 %y to i8
 362   %c = icmp slt i8 %xt, %yt
 363   ret i1 %c
 364 }
 365
 366 define i1 @trunc_equality_nuw(i16 %x, i16 %y) {
 367 ; CHECK-LABEL: @trunc_equality_nuw(
 368 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i16 [[X:%.*]], [[Y:%.*]]
 369 ; CHECK-NEXT:    ret i1 [[C]]
 370 ;
 371   %xt = trunc nuw i16 %x to i8
 372   %yt = trunc nuw i16 %y to i8
 373   %c = icmp eq i8 %xt, %yt
 374   ret i1 %c
 375 }
 376
 377 define i1 @trunc_equality_nsw(i16 %x, i16 %y) {
 378 ; CHECK-LABEL: @trunc_equality_nsw(
 379 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i16 [[X:%.*]], [[Y:%.*]]
 380 ; CHECK-NEXT:    ret i1 [[C]]
 381 ;
 382   %xt = trunc nsw i16 %x to i8
 383   %yt = trunc nsw i16 %y to i8
 384   %c = icmp eq i8 %xt, %yt
 385   ret i1 %c
 386 }
 387
 388 define i1 @trunc_equality_both(i16 %x, i16 %y) {
 389 ; CHECK-LABEL: @trunc_equality_both(
 390 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i16 [[X:%.*]], [[Y:%.*]]
 391 ; CHECK-NEXT:    ret i1 [[C]]
 392 ;
 393   %xt = trunc nuw nsw i16 %x to i8
 394   %yt = trunc nuw nsw i16 %y to i8
 395   %c = icmp eq i8 %xt, %yt
 396   ret i1 %c
 397 }
 398
 399 define i1 @trunc_equality_either(i16 %x, i16 %y) {
 400 ; CHECK-LABEL: @trunc_equality_either(
 401 ; CHECK-NEXT:    [[XT:%.*]] = trunc nuw i16 [[X:%.*]] to i8
 402 ; CHECK-NEXT:    [[YT:%.*]] = trunc nsw i16 [[Y:%.*]] to i8
 403 ; CHECK-NEXT:    [[C:%.*]] = icmp eq i8 [[XT]], [[YT]]
 404 ; CHECK-NEXT:    ret i1 [[C]]
 405 ;
 406   %xt = trunc nuw i16 %x to i8
 407   %yt = trunc nsw i16 %y to i8
 408   %c = icmp eq i8 %xt, %yt
 409   ret i1 %c
 410 }
 411
 412 define i1 @trunc_unsigned_nuw_zext(i32 %x, i8 %y) {
 413 ; CHECK-LABEL: @trunc_unsigned_nuw_zext(
 414 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32
 415 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i32 [[TMP1]], [[X:%.*]]
 416 ; CHECK-NEXT:    ret i1 [[C]]
 417 ;
 418   %xt = trunc nuw i32 %x to i16
 419   %ye = zext i8 %y to i16
 420   %c = icmp ult i16 %xt, %ye
 421   ret i1 %c
 422 }
 423
 424 define i1 @trunc_unsigned_nuw_sext(i32 %x, i8 %y) {
 425 ; CHECK-LABEL: @trunc_unsigned_nuw_sext(
 426 ; CHECK-NEXT:    [[XT:%.*]] = trunc nuw i32 [[X:%.*]] to i16
 427 ; CHECK-NEXT:    [[YE:%.*]] = sext i8 [[Y:%.*]] to i16
 428 ; CHECK-NEXT:    [[C:%.*]] = icmp ult i16 [[XT]], [[YE]]
 429 ; CHECK-NEXT:    ret i1 [[C]]
 430 ;
 431   %xt = trunc nuw i32 %x to i16
 432   %ye = sext i8 %y to i16
 433   %c = icmp ult i16 %xt, %ye
 434   ret i1 %c
 435 }
 436
 437 define i1 @trunc_unsigned_nsw_zext(i32 %x, i8 %y) {
 438 ; CHECK-LABEL: @trunc_unsigned_nsw_zext(
 439 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32
 440 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i32 [[TMP1]], [[X:%.*]]
 441 ; CHECK-NEXT:    ret i1 [[C]]
 442 ;
 443   %xt = trunc nsw i32 %x to i16
 444   %ye = zext i8 %y to i16
 445   %c = icmp ult i16 %xt, %ye
 446   ret i1 %c
 447 }
 448
 449 define i1 @trunc_unsigned_nsw_sext(i32 %x, i8 %y) {
 450 ; CHECK-LABEL: @trunc_unsigned_nsw_sext(
 451 ; CHECK-NEXT:    [[TMP1:%.*]] = sext i8 [[Y:%.*]] to i32
 452 ; CHECK-NEXT:    [[C:%.*]] = icmp ugt i32 [[TMP1]], [[X:%.*]]
 453 ; CHECK-NEXT:    ret i1 [[C]]
 454 ;
 455   %xt = trunc nsw i32 %x to i16
 456   %ye = sext i8 %y to i16
 457   %c = icmp ult i16 %xt, %ye
 458   ret i1 %c
 459 }
 460
 461 define i1 @trunc_signed_nsw_sext(i32 %x, i8 %y) {
 462 ; CHECK-LABEL: @trunc_signed_nsw_sext(
 463 ; CHECK-NEXT:    [[TMP1:%.*]] = sext i8 [[Y:%.*]] to i32
 464 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i32 [[TMP1]], [[X:%.*]]
 465 ; CHECK-NEXT:    ret i1 [[C]]
 466 ;
 467   %xt = trunc nsw i32 %x to i16
 468   %ye = sext i8 %y to i16
 469   %c = icmp slt i16 %xt, %ye
 470   ret i1 %c
 471 }
 472
 473 define i1 @trunc_signed_nsw_zext(i32 %x, i8 %y) {
 474 ; CHECK-LABEL: @trunc_signed_nsw_zext(
 475 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32
 476 ; CHECK-NEXT:    [[C:%.*]] = icmp sgt i32 [[TMP1]], [[X:%.*]]
 477 ; CHECK-NEXT:    ret i1 [[C]]
 478 ;
 479   %xt = trunc nsw i32 %x to i16
 480   %ye = zext i8 %y to i16
 481   %c = icmp slt i16 %xt, %ye
 482   ret i1 %c
 483 }
 484
 485 define i1 @trunc_signed_nuw_sext(i32 %x, i8 %y) {
 486 ; CHECK-LABEL: @trunc_signed_nuw_sext(
 487 ; CHECK-NEXT:    [[XT:%.*]] = trunc nuw i32 [[X:%.*]] to i16
 488 ; CHECK-NEXT:    [[YE:%.*]] = sext i8 [[Y:%.*]] to i16
 489 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i16 [[XT]], [[YE]]
 490 ; CHECK-NEXT:    ret i1 [[C]]
 491 ;
 492   %xt = trunc nuw i32 %x to i16
 493   %ye = sext i8 %y to i16
 494   %c = icmp slt i16 %xt, %ye
 495   ret i1 %c
 496 }
 497
 498 define i1 @trunc_signed_nuw_zext(i32 %x, i8 %y) {
 499 ; CHECK-LABEL: @trunc_signed_nuw_zext(
 500 ; CHECK-NEXT:    [[XT:%.*]] = trunc nuw i32 [[X:%.*]] to i16
 501 ; CHECK-NEXT:    [[YE:%.*]] = zext i8 [[Y:%.*]] to i16
 502 ; CHECK-NEXT:    [[C:%.*]] = icmp slt i16 [[XT]], [[YE]]
 503 ; CHECK-NEXT:    ret i1 [[C]]
 504 ;
 505   %xt = trunc nuw i32 %x to i16
 506   %ye = zext i8 %y to i16
 507   %c = icmp slt i16 %xt, %ye
 508   ret i1 %c
 509 }
 510
 511 define i1 @trunc_equality_nuw_zext(i32 %x, i8 %y) {
 512 ; CHECK-LABEL: @trunc_equality_nuw_zext(
 513 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32
 514 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i32 [[TMP1]], [[X:%.*]]
 515 ; CHECK-NEXT:    ret i1 [[C]]
 516 ;
 517   %xt = trunc nuw i32 %x to i16
 518   %ye = zext i8 %y to i16
 519   %c = icmp ne i16 %xt, %ye
 520   ret i1 %c
 521 }
 522
 523 define i1 @trunc_equality_nuw_sext(i32 %x, i8 %y) {
 524 ; CHECK-LABEL: @trunc_equality_nuw_sext(
 525 ; CHECK-NEXT:    [[XT:%.*]] = trunc nuw i32 [[X:%.*]] to i16
 526 ; CHECK-NEXT:    [[YE:%.*]] = sext i8 [[Y:%.*]] to i16
 527 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i16 [[XT]], [[YE]]
 528 ; CHECK-NEXT:    ret i1 [[C]]
 529 ;
 530   %xt = trunc nuw i32 %x to i16
 531   %ye = sext i8 %y to i16
 532   %c = icmp ne i16 %xt, %ye
 533   ret i1 %c
 534 }
 535
 536 define i1 @trunc_equality_nsw_zext(i32 %x, i8 %y) {
 537 ; CHECK-LABEL: @trunc_equality_nsw_zext(
 538 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i8 [[Y:%.*]] to i32
 539 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i32 [[TMP1]], [[X:%.*]]
 540 ; CHECK-NEXT:    ret i1 [[C]]
 541 ;
 542   %xt = trunc nsw i32 %x to i16
 543   %ye = zext i8 %y to i16
 544   %c = icmp ne i16 %xt, %ye
 545   ret i1 %c
 546 }
 547
 548 define i1 @trunc_equality_nsw_sext(i32 %x, i8 %y) {
 549 ; CHECK-LABEL: @trunc_equality_nsw_sext(
 550 ; CHECK-NEXT:    [[TMP1:%.*]] = sext i8 [[Y:%.*]] to i32
 551 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i32 [[TMP1]], [[X:%.*]]
 552 ; CHECK-NEXT:    ret i1 [[C]]
 553 ;
 554   %xt = trunc nsw i32 %x to i16
 555   %ye = sext i8 %y to i16
 556   %c = icmp ne i16 %xt, %ye
 557   ret i1 %c
 558 }
 559
 560 define i1 @trunc_equality_both_sext(i32 %x, i8 %y) {
 561 ; CHECK-LABEL: @trunc_equality_both_sext(
 562 ; CHECK-NEXT:    [[TMP1:%.*]] = sext i8 [[Y:%.*]] to i32
 563 ; CHECK-NEXT:    [[C:%.*]] = icmp ne i32 [[TMP1]], [[X:%.*]]
 564 ; CHECK-NEXT:    ret i1 [[C]]
 565 ;
 566   %xt = trunc nuw nsw i32 %x to i16
 567   %ye = sext i8 %y to i16
 568   %c = icmp ne i16 %xt, %ye
 569   ret i1 %c
 570 }
 571
 572 define i1 @test_eq1(i32 %x, i16 %y) {
 573 ; CHECK-LABEL: @test_eq1(
 574 ; CHECK-NEXT:    [[TMP1:%.*]] = sext i16 [[Y:%.*]] to i32
 575 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i32 [[TMP1]], [[X:%.*]]
 576 ; CHECK-NEXT:    ret i1 [[COND]]
 577 ;
 578   %conv1 = trunc nsw i32 %x to i8
 579   %conv2 = trunc nsw i16 %y to i8
 580   %cond = icmp eq i8 %conv1, %conv2
 581   ret i1 %cond
 582 }
 583
 584 ; FIXME: It is weird that we generate truncs for test_eq2, but not for test_eq1.
 585
 586 define i1 @test_eq2(i32 %x, i16 %y) {
 587 ; CHECK-LABEL: @test_eq2(
 588 ; CHECK-NEXT:    [[TMP1:%.*]] = trunc i32 [[X:%.*]] to i16
 589 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i16 [[TMP1]], [[Y:%.*]]
 590 ; CHECK-NEXT:    ret i1 [[COND]]
 591 ;
 592   %conv1 = trunc nsw i32 %x to i8
 593   %conv2 = trunc nsw i16 %y to i8
 594   %cond = icmp eq i8 %conv2, %conv1
 595   ret i1 %cond
 596 }
 597
 598 define i1 @test_ult(i32 %x, i16 %y) {
 599 ; CHECK-LABEL: @test_ult(
 600 ; CHECK-NEXT:    [[TMP1:%.*]] = sext i16 [[Y:%.*]] to i32
 601 ; CHECK-NEXT:    [[COND:%.*]] = icmp ugt i32 [[TMP1]], [[X:%.*]]
 602 ; CHECK-NEXT:    ret i1 [[COND]]
 603 ;
 604   %conv1 = trunc nsw i32 %x to i8
 605   %conv2 = trunc nsw i16 %y to i8
 606   %cond = icmp ult i8 %conv1, %conv2
 607   ret i1 %cond
 608 }
 609
 610 define i1 @test_slt(i32 %x, i16 %y) {
 611 ; CHECK-LABEL: @test_slt(
 612 ; CHECK-NEXT:    [[TMP1:%.*]] = sext i16 [[Y:%.*]] to i32
 613 ; CHECK-NEXT:    [[COND:%.*]] = icmp sgt i32 [[TMP1]], [[X:%.*]]
 614 ; CHECK-NEXT:    ret i1 [[COND]]
 615 ;
 616   %conv1 = trunc nsw i32 %x to i8
 617   %conv2 = trunc nsw i16 %y to i8
 618   %cond = icmp slt i8 %conv1, %conv2
 619   ret i1 %cond
 620 }
 621
 622 define i1 @test_ult_nuw(i32 %x, i16 %y) {
 623 ; CHECK-LABEL: @test_ult_nuw(
 624 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i16 [[Y:%.*]] to i32
 625 ; CHECK-NEXT:    [[COND:%.*]] = icmp ugt i32 [[TMP1]], [[X:%.*]]
 626 ; CHECK-NEXT:    ret i1 [[COND]]
 627 ;
 628   %conv1 = trunc nuw nsw i32 %x to i8
 629   %conv2 = trunc nuw nsw i16 %y to i8
 630   %cond = icmp ult i8 %conv1, %conv2
 631   ret i1 %cond
 632 }
 633
 634 define i1 @test_slt_nuw(i32 %x, i16 %y) {
 635 ; CHECK-LABEL: @test_slt_nuw(
 636 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i16 [[Y:%.*]] to i32
 637 ; CHECK-NEXT:    [[COND:%.*]] = icmp sgt i32 [[TMP1]], [[X:%.*]]
 638 ; CHECK-NEXT:    ret i1 [[COND]]
 639 ;
 640   %conv1 = trunc nuw nsw i32 %x to i8
 641   %conv2 = trunc nuw nsw i16 %y to i8
 642   %cond = icmp slt i8 %conv1, %conv2
 643   ret i1 %cond
 644 }
 645
 646 @foo = external global i8
 647 @bar = external global i8
 648
 649 define i1 @constexpr_trunc() {
 650 ; CHECK-LABEL: @constexpr_trunc(
 651 ; CHECK-NEXT:    [[CMP5:%.*]] = icmp ne i16 trunc (i64 sub (i64 sub (i64 ptrtoint (ptr @bar to i64), i64 ptrtoint (ptr @foo to i64)), i64 8) to i16), trunc (i64 sub (i64 sub (i64 0, i64 ptrtoint (ptr @foo to i64)), i64 8) to i16)
 652 ; CHECK-NEXT:    ret i1 [[CMP5]]
 653 ;
 654   %conv = zext i16 trunc (i64 sub (i64 sub nuw nsw (i64 ptrtoint (ptr @bar to i64), i64 ptrtoint (ptr @foo to i64)), i64 8) to i16) to i32
 655   %conv1 = zext i16 trunc (i64 sub (i64 sub nuw nsw (i64 0, i64 ptrtoint (ptr @foo to i64)), i64 8) to i16) to i32
 656   %cmp5 = icmp ne i32 %conv, %conv1
 657   ret i1 %cmp5
 658 }