58 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -S -passes='move-auto-init' -verify-memoryssa | FileCheck %s3 4declare void @dummy()5declare void @dummy1()6 7define void @test() personality ptr @dummy {8; CHECK-LABEL: define void @test() personality ptr @dummy {9; CHECK-NEXT: entry:10; CHECK-NEXT: [[P:%.*]] = alloca [2 x i16], i32 0, align 211; CHECK-NEXT: br label [[MIDDLE:%.*]]12; CHECK: middle:13; CHECK-NEXT: store i32 0, ptr [[P]], align 2, !annotation [[META0:![0-9]+]]14; CHECK-NEXT: [[CALL:%.*]] = invoke ptr @dummy()15; CHECK-NEXT: to label [[CLEAN:%.*]] unwind label [[CATCHBB:%.*]]16; CHECK: clean:17; CHECK-NEXT: ret void18; CHECK: catchbb:19; CHECK-NEXT: [[CS:%.*]] = catchswitch within none [label [[PAD:%.*]], label %pad1] unwind to caller20; CHECK: pad:21; CHECK-NEXT: [[C:%.*]] = catchpad within [[CS]] [i32 0]22; CHECK-NEXT: call void @dummy1()23; CHECK-NEXT: ret void24; CHECK: pad1:25; CHECK-NEXT: [[C1:%.*]] = catchpad within [[CS]] [i32 0]26; CHECK-NEXT: call void @dummy1()27; CHECK-NEXT: ret void28;29entry:30 %p = alloca [2 x i16], i32 0, align 231 store i32 0, ptr %p, align 2, !annotation !032 br label %middle33 34middle:35 %call = invoke ptr @dummy() to label %clean unwind label %catchbb36 37clean:38 ret void39 40catchbb:41 %cs = catchswitch within none [label %pad, label %pad1] unwind to caller42 43pad:44 %c = catchpad within %cs [i32 0]45 call void @dummy1()46 ret void47 48pad1:49 %c1 = catchpad within %cs [i32 0]50 call void @dummy1()51 ret void52}53 54!0 = !{!"auto-init"}55;.56; CHECK: [[META0]] = !{!"auto-init"}57;.58