Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 27010074fb25e8ac9a42f9828e3e0243c0217bdb / . / llvm / test / CodeGen / AArch64 / extern-weak.ll
blob: 7c78f9a815e1b84b965a5857700950012b176218 [file] [log] [blame]
Tim Northover27010072014-04-15 13:59:44 +0000[diff] [blame^]1; RUN: llc -mtriple=aarch64-none-linux-gnu -o - < %s | FileCheck %s --check-prefix=CHECK-AARCH64
Tim Northover2dbef342013-05-04 16:53:46 +0000[diff] [blame]2; RUN: llc -mtriple=aarch64-none-linux-gnu -code-model=large -o - < %s | FileCheck --check-prefix=CHECK-LARGE %s
Tim Northover27010072014-04-15 13:59:44 +0000[diff] [blame^]3; RUN: llc -mtriple=arm64-none-linux-gnu -o - %s | FileCheck %s --check-prefix=CHECK-ARM64
4; RUN: llc -mtriple=arm64-none-linux-gnu -code-model=large -o - %s | FileCheck --check-prefix=CHECK-LARGE %s
Tim Northover228d9d32013-02-06 16:43:33 +0000[diff] [blame]5
6declare extern_weak i32 @var()
7
8define i32()* @foo() {
9; The usual ADRP/ADD pair can't be used for a weak reference because it must
10; evaluate to 0 if the symbol is undefined. We use a litpool entry.
11 ret i32()* @var
Tim Northover27010072014-04-15 13:59:44 +0000[diff] [blame^]12; CHECK-AARCH64: .LCPI0_0:
13; CHECK-AARCH64-NEXT: .xword var
Tim Northover3533ad6b2013-02-15 09:33:43 +0000[diff] [blame]14
Tim Northover27010072014-04-15 13:59:44 +0000[diff] [blame^]15; CHECK-AARCH64: ldr x0, [{{x[0-9]+}}, #:lo12:.LCPI0_0]
16
17; CHECK-ARM64: adrp x[[ADDRHI:[0-9]+]], :got:var
18; CHECK-ARM64: ldr x0, [x[[ADDRHI]], :got_lo12:var]
Tim Northover3533ad6b2013-02-15 09:33:43 +0000[diff] [blame]19
Tim Northover2dbef342013-05-04 16:53:46 +0000[diff] [blame]20 ; In the large model, the usual relocations are absolute and can
21 ; materialise 0.
22; CHECK-LARGE: movz x0, #:abs_g3:var
23; CHECK-LARGE: movk x0, #:abs_g2_nc:var
24; CHECK-LARGE: movk x0, #:abs_g1_nc:var
25; CHECK-LARGE: movk x0, #:abs_g0_nc:var
Tim Northover228d9d32013-02-06 16:43:33 +0000[diff] [blame]26}
Tim Northoverb9d4fd22013-02-28 14:36:24 +0000[diff] [blame]27
28
29@arr_var = extern_weak global [10 x i32]
30
31define i32* @bar() {
32 %addr = getelementptr [10 x i32]* @arr_var, i32 0, i32 5
Tim Northover27010072014-04-15 13:59:44 +0000[diff] [blame^]33; CHECK-AARCH64: .LCPI1_0:
34; CHECK-AARCH64-NEXT: .xword arr_var
Tim Northoverb9d4fd22013-02-28 14:36:24 +0000[diff] [blame]35
Tim Northover27010072014-04-15 13:59:44 +0000[diff] [blame^]36; CHECK-AARCH64: ldr [[BASE:x[0-9]+]], [{{x[0-9]+}}, #:lo12:.LCPI1_0]
37; CHECK-AARCH64: add x0, [[BASE]], #20
38
39; CHECK-ARM64: adrp x[[ADDRHI:[0-9]+]], :got:arr_var
40; CHECK-ARM64: ldr [[BASE:x[0-9]+]], [x[[ADDRHI]], :got_lo12:arr_var]
41; CHECK-ARM64: add x0, [[BASE]], #20
42
Tim Northoverb9d4fd22013-02-28 14:36:24 +0000[diff] [blame]43 ret i32* %addr
Tim Northover2dbef342013-05-04 16:53:46 +0000[diff] [blame]44
45 ; In the large model, the usual relocations are absolute and can
46 ; materialise 0.
Tim Northover27010072014-04-15 13:59:44 +0000[diff] [blame^]47; CHECK-LARGE: movz [[ADDR:x[0-9]+]], #:abs_g3:arr_var
48; CHECK-LARGE: movk [[ADDR]], #:abs_g2_nc:arr_var
49; CHECK-LARGE: movk [[ADDR]], #:abs_g1_nc:arr_var
50; CHECK-LARGE: movk [[ADDR]], #:abs_g0_nc:arr_var
Tim Northoverc3c5c092013-02-28 14:36:31 +0000[diff] [blame]51}
52
53@defined_weak_var = internal unnamed_addr global i32 0
54
55define i32* @wibble() {
56 ret i32* @defined_weak_var
Tim Northover27010072014-04-15 13:59:44 +0000[diff] [blame^]57; CHECK-AARCH64: adrp [[BASE:x[0-9]+]], defined_weak_var
58; CHECK-AARCH64: add x0, [[BASE]], #:lo12:defined_weak_var
59
60; CHECK-ARM64: adrp [[BASE:x[0-9]+]], defined_weak_var
61; CHECK-ARM64: add x0, [[BASE]], :lo12:defined_weak_var
Tim Northover2dbef342013-05-04 16:53:46 +0000[diff] [blame]62
63; CHECK-LARGE: movz x0, #:abs_g3:defined_weak_var
64; CHECK-LARGE: movk x0, #:abs_g2_nc:defined_weak_var
65; CHECK-LARGE: movk x0, #:abs_g1_nc:defined_weak_var
66; CHECK-LARGE: movk x0, #:abs_g0_nc:defined_weak_var
Stephen Linf799e3f2013-07-13 20:38:47 +0000[diff] [blame]67}