1; RUN: opt -S -loop-vectorize < %s | FileCheck %s
2target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
3target triple = "i686-pc-windows-msvc18.0.0"
4
5define void @test1() #0 personality i32 (...)* @__CxxFrameHandler3 {
6entry:
7  invoke void @_CxxThrowException(i8* null, i8* null)
8          to label %unreachable unwind label %catch.dispatch
9
10catch.dispatch:                                   ; preds = %entry
11  %0 = catchswitch within none [label %catch] unwind to caller
12
13catch:                                            ; preds = %catch.dispatch
14  %1 = catchpad within %0 [i8* null, i32 64, i8* null]
15  br label %for.body
16
17for.cond.cleanup:                                 ; preds = %for.body
18  catchret from %1 to label %try.cont
19
20for.body:                                         ; preds = %for.body, %catch
21  %i.07 = phi i32 [ 0, %catch ], [ %inc, %for.body ]
22  %call = call double @floor(double 1.0) #1 [ "funclet"(token %1) ]
23  %inc = add nuw nsw i32 %i.07, 1
24  %exitcond = icmp eq i32 %inc, 1024
25  br i1 %exitcond, label %for.cond.cleanup, label %for.body
26
27try.cont:                                         ; preds = %for.cond.cleanup
28  ret void
29
30unreachable:                                      ; preds = %entry
31  unreachable
32}
33
34; CHECK-LABEL: define void @test1(
35; CHECK: %[[cpad:.*]] = catchpad within {{.*}} [i8* null, i32 64, i8* null]
36; CHECK: call <16 x double> @llvm.floor.v16f64(<16 x double> {{.*}}) [ "funclet"(token %[[cpad]]) ]
37
38declare x86_stdcallcc void @_CxxThrowException(i8*, i8*)
39
40declare i32 @__CxxFrameHandler3(...)
41
42declare double @floor(double) #1
43
44attributes #0 = { "target-features"="+sse2" }
45attributes #1 = { nounwind readnone }
46