| Hans Wennborg | 21ce8ec | 2015-11-10 09:47:48 +0000 | [diff] [blame^] | 1 | ; RUN: opt -inline -S %s | FileCheck %s |
| 2 | |||||
| 3 | define void @f() { | ||||
| 4 | entry: | ||||
| 5 | tail call void @g() | ||||
| 6 | unreachable | ||||
| 7 | |||||
| 8 | ; CHECK-LABEL: @f | ||||
| 9 | ; CHECK-NOT: call | ||||
| 10 | ; CHECK: unreachable | ||||
| 11 | } | ||||
| 12 | |||||
| 13 | define void @g() { | ||||
| 14 | entry: | ||||
| 15 | unreachable | ||||
| 16 | } | ||||
| 17 | |||||