1; RUN: opt < %s -instsimplify -S | FileCheck %s
2
3declare void @bar()
4
5define void @test1() personality i32 (i32, i64, i8*, i8*)* @__gxx_personality_v0 {
6entry:
7  invoke void @bar() to label %cont unwind label %lpad
8cont:
9  ret void
10lpad:
11  %ex = landingpad { i8*, i32 } 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-LABEL: @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-LABEL: @test2(
29}
30
31define i32 @test3(i32 %a, float %b) {
32  %agg1 = insertvalue {i32, float} undef, i32 %a, 0
33  %agg2 = insertvalue {i32, float} %agg1, float %b, 1
34  %ev = extractvalue {i32, float} %agg2, 0
35  ret i32 %ev
36; CHECK-LABEL: @test3(
37; CHECK: ret i32 %a
38}
39
40define i8 @test4(<8 x i8> %V) {
41  %add     = add <8 x i8> %V, bitcast (double 0x319BEB8FD172E36 to <8 x i8>)
42  %extract = extractelement <8 x i8> %add, i32 6
43  ret i8 %extract
44; CHECK-LABEL: @test4(
45; CHECK: %[[add:.*]] = add <8 x i8> %V, bitcast (<1 x double> <double 0x319BEB8FD172E36> to <8 x i8>)
46; CHECK-NEXT: %[[extract:.*]] = extractelement <8 x i8> %[[add]], i32 6
47; CHECK-NEXT: ret i8 %[[extract]]
48}
49
50define i32 @test5(<4 x i32> %V) {
51  %extract = extractelement <4 x i32> %V, i32 undef
52  ret i32 %extract
53}
54; CHECK-LABEL: @test5(
55; CHECK: ret i32 undef
56