1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
3
4declare void @bar()
5
6define void @test1() personality ptr @__gxx_personality_v0 {
7; CHECK-LABEL: @test1(
8; CHECK-NEXT:  entry:
9; CHECK-NEXT:    invoke void @bar()
10; CHECK-NEXT:    to label [[CONT:%.*]] unwind label [[LPAD:%.*]]
11; CHECK:       cont:
12; CHECK-NEXT:    ret void
13; CHECK:       lpad:
14; CHECK-NEXT:    [[EX:%.*]] = landingpad { ptr, i32 }
15; CHECK-NEXT:    cleanup
16; CHECK-NEXT:    resume { ptr, i32 } [[EX]]
17;
18entry:
19  invoke void @bar() to label %cont unwind label %lpad
20cont:
21  ret void
22lpad:
23  %ex = landingpad { ptr, i32 } cleanup
24  %exc_ptr = extractvalue { ptr, i32 } %ex, 0
25  %filter = extractvalue { ptr, i32 } %ex, 1
26  %exc_ptr2 = insertvalue { ptr, i32 } undef, ptr %exc_ptr, 0
27  %filter2 = insertvalue { ptr, i32 } %exc_ptr2, i32 %filter, 1
28  resume { ptr, i32 } %filter2
29}
30
31declare i32 @__gxx_personality_v0(i32, i64, ptr, ptr)
32
33define { i8, i32 } @test2({ ptr, i32 } %x) {
34; CHECK-LABEL: @test2(
35; CHECK-NEXT:    [[EX:%.*]] = extractvalue { ptr, i32 } [[X:%.*]], 1
36; CHECK-NEXT:    [[INS:%.*]] = insertvalue { i8, i32 } undef, i32 [[EX]], 1
37; CHECK-NEXT:    ret { i8, i32 } [[INS]]
38;
39  %ex = extractvalue { ptr, i32 } %x, 1
40  %ins = insertvalue { i8, i32 } undef, i32 %ex, 1
41  ret { i8, i32 } %ins
42}
43
44define i32 @test3(i32 %a, float %b) {
45; CHECK-LABEL: @test3(
46; CHECK-NEXT:    ret i32 [[A:%.*]]
47;
48  %agg1 = insertvalue {i32, float} undef, i32 %a, 0
49  %agg2 = insertvalue {i32, float} %agg1, float %b, 1
50  %ev = extractvalue {i32, float} %agg2, 0
51  ret i32 %ev
52}
53
54define i8 @test4(<8 x i8> %V) {
55; CHECK-LABEL: @test4(
56; CHECK-NEXT:    [[ADD:%.*]] = add <8 x i8> [[V:%.*]], bitcast (<1 x double> <double 0x319BEB8FD172E36> to <8 x i8>)
57; CHECK-NEXT:    [[EXTRACT:%.*]] = extractelement <8 x i8> [[ADD]], i32 6
58; CHECK-NEXT:    ret i8 [[EXTRACT]]
59;
60  %add     = add <8 x i8> %V, bitcast (double 0x319BEB8FD172E36 to <8 x i8>)
61  %extract = extractelement <8 x i8> %add, i32 6
62  ret i8 %extract
63}
64
65define i32 @test5(<4 x i32> %V) {
66; CHECK-LABEL: @test5(
67; CHECK-NEXT:    ret i32 poison
68;
69  %extract = extractelement <4 x i32> %V, i32 undef
70  ret i32 %extract
71}
72