Rafael Espindola | d8e637e | 2014-11-24 20:35:59 +0000 | [diff] [blame] | 1 | ; RUN: llvm-link %s %S/Inputs/testlink.ll -S | FileCheck %s |
Chris Lattner | 285c68d | 2001-10-13 07:15:38 +0000 | [diff] [blame] | 2 | |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 3 | ; CHECK: %Ty2 = type { %Ty1* } |
| 4 | ; CHECK: %Ty1 = type { %Ty2* } |
| 5 | %Ty1 = type opaque |
| 6 | %Ty2 = type { %Ty1* } |
| 7 | |
| 8 | ; CHECK: %intlist = type { %intlist*, i32 } |
| 9 | %intlist = type { %intlist*, i32 } |
| 10 | |
| 11 | ; The uses of intlist in the other file should be remapped. |
| 12 | ; CHECK-NOT: {{%intlist.[0-9]}} |
| 13 | |
Joey Gouly | 2b8f6ae | 2013-01-10 10:49:36 +0000 | [diff] [blame] | 14 | ; CHECK: %VecSize = type { <5 x i32> } |
| 15 | ; CHECK: %VecSize.{{[0-9]}} = type { <10 x i32> } |
| 16 | %VecSize = type { <5 x i32> } |
| 17 | |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 18 | %Struct1 = type opaque |
| 19 | @S1GV = external global %Struct1* |
| 20 | |
| 21 | |
| 22 | @GVTy1 = external global %Ty1* |
| 23 | @GVTy2 = global %Ty2* null |
| 24 | |
| 25 | |
| 26 | ; This should stay the same |
Rafael Espindola | e77177b | 2014-12-08 16:46:52 +0000 | [diff] [blame] | 27 | ; CHECK-DAG: @MyIntList = global %intlist { %intlist* null, i32 17 } |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 28 | @MyIntList = global %intlist { %intlist* null, i32 17 } |
| 29 | |
| 30 | |
| 31 | ; Nothing to link here. |
| 32 | |
Rafael Espindola | e77177b | 2014-12-08 16:46:52 +0000 | [diff] [blame] | 33 | ; CHECK-DAG: @0 = external global i32 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 34 | @0 = external global i32 |
Rafael Espindola | 0178d23 | 2015-12-07 16:31:41 +0000 | [diff] [blame] | 35 | |
| 36 | define i32* @use0() { |
| 37 | ret i32* @0 |
| 38 | } |
| 39 | |
Rafael Espindola | e77177b | 2014-12-08 16:46:52 +0000 | [diff] [blame] | 40 | ; CHECK-DAG: @Inte = global i32 1 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 41 | @Inte = global i32 1 |
| 42 | |
| 43 | ; Intern1 is intern in both files, rename testlink2's. |
Rafael Espindola | e77177b | 2014-12-08 16:46:52 +0000 | [diff] [blame] | 44 | ; CHECK-DAG: @Intern1 = internal constant i32 42 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 45 | @Intern1 = internal constant i32 42 |
| 46 | |
Rafael Espindola | 7fd7eff | 2014-12-08 18:45:16 +0000 | [diff] [blame] | 47 | @UseIntern1 = global i32* @Intern1 |
| 48 | |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 49 | ; This should get renamed since there is a definition that is non-internal in |
| 50 | ; the other module. |
Rafael Espindola | a2197f8 | 2015-11-22 00:16:24 +0000 | [diff] [blame] | 51 | ; CHECK-DAG: @Intern2.{{[0-9]+}} = internal constant i32 792 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 52 | @Intern2 = internal constant i32 792 |
| 53 | |
Rafael Espindola | 7fd7eff | 2014-12-08 18:45:16 +0000 | [diff] [blame] | 54 | @UseIntern2 = global i32* @Intern2 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 55 | |
Rafael Espindola | e77177b | 2014-12-08 16:46:52 +0000 | [diff] [blame] | 56 | ; CHECK-DAG: @MyVarPtr = linkonce global { i32* } { i32* @MyVar } |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 57 | @MyVarPtr = linkonce global { i32* } { i32* @MyVar } |
| 58 | |
Rafael Espindola | 7fd7eff | 2014-12-08 18:45:16 +0000 | [diff] [blame] | 59 | @UseMyVarPtr = global { i32* }* @MyVarPtr |
| 60 | |
Rafael Espindola | e77177b | 2014-12-08 16:46:52 +0000 | [diff] [blame] | 61 | ; CHECK-DAG: @MyVar = global i32 4 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 62 | @MyVar = external global i32 |
| 63 | |
| 64 | ; Take value from other module. |
Rafael Espindola | e77177b | 2014-12-08 16:46:52 +0000 | [diff] [blame] | 65 | ; CHECK-DAG: AConst = constant i32 1234 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 66 | @AConst = linkonce constant i32 123 |
| 67 | |
| 68 | ; Renamed version of Intern1. |
Sunil Srivastava | 561c44f | 2015-05-12 16:47:30 +0000 | [diff] [blame] | 69 | ; CHECK-DAG: @Intern1.{{[0-9]+}} = internal constant i32 52 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 70 | |
| 71 | |
| 72 | ; Globals linked from testlink2. |
Rafael Espindola | e77177b | 2014-12-08 16:46:52 +0000 | [diff] [blame] | 73 | ; CHECK-DAG: @Intern2 = constant i32 12345 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 74 | |
Rafael Espindola | e77177b | 2014-12-08 16:46:52 +0000 | [diff] [blame] | 75 | ; CHECK-DAG: @MyIntListPtr = constant |
| 76 | ; CHECK-DAG: @1 = constant i32 412 |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 77 | |
Chris Lattner | 285c68d | 2001-10-13 07:15:38 +0000 | [diff] [blame] | 78 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 79 | declare i32 @foo(i32) |
Andrew Lenharth | c8782ad | 2006-12-15 17:34:37 +0000 | [diff] [blame] | 80 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 81 | declare void @print(i32) |
Chris Lattner | 285c68d | 2001-10-13 07:15:38 +0000 | [diff] [blame] | 82 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 83 | define void @main() { |
David Blaikie | 7c9c6ed | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 84 | %v1 = load i32, i32* @MyVar |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 85 | call void @print(i32 %v1) |
David Blaikie | 198d8ba | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 86 | %idx = getelementptr %intlist, %intlist* @MyIntList, i64 0, i32 1 |
David Blaikie | 7c9c6ed | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 87 | %v2 = load i32, i32* %idx |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 88 | call void @print(i32 %v2) |
| 89 | %1 = call i32 @foo(i32 5) |
David Blaikie | 7c9c6ed | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 90 | %v3 = load i32, i32* @MyVar |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 91 | call void @print(i32 %v3) |
David Blaikie | 7c9c6ed | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 92 | %v4 = load i32, i32* %idx |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 93 | call void @print(i32 %v4) |
| 94 | ret void |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 95 | } |
Chris Lattner | 285c68d | 2001-10-13 07:15:38 +0000 | [diff] [blame] | 96 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 97 | define internal void @testintern() { |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 98 | ret void |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 99 | } |
Chris Lattner | b4b07c7 | 2001-11-26 19:17:06 +0000 | [diff] [blame] | 100 | |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 101 | define internal void @Testintern() { |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 102 | ret void |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 103 | } |
| 104 | |
| 105 | define void @testIntern() { |
Chris Lattner | 1afcace | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 106 | ret void |
Tanya Lattner | ceca194 | 2008-03-10 07:21:50 +0000 | [diff] [blame] | 107 | } |
Joey Gouly | 2b8f6ae | 2013-01-10 10:49:36 +0000 | [diff] [blame] | 108 | |
Rafael Espindola | 0178d23 | 2015-12-07 16:31:41 +0000 | [diff] [blame] | 109 | define void @VecSizeCrash(%VecSize) { |
| 110 | ret void |
| 111 | } |