llvm/test/Transforms/InstSimplify/ConstProp/icmp-null.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instsimplify -S -verify | FileCheck %s
   3
   4 define i1 @ule_null_constexpr(i8* %x) {
   5 ; CHECK-LABEL: @ule_null_constexpr(
   6 ; CHECK-NEXT:    ret i1 true
   7 ;
   8   %cmp = icmp ule i8 (...)* null, bitcast (i1 (i8*)* @ule_null_constexpr to i8 (...)*)
   9   ret i1 %cmp
  10 }
  11
  12 define i1 @ugt_null_constexpr(i8* %x) {
  13 ; CHECK-LABEL: @ugt_null_constexpr(
  14 ; CHECK-NEXT:    ret i1 false
  15 ;
  16   %cmp = icmp ugt i8 (...)* null, bitcast (i1 (i8*)* @ugt_null_constexpr to i8 (...)*)
  17   ret i1 %cmp
  18 }
  19
  20 define i1 @uge_constexpr_null(i8* %x) {
  21 ; CHECK-LABEL: @uge_constexpr_null(
  22 ; CHECK-NEXT:    ret i1 true
  23 ;
  24   %cmp = icmp uge i8 (...)* bitcast (i1 (i8*)* @ugt_null_constexpr to i8 (...)*), null
  25   ret i1 %cmp
  26 }
  27
  28 define i1 @ult_constexpr_null(i8* %x) {
  29 ; CHECK-LABEL: @ult_constexpr_null(
  30 ; CHECK-NEXT:    ret i1 false
  31 ;
  32   %cmp = icmp ult i8 (...)* bitcast (i1 (i8*)* @ugt_null_constexpr to i8 (...)*), null
  33   ret i1 %cmp
  34 }
  35
  36 ; Negative test - we don't know if the constexpr is null.
  37
  38 define i1 @ule_constexpr_null(i8* %x) {
  39 ; CHECK-LABEL: @ule_constexpr_null(
  40 ; CHECK-NEXT:    ret i1 false
  41 ;
  42   %cmp = icmp ule i8 (...)* bitcast (i1 (i8*)* @ugt_null_constexpr to i8 (...)*), null
  43   ret i1 %cmp
  44 }
  45
  46 ; Negative test - we don't know if the constexpr is *signed* less-than null.
  47
  48 define i1 @slt_constexpr_null(i8* %x) {
  49 ; CHECK-LABEL: @slt_constexpr_null(
  50 ; CHECK-NEXT:    ret i1 icmp slt (i8 (...)* bitcast (i1 (i8*)* @ugt_null_constexpr to i8 (...)*), i8 (...)* null)
  51 ;
  52   %cmp = icmp slt i8 (...)* bitcast (i1 (i8*)* @ugt_null_constexpr to i8 (...)*), null
  53   ret i1 %cmp
  54 }
  55
  56 ; Negative test - we don't try to evaluate this comparison of constant expressions.
  57
  58 define i1 @ult_constexpr_constexpr_one(i8* %x) {
  59 ; CHECK-LABEL: @ult_constexpr_constexpr_one(
  60 ; CHECK-NEXT:    ret i1 icmp ult (i8 (...)* bitcast (i1 (i8*)* @ugt_null_constexpr to i8 (...)*), i8 (...)* inttoptr (i32 1 to i8 (...)*))
  61 ;
  62   %cmp = icmp ult i8 (...)* bitcast (i1 (i8*)* @ugt_null_constexpr to i8 (...)*), inttoptr (i32 1 to i8 (...)*)
  63   ret i1 %cmp
  64 }
  65
  66 @g = global [2 x i32] [i32 1, i32 2]
  67 @g2 = global i32 0
  68
  69 define i1 @global_ne_null() {
  70 ; CHECK-LABEL: @global_ne_null(
  71 ; CHECK-NEXT:    ret i1 true
  72 ;
  73   %cmp = icmp ne [2 x i32]* @g, null
  74   ret i1 %cmp
  75 }
  76
  77 define i1 @global_ugt_null() {
  78 ; CHECK-LABEL: @global_ugt_null(
  79 ; CHECK-NEXT:    ret i1 true
  80 ;
  81   %cmp = icmp ugt [2 x i32]* @g, null
  82   ret i1 %cmp
  83 }
  84
  85 define i1 @global_sgt_null() {
  86 ; CHECK-LABEL: @global_sgt_null(
  87 ; CHECK-NEXT:    ret i1 icmp sgt ([2 x i32]* @g, [2 x i32]* null)
  88 ;
  89   %cmp = icmp sgt [2 x i32]* @g, null
  90   ret i1 %cmp
  91 }
  92
  93 define i1 @global_gep_ne_null() {
  94 ; CHECK-LABEL: @global_gep_ne_null(
  95 ; CHECK-NEXT:    ret i1 true
  96 ;
  97   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
  98   %cmp = icmp ne [2 x i32]* %gep, null
  99   ret i1 %cmp
 100 }
 101
 102 define i1 @global_gep_ugt_null() {
 103 ; CHECK-LABEL: @global_gep_ugt_null(
 104 ; CHECK-NEXT:    ret i1 true
 105 ;
 106   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 107   %cmp = icmp ugt [2 x i32]* %gep, null
 108   ret i1 %cmp
 109 }
 110
 111 define i1 @global_gep_sgt_null() {
 112 ; CHECK-LABEL: @global_gep_sgt_null(
 113 ; CHECK-NEXT:    ret i1 icmp sgt ([2 x i32]* getelementptr inbounds ([2 x i32], [2 x i32]* @g, i64 1), [2 x i32]* null)
 114 ;
 115   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 116   %cmp = icmp sgt [2 x i32]* %gep, null
 117   ret i1 %cmp
 118 }
 119
 120 define i1 @null_gep_ne_null() {
 121 ; CHECK-LABEL: @null_gep_ne_null(
 122 ; CHECK-NEXT:    ret i1 true
 123 ;
 124   %gep = getelementptr i8, i8* null, i64 ptrtoint (i32* @g2 to i64)
 125   %cmp = icmp ne i8* %gep, null
 126   ret i1 %cmp
 127 }
 128
 129 define i1 @null_gep_ugt_null() {
 130 ; CHECK-LABEL: @null_gep_ugt_null(
 131 ; CHECK-NEXT:    ret i1 true
 132 ;
 133   %gep = getelementptr i8, i8* null, i64 ptrtoint (i32* @g2 to i64)
 134   %cmp = icmp ugt i8* %gep, null
 135   ret i1 %cmp
 136 }
 137
 138 define i1 @null_gep_sgt_null() {
 139 ; CHECK-LABEL: @null_gep_sgt_null(
 140 ; CHECK-NEXT:    ret i1 icmp sgt (i8* getelementptr (i8, i8* null, i64 ptrtoint (i32* @g2 to i64)), i8* null)
 141 ;
 142   %gep = getelementptr i8, i8* null, i64 ptrtoint (i32* @g2 to i64)
 143   %cmp = icmp sgt i8* %gep, null
 144   ret i1 %cmp
 145 }
 146
 147 define i1 @null_gep_ne_global() {
 148 ; CHECK-LABEL: @null_gep_ne_global(
 149 ; CHECK-NEXT:    ret i1 true
 150 ;
 151   %gep = getelementptr [2 x i32], [2 x i32]* null, i64 ptrtoint (i32* @g2 to i64)
 152   %cmp = icmp ne [2 x i32]* %gep, @g
 153   ret i1 %cmp
 154 }
 155
 156 define i1 @null_gep_ult_global() {
 157 ; CHECK-LABEL: @null_gep_ult_global(
 158 ; CHECK-NEXT:    ret i1 true
 159 ;
 160   %gep = getelementptr [2 x i32], [2 x i32]* null, i64 ptrtoint (i32* @g2 to i64)
 161   %cmp = icmp ult [2 x i32]* %gep, @g
 162   ret i1 %cmp
 163 }
 164
 165 define i1 @null_gep_slt_global() {
 166 ; CHECK-LABEL: @null_gep_slt_global(
 167 ; CHECK-NEXT:    ret i1 icmp slt ([2 x i32]* getelementptr ([2 x i32], [2 x i32]* null, i64 ptrtoint (i32* @g2 to i64)), [2 x i32]* @g)
 168 ;
 169   %gep = getelementptr [2 x i32], [2 x i32]* null, i64 ptrtoint (i32* @g2 to i64)
 170   %cmp = icmp slt [2 x i32]* %gep, @g
 171   ret i1 %cmp
 172 }
 173
 174 define i1 @global_gep_ne_global() {
 175 ; CHECK-LABEL: @global_gep_ne_global(
 176 ; CHECK-NEXT:    ret i1 true
 177 ;
 178   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 179   %cmp = icmp ne [2 x i32]* %gep, @g
 180   ret i1 %cmp
 181 }
 182
 183 define i1 @global_gep_ugt_global() {
 184 ; CHECK-LABEL: @global_gep_ugt_global(
 185 ; CHECK-NEXT:    ret i1 true
 186 ;
 187   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 188   %cmp = icmp ugt [2 x i32]* %gep, @g
 189   ret i1 %cmp
 190 }
 191
 192 define i1 @global_gep_sgt_global() {
 193 ; CHECK-LABEL: @global_gep_sgt_global(
 194 ; CHECK-NEXT:    ret i1 icmp sgt ([2 x i32]* getelementptr inbounds ([2 x i32], [2 x i32]* @g, i64 1), [2 x i32]* @g)
 195 ;
 196   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 197   %cmp = icmp sgt [2 x i32]* %gep, @g
 198   ret i1 %cmp
 199 }
 200
 201 define i1 @global_gep_ugt_global_neg_offset() {
 202 ; CHECK-LABEL: @global_gep_ugt_global_neg_offset(
 203 ; CHECK-NEXT:    ret i1 true
 204 ;
 205   %gep = getelementptr [2 x i32], [2 x i32]* @g, i64 -1
 206   %cmp = icmp ugt [2 x i32]* %gep, @g
 207   ret i1 %cmp
 208 }
 209
 210 define i1 @global_gep_sgt_global_neg_offset() {
 211 ; CHECK-LABEL: @global_gep_sgt_global_neg_offset(
 212 ; CHECK-NEXT:    ret i1 icmp sgt ([2 x i32]* getelementptr ([2 x i32], [2 x i32]* @g, i64 -1), [2 x i32]* @g)
 213 ;
 214   %gep = getelementptr [2 x i32], [2 x i32]* @g, i64 -1
 215   %cmp = icmp sgt [2 x i32]* %gep, @g
 216   ret i1 %cmp
 217 }