Anton Korobeynikov | 8b0a8c8 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | llvm-dis > %t1.ll |
| 2 | ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll |
| 3 | ; RUN: diff %t1.ll %t2.ll |
| 4 | |
Rafael Espindola | cde25b4 | 2013-04-22 14:58:02 +0000 | [diff] [blame] | 5 | @llvm.used = appending global [1 x i8*] [i8* bitcast (i32* @foo1 to i8*)], section "llvm.metadata" |
| 6 | |
Rafael Espindola | 38048cd | 2014-03-12 20:15:49 +0000 | [diff] [blame] | 7 | @bar = global i32 0 |
David Blaikie | 21f77df | 2015-09-11 03:22:04 +0000 | [diff] [blame] | 8 | @foo1 = alias i32, i32* @bar |
| 9 | @foo2 = alias i32, i32* @bar |
| 10 | @foo3 = alias i32, i32* @foo2 |
| 11 | @foo4 = unnamed_addr alias i32, i32* @foo2 |
Anton Korobeynikov | 8b0a8c8 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 12 | |
Bob Wilson | 7418e1f | 2014-06-12 21:37:30 +0000 | [diff] [blame] | 13 | ; Make sure the verifier does not complain about references to a global |
| 14 | ; declaration from an initializer. |
| 15 | @decl = external global i32 |
| 16 | @ptr = global i32* @decl |
David Blaikie | 21f77df | 2015-09-11 03:22:04 +0000 | [diff] [blame] | 17 | @ptr_a = alias i32*, i32** @ptr |
Bob Wilson | 7418e1f | 2014-06-12 21:37:30 +0000 | [diff] [blame] | 18 | |
Anton Korobeynikov | 8b0a8c8 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 19 | %FunTy = type i32() |
| 20 | |
Rafael Espindola | 38048cd | 2014-03-12 20:15:49 +0000 | [diff] [blame] | 21 | define i32 @foo_f() { |
| 22 | ret i32 0 |
| 23 | } |
David Blaikie | 21f77df | 2015-09-11 03:22:04 +0000 | [diff] [blame] | 24 | @bar_f = weak_odr alias %FunTy, %FunTy* @foo_f |
| 25 | @bar_ff = alias i32(), i32()* @bar_f |
Anton Korobeynikov | 8b0a8c8 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 26 | |
David Blaikie | 21f77df | 2015-09-11 03:22:04 +0000 | [diff] [blame] | 27 | @bar_i = internal alias i32, i32* @bar |
Anton Korobeynikov | 8b0a8c8 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 28 | |
David Blaikie | 21f77df | 2015-09-11 03:22:04 +0000 | [diff] [blame] | 29 | @A = alias i64, bitcast (i32* @bar to i64*) |
Anton Korobeynikov | a80e118 | 2007-04-28 13:45:00 +0000 | [diff] [blame] | 30 | |
Anton Korobeynikov | 8b0a8c8 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 31 | define i32 @test() { |
| 32 | entry: |
David Blaikie | 7c9c6ed | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 33 | %tmp = load i32, i32* @foo1 |
| 34 | %tmp1 = load i32, i32* @foo2 |
| 35 | %tmp0 = load i32, i32* @bar_i |
Anton Korobeynikov | 8b0a8c8 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 36 | %tmp2 = call i32 @foo_f() |
| 37 | %tmp3 = add i32 %tmp, %tmp2 |
David Blaikie | 32b845d | 2015-04-16 23:24:18 +0000 | [diff] [blame] | 38 | %tmp4 = call %FunTy @bar_f() |
Anton Korobeynikov | 8b0a8c8 | 2007-04-25 14:27:10 +0000 | [diff] [blame] | 39 | %tmp5 = add i32 %tmp3, %tmp4 |
| 40 | %tmp6 = add i32 %tmp1, %tmp5 |
| 41 | %tmp7 = add i32 %tmp6, %tmp0 |
| 42 | ret i32 %tmp7 |
| 43 | } |