44 lines · plain
1; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s2; PR32753 4; CHECK: Printing analysis 'Scalar Evolution Analysis' for function 'func_15'5; CHECK-NOT: /u -16 7@g_16 = external global i16 ; <ptr> [#uses=3]8@.str = external constant [4 x i8] ; <ptr> [#uses=0]9 10define void @func_15() nounwind {11entry:12 %0 = load i16, ptr @g_16, align 2 ; <i16> [#uses=1]13 %1 = icmp sgt i16 %0, 0 ; <i1> [#uses=1]14 br i1 %1, label %bb2, label %bb.nph15 16bb.nph: ; preds = %entry17 %g_16.promoted = load i16, ptr @g_16 ; <i16> [#uses=1]18 br label %bb19 20bb: ; preds = %bb1, %bb.nph21 %g_16.tmp.0 = phi i16 [ %g_16.promoted, %bb.nph ], [ %2, %bb1 ] ; <i16> [#uses=1]22 %2 = add i16 %g_16.tmp.0, -1 ; <i16> [#uses=3]23 br label %bb124 25bb1: ; preds = %bb26 %3 = icmp sgt i16 %2, 0 ; <i1> [#uses=1]27 br i1 %3, label %bb1.bb2_crit_edge, label %bb28 29bb1.bb2_crit_edge: ; preds = %bb130 store i16 %2, ptr @g_1631 br label %bb232 33bb2: ; preds = %bb1.bb2_crit_edge, %entry34 br label %return35 36return: ; preds = %bb237 ret void38}39 40declare i32 @main() nounwind41 42declare i32 @printf(ptr, ...) nounwind43 44