test/Transforms/LoopVectorize/X86/funclet.ll

   1 ; RUN: opt -S -loop-vectorize < %s | FileCheck %s
   2 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
   3 target triple = "i686-pc-windows-msvc18.0.0"
   4
   5 define void @test1() #0 personality i32 (...)* @__CxxFrameHandler3 {
   6 entry:
   7   invoke void @_CxxThrowException(i8* null, i8* null)
   8           to label %unreachable unwind label %catch.dispatch
   9
  10 catch.dispatch:                                   ; preds = %entry
  11   %0 = catchswitch within none [label %catch] unwind to caller
  12
  13 catch:                                            ; preds = %catch.dispatch
  14   %1 = catchpad within %0 [i8* null, i32 64, i8* null]
  15   br label %for.body
  16
  17 for.cond.cleanup:                                 ; preds = %for.body
  18   catchret from %1 to label %try.cont
  19
  20 for.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
  27 try.cont:                                         ; preds = %for.cond.cleanup
  28   ret void
  29
  30 unreachable:                                      ; 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
  38 declare x86_stdcallcc void @_CxxThrowException(i8*, i8*)
  39
  40 declare i32 @__CxxFrameHandler3(...)
  41
  42 declare double @floor(double) #1
  43
  44 attributes #0 = { "target-features"="+sse2" }
  45 attributes #1 = { nounwind readnone }