45 lines · plain
1; RUN: opt < %s -passes=loop-vectorize -debug-only=loop-vectorize -S -disable-output 2>&1 | FileCheck %s2; REQUIRES: asserts3 4; Make sure LV legal bails out when there is a non-int, non-ptr phi5; CHECK-LABEL: 'invalid_phi_types'6; CHECK: LV: Not vectorizing: Found a non-int non-pointer PHI.7define i32 @invalid_phi_types() {8entry:9 br label %for.body10 11for.body:12 %i.02 = phi i32 [ 0, %entry ], [ %inc, %for.body ]13 %vec.sum.02 = phi <2 x i32> [ zeroinitializer, %entry ], [ <i32 8, i32 8>, %for.body ]14 %inc = add nsw i32 %i.02, 115 %cmp = icmp slt i32 %inc, 1616 br i1 %cmp, label %for.body, label %for.end17 18for.end:19 ret i32 020}21 22; D4097323; Make sure LV legal bails out when the loop doesn't have a legal pre-header.24; CHECK-LABEL: 'inc'25; CHECK: LV: Not vectorizing: Loop doesn't have a legal pre-header.26define void @inc(i32 %n, ptr %P) {27 %1 = icmp sgt i32 %n, 028 br i1 %1, label %BB1, label %BB229 30BB1:31 indirectbr ptr %P, [label %.lr.ph]32 33BB2:34 br label %.lr.ph35 36.lr.ph:37 %indvars.iv = phi i32 [ %indvars.iv.next, %.lr.ph ], [ 0, %BB1 ], [ 0, %BB2 ]38 %indvars.iv.next = add i32 %indvars.iv, 139 %exitcond = icmp eq i32 %indvars.iv.next, %n40 br i1 %exitcond, label %._crit_edge, label %.lr.ph41 42._crit_edge:43 ret void44}45