72 lines · plain
1; RUN: opt -passes=loop-vectorize -pass-remarks=loop-vectorize -S < %s 2>&1 | FileCheck %s2 3; FIXME: Check for -pass-remarks-missed and -pass-remarks-analysis output when4; addAcyclicInnerLoop emits analysis.5 6; Check that opt does not crash on such input:7;8; a, b, c;9; fn1() {10; while (b--) {11; c = a;12; switch (a & 3)13; case 0:14; do15; case 3:16; case 2:17; case 1:18; ;19; while (--c)20; ;21; }22; }23 24@b = common global i32 0, align 425@a = common global i32 0, align 426@c = common global i32 0, align 427 28; CHECK-NOT: vectorized loop29; CHECK-LABEL: fn130 31define void @fn1() {32entry:33 %tmp2 = load i32, ptr @b, align 434 %dec3 = add nsw i32 %tmp2, -135 store i32 %dec3, ptr @b, align 436 %tobool4 = icmp eq i32 %tmp2, 037 br i1 %tobool4, label %while.end, label %while.body.lr.ph38 39while.body.lr.ph: ; preds = %entry40 %tmp1 = load i32, ptr @a, align 441 %and = and i32 %tmp1, 342 %switch = icmp eq i32 %and, 043 br label %while.body44 45while.cond: ; preds = %do.cond46 %dec = add nsw i32 %dec7, -147 %tobool = icmp eq i32 %dec7, 048 br i1 %tobool, label %while.cond.while.end_crit_edge, label %while.body49 50while.body: ; preds = %while.body.lr.ph, %while.cond51 %dec7 = phi i32 [ %dec3, %while.body.lr.ph ], [ %dec, %while.cond ]52 br i1 %switch, label %do.body, label %do.cond53 54do.body: ; preds = %do.cond, %while.body55 %dec25 = phi i32 [ %dec2, %do.cond ], [ %tmp1, %while.body ]56 br label %do.cond57 58do.cond: ; preds = %do.body, %while.body59 %dec26 = phi i32 [ %dec25, %do.body ], [ %tmp1, %while.body ]60 %dec2 = add nsw i32 %dec26, -161 %tobool3 = icmp eq i32 %dec2, 062 br i1 %tobool3, label %while.cond, label %do.body63 64while.cond.while.end_crit_edge: ; preds = %while.cond65 store i32 0, ptr @c, align 466 store i32 -1, ptr @b, align 467 br label %while.end68 69while.end: ; preds = %while.cond.while.end_crit_edge, %entry70 ret void71}72