llvm/test/Transforms/ConstraintElimination/sext-unsigned-predicates.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
   3
   4 declare void @use(i1)
   5
   6 define void @uge_sext(i16 %x, i32 %y) {
   7 ; CHECK-LABEL: define void @uge_sext(
   8 ; CHECK-SAME: i16 [[X:%.*]], i32 [[Y:%.*]]) {
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    [[X_EXT:%.*]] = sext i16 [[X]] to i32
  11 ; CHECK-NEXT:    [[C_1:%.*]] = icmp uge i32 [[X_EXT]], [[Y]]
  12 ; CHECK-NEXT:    [[C_2:%.*]] = icmp uge i32 [[Y]], -10
  13 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_1]], [[C_2]]
  14 ; CHECK-NEXT:    br i1 [[AND]], label [[BB1:%.*]], label [[BB2:%.*]]
  15 ; CHECK:       bb1:
  16 ; CHECK-NEXT:    [[T_1:%.*]] = icmp uge i32 [[X_EXT]], [[Y]]
  17 ; CHECK-NEXT:    call void @use(i1 [[T_1]])
  18 ; CHECK-NEXT:    [[C_3:%.*]] = icmp uge i16 [[X]], -10
  19 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
  20 ; CHECK-NEXT:    [[C_4:%.*]] = icmp uge i32 [[X_EXT]], -9
  21 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
  22 ; CHECK-NEXT:    [[C_5:%.*]] = icmp uge i32 [[X_EXT]], -9
  23 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
  24 ; CHECK-NEXT:    [[C_6:%.*]] = icmp uge i32 [[Y]], [[X_EXT]]
  25 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
  26 ; CHECK-NEXT:    [[C_7:%.*]] = icmp uge i16 [[X]], -9
  27 ; CHECK-NEXT:    call void @use(i1 [[C_7]])
  28 ; CHECK-NEXT:    ret void
  29 ; CHECK:       bb2:
  30 ; CHECK-NEXT:    ret void
  31 ;
  32 entry:
  33   %x.ext = sext i16 %x to i32
  34   %c.1 = icmp uge i32 %x.ext, %y
  35   %c.2 = icmp uge i32 %y, -10
  36   %and = and i1 %c.1, %c.2
  37   br i1 %and, label %bb1, label %bb2
  38
  39 bb1:
  40   %t.1 = icmp uge i32 %x.ext, %y
  41   call void @use(i1 %t.1)
  42   %c.3 = icmp uge i16 %x, -10
  43   call void @use(i1 %c.3)
  44   %c.4 = icmp uge i32 %x.ext, -9
  45   call void @use(i1 %c.4)
  46   %c.5 = icmp uge i32 %x.ext, -9
  47   call void @use(i1 %c.5)
  48   %c.6 = icmp uge i32 %y, %x.ext
  49   call void @use(i1 %c.6)
  50   %c.7 = icmp uge i16 %x, -9
  51   call void @use(i1 %c.7)
  52   ret void
  53
  54 bb2:
  55   ret void
  56 }
  57
  58 define void @uge_sext_known_positive(i16 %x, i32 %y) {
  59 ; CHECK-LABEL: define void @uge_sext_known_positive(
  60 ; CHECK-SAME: i16 [[X:%.*]], i32 [[Y:%.*]]) {
  61 ; CHECK-NEXT:  entry:
  62 ; CHECK-NEXT:    [[X_EXT:%.*]] = sext i16 [[X]] to i32
  63 ; CHECK-NEXT:    [[C_2:%.*]] = icmp sge i16 [[X]], 0
  64 ; CHECK-NEXT:    [[C_1:%.*]] = icmp uge i32 [[X_EXT]], 10
  65 ; CHECK-NEXT:    [[AND:%.*]] = and i1 [[C_2]], [[C_1]]
  66 ; CHECK-NEXT:    br i1 [[AND]], label [[BB1:%.*]], label [[BB2:%.*]]
  67 ; CHECK:       bb1:
  68 ; CHECK-NEXT:    call void @use(i1 true)
  69 ; CHECK-NEXT:    call void @use(i1 true)
  70 ; CHECK-NEXT:    [[C_3:%.*]] = icmp uge i32 [[X_EXT]], 11
  71 ; CHECK-NEXT:    call void @use(i1 [[C_3]])
  72 ; CHECK-NEXT:    [[C_4:%.*]] = icmp uge i32 [[X_EXT]], 11
  73 ; CHECK-NEXT:    call void @use(i1 [[C_4]])
  74 ; CHECK-NEXT:    [[C_5:%.*]] = icmp uge i32 [[Y]], [[X_EXT]]
  75 ; CHECK-NEXT:    call void @use(i1 [[C_5]])
  76 ; CHECK-NEXT:    [[C_6:%.*]] = icmp uge i16 [[X]], 11
  77 ; CHECK-NEXT:    call void @use(i1 [[C_6]])
  78 ; CHECK-NEXT:    ret void
  79 ; CHECK:       bb2:
  80 ; CHECK-NEXT:    ret void
  81 ;
  82 entry:
  83   %x.ext = sext i16 %x to i32
  84   %c.2 = icmp sge i16 %x, 0
  85   %c.1 = icmp uge i32 %x.ext, 10
  86   %and = and i1 %c.2, %c.1
  87   br i1 %and, label %bb1, label %bb2
  88
  89 bb1:
  90   %t.1 = icmp uge i32 %x.ext, 10
  91   call void @use(i1 %t.1)
  92   %t.2 = icmp uge i16 %x, 10
  93   call void @use(i1 %t.2)
  94   %c.3 = icmp uge i32 %x.ext, 11
  95   call void @use(i1 %c.3)
  96   %c.4 = icmp uge i32 %x.ext, 11
  97   call void @use(i1 %c.4)
  98   %c.5 = icmp uge i32 %y, %x.ext
  99   call void @use(i1 %c.5)
 100   %c.6 = icmp uge i16 %x, 11
 101   call void @use(i1 %c.6)
 102   ret void
 103
 104 bb2:
 105   ret void
 106 }
 107
 108 define i1 @cmp_sext_unsigned(i32 %a, i32 %b){
 109 ; CHECK-LABEL: define i1 @cmp_sext_unsigned(
 110 ; CHECK-SAME: i32 [[A:%.*]], i32 [[B:%.*]]) {
 111 ; CHECK-NEXT:  entry:
 112 ; CHECK-NEXT:    [[CMP:%.*]] = icmp slt i32 [[A]], [[B]]
 113 ; CHECK-NEXT:    br i1 [[CMP]], label [[THEN:%.*]], label [[ELSE:%.*]]
 114 ; CHECK:       then:
 115 ; CHECK-NEXT:    [[SA:%.*]] = sext i32 [[A]] to i64
 116 ; CHECK-NEXT:    [[SB:%.*]] = sext i32 [[B]] to i64
 117 ; CHECK-NEXT:    [[ADD:%.*]] = add nsw i64 [[SA]], 1
 118 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp uge i64 [[SB]], [[ADD]]
 119 ; CHECK-NEXT:    ret i1 [[CMP2]]
 120 ; CHECK:       else:
 121 ; CHECK-NEXT:    ret i1 false
 122 ;
 123 entry:
 124   %cmp = icmp slt i32 %a, %b
 125   br i1 %cmp, label %then, label %else
 126
 127 then:
 128   %sa = sext i32 %a to i64
 129   %sb = sext i32 %b to i64
 130   %add = add nsw i64 %sa, 1
 131   %cmp2 = icmp uge i64 %sb, %add
 132   ret i1 %cmp2
 133
 134 else:
 135   ret i1 false
 136 }