llvm/test/MC/ELF/section-relro.ll

   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 --syms - | FileCheck %s
   4
   5 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   6 target 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
  11 declare i32 @func1(...)
  12 declare i32 @func2(...)
  13
  14 ; Function Attrs: noinline nounwind optnone sspstrong uwtable
  15 define hidden i32 @foo(i32 %i) {
  16 entry:
  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
  29 attributes #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:  }