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