| Rafael Espindola | 8d30480 | 2013-06-12 16:45:47 +0000 | [diff] [blame^] | 1 | ; We use a temporary file so that the test fails when opt crashes. |
| 2 | |
| 3 | ; RUN: opt < %s -globalopt -S > %t |
| 4 | ; RUN: FileCheck %s < %t |
| Anton Korobeynikov | a9b60ee | 2008-09-09 19:04:59 +0000 | [diff] [blame] | 5 | |
| 6 | @foo1 = alias void ()* @foo2 |
| Rafael Espindola | fb3fc0b | 2013-06-12 16:35:53 +0000 | [diff] [blame] | 7 | ; CHECK: @foo1 = alias void ()* @foo2 |
| 8 | |
| Anton Korobeynikov | a9b60ee | 2008-09-09 19:04:59 +0000 | [diff] [blame] | 9 | @foo2 = alias weak void()* @bar1 |
| Rafael Espindola | fb3fc0b | 2013-06-12 16:35:53 +0000 | [diff] [blame] | 10 | ; CHECK: @foo2 = alias weak void ()* @bar2 |
| 11 | |
| Anton Korobeynikov | a9b60ee | 2008-09-09 19:04:59 +0000 | [diff] [blame] | 12 | @bar1 = alias void ()* @bar2 |
| Rafael Espindola | fb3fc0b | 2013-06-12 16:35:53 +0000 | [diff] [blame] | 13 | ; CHECK: @bar1 = alias void ()* @bar2 |
| Anton Korobeynikov | a9b60ee | 2008-09-09 19:04:59 +0000 | [diff] [blame] | 14 | |
| 15 | declare void @bar2() |
| Rafael Espindola | fb3fc0b | 2013-06-12 16:35:53 +0000 | [diff] [blame] | 16 | ; CHECK: declare void @bar2() |
| Anton Korobeynikov | a9b60ee | 2008-09-09 19:04:59 +0000 | [diff] [blame] | 17 | |
| 18 | define void @baz() { |
| 19 | entry: |
| Rafael Espindola | fb3fc0b | 2013-06-12 16:35:53 +0000 | [diff] [blame] | 20 | call void @foo1() |
| 21 | ; CHECK: call void @foo2() |
| 22 | |
| 23 | call void @foo2() |
| 24 | ; CHECK: call void @foo2() |
| 25 | |
| 26 | call void @bar1() |
| 27 | ; CHECK: call void @bar2() |
| 28 | |
| 29 | ret void |
| Anton Korobeynikov | a9b60ee | 2008-09-09 19:04:59 +0000 | [diff] [blame] | 30 | } |
| Rafael Espindola | 8d30480 | 2013-06-12 16:45:47 +0000 | [diff] [blame^] | 31 | |
| 32 | @foo3 = alias void ()* @bar3 |
| 33 | ; CHECK-NOT: bar3 |
| 34 | |
| 35 | define internal void @bar3() { |
| 36 | ret void |
| 37 | } |
| 38 | ;CHECK: define void @foo3 |