1; RUN: opt -loop-vectorize -force-vector-width=4 -force-vector-interleave=1 -S %s | FileCheck %s
2
3; Avoid crashing while trying to vectorize fcmp that can be folded to vector of
4; i1 true.
5define void @test1() {
6; CHECK-LABEL: test1(
7; CHECK-LABEL: vector.body:
8; CHECK-NEXT:    %index = phi i32 [ 0, %vector.ph ], [ %index.next, %vector.body ]
9; CHECK:         %index.next = add i32 %index, 4
10
11entry:
12  br label %loop
13
14loop:                                              ; preds = %loop, %entry
15  %iv = phi i32 [ 0, %entry ], [ %ivnext, %loop ]
16  %fcmp = fcmp uno float 0.000000e+00, 0.000000e+00
17  %ivnext = add nsw i32 %iv, 1
18  %cnd = icmp sgt i32 %iv, 142
19  br i1 %cnd, label %exit, label %loop
20
21exit:                                              ; preds = %loop
22  ret void
23}
24