| ; RUN: opt < %s -passes=inline -disable-output 2>/dev/null | |
| ; This test used to trigger an assertion in the assumption cache when | |
| ; inlining the indirect call | |
| declare void @llvm.assume(i1) | |
| define void @foo() { | |
| ret void | |
| } | |
| define void @bar(ptr) { | |
| call void @llvm.assume(i1 true) | |
| call void %0(); | |
| ret void | |
| } | |
| define void @baz() { | |
| call void @bar(ptr @foo) | |
| ret void | |
| } |