• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; Tests that data and relro are correctly placed in sections
2; specified by "#pragma clang section"
3; RUN: llc -filetype=obj -mtriple x86_64-unknown-linux %s -o - | llvm-readobj -S -t - | FileCheck %s
4
5target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
6target triple = "x86_64-unknown-linux"
7
8@funcs_relro = hidden constant [2 x i32 ()*] [i32 ()* bitcast (i32 (...)* @func1 to i32 ()*), i32 ()* bitcast (i32 (...)* @func2 to i32 ()*)], align 16 #0
9@var_data = hidden global i32 33, align 4 #0
10
11declare i32 @func1(...)
12declare i32 @func2(...)
13
14; Function Attrs: noinline nounwind optnone sspstrong uwtable
15define hidden i32 @foo(i32 %i) {
16entry:
17  %i.addr = alloca i32, align 4
18  store i32 %i, i32* %i.addr, align 4
19  %0 = load i32, i32* %i.addr, align 4
20  %idxprom = sext i32 %0 to i64
21  %arrayidx = getelementptr inbounds [2 x i32 ()*], [2 x i32 ()*]* @funcs_relro, i64 0, i64 %idxprom
22  %1 = load i32 ()*, i32 ()** %arrayidx, align 8
23  %call = call i32 %1()
24  %2 = load i32, i32* @var_data, align 4
25  %add = add nsw i32 %call, %2
26  ret i32 %add
27}
28
29attributes #0 = { "data-section"=".my_data" "relro-section"=".my_relro" "rodata-section"=".my_rodata" }
30
31; CHECK:  Section {
32; CHECK:    Index:
33; CHECK:    Name: .my_rodata
34; CHECK:    Type: SHT_PROGBITS (0x1)
35; CHECK:    Flags [ (0x2)
36; CHECK:      SHF_ALLOC (0x2)
37; CHECK:    ]
38; CHECK:    Size: 16
39; CHECK:  }
40; CHECK:  Section {
41; CHECK:    Index:
42; CHECK:    Name: .my_data
43; CHECK:    Type: SHT_PROGBITS (0x1)
44; CHECK:    Flags [ (0x3)
45; CHECK:      SHF_ALLOC (0x2)
46; CHECK:      SHF_WRITE (0x1)
47; CHECK:    ]
48; CHECK:    Size: 4
49; CHECK:  }
50; CHECK:   Symbol {
51; CHECK:    Name: funcs_relro
52; CHECK:    Value: 0x0
53; CHECK:    Size: 16
54; CHECK:    Binding: Global (0x1)
55; CHECK:    Type: Object (0x1)
56; CHECK:    Section: .my_rodata
57; CHECK:  }
58; CHECK:  Symbol {
59; CHECK:    Name: var_data
60; CHECK:    Value: 0x0
61; CHECK:    Size: 4
62; CHECK:    Binding: Global (0x1)
63; CHECK:    Type: Object (0x1)
64; CHECK:    Section: .my_data
65; CHECK:  }
66