1; RUN: llc -mtriple=x86_64-apple-darwin %s -o %t 2; RUN: FileCheck %s -check-prefix=X86 < %t 3; RUN: FileCheck %s -check-prefix=X86-GOT-EQUIV < %t 4; RUN: FileCheck %s -check-prefix=X86-NOGOT-EQUIV < %t 5 6; GOT equivalent globals references can be replaced by the GOT entry of the 7; final symbol instead. 8 9%struct.data = type { i32, %struct.anon } 10%struct.anon = type { i32, i32 } 11 12; Check that these got equivalent symbols are never emitted. 13 14; X86-GOT-EQUIV-NOT: L_localgotequiv 15; X86-GOT-EQUIV-NOT: l_extgotequiv 16@localfoo = global i32 42 17@localgotequiv = private unnamed_addr constant i32* @localfoo 18 19@extfoo = external global i32 20@extgotequiv = private unnamed_addr constant i32* @extfoo 21 22; Don't replace GOT equivalent usage within instructions and emit the GOT 23; equivalent since it can't be replaced by the GOT entry. @bargotequiv is 24; used by an instruction inside @t0. 25; 26; X86: l_bargotequiv: 27; X86-NEXT: .quad _extbar 28@extbar = external global i32 29@bargotequiv = private unnamed_addr constant i32* @extbar 30 31@table = global [4 x %struct.data] [ 32 %struct.data { i32 1, %struct.anon { i32 2, i32 3 } }, 33; Test GOT equivalent usage inside nested constant arrays. 34 35; X86: .long 5 36; X86-NOT: .long _localgotequiv-(_table+20) 37; X86-NEXT: .long _localfoo@GOTPCREL+4 38 %struct.data { i32 4, %struct.anon { i32 5, 39 i32 trunc (i64 sub (i64 ptrtoint (i32** @localgotequiv to i64), 40 i64 ptrtoint (i32* getelementptr inbounds ([4 x %struct.data], [4 x %struct.data]* @table, i32 0, i64 1, i32 1, i32 1) to i64)) 41 to i32)} 42 }, 43; X86: .long 5 44; X86-NOT: _extgotequiv-(_table+32) 45; X86-NEXT: .long _extfoo@GOTPCREL+4 46 %struct.data { i32 4, %struct.anon { i32 5, 47 i32 trunc (i64 sub (i64 ptrtoint (i32** @extgotequiv to i64), 48 i64 ptrtoint (i32* getelementptr inbounds ([4 x %struct.data], [4 x %struct.data]* @table, i32 0, i64 2, i32 1, i32 1) to i64)) 49 to i32)} 50 }, 51; Test support for arbitrary constants into the GOTPCREL offset. 52 53; X86: .long 5 54; X86-NOT: _extgotequiv-(_table+44) 55; X86-NEXT: .long _extfoo@GOTPCREL+28 56 %struct.data { i32 4, %struct.anon { i32 5, 57 i32 add (i32 trunc (i64 sub (i64 ptrtoint (i32** @extgotequiv to i64), 58 i64 ptrtoint (i32* getelementptr inbounds ([4 x %struct.data], [4 x %struct.data]* @table, i32 0, i64 3, i32 1, i32 1) to i64)) 59 to i32), i32 24)} 60 } 61], align 16 62 63; Test multiple uses of GOT equivalents. 64 65; X86-LABEL: _delta 66; X86: .long _extfoo@GOTPCREL+4 67@delta = global i32 trunc (i64 sub (i64 ptrtoint (i32** @extgotequiv to i64), 68 i64 ptrtoint (i32* @delta to i64)) 69 to i32) 70 71; X86-LABEL: _deltaplus: 72; X86: .long _localfoo@GOTPCREL+59 73@deltaplus = global i32 add (i32 trunc (i64 sub (i64 ptrtoint (i32** @localgotequiv to i64), 74 i64 ptrtoint (i32* @deltaplus to i64)) 75 to i32), i32 55) 76 77define i32 @t0(i32 %a) { 78 %x = add i32 trunc (i64 sub (i64 ptrtoint (i32** @bargotequiv to i64), 79 i64 ptrtoint (i32 (i32)* @t0 to i64)) 80 to i32), %a 81 ret i32 %x 82} 83 84; Also test direct instruction uses. 85define i32** @t1() { 86 ret i32** @bargotequiv 87} 88 89; Do not crash when a pattern cannot be matched as a GOT equivalent 90define void @foo() { 91; X86-NOGOT-EQUIV-LABEL: _foo: 92; X86-NOGOT-EQUIV: leaq _b(%rip), %rax 93 store i8** @b, i8*** null 94 ret void 95} 96@a = external global i8 97@b = internal unnamed_addr constant i8* @a 98 99; X86-NOGOT-EQUIV-LABEL: _c: 100; X86-NOGOT-EQUIV: .quad _b 101@c = global i8** @b 102