27 lines · plain
1; RUN: opt "-passes=loop(indvars),print<scalar-evolution>" -disable-output < %s 2>&1 | FileCheck %s2; This test checks if the SCEV analysis is printed out at all.3; It failed once as the RequiredTransitive option was not implemented4; correctly.5 6; CHECK: Classifying expressions for: @main7 8define i32 @main() nounwind {9entry:10 br label %for.cond11 12for.cond: ; preds = %for.inc, %entry13 %indvar1 = phi i64 [ %indvar.next2, %for.inc ], [ 0, %entry ] ; <i64> [#uses=3]14 %exitcond = icmp ne i64 %indvar1, 1024 ; <i1> [#uses=1]15 br i1 %exitcond, label %for.body, label %for.end16 17for.body: ; preds = %for.cond18 br label %for.inc19 20for.inc: ; preds = %for.body21 %indvar.next2 = add i64 %indvar1, 1 ; <i64> [#uses=1]22 br label %for.cond23 24for.end: ; preds = %for.cond25 ret i32 026}27