llvm/test/CodeGen/AArch64/elf-globals-static.ll

   1 ; RUN: llc -mtriple=arm64 -o - %s -mcpu=cyclone | FileCheck %s
   2 ; RUN: llc -mtriple=arm64 -o - %s -O0 -fast-isel -mcpu=cyclone | FileCheck %s --check-prefix=CHECK-FAST
   3
   4 @var8 = external dso_local global i8, align 1
   5 @var16 = external dso_local global i16, align 2
   6 @var32 = external dso_local global i32, align 4
   7 @var64 = external dso_local global i64, align 8
   8
   9 define i8 @test_i8(i8 %new) {
  10   %val = load i8, i8* @var8, align 1
  11   store i8 %new, i8* @var8
  12   ret i8 %val
  13 ; CHECK-LABEL: test_i8:
  14 ; CHECK: adrp x[[HIREG:[0-9]+]], var8
  15 ; CHECK: ldrb {{w[0-9]+}}, [x[[HIREG]], :lo12:var8]
  16 ; CHECK: strb {{w[0-9]+}}, [x[[HIREG]], :lo12:var8]
  17
  18 ; CHECK-PIC-LABEL: test_i8:
  19 ; CHECK-PIC: adrp x[[HIREG:[0-9]+]], :got:var8
  20 ; CHECK-PIC: ldr x[[VAR_ADDR:[0-9]+]], [x[[HIREG]], :got_lo12:var8]
  21 ; CHECK-PIC: ldrb {{w[0-9]+}}, [x[[VAR_ADDR]]]
  22
  23 ; CHECK-FAST-LABEL: test_i8:
  24 ; CHECK-FAST: adrp x[[HIREG:[0-9]+]], var8
  25 ; CHECK-FAST: ldrb {{w[0-9]+}}, [x[[HIREG]], :lo12:var8]
  26 }
  27
  28 define i16 @test_i16(i16 %new) {
  29   %val = load i16, i16* @var16, align 2
  30   store i16 %new, i16* @var16
  31   ret i16 %val
  32 ; CHECK-LABEL: test_i16:
  33 ; CHECK: adrp x[[HIREG:[0-9]+]], var16
  34 ; CHECK: ldrh {{w[0-9]+}}, [x[[HIREG]], :lo12:var16]
  35 ; CHECK: strh {{w[0-9]+}}, [x[[HIREG]], :lo12:var16]
  36
  37 ; CHECK-FAST-LABEL: test_i16:
  38 ; CHECK-FAST: adrp x[[HIREG:[0-9]+]], var16
  39 ; CHECK-FAST: ldrh {{w[0-9]+}}, [x[[HIREG]], :lo12:var16]
  40 }
  41
  42 define i32 @test_i32(i32 %new) {
  43   %val = load i32, i32* @var32, align 4
  44   store i32 %new, i32* @var32
  45   ret i32 %val
  46 ; CHECK-LABEL: test_i32:
  47 ; CHECK: adrp x[[HIREG:[0-9]+]], var32
  48 ; CHECK: ldr {{w[0-9]+}}, [x[[HIREG]], :lo12:var32]
  49 ; CHECK: str {{w[0-9]+}}, [x[[HIREG]], :lo12:var32]
  50
  51 ; CHECK-FAST-LABEL: test_i32:
  52 ; CHECK-FAST: adrp x[[HIREG:[0-9]+]], var32
  53 ; CHECK-FAST: add {{x[0-9]+}}, x[[HIREG]], :lo12:var32
  54 }
  55
  56 define i64 @test_i64(i64 %new) {
  57   %val = load i64, i64* @var64, align 8
  58   store i64 %new, i64* @var64
  59   ret i64 %val
  60 ; CHECK-LABEL: test_i64:
  61 ; CHECK: adrp x[[HIREG:[0-9]+]], var64
  62 ; CHECK: ldr {{x[0-9]+}}, [x[[HIREG]], :lo12:var64]
  63 ; CHECK: str {{x[0-9]+}}, [x[[HIREG]], :lo12:var64]
  64
  65 ; CHECK-FAST-LABEL: test_i64:
  66 ; CHECK-FAST: adrp x[[HIREG:[0-9]+]], var64
  67 ; CHECK-FAST: add {{x[0-9]+}}, x[[HIREG]], :lo12:var64
  68 }
  69
  70 define i64* @test_addr() {
  71   ret i64* @var64
  72 ; CHECK-LABEL: test_addr:
  73 ; CHECK: adrp [[HIREG:x[0-9]+]], var64
  74 ; CHECK: add x0, [[HIREG]], :lo12:var64
  75
  76 ; CHECK-FAST-LABEL: test_addr:
  77 ; CHECK-FAST: adrp [[HIREG:x[0-9]+]], var64
  78 ; CHECK-FAST: add x0, [[HIREG]], :lo12:var64
  79 }
  80
  81 @var_default = external dso_local global [2 x i32]
  82
  83 define i32 @test_default_align() {
  84   %addr = getelementptr [2 x i32], [2 x i32]* @var_default, i32 0, i32 0
  85   %val = load i32, i32* %addr
  86   ret i32 %val
  87 ; CHECK-LABEL: test_default_align:
  88 ; CHECK: adrp x[[HIREG:[0-9]+]], var_default
  89 ; CHECK: ldr w0, [x[[HIREG]], :lo12:var_default]
  90 }
  91
  92 define i64 @test_default_unaligned() {
  93   %addr = bitcast [2 x i32]* @var_default to i64*
  94   %val = load i64, i64* %addr
  95   ret i64 %val
  96 ; CHECK-LABEL: test_default_unaligned:
  97 ; CHECK: adrp [[HIREG:x[0-9]+]], var_default
  98 ; CHECK: add x[[ADDR:[0-9]+]], [[HIREG]], :lo12:var_default
  99 ; CHECK: ldr x0, [x[[ADDR]]]
 100 }