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

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3
   4 define i1 @icmp_ugt_32(i64) {
   5 ; CHECK-LABEL: @icmp_ugt_32(
   6 ; CHECK-NEXT:    [[D:%.*]] = icmp ne i64 %0, 0
   7 ; CHECK-NEXT:    ret i1 [[D]]
   8 ;
   9   %c = shl nuw i64 %0, 32
  10   %d = icmp ugt i64 %c, 4294967295
  11   ret i1 %d
  12 }
  13
  14 define i1 @icmp_ule_64(i128) {
  15 ; CHECK-LABEL: @icmp_ule_64(
  16 ; CHECK-NEXT:    [[D:%.*]] = icmp eq i128 %0, 0
  17 ; CHECK-NEXT:    ret i1 [[D]]
  18 ;
  19   %c = shl nuw i128 %0, 64
  20   %d = icmp ule i128 %c, 18446744073709551615
  21   ret i1 %d
  22 }
  23
  24 define i1 @icmp_ugt_16(i64) {
  25 ; CHECK-LABEL: @icmp_ugt_16(
  26 ; CHECK-NEXT:    [[D:%.*]] = icmp ugt i64 %0, 15
  27 ; CHECK-NEXT:    ret i1 [[D]]
  28 ;
  29   %c = shl nuw i64 %0, 16
  30   %d = icmp ugt i64 %c, 1048575 ; 0x0f_ffff
  31   ret i1 %d
  32 }
  33
  34 define <2 x i1> @icmp_ule_16x2(<2 x i64>) {
  35 ; CHECK-LABEL: @icmp_ule_16x2(
  36 ; CHECK-NEXT:    [[D:%.*]] = icmp eq <2 x i64> %0, zeroinitializer
  37 ; CHECK-NEXT:    ret <2 x i1> [[D]]
  38 ;
  39   %c = shl nuw <2 x i64> %0, <i64 16, i64 16>
  40   %d = icmp ule <2 x i64> %c, <i64 65535, i64 65535>
  41   ret <2 x i1> %d
  42 }
  43
  44 define <2 x i1> @icmp_ule_16x2_nonzero(<2 x i64>) {
  45 ; CHECK-LABEL: @icmp_ule_16x2_nonzero(
  46 ; CHECK-NEXT:    [[D:%.*]] = icmp ult <2 x i64> %0, <i64 4, i64 4>
  47 ; CHECK-NEXT:    ret <2 x i1> [[D]]
  48 ;
  49   %c = shl nuw <2 x i64> %0, <i64 16, i64 16>
  50   %d = icmp ule <2 x i64> %c, <i64 196608, i64 196608>  ; 0x03_0000
  51   ret <2 x i1> %d
  52 }
  53
  54 define <2 x i1> @icmp_ule_12x2(<2 x i64>) {
  55 ; CHECK-LABEL: @icmp_ule_12x2(
  56 ; CHECK-NEXT:    [[D:%.*]] = icmp ult <2 x i64> %0, <i64 4, i64 4>
  57 ; CHECK-NEXT:    ret <2 x i1> [[D]]
  58 ;
  59   %c = shl nuw <2 x i64> %0, <i64 12, i64 12>
  60   %d = icmp ule <2 x i64> %c, <i64 12288, i64 12288>  ; 0x3000
  61   ret <2 x i1> %d
  62 }
  63
  64 define i1 @icmp_ult_8(i64) {
  65 ; CHECK-LABEL: @icmp_ult_8(
  66 ; CHECK-NEXT:    [[D:%.*]] = icmp ult i64 %0, 16
  67 ; CHECK-NEXT:    ret i1 [[D]]
  68 ;
  69   %c = shl nuw i64 %0, 8
  70   %d = icmp ult i64 %c, 4095 ; 0x0fff
  71   ret i1 %d
  72 }
  73
  74 define <2 x i1> @icmp_uge_8x2(<2 x i16>) {
  75 ; CHECK-LABEL: @icmp_uge_8x2(
  76 ; CHECK-NEXT:    [[D:%.*]] = icmp ugt <2 x i16> %0, <i16 15, i16 15>
  77 ; CHECK-NEXT:    ret <2 x i1> [[D]]
  78 ;
  79   %c = shl nuw <2 x i16> %0, <i16 8, i16 8>
  80   %d = icmp uge <2 x i16> %c, <i16 4095, i16 4095>
  81   ret <2 x i1> %d
  82 }
  83
  84 define <2 x i1> @icmp_ugt_16x2(<2 x i32>) {
  85 ; CHECK-LABEL: @icmp_ugt_16x2(
  86 ; CHECK-NEXT:    [[D:%.*]] = icmp ugt <2 x i32> %0, <i32 15, i32 15>
  87 ; CHECK-NEXT:    ret <2 x i1> [[D]]
  88 ;
  89   %c = shl nuw <2 x i32> %0, <i32 16, i32 16>
  90   %d = icmp ugt <2 x i32> %c, <i32 1048575, i32 1048575>
  91   ret <2 x i1> %d
  92 }