; 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 | |
} |