293 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals2; RUN: opt -passes=loop-idiom < %s -S | FileCheck %s3target 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"4 5 6target triple = "x86_64-apple-darwin10.0.0"7 8%struct.foo = type { i32, i32 }9%struct.foo1 = type { i32, i32, i32 }10 11;void bar1(foo_t *f, unsigned n) {12; for (unsigned i = 0; i < n; ++i) {13; f[i].a = 2;14; f[i].b = 2;15; }16;}17 18 19define void @bar1(ptr %f, i32 %n) nounwind ssp {20; CHECK-LABEL: @bar1(21; CHECK-NEXT: entry:22; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[N:%.*]], 023; CHECK-NEXT: br i1 [[CMP1]], label [[FOR_END:%.*]], label [[FOR_BODY_PREHEADER:%.*]]24; CHECK: for.body.preheader:25; CHECK-NEXT: [[TMP0:%.*]] = zext i32 [[N]] to i6426; CHECK-NEXT: [[TMP1:%.*]] = mul i64 [[TMP0]], 227; CHECK-NEXT: call void @llvm.experimental.memset.pattern.p0.i32.i64(ptr align 4 [[F:%.*]], i32 2, i64 [[TMP1]], i1 false)28; CHECK-NEXT: br label [[FOR_BODY:%.*]]29; CHECK: for.body:30; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ 0, [[FOR_BODY_PREHEADER]] ], [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY]] ]31; CHECK-NEXT: [[A:%.*]] = getelementptr inbounds [[STRUCT_FOO:%.*]], ptr [[F]], i64 [[INDVARS_IV]], i32 032; CHECK-NEXT: [[B:%.*]] = getelementptr inbounds [[STRUCT_FOO]], ptr [[F]], i64 [[INDVARS_IV]], i32 133; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 134; CHECK-NEXT: [[LFTR_WIDEIV:%.*]] = trunc i64 [[INDVARS_IV_NEXT]] to i3235; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i32 [[LFTR_WIDEIV]], [[N]]36; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY]], label [[FOR_END_LOOPEXIT:%.*]]37; CHECK: for.end.loopexit:38; CHECK-NEXT: br label [[FOR_END]]39; CHECK: for.end:40; CHECK-NEXT: ret void41;42entry:43 %cmp1 = icmp eq i32 %n, 044 br i1 %cmp1, label %for.end, label %for.body.preheader45 46for.body.preheader: ; preds = %entry47 br label %for.body48 49for.body: ; preds = %for.body.preheader, %for.body50 %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]51 %a = getelementptr inbounds %struct.foo, ptr %f, i64 %indvars.iv, i32 052 store i32 2, ptr %a, align 453 %b = getelementptr inbounds %struct.foo, ptr %f, i64 %indvars.iv, i32 154 store i32 2, ptr %b, align 455 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 156 %lftr.wideiv = trunc i64 %indvars.iv.next to i3257 %exitcond = icmp ne i32 %lftr.wideiv, %n58 br i1 %exitcond, label %for.body, label %for.end.loopexit59 60for.end.loopexit: ; preds = %for.body61 br label %for.end62 63for.end: ; preds = %for.end.loopexit, %entry64 ret void65}66 67;void bar2(foo_t *f, unsigned n) {68; for (unsigned i = 0; i < n; ++i) {69; f[i].b = 2;70; f[i].a = 2;71; }72;}73define void @bar2(ptr %f, i32 %n) nounwind ssp {74; CHECK-LABEL: @bar2(75; CHECK-NEXT: entry:76; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[N:%.*]], 077; CHECK-NEXT: br i1 [[CMP1]], label [[FOR_END:%.*]], label [[FOR_BODY_PREHEADER:%.*]]78; CHECK: for.body.preheader:79; CHECK-NEXT: [[TMP0:%.*]] = zext i32 [[N]] to i6480; CHECK-NEXT: [[TMP1:%.*]] = mul i64 [[TMP0]], 281; CHECK-NEXT: call void @llvm.experimental.memset.pattern.p0.i32.i64(ptr align 4 [[F:%.*]], i32 2, i64 [[TMP1]], i1 false)82; CHECK-NEXT: br label [[FOR_BODY:%.*]]83; CHECK: for.body:84; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ 0, [[FOR_BODY_PREHEADER]] ], [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY]] ]85; CHECK-NEXT: [[B:%.*]] = getelementptr inbounds [[STRUCT_FOO:%.*]], ptr [[F]], i64 [[INDVARS_IV]], i32 186; CHECK-NEXT: [[A:%.*]] = getelementptr inbounds [[STRUCT_FOO]], ptr [[F]], i64 [[INDVARS_IV]], i32 087; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 188; CHECK-NEXT: [[LFTR_WIDEIV:%.*]] = trunc i64 [[INDVARS_IV_NEXT]] to i3289; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i32 [[LFTR_WIDEIV]], [[N]]90; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY]], label [[FOR_END_LOOPEXIT:%.*]]91; CHECK: for.end.loopexit:92; CHECK-NEXT: br label [[FOR_END]]93; CHECK: for.end:94; CHECK-NEXT: ret void95;96entry:97 %cmp1 = icmp eq i32 %n, 098 br i1 %cmp1, label %for.end, label %for.body.preheader99 100for.body.preheader: ; preds = %entry101 br label %for.body102 103for.body: ; preds = %for.body.preheader, %for.body104 %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]105 %b = getelementptr inbounds %struct.foo, ptr %f, i64 %indvars.iv, i32 1106 store i32 2, ptr %b, align 4107 %a = getelementptr inbounds %struct.foo, ptr %f, i64 %indvars.iv, i32 0108 store i32 2, ptr %a, align 4109 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1110 %lftr.wideiv = trunc i64 %indvars.iv.next to i32111 %exitcond = icmp ne i32 %lftr.wideiv, %n112 br i1 %exitcond, label %for.body, label %for.end.loopexit113 114for.end.loopexit: ; preds = %for.body115 br label %for.end116 117for.end: ; preds = %for.end.loopexit, %entry118 ret void119}120 121;void bar3(foo_t *f, unsigned n) {122; for (unsigned i = n; i > 0; --i) {123; f[i].a = 2;124; f[i].b = 2;125; }126;}127define void @bar3(ptr nocapture %f, i32 %n) nounwind ssp {128; CHECK-LABEL: @bar3(129; CHECK-NEXT: entry:130; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[N:%.*]], 0131; CHECK-NEXT: br i1 [[CMP1]], label [[FOR_END:%.*]], label [[FOR_BODY_PREHEADER:%.*]]132; CHECK: for.body.preheader:133; CHECK-NEXT: [[TMP0:%.*]] = zext i32 [[N]] to i64134; CHECK-NEXT: [[TMP1:%.*]] = shl nuw nsw i64 [[TMP0]], 3135; CHECK-NEXT: [[TMP2:%.*]] = add i32 [[N]], -1136; CHECK-NEXT: [[TMP3:%.*]] = zext i32 [[TMP2]] to i64137; CHECK-NEXT: [[TMP4:%.*]] = shl nuw nsw i64 [[TMP3]], 3138; CHECK-NEXT: [[TMP5:%.*]] = sub i64 [[TMP1]], [[TMP4]]139; CHECK-NEXT: [[UGLYGEP:%.*]] = getelementptr i8, ptr [[F:%.*]], i64 [[TMP5]]140; CHECK-NEXT: [[TMP7:%.*]] = mul i64 [[TMP0]], 2141; CHECK-NEXT: call void @llvm.experimental.memset.pattern.p0.i32.i64(ptr align 4 [[UGLYGEP]], i32 2, i64 [[TMP7]], i1 false)142; CHECK-NEXT: br label [[FOR_BODY:%.*]]143; CHECK: for.body:144; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ [[TMP0]], [[FOR_BODY_PREHEADER]] ], [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY]] ]145; CHECK-NEXT: [[A:%.*]] = getelementptr inbounds [[STRUCT_FOO:%.*]], ptr [[F]], i64 [[INDVARS_IV]], i32 0146; CHECK-NEXT: [[B:%.*]] = getelementptr inbounds [[STRUCT_FOO]], ptr [[F]], i64 [[INDVARS_IV]], i32 1147; CHECK-NEXT: [[TMP6:%.*]] = trunc i64 [[INDVARS_IV]] to i32148; CHECK-NEXT: [[DEC:%.*]] = add i32 [[TMP6]], -1149; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[DEC]], 0150; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nsw i64 [[INDVARS_IV]], -1151; CHECK-NEXT: br i1 [[CMP]], label [[FOR_END_LOOPEXIT:%.*]], label [[FOR_BODY]]152; CHECK: for.end.loopexit:153; CHECK-NEXT: br label [[FOR_END]]154; CHECK: for.end:155; CHECK-NEXT: ret void156;157entry:158 %cmp1 = icmp eq i32 %n, 0159 br i1 %cmp1, label %for.end, label %for.body.preheader160 161for.body.preheader: ; preds = %entry162 %0 = zext i32 %n to i64163 br label %for.body164 165for.body: ; preds = %for.body.preheader, %for.body166 %indvars.iv = phi i64 [ %0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]167 %a = getelementptr inbounds %struct.foo, ptr %f, i64 %indvars.iv, i32 0168 store i32 2, ptr %a, align 4169 %b = getelementptr inbounds %struct.foo, ptr %f, i64 %indvars.iv, i32 1170 store i32 2, ptr %b, align 4171 %1 = trunc i64 %indvars.iv to i32172 %dec = add i32 %1, -1173 %cmp = icmp eq i32 %dec, 0174 %indvars.iv.next = add nsw i64 %indvars.iv, -1175 br i1 %cmp, label %for.end.loopexit, label %for.body176 177for.end.loopexit: ; preds = %for.body178 br label %for.end179 180for.end: ; preds = %for.end.loopexit, %entry181 ret void182}183 184;void bar4(foo_t *f, unsigned n) {185; for (unsigned i = 0; i < n; ++i) {186; f[i].a = 0;187; f[i].b = 1;188; }189;}190define void @bar4(ptr nocapture %f, i32 %n) nounwind ssp {191; CHECK-LABEL: @bar4(192; CHECK-NEXT: entry:193; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[N:%.*]], 0194; CHECK-NEXT: br i1 [[CMP1]], label [[FOR_END:%.*]], label [[FOR_BODY_PREHEADER:%.*]]195; CHECK: for.body.preheader:196; CHECK-NEXT: br label [[FOR_BODY:%.*]]197; CHECK: for.body:198; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ 0, [[FOR_BODY_PREHEADER]] ], [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY]] ]199; CHECK-NEXT: [[A:%.*]] = getelementptr inbounds [[STRUCT_FOO:%.*]], ptr [[F:%.*]], i64 [[INDVARS_IV]], i32 0200; CHECK-NEXT: store i32 0, ptr [[A]], align 4201; CHECK-NEXT: [[B:%.*]] = getelementptr inbounds [[STRUCT_FOO]], ptr [[F]], i64 [[INDVARS_IV]], i32 1202; CHECK-NEXT: store i32 1, ptr [[B]], align 4203; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1204; CHECK-NEXT: [[LFTR_WIDEIV:%.*]] = trunc i64 [[INDVARS_IV_NEXT]] to i32205; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i32 [[LFTR_WIDEIV]], [[N]]206; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY]], label [[FOR_END_LOOPEXIT:%.*]]207; CHECK: for.end.loopexit:208; CHECK-NEXT: br label [[FOR_END]]209; CHECK: for.end:210; CHECK-NEXT: ret void211;212entry:213 %cmp1 = icmp eq i32 %n, 0214 br i1 %cmp1, label %for.end, label %for.body.preheader215 216for.body.preheader: ; preds = %entry217 br label %for.body218 219for.body: ; preds = %for.body.preheader, %for.body220 %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]221 %a = getelementptr inbounds %struct.foo, ptr %f, i64 %indvars.iv, i32 0222 store i32 0, ptr %a, align 4223 %b = getelementptr inbounds %struct.foo, ptr %f, i64 %indvars.iv, i32 1224 store i32 1, ptr %b, align 4225 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1226 %lftr.wideiv = trunc i64 %indvars.iv.next to i32227 %exitcond = icmp ne i32 %lftr.wideiv, %n228 br i1 %exitcond, label %for.body, label %for.end.loopexit229 230for.end.loopexit: ; preds = %for.body231 br label %for.end232 233for.end: ; preds = %for.end.loopexit, %entry234 ret void235}236 237;void bar5(foo1_t *f, unsigned n) {238; for (unsigned i = 0; i < n; ++i) {239; f[i].a = 1;240; f[i].b = 1;241; }242;}243define void @bar5(ptr nocapture %f, i32 %n) nounwind ssp {244; CHECK-LABEL: @bar5(245; CHECK-NEXT: entry:246; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[N:%.*]], 0247; CHECK-NEXT: br i1 [[CMP1]], label [[FOR_END:%.*]], label [[FOR_BODY_PREHEADER:%.*]]248; CHECK: for.body.preheader:249; CHECK-NEXT: br label [[FOR_BODY:%.*]]250; CHECK: for.body:251; CHECK-NEXT: [[INDVARS_IV:%.*]] = phi i64 [ 0, [[FOR_BODY_PREHEADER]] ], [ [[INDVARS_IV_NEXT:%.*]], [[FOR_BODY]] ]252; CHECK-NEXT: [[A:%.*]] = getelementptr inbounds [[STRUCT_FOO1:%.*]], ptr [[F:%.*]], i64 [[INDVARS_IV]], i32 0253; CHECK-NEXT: store i32 1, ptr [[A]], align 4254; CHECK-NEXT: [[B:%.*]] = getelementptr inbounds [[STRUCT_FOO1]], ptr [[F]], i64 [[INDVARS_IV]], i32 1255; CHECK-NEXT: store i32 1, ptr [[B]], align 4256; CHECK-NEXT: [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1257; CHECK-NEXT: [[LFTR_WIDEIV:%.*]] = trunc i64 [[INDVARS_IV_NEXT]] to i32258; CHECK-NEXT: [[EXITCOND:%.*]] = icmp ne i32 [[LFTR_WIDEIV]], [[N]]259; CHECK-NEXT: br i1 [[EXITCOND]], label [[FOR_BODY]], label [[FOR_END_LOOPEXIT:%.*]]260; CHECK: for.end.loopexit:261; CHECK-NEXT: br label [[FOR_END]]262; CHECK: for.end:263; CHECK-NEXT: ret void264;265entry:266 %cmp1 = icmp eq i32 %n, 0267 br i1 %cmp1, label %for.end, label %for.body.preheader268 269for.body.preheader: ; preds = %entry270 br label %for.body271 272for.body: ; preds = %for.body.preheader, %for.body273 %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ]274 %a = getelementptr inbounds %struct.foo1, ptr %f, i64 %indvars.iv, i32 0275 store i32 1, ptr %a, align 4276 %b = getelementptr inbounds %struct.foo1, ptr %f, i64 %indvars.iv, i32 1277 store i32 1, ptr %b, align 4278 %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1279 %lftr.wideiv = trunc i64 %indvars.iv.next to i32280 %exitcond = icmp ne i32 %lftr.wideiv, %n281 br i1 %exitcond, label %for.body, label %for.end.loopexit282 283for.end.loopexit: ; preds = %for.body284 br label %for.end285 286for.end: ; preds = %for.end.loopexit, %entry287 ret void288}289;.290; CHECK: attributes #[[ATTR0:[0-9]+]] = { nounwind ssp }291; CHECK: attributes #[[ATTR1:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: write) }292;.293