; Test loads of symbolic addresses in PIC code.
;
; RUN: llc < %s -mtriple=s390x-linux-gnu -relocation-model=pic | FileCheck %s

@ev = external global i32
@dv = global i32 0
@pv = protected global i32 0
@hv = hidden global i32 0

declare void @ef()
define void @df() {
  ret void
}
define protected void @pf() {
  ret void
}
define hidden void @hf() {
  ret void
}

; Test loads of external variables, which must go via the GOT.
define i32 *@f1() {
; CHECK: f1:
; CHECK: lgrl %r2, ev@GOT
; CHECK: br %r14
  ret i32 *@ev
}

; Check loads of locally-defined normal-visibility variables, which might
; be overridden.  The load must go via the GOT.
define i32 *@f2() {
; CHECK: f2:
; CHECK: lgrl %r2, dv@GOT
; CHECK: br %r14
  ret i32 *@dv
}

; Check loads of protected variables, which in the small code model
; must be in range of LARL.
define i32 *@f3() {
; CHECK: f3:
; CHECK: larl %r2, pv
; CHECK: br %r14
  ret i32 *@pv
}

; ...likewise hidden variables.
define i32 *@f4() {
; CHECK: f4:
; CHECK: larl %r2, hv
; CHECK: br %r14
  ret i32 *@hv
}

; Like f1, but for functions.
define void() *@f5() {
; CHECK: f5:
; CHECK: lgrl %r2, ef@GOT
; CHECK: br %r14
  ret void() *@ef
}

; Like f2, but for functions.
define void() *@f6() {
; CHECK: f6:
; CHECK: lgrl %r2, df@GOT
; CHECK: br %r14
  ret void() *@df
}

; Like f3, but for functions.
define void() *@f7() {
; CHECK: f7:
; CHECK: larl %r2, pf
; CHECK: br %r14
  ret void() *@pf
}

; Like f4, but for functions.
define void() *@f8() {
; CHECK: f8:
; CHECK: larl %r2, hf
; CHECK: br %r14
  ret void() *@hf
}