llvm/test/Transforms/LoopVectorize/fcmp-vectorize.ll

   1 ; RUN: opt -passes=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.
   5 define 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 nuw i32 %index, 4
  10
  11 entry:
  12   br label %loop
  13
  14 loop:                                              ; 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
  21 exit:                                              ; preds = %loop
  22   ret void
  23 }