1 ; RUN: llc -relocation-model=static -verify-machineinstrs -O1 -mcpu=pwr7 -code-model=medium -filetype=obj %s -o - | \
2 ; RUN: llvm-readobj -r - | FileCheck %s
4 ; FIXME: When asm-parse is available, could make this an assembly test.
6 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-f128:128:128-v128:128:128-n32:64"
7 target triple = "powerpc64-unknown-linux-gnu"
9 @test_fn_static.si = internal global i32 0, align 4
11 define dso_local signext i32 @test_fn_static() nounwind {
13 %0 = load i32, ptr @test_fn_static.si, align 4
14 %inc = add nsw i32 %0, 1
15 store i32 %inc, ptr @test_fn_static.si, align 4
19 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO for
20 ; accessing function-scoped variable si.
22 ; CHECK: Relocations [
23 ; CHECK: Section {{.*}} .rela.text {
24 ; CHECK: 0x{{[0-9,A-F]+}} R_PPC64_TOC16_HA [[SYM2:[^ ]+]]
25 ; CHECK: 0x{{[0-9,A-F]+}} R_PPC64_TOC16_LO_DS [[SYM2]]
26 ; CHECK: 0x{{[0-9,A-F]+}} R_PPC64_TOC16_LO [[SYM2]]
28 @gi = dso_local global i32 5, align 4
30 define dso_local signext i32 @test_file_static() nounwind {
32 %0 = load i32, ptr @gi, align 4
33 %inc = add nsw i32 %0, 1
34 store i32 %inc, ptr @gi, align 4
38 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO for
39 ; accessing file-scope variable gi.
41 ; CHECK: 0x{{[0-9,A-F]+}} R_PPC64_TOC16_HA [[SYM3:[^ ]+]]
42 ; CHECK: 0x{{[0-9,A-F]+}} R_PPC64_TOC16_LO_DS [[SYM3]]
43 ; CHECK: 0x{{[0-9,A-F]+}} R_PPC64_TOC16_LO [[SYM3]]
45 define double @test_double_const() nounwind {
47 ret double 0x3F4FD4920B498CF0
50 ; Verify generation of R_PPC64_TOC16_HA and R_PPC64_TOC16_LO for
51 ; accessing a constant.
53 ; CHECK: 0x{{[0-9,A-F]+}} R_PPC64_TOC16_HA [[SYM4:[^ ]+]]
54 ; CHECK: 0x{{[0-9,A-F]+}} R_PPC64_TOC16_LO [[SYM4]]