llvm/test/Transforms/InstSimplify/ConstProp/icmp-global.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 @g2_weak = extern_weak global i32
  69 @g3 = global i8 0
  70
  71 define i1 @global_ne_null() {
  72 ; CHECK-LABEL: @global_ne_null(
  73 ; CHECK-NEXT:    ret i1 true
  74 ;
  75   %cmp = icmp ne [2 x i32]* @g, null
  76   ret i1 %cmp
  77 }
  78
  79 define i1 @global_ugt_null() {
  80 ; CHECK-LABEL: @global_ugt_null(
  81 ; CHECK-NEXT:    ret i1 true
  82 ;
  83   %cmp = icmp ugt [2 x i32]* @g, null
  84   ret i1 %cmp
  85 }
  86
  87 define i1 @global_sgt_null() {
  88 ; CHECK-LABEL: @global_sgt_null(
  89 ; CHECK-NEXT:    ret i1 icmp sgt ([2 x i32]* @g, [2 x i32]* null)
  90 ;
  91   %cmp = icmp sgt [2 x i32]* @g, null
  92   ret i1 %cmp
  93 }
  94
  95 ; Should not fold to true, as the gep computes a null value.
  96 define i1 @global_out_of_bounds_gep_ne_null() {
  97 ; CHECK-LABEL: @global_out_of_bounds_gep_ne_null(
  98 ; CHECK-NEXT:    ret i1 icmp ne (i8* getelementptr (i8, i8* @g3, i64 sub (i64 0, i64 ptrtoint (i8* @g3 to i64))), i8* null)
  99 ;
 100   %cmp = icmp ne i8* getelementptr (i8, i8* @g3, i64 sub (i64 0, i64 ptrtoint (i8* @g3 to i64))), null
 101   ret i1 %cmp
 102 }
 103
 104 define i1 @global_inbounds_gep_ne_null() {
 105 ; CHECK-LABEL: @global_inbounds_gep_ne_null(
 106 ; CHECK-NEXT:    ret i1 true
 107 ;
 108   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 109   %cmp = icmp ne [2 x i32]* %gep, null
 110   ret i1 %cmp
 111 }
 112
 113 define i1 @global_gep_ugt_null() {
 114 ; CHECK-LABEL: @global_gep_ugt_null(
 115 ; CHECK-NEXT:    ret i1 true
 116 ;
 117   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 118   %cmp = icmp ugt [2 x i32]* %gep, null
 119   ret i1 %cmp
 120 }
 121
 122 define i1 @global_gep_sgt_null() {
 123 ; CHECK-LABEL: @global_gep_sgt_null(
 124 ; CHECK-NEXT:    ret i1 icmp sgt ([2 x i32]* getelementptr inbounds ([2 x i32], [2 x i32]* @g, i64 1), [2 x i32]* null)
 125 ;
 126   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 127   %cmp = icmp sgt [2 x i32]* %gep, null
 128   ret i1 %cmp
 129 }
 130
 131 ; @g2_weak may be null, in which case this is a zero-index GEP and the pointers
 132 ; are equal.
 133 define i1 @null_gep_ne_null() {
 134 ; CHECK-LABEL: @null_gep_ne_null(
 135 ; CHECK-NEXT:    ret i1 icmp ne (i8* getelementptr (i8, i8* null, i64 ptrtoint (i32* @g2_weak to i64)), i8* null)
 136 ;
 137   %gep = getelementptr i8, i8* null, i64 ptrtoint (i32* @g2_weak to i64)
 138   %cmp = icmp ne i8* %gep, null
 139   ret i1 %cmp
 140 }
 141
 142 define i1 @null_gep_ugt_null() {
 143 ; CHECK-LABEL: @null_gep_ugt_null(
 144 ; CHECK-NEXT:    ret i1 icmp ugt (i8* getelementptr (i8, i8* null, i64 ptrtoint (i32* @g2_weak to i64)), i8* null)
 145 ;
 146   %gep = getelementptr i8, i8* null, i64 ptrtoint (i32* @g2_weak to i64)
 147   %cmp = icmp ugt i8* %gep, null
 148   ret i1 %cmp
 149 }
 150
 151 define i1 @null_gep_sgt_null() {
 152 ; CHECK-LABEL: @null_gep_sgt_null(
 153 ; CHECK-NEXT:    ret i1 icmp sgt (i8* getelementptr (i8, i8* null, i64 ptrtoint (i32* @g2_weak to i64)), i8* null)
 154 ;
 155   %gep = getelementptr i8, i8* null, i64 ptrtoint (i32* @g2_weak to i64)
 156   %cmp = icmp sgt i8* %gep, null
 157   ret i1 %cmp
 158 }
 159
 160 define i1 @null_gep_ne_null_constant_int() {
 161 ; CHECK-LABEL: @null_gep_ne_null_constant_int(
 162 ; CHECK-NEXT:    ret i1 true
 163 ;
 164   %gep = getelementptr i8, i8* null, i64 1
 165   %cmp = icmp ne i8* %gep, null
 166   ret i1 %cmp
 167 }
 168
 169 define i1 @null_gep_ugt_null_constant_int() {
 170 ; CHECK-LABEL: @null_gep_ugt_null_constant_int(
 171 ; CHECK-NEXT:    ret i1 true
 172 ;
 173   %gep = getelementptr i8, i8* null, i64 1
 174   %cmp = icmp ugt i8* %gep, null
 175   ret i1 %cmp
 176 }
 177
 178 define i1 @null_gep_ne_global() {
 179 ; CHECK-LABEL: @null_gep_ne_global(
 180 ; CHECK-NEXT:    ret i1 icmp ne (i8* getelementptr (i8, i8* null, i64 ptrtoint (i8* @g3 to i64)), i8* @g3)
 181 ;
 182   %gep = getelementptr i8, i8* null, i64 ptrtoint (i8* @g3 to i64)
 183   %cmp = icmp ne i8* %gep, @g3
 184   ret i1 %cmp
 185 }
 186
 187 define i1 @null_gep_ult_global() {
 188 ; CHECK-LABEL: @null_gep_ult_global(
 189 ; CHECK-NEXT:    ret i1 icmp ult (i8* getelementptr (i8, i8* null, i64 ptrtoint (i8* @g3 to i64)), i8* @g3)
 190 ;
 191   %gep = getelementptr i8, i8* null, i64 ptrtoint (i8* @g3 to i64)
 192   %cmp = icmp ult i8* %gep, @g3
 193   ret i1 %cmp
 194 }
 195
 196 define i1 @null_gep_slt_global() {
 197 ; CHECK-LABEL: @null_gep_slt_global(
 198 ; 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)
 199 ;
 200   %gep = getelementptr [2 x i32], [2 x i32]* null, i64 ptrtoint (i32* @g2 to i64)
 201   %cmp = icmp slt [2 x i32]* %gep, @g
 202   ret i1 %cmp
 203 }
 204
 205 define i1 @global_gep_ne_global() {
 206 ; CHECK-LABEL: @global_gep_ne_global(
 207 ; CHECK-NEXT:    ret i1 true
 208 ;
 209   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 210   %cmp = icmp ne [2 x i32]* %gep, @g
 211   ret i1 %cmp
 212 }
 213
 214 define i1 @global_gep_ugt_global() {
 215 ; CHECK-LABEL: @global_gep_ugt_global(
 216 ; CHECK-NEXT:    ret i1 true
 217 ;
 218   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 219   %cmp = icmp ugt [2 x i32]* %gep, @g
 220   ret i1 %cmp
 221 }
 222
 223 define i1 @global_gep_sgt_global() {
 224 ; CHECK-LABEL: @global_gep_sgt_global(
 225 ; CHECK-NEXT:    ret i1 icmp sgt ([2 x i32]* getelementptr inbounds ([2 x i32], [2 x i32]* @g, i64 1), [2 x i32]* @g)
 226 ;
 227   %gep = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 1
 228   %cmp = icmp sgt [2 x i32]* %gep, @g
 229   ret i1 %cmp
 230 }
 231
 232 ; This should not fold to true, as the offset is negative.
 233 define i1 @global_gep_ugt_global_neg_offset() {
 234 ; CHECK-LABEL: @global_gep_ugt_global_neg_offset(
 235 ; CHECK-NEXT:    ret i1 icmp ugt ([2 x i32]* getelementptr ([2 x i32], [2 x i32]* @g, i64 -1), [2 x i32]* @g)
 236 ;
 237   %gep = getelementptr [2 x i32], [2 x i32]* @g, i64 -1
 238   %cmp = icmp ugt [2 x i32]* %gep, @g
 239   ret i1 %cmp
 240 }
 241
 242 define i1 @global_gep_sgt_global_neg_offset() {
 243 ; CHECK-LABEL: @global_gep_sgt_global_neg_offset(
 244 ; CHECK-NEXT:    ret i1 icmp sgt ([2 x i32]* getelementptr ([2 x i32], [2 x i32]* @g, i64 -1), [2 x i32]* @g)
 245 ;
 246   %gep = getelementptr [2 x i32], [2 x i32]* @g, i64 -1
 247   %cmp = icmp sgt [2 x i32]* %gep, @g
 248   ret i1 %cmp
 249 }
 250
 251 define i1 @global_gep_ugt_global_gep() {
 252 ; CHECK-LABEL: @global_gep_ugt_global_gep(
 253 ; CHECK-NEXT:    ret i1 true
 254 ;
 255   %gep1 = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 0, i64 0
 256   %gep2 = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 0, i64 1
 257   %cmp = icmp ugt i32* %gep2, %gep1
 258   ret i1 %cmp
 259 }
 260
 261 ; Should not fold due to signed comparison.
 262 define i1 @global_gep_sgt_global_gep() {
 263 ; CHECK-LABEL: @global_gep_sgt_global_gep(
 264 ; CHECK-NEXT:    ret i1 icmp sgt (i32* getelementptr inbounds ([2 x i32], [2 x i32]* @g, i64 0, i64 1), i32* getelementptr inbounds ([2 x i32], [2 x i32]* @g, i64 0, i64 0))
 265 ;
 266   %gep1 = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 0, i64 0
 267   %gep2 = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 0, i64 1
 268   %cmp = icmp sgt i32* %gep2, %gep1
 269   ret i1 %cmp
 270 }
 271
 272 define i1 @global_gep_ugt_global_gep_complex() {
 273 ; CHECK-LABEL: @global_gep_ugt_global_gep_complex(
 274 ; CHECK-NEXT:    ret i1 true
 275 ;
 276   %gep1 = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 0, i64 0
 277   %gep2 = getelementptr inbounds [2 x i32], [2 x i32]* @g, i64 0, i64 0
 278   %gep2.cast = bitcast i32* %gep2 to i8*
 279   %gep3 = getelementptr inbounds i8, i8* %gep2.cast, i64 2
 280   %gep3.cast = bitcast i8* %gep3 to i32*
 281   %cmp = icmp ugt i32* %gep3.cast, %gep1
 282   ret i1 %cmp
 283 }