test/Transforms/SLPVectorizer/X86/funclet.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -slp-vectorizer < %s | FileCheck %s
   3 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
   4 target triple = "i686-pc-windows-msvc18.0.0"
   5
   6 define void @test1(double* %a, double* %b, double* %c) #0 personality i32 (...)* @__CxxFrameHandler3 {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    invoke void @_CxxThrowException(i8* null, i8* null)
  10 ; CHECK-NEXT:    to label [[UNREACHABLE:%.*]] unwind label [[CATCH_DISPATCH:%.*]]
  11 ; CHECK:       catch.dispatch:
  12 ; CHECK-NEXT:    [[TMP0:%.*]] = catchswitch within none [label %catch] unwind to caller
  13 ; CHECK:       catch:
  14 ; CHECK-NEXT:    [[TMP1:%.*]] = catchpad within [[TMP0]] [i8* null, i32 64, i8* null]
  15 ; CHECK-NEXT:    [[ARRAYIDX3:%.*]] = getelementptr inbounds double, double* [[A:%.*]], i64 1
  16 ; CHECK-NEXT:    [[TMP2:%.*]] = bitcast double* [[A]] to <2 x double>*
  17 ; CHECK-NEXT:    [[TMP3:%.*]] = load <2 x double>, <2 x double>* [[TMP2]], align 8
  18 ; CHECK-NEXT:    [[ARRAYIDX4:%.*]] = getelementptr inbounds double, double* [[B:%.*]], i64 1
  19 ; CHECK-NEXT:    [[TMP4:%.*]] = bitcast double* [[B]] to <2 x double>*
  20 ; CHECK-NEXT:    [[TMP5:%.*]] = load <2 x double>, <2 x double>* [[TMP4]], align 8
  21 ; CHECK-NEXT:    [[TMP6:%.*]] = fmul <2 x double> [[TMP3]], [[TMP5]]
  22 ; CHECK-NEXT:    [[TMP7:%.*]] = call <2 x double> @llvm.floor.v2f64(<2 x double> [[TMP6]]) [ "funclet"(token [[TMP1]]) ]
  23 ; CHECK-NEXT:    [[ARRAYIDX5:%.*]] = getelementptr inbounds double, double* [[C:%.*]], i64 1
  24 ; CHECK-NEXT:    [[TMP8:%.*]] = bitcast double* [[C]] to <2 x double>*
  25 ; CHECK-NEXT:    store <2 x double> [[TMP7]], <2 x double>* [[TMP8]], align 8
  26 ; CHECK-NEXT:    catchret from [[TMP1]] to label [[TRY_CONT:%.*]]
  27 ; CHECK:       try.cont:
  28 ; CHECK-NEXT:    ret void
  29 ; CHECK:       unreachable:
  30 ; CHECK-NEXT:    unreachable
  31 ;
  32 entry:
  33   invoke void @_CxxThrowException(i8* null, i8* null)
  34   to label %unreachable unwind label %catch.dispatch
  35
  36 catch.dispatch:                                   ; preds = %entry
  37   %0 = catchswitch within none [label %catch] unwind to caller
  38
  39 catch:                                            ; preds = %catch.dispatch
  40   %1 = catchpad within %0 [i8* null, i32 64, i8* null]
  41   %i0 = load double, double* %a, align 8
  42   %i1 = load double, double* %b, align 8
  43   %mul = fmul double %i0, %i1
  44   %call = tail call double @floor(double %mul) #1 [ "funclet"(token %1) ]
  45   %arrayidx3 = getelementptr inbounds double, double* %a, i64 1
  46   %i3 = load double, double* %arrayidx3, align 8
  47   %arrayidx4 = getelementptr inbounds double, double* %b, i64 1
  48   %i4 = load double, double* %arrayidx4, align 8
  49   %mul5 = fmul double %i3, %i4
  50   %call5 = tail call double @floor(double %mul5) #1 [ "funclet"(token %1) ]
  51   store double %call, double* %c, align 8
  52   %arrayidx5 = getelementptr inbounds double, double* %c, i64 1
  53   store double %call5, double* %arrayidx5, align 8
  54   catchret from %1 to label %try.cont
  55
  56 try.cont:                                         ; preds = %for.cond.cleanup
  57   ret void
  58
  59 unreachable:                                      ; preds = %entry
  60   unreachable
  61 }
  62
  63 declare x86_stdcallcc void @_CxxThrowException(i8*, i8*)
  64
  65 declare i32 @__CxxFrameHandler3(...)
  66
  67 declare double @floor(double) #1
  68
  69 attributes #0 = { "target-features"="+sse2" }
  70 attributes #1 = { nounwind readnone }