1; RUN: opt < %s -instsimplify -S | FileCheck %s
2
3declare void @bar()
4
5define void @test1() {
6entry:
7  invoke void @bar() to label %cont unwind label %lpad
8cont:
9  ret void
10lpad:
11  %ex = landingpad { i8*, i32 } personality i32 (i32, i64, i8*, i8*)* @__gxx_personality_v0 cleanup
12  %exc_ptr = extractvalue { i8*, i32 } %ex, 0
13  %filter = extractvalue { i8*, i32 } %ex, 1
14  %exc_ptr2 = insertvalue { i8*, i32 } undef, i8* %exc_ptr, 0
15  %filter2 = insertvalue { i8*, i32 } %exc_ptr2, i32 %filter, 1
16  resume { i8*, i32 } %filter2
17; CHECK: @test1
18; CHECK-NOT: extractvalue
19; CHECK-NOT: insertvalue
20}
21
22declare i32 @__gxx_personality_v0(i32, i64, i8*, i8*)
23
24define { i8, i32 } @test2({ i8*, i32 } %x) {
25  %ex = extractvalue { i8*, i32 } %x, 1
26  %ins = insertvalue { i8, i32 } undef, i32 %ex, 1
27  ret { i8, i32 } %ins
28; CHECK: @test2
29}
30