1; RUN: opt -inline -S -o - < %s | FileCheck %s
2
3%0 = type opaque
4%struct.Foo = type { i32, %0* }
5
6; Test that we don't crash when inlining @bar (rdar://22521387).
7define void @foo(%struct.Foo* align 4 %a) {
8entry:
9  call fastcc void @bar(%struct.Foo* nonnull align 4 undef)
10
11; CHECK: call void @llvm.assume(i1 undef)
12; CHECK: unreachable
13
14  ret void
15}
16
17define fastcc void @bar(%struct.Foo* align 4 %a) {
18; CHECK-LABEL: @bar
19entry:
20  %b = getelementptr inbounds %struct.Foo, %struct.Foo* %a, i32 0, i32 1
21  br i1 undef, label %if.end, label %if.then.i.i
22
23if.then.i.i:
24  call void @llvm.assume(i1 undef)
25  unreachable
26
27if.end:
28  ret void
29}
30
31declare void @llvm.assume(i1)
32