70 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 42; RUN: opt -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-classify-expressions=0 < %s 2>&1 | FileCheck %s3 4 5define i32 @multiple_exits_with_predicates(ptr %src1, ptr readonly %src2, i32 %end) {6; CHECK-LABEL: 'multiple_exits_with_predicates'7; CHECK-NEXT: Determining loop execution counts for: @multiple_exits_with_predicates8; CHECK-NEXT: Loop %for.body: <multiple exits> Unpredictable backedge-taken count.9; CHECK-NEXT: exit count for for.body: ***COULDNOTCOMPUTE***10; CHECK-NEXT: predicated exit count for for.body: i32 102311; CHECK-NEXT: Predicates:12; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>13; CHECK-EMPTY:14; CHECK-NEXT: exit count for for.work: ***COULDNOTCOMPUTE***15; CHECK-NEXT: exit count for for.inc: ***COULDNOTCOMPUTE***16; CHECK-NEXT: predicated exit count for for.inc: (-1 + (1 umax %end))17; CHECK-NEXT: Predicates:18; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>19; CHECK-EMPTY:20; CHECK-NEXT: Loop %for.body: Unpredictable constant max backedge-taken count.21; CHECK-NEXT: Loop %for.body: Unpredictable symbolic max backedge-taken count.22; CHECK-NEXT: symbolic max exit count for for.body: ***COULDNOTCOMPUTE***23; CHECK-NEXT: predicated symbolic max exit count for for.body: i32 102324; CHECK-NEXT: Predicates:25; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>26; CHECK-EMPTY:27; CHECK-NEXT: symbolic max exit count for for.work: ***COULDNOTCOMPUTE***28; CHECK-NEXT: symbolic max exit count for for.inc: ***COULDNOTCOMPUTE***29; CHECK-NEXT: predicated symbolic max exit count for for.inc: (-1 + (1 umax %end))30; CHECK-NEXT: Predicates:31; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>32; CHECK-EMPTY:33; CHECK-NEXT: Loop %for.body: Predicated constant max backedge-taken count is i32 102334; CHECK-NEXT: Predicates:35; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>36; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>37; CHECK-NEXT: Loop %for.body: Predicated symbolic max backedge-taken count is (1023 umin (-1 + (1 umax %end)))38; CHECK-NEXT: Predicates:39; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>40; CHECK-NEXT: {1,+,1}<%for.body> Added Flags: <nusw>41;42entry:43 br label %for.body44 45for.body:46 %index = phi i8 [ %index.next, %for.inc ], [ 0, %entry ]47 %index.next = add i8 %index, 148 %conv = zext i8 %index.next to i3249 %cmp.body = icmp ne i32 %conv, 102450 br i1 %cmp.body, label %for.work, label %exit51 52for.work:53 %arrayidx = getelementptr inbounds i32, ptr %src1, i8 %index54 %0 = load i32, ptr %arrayidx, align 455 %arrayidx3 = getelementptr inbounds i32, ptr %src2, i8 %index56 %1 = load i32, ptr %arrayidx3, align 457 %cmp.work = icmp eq i32 %0, %158 br i1 %cmp.work, label %found, label %for.inc59 60for.inc:61 %cmp.inc = icmp ult i32 %conv, %end62 br i1 %cmp.inc, label %for.body, label %exit63 64found:65 ret i32 166 67exit:68 ret i32 069}70