test/Transforms/Inline/inline-indirect.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

; RUN: opt < %s -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(void ()*) {
  call void @llvm.assume(i1 true)
  call void %0();
  ret void
}

define void @baz() {
  call void @bar(void ()* @foo)
  ret void
}