Home | History | Annotate | Download | only in Inline 
      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 }
     20