test/Transforms/LoopIdiom/struct_pattern.ll

   1 ; RUN: opt -basicaa -loop-idiom < %s -S | FileCheck %s
   2 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   3
   4 ; CHECK: @.memset_pattern = private unnamed_addr constant [4 x i32] [i32 2, i32 2, i32 2, i32 2], align 16
   5 ; CHECK: @.memset_pattern.1 = private unnamed_addr constant [4 x i32] [i32 2, i32 2, i32 2, i32 2], align 16
   6 ; CHECK: @.memset_pattern.2 = private unnamed_addr constant [4 x i32] [i32 2, i32 2, i32 2, i32 2], align 16
   7
   8 target triple = "x86_64-apple-darwin10.0.0"
   9
  10 %struct.foo = type { i32, i32 }
  11 %struct.foo1 = type { i32, i32, i32 }
  12
  13 ;void bar1(foo_t *f, unsigned n) {
  14 ;  for (unsigned i = 0; i < n; ++i) {
  15 ;    f[i].a = 2;
  16 ;    f[i].b = 2;
  17 ;  }
  18 ;}
  19 define void @bar1(%struct.foo* %f, i32 %n) nounwind ssp {
  20 entry:
  21   %cmp1 = icmp eq i32 %n, 0
  22   br i1 %cmp1, label %for.end, label %for.body.preheader
  23
  24 for.body.preheader:                               ; preds = %entry
  25   br label %for.body
  26
  27 for.body:                                         ; preds = %for.body.preheader, %for.body
  28   %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]
  29   %a = getelementptr inbounds %struct.foo, %struct.foo* %f, i64 %indvars.iv, i32 0
  30   store i32 2, i32* %a, align 4
  31   %b = getelementptr inbounds %struct.foo, %struct.foo* %f, i64 %indvars.iv, i32 1
  32   store i32 2, i32* %b, align 4
  33   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  34   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  35   %exitcond = icmp ne i32 %lftr.wideiv, %n
  36   br i1 %exitcond, label %for.body, label %for.end.loopexit
  37
  38 for.end.loopexit:                                 ; preds = %for.body
  39   br label %for.end
  40
  41 for.end:                                          ; preds = %for.end.loopexit, %entry
  42   ret void
  43 ; CHECK-LABEL: @bar1(
  44 ; CHECK: call void @memset_pattern16
  45 ; CHECK-NOT: store
  46 }
  47
  48 ;void bar2(foo_t *f, unsigned n) {
  49 ;  for (unsigned i = 0; i < n; ++i) {
  50 ;    f[i].b = 2;
  51 ;    f[i].a = 2;
  52 ;  }
  53 ;}
  54 define void @bar2(%struct.foo* %f, i32 %n) nounwind ssp {
  55 entry:
  56   %cmp1 = icmp eq i32 %n, 0
  57   br i1 %cmp1, label %for.end, label %for.body.preheader
  58
  59 for.body.preheader:                               ; preds = %entry
  60   br label %for.body
  61
  62 for.body:                                         ; preds = %for.body.preheader, %for.body
  63   %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]
  64   %b = getelementptr inbounds %struct.foo, %struct.foo* %f, i64 %indvars.iv, i32 1
  65   store i32 2, i32* %b, align 4
  66   %a = getelementptr inbounds %struct.foo, %struct.foo* %f, i64 %indvars.iv, i32 0
  67   store i32 2, i32* %a, align 4
  68   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  69   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  70   %exitcond = icmp ne i32 %lftr.wideiv, %n
  71   br i1 %exitcond, label %for.body, label %for.end.loopexit
  72
  73 for.end.loopexit:                                 ; preds = %for.body
  74   br label %for.end
  75
  76 for.end:                                          ; preds = %for.end.loopexit, %entry
  77   ret void
  78 ; CHECK-LABEL: @bar2(
  79 ; CHECK: call void @memset_pattern16
  80 ; CHECK-NOT: store
  81 }
  82
  83 ;void bar3(foo_t *f, unsigned n) {
  84 ;  for (unsigned i = n; i > 0; --i) {
  85 ;    f[i].a = 2;
  86 ;    f[i].b = 2;
  87 ;  }
  88 ;}
  89 define void @bar3(%struct.foo* nocapture %f, i32 %n) nounwind ssp {
  90 entry:
  91   %cmp1 = icmp eq i32 %n, 0
  92   br i1 %cmp1, label %for.end, label %for.body.preheader
  93
  94 for.body.preheader:                               ; preds = %entry
  95   %0 = zext i32 %n to i64
  96   br label %for.body
  97
  98 for.body:                                         ; preds = %for.body.preheader, %for.body
  99   %indvars.iv = phi i64 [ %0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]
 100   %a = getelementptr inbounds %struct.foo, %struct.foo* %f, i64 %indvars.iv, i32 0
 101   store i32 2, i32* %a, align 4
 102   %b = getelementptr inbounds %struct.foo, %struct.foo* %f, i64 %indvars.iv, i32 1
 103   store i32 2, i32* %b, align 4
 104   %1 = trunc i64 %indvars.iv to i32
 105   %dec = add i32 %1, -1
 106   %cmp = icmp eq i32 %dec, 0
 107   %indvars.iv.next = add nsw i64 %indvars.iv, -1
 108   br i1 %cmp, label %for.end.loopexit, label %for.body
 109
 110 for.end.loopexit:                                 ; preds = %for.body
 111   br label %for.end
 112
 113 for.end:                                          ; preds = %for.end.loopexit, %entry
 114   ret void
 115 ; CHECK-LABEL: @bar3(
 116 ; CHECK: call void @memset_pattern16
 117 ; CHECK-NOT: store
 118 }
 119
 120 ;void bar4(foo_t *f, unsigned n) {
 121 ;  for (unsigned i = 0; i < n; ++i) {
 122 ;    f[i].a = 0;
 123 ;    f[i].b = 1;
 124 ;  }
 125 ;}
 126 define void @bar4(%struct.foo* nocapture %f, i32 %n) nounwind ssp {
 127 entry:
 128   %cmp1 = icmp eq i32 %n, 0
 129   br i1 %cmp1, label %for.end, label %for.body.preheader
 130
 131 for.body.preheader:                               ; preds = %entry
 132   br label %for.body
 133
 134 for.body:                                         ; preds = %for.body.preheader, %for.body
 135   %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]
 136   %a = getelementptr inbounds %struct.foo, %struct.foo* %f, i64 %indvars.iv, i32 0
 137   store i32 0, i32* %a, align 4
 138   %b = getelementptr inbounds %struct.foo, %struct.foo* %f, i64 %indvars.iv, i32 1
 139   store i32 1, i32* %b, align 4
 140   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
 141   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
 142   %exitcond = icmp ne i32 %lftr.wideiv, %n
 143   br i1 %exitcond, label %for.body, label %for.end.loopexit
 144
 145 for.end.loopexit:                                 ; preds = %for.body
 146   br label %for.end
 147
 148 for.end:                                          ; preds = %for.end.loopexit, %entry
 149   ret void
 150 ; CHECK-LABEL: @bar4(
 151 ; CHECK-NOT: call void @memset_pattern16
 152 }
 153
 154 ;void bar5(foo1_t *f, unsigned n) {
 155 ;  for (unsigned i = 0; i < n; ++i) {
 156 ;    f[i].a = 1;
 157 ;    f[i].b = 1;
 158 ;  }
 159 ;}
 160 define void @bar5(%struct.foo1* nocapture %f, i32 %n) nounwind ssp {
 161 entry:
 162   %cmp1 = icmp eq i32 %n, 0
 163   br i1 %cmp1, label %for.end, label %for.body.preheader
 164
 165 for.body.preheader:                               ; preds = %entry
 166   br label %for.body
 167
 168 for.body:                                         ; preds = %for.body.preheader, %for.body
 169   %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]
 170   %a = getelementptr inbounds %struct.foo1, %struct.foo1* %f, i64 %indvars.iv, i32 0
 171   store i32 1, i32* %a, align 4
 172   %b = getelementptr inbounds %struct.foo1, %struct.foo1* %f, i64 %indvars.iv, i32 1
 173   store i32 1, i32* %b, align 4
 174   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
 175   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
 176   %exitcond = icmp ne i32 %lftr.wideiv, %n
 177   br i1 %exitcond, label %for.body, label %for.end.loopexit
 178
 179 for.end.loopexit:                                 ; preds = %for.body
 180   br label %for.end
 181
 182 for.end:                                          ; preds = %for.end.loopexit, %entry
 183   ret void
 184 ; CHECK-LABEL: @bar5(
 185 ; CHECK-NOT: call void @memset_pattern16
 186 }