summaryrefslogtreecommitdiff
path: root/test/CodeGen/Mips/gpopt-explict-section.ll
blob: f1518ba562c7350d06b32fe7a9fe86ff5fbe855b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
; RUN: llc < %s -march=mips -mcpu=mips32 -mips-ssection-threshold=8 \
; RUN:     -relocation-model=static -mattr=+noabicalls -mgpopt \
; RUN:   | FileCheck %s

; Test that object with an explicit section that is not .sdata or .sbss are not
; considered in the small data section if they would otherwise qualify to be in
; small data section. Also test that explicitly placing something in the small
; data section uses %gp_rel addressing mode.

@a = global [2 x i32] zeroinitializer, section ".rodata", align 4
@b = global [4 x i32] zeroinitializer, section ".sdata", align 4
@c = global [4 x i32] zeroinitializer, section ".sbss", align 4

; CHECK-LABEL: g
; CHECK:       lui $[[R:[0-9]+]], %hi(a)
; CHECK:       lw  ${{[0-9]+}}, %lo(a)($[[R]])

define i32 @g() {
entry:
  %0 = load i32, i32* getelementptr inbounds ([2 x i32], [2 x i32]* @a, i32 0, i32 0), align 4
  ret i32 %0
}

; CHECK-LABEL: f:
; CHECK-LABEL: lw ${{[0-9]+}}, %gp_rel(b)($gp)

define i32 @f() {
entry:
  %0 = load i32, i32* getelementptr inbounds ([4 x i32], [4 x i32]* @b, i32 0, i32 0), align 4
  ret i32 %0
}

; CHECK-LABEL: h:
; CHECK-LABEL: lw ${{[0-9]+}}, %gp_rel(c)($gp)

define i32 @h() {
entry:
  %0 = load i32, i32* getelementptr inbounds ([4 x i32], [4 x i32]* @c, i32 0, i32 0), align 4
  ret i32 %0
}


; CHECK:  .type a,@object
; CHECK:  .section  .rodata,"a",@progbits
; CHECK:  .globl  a

; CHECK:  .type b,@object
; CHECK:  .section  .sdata,"aw",@progbits
; CHECK:  .globl  b

; CHECK:  .type c,@object
; CHECK:  .section  .sbss,"aw",@nobits
; CHECK:  .globl  c