48 lines · plain
1; RUN: opt <%s -p "print<scalar-evolution>" -disable-output 2>&1 | FileCheck %s2; RUN: opt <%s -p "loop(loop-idiom),print<scalar-evolution>" -disable-output 2>&1 | FileCheck %s3 4; CHECK: backedge-taken count is i64 15 6; IR corresponds to the following C test:7; extern char a[];8; void foo() {9; for (long c = 0; c < 6; c += -2078836808675943215)10; for (long d; d < 6; d++)11; a[c + d] = 0;12; }13 14@a = external global [0 x i8]15 16define void @foo() {17entry:18 br label %outerL19 20outerL: ; preds = %entry, %outerLatch21 %e = phi i64 [ poison, %entry ], [ %lcssa, %outerLatch ]22 %c = phi i64 [ 0, %entry ], [ %c.next, %outerLatch ]23 %e.cmp = icmp slt i64 %e, 624 br i1 %e.cmp, label %innerL, label %outerLatch25 26innerL: ; preds = %outerL, %innerL27 %d = phi i64 [ %d.next, %innerL ], [ %e, %outerL ]28 %add = add nsw i64 %d, %c29 %arrayidx = getelementptr inbounds [0 x i8], ptr @a, i64 0, i64 %add30 store i8 0, ptr %arrayidx31 %d.next = add nsw i64 %d, 132 %d.cmp = icmp slt i64 %d, 533 br i1 %d.cmp, label %innerL, label %outerLatch, !llvm.loop !034 35outerLatch: ; preds = %innerL, %outerL36 %lcssa = phi i64 [ %e, %outerL ], [ %d.next, %innerL ]37 %c.next = add nsw i64 %c, -207883680867594321538 %c.cmp = icmp slt i64 %c, 207883680867594322139 br i1 %c.cmp, label %outerL, label %exit, !llvm.loop !140 41exit: ; preds = %outerLatch42 ret void43}44 45!0 = distinct !{!0, !2}46!1 = distinct !{!1, !2}47!2 = !{!"llvm.loop.mustprogress"}48