test/Transforms/Inline/inline-indirect.ll

   1 ; RUN: opt < %s -inline -disable-output 2>/dev/null
   2 ; This test used to trigger an assertion in the assumption cache when
   3 ; inlining the indirect call
   4 declare void @llvm.assume(i1)
   5
   6 define void @foo() {
   7   ret void
   8 }
   9
  10 define void @bar(void ()*) {
  11   call void @llvm.assume(i1 true)
  12   call void %0();
  13   ret void
  14 }
  15
  16 define void @baz() {
  17   call void @bar(void ()* @foo)
  18   ret void
  19 }