test/Transforms/AlignmentFromAssumptions/simple.ll

   1 target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
   2 ; RUN: opt < %s -alignment-from-assumptions -S | FileCheck %s
   3
   4 define i32 @foo(i32* nocapture %a) nounwind uwtable readonly {
   5 entry:
   6   %ptrint = ptrtoint i32* %a to i64
   7   %maskedptr = and i64 %ptrint, 31
   8   %maskcond = icmp eq i64 %maskedptr, 0
   9   tail call void @llvm.assume(i1 %maskcond)
  10   %0 = load i32, i32* %a, align 4
  11   ret i32 %0
  12
  13 ; CHECK-LABEL: @foo
  14 ; CHECK: load i32, i32* {{[^,]+}}, align 32
  15 ; CHECK: ret i32
  16 }
  17
  18 define i32 @foo2(i32* nocapture %a) nounwind uwtable readonly {
  19 entry:
  20   %ptrint = ptrtoint i32* %a to i64
  21   %offsetptr = add i64 %ptrint, 24
  22   %maskedptr = and i64 %offsetptr, 31
  23   %maskcond = icmp eq i64 %maskedptr, 0
  24   tail call void @llvm.assume(i1 %maskcond)
  25   %arrayidx = getelementptr inbounds i32, i32* %a, i64 2
  26   %0 = load i32, i32* %arrayidx, align 4
  27   ret i32 %0
  28
  29 ; CHECK-LABEL: @foo2
  30 ; CHECK: load i32, i32* {{[^,]+}}, align 16
  31 ; CHECK: ret i32
  32 }
  33
  34 define i32 @foo2a(i32* nocapture %a) nounwind uwtable readonly {
  35 entry:
  36   %ptrint = ptrtoint i32* %a to i64
  37   %offsetptr = add i64 %ptrint, 28
  38   %maskedptr = and i64 %offsetptr, 31
  39   %maskcond = icmp eq i64 %maskedptr, 0
  40   tail call void @llvm.assume(i1 %maskcond)
  41   %arrayidx = getelementptr inbounds i32, i32* %a, i64 -1
  42   %0 = load i32, i32* %arrayidx, align 4
  43   ret i32 %0
  44
  45 ; CHECK-LABEL: @foo2a
  46 ; CHECK: load i32, i32* {{[^,]+}}, align 32
  47 ; CHECK: ret i32
  48 }
  49
  50 define i32 @goo(i32* nocapture %a) nounwind uwtable readonly {
  51 entry:
  52   %ptrint = ptrtoint i32* %a to i64
  53   %maskedptr = and i64 %ptrint, 31
  54   %maskcond = icmp eq i64 %maskedptr, 0
  55   tail call void @llvm.assume(i1 %maskcond)
  56   %0 = load i32, i32* %a, align 4
  57   ret i32 %0
  58
  59 ; CHECK-LABEL: @goo
  60 ; CHECK: load i32, i32* {{[^,]+}}, align 32
  61 ; CHECK: ret i32
  62 }
  63
  64 define i32 @hoo(i32* nocapture %a) nounwind uwtable readonly {
  65 entry:
  66   %ptrint = ptrtoint i32* %a to i64
  67   %maskedptr = and i64 %ptrint, 31
  68   %maskcond = icmp eq i64 %maskedptr, 0
  69   tail call void @llvm.assume(i1 %maskcond)
  70   br label %for.body
  71
  72 for.body:                                         ; preds = %entry, %for.body
  73   %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
  74   %r.06 = phi i32 [ 0, %entry ], [ %add, %for.body ]
  75   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
  76   %0 = load i32, i32* %arrayidx, align 4
  77   %add = add nsw i32 %0, %r.06
  78   %indvars.iv.next = add i64 %indvars.iv, 8
  79   %1 = trunc i64 %indvars.iv.next to i32
  80   %cmp = icmp slt i32 %1, 2048
  81   br i1 %cmp, label %for.body, label %for.end
  82
  83 for.end:                                          ; preds = %for.body
  84   %add.lcssa = phi i32 [ %add, %for.body ]
  85   ret i32 %add.lcssa
  86
  87 ; CHECK-LABEL: @hoo
  88 ; CHECK: load i32, i32* %arrayidx, align 32
  89 ; CHECK: ret i32 %add.lcssa
  90 }
  91
  92 define i32 @joo(i32* nocapture %a) nounwind uwtable readonly {
  93 entry:
  94   %ptrint = ptrtoint i32* %a to i64
  95   %maskedptr = and i64 %ptrint, 31
  96   %maskcond = icmp eq i64 %maskedptr, 0
  97   tail call void @llvm.assume(i1 %maskcond)
  98   br label %for.body
  99
 100 for.body:                                         ; preds = %entry, %for.body
 101   %indvars.iv = phi i64 [ 4, %entry ], [ %indvars.iv.next, %for.body ]
 102   %r.06 = phi i32 [ 0, %entry ], [ %add, %for.body ]
 103   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
 104   %0 = load i32, i32* %arrayidx, align 4
 105   %add = add nsw i32 %0, %r.06
 106   %indvars.iv.next = add i64 %indvars.iv, 8
 107   %1 = trunc i64 %indvars.iv.next to i32
 108   %cmp = icmp slt i32 %1, 2048
 109   br i1 %cmp, label %for.body, label %for.end
 110
 111 for.end:                                          ; preds = %for.body
 112   %add.lcssa = phi i32 [ %add, %for.body ]
 113   ret i32 %add.lcssa
 114
 115 ; CHECK-LABEL: @joo
 116 ; CHECK: load i32, i32* %arrayidx, align 16
 117 ; CHECK: ret i32 %add.lcssa
 118 }
 119
 120 define i32 @koo(i32* nocapture %a) nounwind uwtable readonly {
 121 entry:
 122   %ptrint = ptrtoint i32* %a to i64
 123   %maskedptr = and i64 %ptrint, 31
 124   %maskcond = icmp eq i64 %maskedptr, 0
 125   tail call void @llvm.assume(i1 %maskcond)
 126   br label %for.body
 127
 128 for.body:                                         ; preds = %entry, %for.body
 129   %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
 130   %r.06 = phi i32 [ 0, %entry ], [ %add, %for.body ]
 131   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
 132   %0 = load i32, i32* %arrayidx, align 4
 133   %add = add nsw i32 %0, %r.06
 134   %indvars.iv.next = add i64 %indvars.iv, 4
 135   %1 = trunc i64 %indvars.iv.next to i32
 136   %cmp = icmp slt i32 %1, 2048
 137   br i1 %cmp, label %for.body, label %for.end
 138
 139 for.end:                                          ; preds = %for.body
 140   %add.lcssa = phi i32 [ %add, %for.body ]
 141   ret i32 %add.lcssa
 142
 143 ; CHECK-LABEL: @koo
 144 ; CHECK: load i32, i32* %arrayidx, align 16
 145 ; CHECK: ret i32 %add.lcssa
 146 }
 147
 148 define i32 @koo2(i32* nocapture %a) nounwind uwtable readonly {
 149 entry:
 150   %ptrint = ptrtoint i32* %a to i64
 151   %maskedptr = and i64 %ptrint, 31
 152   %maskcond = icmp eq i64 %maskedptr, 0
 153   tail call void @llvm.assume(i1 %maskcond)
 154   br label %for.body
 155
 156 for.body:                                         ; preds = %entry, %for.body
 157   %indvars.iv = phi i64 [ -4, %entry ], [ %indvars.iv.next, %for.body ]
 158   %r.06 = phi i32 [ 0, %entry ], [ %add, %for.body ]
 159   %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
 160   %0 = load i32, i32* %arrayidx, align 4
 161   %add = add nsw i32 %0, %r.06
 162   %indvars.iv.next = add i64 %indvars.iv, 4
 163   %1 = trunc i64 %indvars.iv.next to i32
 164   %cmp = icmp slt i32 %1, 2048
 165   br i1 %cmp, label %for.body, label %for.end
 166
 167 for.end:                                          ; preds = %for.body
 168   %add.lcssa = phi i32 [ %add, %for.body ]
 169   ret i32 %add.lcssa
 170
 171 ; CHECK-LABEL: @koo2
 172 ; CHECK: load i32, i32* %arrayidx, align 16
 173 ; CHECK: ret i32 %add.lcssa
 174 }
 175
 176 define i32 @moo(i32* nocapture %a) nounwind uwtable {
 177 entry:
 178   %ptrint = ptrtoint i32* %a to i64
 179   %maskedptr = and i64 %ptrint, 31
 180   %maskcond = icmp eq i64 %maskedptr, 0
 181   tail call void @llvm.assume(i1 %maskcond)
 182   %0 = bitcast i32* %a to i8*
 183   tail call void @llvm.memset.p0i8.i64(i8* %0, i8 0, i64 64, i32 4, i1 false)
 184   ret i32 undef
 185
 186 ; CHECK-LABEL: @moo
 187 ; CHECK: @llvm.memset.p0i8.i64(i8* %0, i8 0, i64 64, i32 32, i1 false)
 188 ; CHECK: ret i32 undef
 189 }
 190
 191 define i32 @moo2(i32* nocapture %a, i32* nocapture %b) nounwind uwtable {
 192 entry:
 193   %ptrint = ptrtoint i32* %a to i64
 194   %maskedptr = and i64 %ptrint, 31
 195   %maskcond = icmp eq i64 %maskedptr, 0
 196   tail call void @llvm.assume(i1 %maskcond)
 197   %ptrint1 = ptrtoint i32* %b to i64
 198   %maskedptr3 = and i64 %ptrint1, 127
 199   %maskcond4 = icmp eq i64 %maskedptr3, 0
 200   tail call void @llvm.assume(i1 %maskcond4)
 201   %0 = bitcast i32* %a to i8*
 202   %1 = bitcast i32* %b to i8*
 203   tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* %1, i64 64, i32 4, i1 false)
 204   ret i32 undef
 205
 206 ; CHECK-LABEL: @moo2
 207 ; CHECK: @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* %1, i64 64, i32 32, i1 false)
 208 ; CHECK: ret i32 undef
 209 }
 210
 211 declare void @llvm.assume(i1) nounwind
 212
 213 declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
 214 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
 215