| Duncan Sands | 6a3df7b | 2009-12-08 10:10:20 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -globalopt -S | FileCheck %s |
| Duncan Sands | b3f2788 | 2009-02-15 09:56:08 +0000 | [diff] [blame] | 2 | |
| 3 | define internal void @f() { | ||||
| Stephen Lin | c89a0ec | 2013-07-14 02:10:57 +0000 | [diff] [blame] | 4 | ; CHECK-NOT: @f( |
| Duncan Sands | 6a3df7b | 2009-12-08 10:10:20 +0000 | [diff] [blame] | 5 | ; CHECK: define void @a |
| Duncan Sands | b3f2788 | 2009-02-15 09:56:08 +0000 | [diff] [blame] | 6 | ret void |
| 7 | } | ||||
| 8 | |||||
| David Blaikie | 2f40830 | 2015-09-11 03:22:04 +0000 | [diff] [blame] | 9 | @a = alias void (), void ()* @f |
| Duncan Sands | b3f2788 | 2009-02-15 09:56:08 +0000 | [diff] [blame] | 10 | |
| 11 | define void @g() { | ||||
| David Blaikie | 23af648 | 2015-04-16 23:24:18 +0000 | [diff] [blame] | 12 | call void() @a() |
| Duncan Sands | b3f2788 | 2009-02-15 09:56:08 +0000 | [diff] [blame] | 13 | ret void |
| 14 | } | ||||
| Duncan Sands | 6a3df7b | 2009-12-08 10:10:20 +0000 | [diff] [blame] | 15 | |
| David Blaikie | 2f40830 | 2015-09-11 03:22:04 +0000 | [diff] [blame] | 16 | @b = internal alias void (), void ()* @g |
| Duncan Sands | 6a3df7b | 2009-12-08 10:10:20 +0000 | [diff] [blame] | 17 | ; CHECK-NOT: @b |
| 18 | |||||
| 19 | define void @h() { | ||||
| David Blaikie | 23af648 | 2015-04-16 23:24:18 +0000 | [diff] [blame] | 20 | call void() @b() |
| Duncan Sands | 6a3df7b | 2009-12-08 10:10:20 +0000 | [diff] [blame] | 21 | ; CHECK: call void @g |
| 22 | ret void | ||||
| 23 | } | ||||
| 24 | |||||