; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -loop-vectorize -S %s -mattr=+avx512f | FileCheck %s

target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.15.0"

; Make sure non-power-of-2 types are handled correctly, i.e., MaxVF is still a power-of-2.

; Test case from PR46139.

define x86_fp80 @test() {
; CHECK-LABEL: @test(
; CHECK-NEXT:  foo.exit:
; CHECK-NEXT:    br label [[FOR_BODY3_I_3:%.*]]
; CHECK:       for.body3.i.3:
; CHECK-NEXT:    [[N_ADDR_112_I_3:%.*]] = phi i64 [ [[DEC_I_3:%.*]], [[FOR_BODY3_I_3]] ], [ 24, [[FOO_EXIT:%.*]] ]
; CHECK-NEXT:    [[X_ADDR_111_I_3:%.*]] = phi x86_fp80 [ [[MUL_I_3:%.*]], [[FOR_BODY3_I_3]] ], [ undef, [[FOO_EXIT]] ]
; CHECK-NEXT:    [[MUL_I_3]] = fmul x86_fp80 [[X_ADDR_111_I_3]], 0xK40008000000000000000
; CHECK-NEXT:    [[DEC_I_3]] = add nsw i64 [[N_ADDR_112_I_3]], -1
; CHECK-NEXT:    [[CMP2_I_3:%.*]] = icmp sgt i64 [[N_ADDR_112_I_3]], 1
; CHECK-NEXT:    br i1 [[CMP2_I_3]], label [[FOR_BODY3_I_3]], label [[FOO_EXIT_3:%.*]]
; CHECK:       foo.exit.3:
; CHECK-NEXT:    [[MUL_LCSSA:%.*]] = phi x86_fp80 [ [[MUL_I_3]], [[FOR_BODY3_I_3]] ]
; CHECK-NEXT:    ret x86_fp80 [[MUL_LCSSA]]
;
foo.exit:
  br label %for.body3.i.3

for.body3.i.3:                                    ; preds = %for.body3.i.3, %foo.exit
  %n.addr.112.i.3 = phi i64 [ %dec.i.3, %for.body3.i.3 ], [ 24, %foo.exit ]
  %x.addr.111.i.3 = phi x86_fp80 [ %mul.i.3, %for.body3.i.3 ], [ undef, %foo.exit ]
  %mul.i.3 = fmul x86_fp80 %x.addr.111.i.3, 0xK40008000000000000000
  %dec.i.3 = add nsw i64 %n.addr.112.i.3, -1
  %cmp2.i.3 = icmp sgt i64 %n.addr.112.i.3, 1
  br i1 %cmp2.i.3, label %for.body3.i.3, label %foo.exit.3

foo.exit.3:                                       ; preds = %for.body3.i.3
  %mul.lcssa = phi x86_fp80 [ %mul.i.3, %for.body3.i.3 ]
  ret x86_fp80 %mul.lcssa
}