| Bjorn Steinbrink | 6f972a1 | 2015-02-12 21:04:22 +0000 | [diff] [blame] | 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 | } | ||||