1; RUN: opt -slp-vectorizer -S < %s | FileCheck %s 2target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" 3target triple = "x86_64-pc-windows-msvc18.0.0" 4 5%struct.B = type { i64, i64 } 6 7define void @test1(%struct.B* %p) personality i32 (...)* @__CxxFrameHandler3 { 8invoke.cont: 9 %gep1 = getelementptr inbounds %struct.B, %struct.B* %p, i64 0, i32 0 10 %gep2 = getelementptr inbounds %struct.B, %struct.B* %p, i64 0, i32 1 11 %load1 = load i64, i64* %gep1, align 8 12 %load2 = load i64, i64* %gep2, align 8 13 store i64 %load1, i64* %gep1, align 8 14 store i64 %load2, i64* %gep2, align 8 15 invoke void @throw() 16 to label %unreachable unwind label %catch.dispatch 17 18catch.dispatch: ; preds = %invoke.cont 19 %cs = catchswitch within none [label %invoke.cont1] unwind label %ehcleanup 20 21invoke.cont1: ; preds = %catch.dispatch 22 %catch = catchpad within %cs [i8* null, i32 64, i8* null] 23 invoke void @throw() [ "funclet"(token %catch) ] 24 to label %unreachable unwind label %ehcleanup 25 26ehcleanup: ; preds = %invoke.cont1, %catch.dispatch 27 %phi = phi i64 [ %load1, %catch.dispatch ], [ 9, %invoke.cont1 ] 28 %cleanup = cleanuppad within none [] 29 call void @release(i64 %phi) [ "funclet"(token %cleanup) ] 30 cleanupret from %cleanup unwind to caller 31 32unreachable: ; preds = %invoke.cont1, %invoke.cont 33 unreachable 34} 35 36 37; CHECK-LABEL: define void @test1( 38; CHECK: %[[gep:.*]] = getelementptr inbounds %struct.B, %struct.B* %p, i64 0, i32 0 39; CHECK: %[[bc:.*]] = bitcast i64* %[[gep]] to <2 x i64>* 40; CHECK: %[[ld:.*]] = load <2 x i64>, <2 x i64>* %[[bc]], align 8 41; CHECK: %[[ee:.*]] = extractelement <2 x i64> %[[ld]], i32 0 42 43; CHECK: %[[phi:.*]] = phi i64 [ %[[ee]], {{.*}} ], [ 9, {{.*}} ] 44; CHECK: call void @release(i64 %[[phi]]) 45 46declare i32 @__CxxFrameHandler3(...) 47 48declare void @throw() 49 50declare void @release(i64) 51