test/Transforms/InstSimplify/noalias-ptr.ll

   1 ; RUN: opt -instsimplify -S < %s | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 @g1 = global i32 0, align 4
   6 @g2 = internal global i32 0, align 4
   7 @g3 = unnamed_addr global i32 0, align 4
   8 @g4 = hidden global i32 0, align 4
   9 @g5 = protected global i32 0, align 4
  10 @g6 = thread_local unnamed_addr global i32 0, align 4
  11
  12 ; Make sure we can simplify away a pointer comparison between
  13 ; dynamically-allocated memory and a local stack allocation.
  14 ;   void p()
  15 ;   {
  16 ;     int *mData;
  17 ;     int mStackData[10];
  18 ;     mData = new int[12];
  19 ;     if (mData != mStackData) {
  20 ;       delete[] mData;
  21 ;     }
  22 ;   }
  23
  24 define void @_Z2p1v() #0 {
  25   %mStackData = alloca [10 x i32], align 16
  26   %1 = bitcast [10 x i32]* %mStackData to i8*
  27   %2 = tail call noalias i8* @_Znam(i64 48) #4
  28   %3 = bitcast i8* %2 to i32*
  29   %4 = getelementptr inbounds [10 x i32], [10 x i32]* %mStackData, i64 0, i64 0
  30   %5 = icmp eq i32* %3, %4
  31   br i1 %5, label %7, label %6
  32
  33 ; CHECK-LABEL: @_Z2p1v
  34 ; CHECK-NOT: icmp
  35 ; CHECK: ret void
  36
  37 ; <label>:6                                       ; preds = %0
  38   call void @_ZdaPv(i8* %2) #5
  39   br label %7
  40
  41 ; <label>:7                                       ; preds = %0, %6
  42   ret void
  43 }
  44
  45 ; Also check a more-complicated case with multiple underlying objects.
  46
  47 define void @_Z2p2bb(i1 zeroext %b1, i1 zeroext %b2) #0 {
  48   %mStackData = alloca [10 x i32], align 16
  49   %1 = bitcast [10 x i32]* %mStackData to i8*
  50   %2 = getelementptr inbounds [10 x i32], [10 x i32]* %mStackData, i64 0, i64 0
  51   %3 = select i1 %b1, i32* %2, i32* @g2
  52   %4 = tail call noalias i8* @_Znam(i64 48) #4
  53   %5 = tail call noalias i8* @_Znam(i64 48) #4
  54   %.v = select i1 %b2, i8* %4, i8* %5
  55   %6 = bitcast i8* %.v to i32*
  56   %7 = icmp eq i32* %6, %3
  57   br i1 %7, label %9, label %8
  58
  59 ; CHECK-LABEL: @_Z2p2bb
  60 ; CHECK-NOT: icmp
  61 ; CHECK: ret void
  62
  63 ; <label>:8                                       ; preds = %0
  64   call void @_ZdaPv(i8* %4) #5
  65   call void @_ZdaPv(i8* %5) #5
  66   br label %9
  67
  68 ; <label>:9                                       ; preds = %0, %8
  69   ret void
  70 }
  71
  72 define void @_Z2p4bb(i1 zeroext %b1, i1 zeroext %b2) #0 {
  73   %mStackData = alloca [10 x i32], align 16
  74   %1 = bitcast [10 x i32]* %mStackData to i8*
  75   %2 = getelementptr inbounds [10 x i32], [10 x i32]* %mStackData, i64 0, i64 0
  76   %3 = select i1 %b1, i32* %2, i32* @g3
  77   %4 = tail call noalias i8* @_Znam(i64 48) #4
  78   %5 = tail call noalias i8* @_Znam(i64 48) #4
  79   %.v = select i1 %b2, i8* %4, i8* %5
  80   %6 = bitcast i8* %.v to i32*
  81   %7 = icmp eq i32* %6, %3
  82   br i1 %7, label %9, label %8
  83
  84 ; CHECK-LABEL: @_Z2p4bb
  85 ; CHECK-NOT: icmp
  86 ; CHECK: ret void
  87
  88 ; <label>:8                                       ; preds = %0
  89   call void @_ZdaPv(i8* %4) #5
  90   call void @_ZdaPv(i8* %5) #5
  91   br label %9
  92
  93 ; <label>:9                                       ; preds = %0, %8
  94   ret void
  95 }
  96
  97 define void @_Z2p5bb(i1 zeroext %b1, i1 zeroext %b2) #0 {
  98   %mStackData = alloca [10 x i32], align 16
  99   %1 = bitcast [10 x i32]* %mStackData to i8*
 100   %2 = getelementptr inbounds [10 x i32], [10 x i32]* %mStackData, i64 0, i64 0
 101   %3 = select i1 %b1, i32* %2, i32* @g4
 102   %4 = tail call noalias i8* @_Znam(i64 48) #4
 103   %5 = tail call noalias i8* @_Znam(i64 48) #4
 104   %.v = select i1 %b2, i8* %4, i8* %5
 105   %6 = bitcast i8* %.v to i32*
 106   %7 = icmp eq i32* %6, %3
 107   br i1 %7, label %9, label %8
 108
 109 ; CHECK-LABEL: @_Z2p5bb
 110 ; CHECK-NOT: icmp
 111 ; CHECK: ret void
 112
 113 ; <label>:8                                       ; preds = %0
 114   call void @_ZdaPv(i8* %4) #5
 115   call void @_ZdaPv(i8* %5) #5
 116   br label %9
 117
 118 ; <label>:9                                       ; preds = %0, %8
 119   ret void
 120 }
 121
 122 define void @_Z2p6bb(i1 zeroext %b1, i1 zeroext %b2) #0 {
 123   %mStackData = alloca [10 x i32], align 16
 124   %1 = bitcast [10 x i32]* %mStackData to i8*
 125   %2 = getelementptr inbounds [10 x i32], [10 x i32]* %mStackData, i64 0, i64 0
 126   %3 = select i1 %b1, i32* %2, i32* @g5
 127   %4 = tail call noalias i8* @_Znam(i64 48) #4
 128   %5 = tail call noalias i8* @_Znam(i64 48) #4
 129   %.v = select i1 %b2, i8* %4, i8* %5
 130   %6 = bitcast i8* %.v to i32*
 131   %7 = icmp eq i32* %6, %3
 132   br i1 %7, label %9, label %8
 133
 134 ; CHECK-LABEL: @_Z2p6bb
 135 ; CHECK-NOT: icmp
 136 ; CHECK: ret void
 137
 138 ; <label>:8                                       ; preds = %0
 139   call void @_ZdaPv(i8* %4) #5
 140   call void @_ZdaPv(i8* %5) #5
 141   br label %9
 142
 143 ; <label>:9                                       ; preds = %0, %8
 144   ret void
 145 }
 146
 147 ; Here's another case involving multiple underlying objects, but this time we
 148 ; must keep the comparison (it might involve a regular pointer-typed function
 149 ; argument).
 150
 151 define void @_Z4nopebbPi(i1 zeroext %b1, i1 zeroext %b2, i32* readnone %q) #0 {
 152   %mStackData = alloca [10 x i32], align 16
 153   %1 = bitcast [10 x i32]* %mStackData to i8*
 154   %2 = getelementptr inbounds [10 x i32], [10 x i32]* %mStackData, i64 0, i64 0
 155   %3 = select i1 %b1, i32* %2, i32* %q
 156   %4 = tail call noalias i8* @_Znam(i64 48) #4
 157   %5 = tail call noalias i8* @_Znam(i64 48) #4
 158   %.v = select i1 %b2, i8* %4, i8* %5
 159   %6 = bitcast i8* %.v to i32*
 160   %7 = icmp eq i32* %6, %3
 161   br i1 %7, label %9, label %8
 162
 163 ; CHECK-LABEL: @_Z4nopebbPi
 164 ; CHECK: icmp
 165 ; CHECK: ret void
 166
 167 ; <label>:8                                       ; preds = %0
 168   call void @_ZdaPv(i8* %4) #5
 169   call void @_ZdaPv(i8* %5) #5
 170   br label %9
 171
 172 ; <label>:9                                       ; preds = %0, %8
 173   ret void
 174 }
 175
 176 define void @_Z2p3bb(i1 zeroext %b1, i1 zeroext %b2) #0 {
 177   %mStackData = alloca [10 x i32], align 16
 178   %1 = bitcast [10 x i32]* %mStackData to i8*
 179   %2 = getelementptr inbounds [10 x i32], [10 x i32]* %mStackData, i64 0, i64 0
 180   %3 = select i1 %b1, i32* %2, i32* @g1
 181   %4 = tail call noalias i8* @_Znam(i64 48) #4
 182   %5 = tail call noalias i8* @_Znam(i64 48) #4
 183   %.v = select i1 %b2, i8* %4, i8* %5
 184   %6 = bitcast i8* %.v to i32*
 185   %7 = icmp eq i32* %6, %3
 186   br i1 %7, label %9, label %8
 187
 188 ; CHECK-LABEL: @_Z2p3bb
 189 ; CHECK: icmp
 190 ; CHECK: ret void
 191
 192 ; <label>:8                                       ; preds = %0
 193   call void @_ZdaPv(i8* %4) #5
 194   call void @_ZdaPv(i8* %5) #5
 195   br label %9
 196
 197 ; <label>:9                                       ; preds = %0, %8
 198   ret void
 199 }
 200
 201 define void @_Z2p7bb(i1 zeroext %b1, i1 zeroext %b2) #0 {
 202   %mStackData = alloca [10 x i32], align 16
 203   %1 = bitcast [10 x i32]* %mStackData to i8*
 204   %2 = getelementptr inbounds [10 x i32], [10 x i32]* %mStackData, i64 0, i64 0
 205   %3 = select i1 %b1, i32* %2, i32* @g6
 206   %4 = tail call noalias i8* @_Znam(i64 48) #4
 207   %5 = tail call noalias i8* @_Znam(i64 48) #4
 208   %.v = select i1 %b2, i8* %4, i8* %5
 209   %6 = bitcast i8* %.v to i32*
 210   %7 = icmp eq i32* %6, %3
 211   br i1 %7, label %9, label %8
 212
 213 ; CHECK-LABEL: @_Z2p7bb
 214 ; CHECK: icmp
 215 ; CHECK: ret void
 216
 217 ; <label>:8                                       ; preds = %0
 218   call void @_ZdaPv(i8* %4) #5
 219   call void @_ZdaPv(i8* %5) #5
 220   br label %9
 221
 222 ; <label>:9                                       ; preds = %0, %8
 223   ret void
 224 }
 225
 226 define void @_Z2p2v(i32 %c) #0 {
 227   %mStackData = alloca [10 x i32], i32 %c, align 16
 228   %1 = bitcast [10 x i32]* %mStackData to i8*
 229   %2 = tail call noalias i8* @_Znam(i64 48) #4
 230   %3 = bitcast i8* %2 to i32*
 231   %4 = getelementptr inbounds [10 x i32], [10 x i32]* %mStackData, i64 0, i64 0
 232   %5 = icmp eq i32* %3, %4
 233   br i1 %5, label %7, label %6
 234
 235 ; CHECK-LABEL: @_Z2p2v
 236 ; CHECK: icmp
 237 ; CHECK: ret void
 238
 239 ; <label>:6                                       ; preds = %0
 240   call void @_ZdaPv(i8* %2) #5
 241   br label %7
 242
 243 ; <label>:7                                       ; preds = %0, %6
 244   ret void
 245 }
 246
 247 ; Function Attrs: nobuiltin
 248 declare noalias i8* @_Znam(i64) #2
 249
 250 ; Function Attrs: nobuiltin nounwind
 251 declare void @_ZdaPv(i8*) #3
 252
 253 attributes #0 = { uwtable }
 254 attributes #1 = { nounwind }
 255 attributes #2 = { nobuiltin }
 256 attributes #3 = { nobuiltin nounwind }
 257 attributes #4 = { builtin }
 258 attributes #5 = { builtin nounwind }
 259