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