1 ; RUN: opt -inline -S -o - < %s | FileCheck %s
4 %struct.Foo = type { i32, %0* }
6 ; Test that we don't crash when inlining @bar (rdar://22521387).
7 define void @foo(%struct.Foo* align 4 %a) {
9 call fastcc void @bar(%struct.Foo* nonnull align 4 undef)
11 ; CHECK: call void @llvm.assume(i1 undef)
17 define fastcc void @bar(%struct.Foo* align 4 %a) {
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
24 call void @llvm.assume(i1 undef)
31 declare void @llvm.assume(i1)