62 lines · plain
1; RUN: opt -S -passes=loop-unroll -unroll-force-peel-count=1 -verify-dom-info <%s2 3; Check if loop composed of several BBs is peeled correctly.4 5declare void @funcb()6@Comma = external global i87define void @funca(ptr readnone %b, ptr readnone %e) {8entry:9 %cmp2 = icmp eq ptr %b, %e10 br i1 %cmp2, label %for.end, label %for.body.preheader11 12for.body.preheader:13 br label %for.body14 15for.body:16 %b.addr.03 = phi ptr [ %incdec.ptr, %for.inc ], [ %b, %for.body.preheader ]17 %0 = load i8, ptr @Comma18 %tobool = icmp eq i8 %0, 019 br i1 %tobool, label %for.inc, label %if.then20 21if.then:22 tail call void @funcb()23 store i8 1, ptr @Comma24 br label %for.inc25 26for.inc:27 %incdec.ptr = getelementptr inbounds i8, ptr %b.addr.03, i64 128 %cmp = icmp eq ptr %incdec.ptr, %e29 br i1 %cmp, label %for.end, label %for.body30 31for.end:32 ret void33}34 35; CHECK_LABEL: @funca36 37; Peeled iteration38; CHECK: %[[REG1:[0-9]+]] = load i8, ptr @Comma39; CHECK: %[[REG2:.*]] = icmp eq i8 %[[REG1]], 040; CHECK: br i1 %[[REG2]], label %{{.*}}, label %[[IFTHEN:.*]]41; CHECK: [[IFTHEN]]:42; CHECK: call void @funcb()43; CHECK: store i8 1, ptr @Comma44; CHECK: br label %[[FORINC]]45; CHECK: [[FORINC]]:46; CHECK: %[[REG3:.*]] = getelementptr inbounds i8, ptr %b, i64 147; CHECK: %[[REG4:.*]] = icmp eq ptr %[[REG3]], %e48; CHECK: br i1 %[[REG4]]49 50; main body51; CHECK: %[[REG1b:.*]] = load i8, ptr @Comma52; CHECK: %[[REG2b:.*]] = icmp eq i8 %[[REG1b]], 053; CHECK: br i1 %[[REG2b]], label %{{.*}}, label %[[IFTHENb:.*]]54; CHECK: [[IFTHENb]]:55; CHECK: call void @funcb()56; CHECK: store i8 1, ptr @Comma57; CHECK: br label %[[FORINCb]]58; CHECK: [[FORINCb]]:59; CHECK: %[[REG3b:.*]] = getelementptr inbounds i8, ptr %b, i64 160; CHECK: %[[REG4b:.*]] = icmp eq ptr %[[REG3b]], %e61; CHECK: br i1 %[[REG4b]]62