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