llvm/test/CodeGen/X86/tagged-globals-pic.ll

   1 ; RUN: llc --relocation-model=pic < %s | FileCheck %s
   2 ; RUN: llc --relocation-model=pic --relax-elf-relocations --filetype=obj -o - < %s | llvm-objdump -d -r - | FileCheck %s --check-prefix=OBJ
   3
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 @global = external global i32
   8 declare void @func()
   9
  10 define ptr @global_addr() #0 {
  11   ; CHECK-LABEL: global_addr:
  12   ; CHECK: movq global@GOTPCREL_NORELAX(%rip), %rax
  13   ; CHECK: retq
  14
  15   ; OBJ-LABEL: <global_addr>:
  16   ; OBJ: movq (%rip),
  17   ; OBJ-NEXT: R_X86_64_GOTPCREL global
  18
  19   ret ptr @global
  20 }
  21
  22 define i32 @global_load() #0 {
  23   ; CHECK-LABEL: global_load:
  24   ; CHECK: movq global@GOTPCREL_NORELAX(%rip), [[REG:%r[0-9a-z]+]]
  25   ; CHECK: movl ([[REG]]), %eax
  26   ; CHECK: retq
  27
  28   ; OBJ-LABEL: <global_load>:
  29   ; OBJ: movq (%rip),
  30   ; OBJ-NEXT: R_X86_64_GOTPCREL global
  31
  32   %load = load i32, ptr @global
  33   ret i32 %load
  34 }
  35
  36 define void @global_store() #0 {
  37   ; CHECK-LABEL: global_store:
  38   ; CHECK: movq global@GOTPCREL_NORELAX(%rip), [[REG:%r[0-9a-z]+]]
  39   ; CHECK: movl $0, ([[REG]])
  40   ; CHECK: retq
  41
  42   ; OBJ-LABEL: <global_store>:
  43   ; OBJ: movq (%rip),
  44   ; OBJ-NEXT: R_X86_64_GOTPCREL global
  45
  46   store i32 0, ptr @global
  47   ret void
  48 }
  49
  50 define ptr @func_addr() #0 {
  51   ; CHECK-LABEL: func_addr:
  52   ; CHECK: movq func@GOTPCREL(%rip), %rax
  53   ; CHECK: retq
  54
  55   ; OBJ-LABEL: <func_addr>:
  56   ; OBJ: movq (%rip),
  57   ; OBJ-NEXT: R_X86_64_REX_GOTPCRELX func
  58
  59   ret ptr @func
  60 }
  61
  62 ; Jump tables shouldn't go through the GOT.
  63 define i32 @jump_table(i32 %x) #0 {
  64   ; CHECK-LABEL: jump_table:
  65   ; CHECK-NOT: @GOT
  66
  67   switch i32 %x, label %default [
  68     i32 0, label %1
  69     i32 1, label %2
  70     i32 2, label %3
  71     i32 3, label %4
  72   ]
  73 1:
  74   ret i32 7
  75 2:
  76   ret i32 42
  77 3:
  78   ret i32 3
  79 4:
  80   ret i32 8
  81 default:
  82   ret i32 %x
  83 }
  84
  85 attributes #0 = { "target-features"="+tagged-globals" }