llvm/test/CodeGen/X86/elf-unique-sections-by-flags.ll

   1 ; Test that global values with the same specified section produces multiple
   2 ; sections with different sets of flags, depending on the properties (mutable,
   3 ; executable) of the global value.
   4
   5 ; RUN: llc < %s | FileCheck %s
   6 ; RUN: llc -function-sections < %s | FileCheck %s --check-prefix=CHECK --check-prefix=FNSECTIONS
   7 target triple="x86_64-unknown-unknown-elf"
   8
   9 ; Normal function goes in .text, or in it's own named section with -function-sections.
  10 define i32 @fn_text() {
  11     entry:
  12     ret i32 0
  13 }
  14 ; FNSECTIONS:   .section        .text.fn_text,"ax",@progbits{{$}}
  15 ; CHECK:        .globl fn_text
  16 ; CHECK:        fn_text:
  17
  18 ; A second function placed in .text, to check the behaviour with -function-sections.
  19 ; It should be emitted to a new section with a new name, not expected to require unique.
  20 define i32 @fn_text2() {
  21     entry:
  22     ret i32 0
  23 }
  24 ; FNSECTIONS:   .section        .text.fn_text2,"ax",@progbits{{$}}
  25 ; CHECK:        .globl fn_text2
  26 ; CHECK:        fn_text2:
  27
  28 ; Functions in user defined executable sections
  29 define i32 @fn_s1() section "s1" {
  30     entry:
  31     ret i32 0
  32 }
  33 ; CHECK:        .section s1,"ax",@progbits{{$}}
  34 ; CHECK-NEXT:   .globl fn_s1
  35 ; CHECK:        fn_s1:
  36
  37 define i32 @fn_s2() section "s2" {
  38     entry:
  39     ret i32 0
  40 }
  41 ; CHECK:        .section s2,"ax",@progbits{{$}}
  42 ; CHECK-NEXT:   .globl fn_s2
  43 ; CHECK:        fn_s2:
  44
  45 ; A second function in s2 should share the same .section
  46 define i32 @fn2_s2() section "s2" {
  47     entry:
  48     ret i32 0
  49 }
  50 ; CHECK-NOT:    .section
  51 ; CHECK:        .globl fn2_s2
  52 ; CHECK:        fn2_s2:
  53
  54 ; Values that share a section name with a function are placed in different sections without executable flag
  55 @rw_s1 = global i32 10, section "s1", align 4
  56 @ro_s2 = constant i32 10, section "s2", align 4
  57 ; CHECK:        .section s1,"aw",@progbits,unique,[[#UNIQUE_S1_aw:]]
  58 ; CHECK-NEXT:   .globl rw_s1
  59 ; CHECK:        rw_s1:
  60 ; CHECK:        .section s2,"a",@progbits,unique,[[#UNIQUE_S2_a:]]
  61 ; CHECK-NEXT:   .globl ro_s2
  62 ; CHECK:        ro_s2:
  63
  64 ; Placing another value in the same section with the same flags uses the same unique ID
  65 @rw2_s1 = global i32 10, section "s1", align 4
  66 @ro2_s2 = constant i32 10, section "s2", align 4
  67 ; CHECK:        .section s1,"aw",@progbits,unique,[[#UNIQUE_S1_aw]]
  68 ; CHECK-NEXT:   .globl rw2_s1
  69 ; CHECK:        rw2_s1:
  70 ; CHECK:        .section s2,"a",@progbits,unique,[[#UNIQUE_S2_a]]
  71 ; CHECK-NEXT:   .globl ro2_s2
  72 ; CHECK:        ro2_s2:
  73
  74 ; Normal user defined section, first is the generic section, second should be unique
  75 @ro_s3 = constant i32 10, section "s3", align 4
  76 @rw_s3 = global i32 10, section "s3", align 4
  77 ; CHECK:        .section s3,"a",@progbits{{$}}
  78 ; CHECK-NEXT:   .globl ro_s3
  79 ; CHECK:        ro_s3:
  80 ; CHECK:        .section s3,"aw",@progbits,unique,[[#U:]]
  81 ; CHECK-NEXT:   .globl rw_s3
  82 ; CHECK:        rw_s3:
  83
  84 ; Values declared without explicit sections go into compatible default sections and don't require unique
  85 @rw_nosec = global i32 10, align 4
  86 @ro_nosec = constant i32 10, align 4
  87 ; CHECK:        .data{{$}}
  88 ; CHECK-NEXT:   .globl rw_nosec
  89 ; CHECK:        rw_nosec:
  90 ; CHECK:        .section .rodata,"a",@progbits{{$}}
  91 ; CHECK-NEXT:   .globl ro_nosec
  92 ; CHECK:        ro_nosec:
  93
  94 ; Explicitly placed in .rodata with writeable set. The writable section should be uniqued, not the default ro section, even if it comes first.
  95 @rw_rodata = global [2 x i32] zeroinitializer, section ".rodata", align 4
  96 @ro_rodata = constant [2 x i32] zeroinitializer, section ".rodata", align 4
  97 ; CHECK:        .section .rodata,"aw",@progbits,unique,[[#U+1]]{{$}}
  98 ; CHECK-NEXT:   .globl rw_rodata{{$}}
  99 ; CHECK:        rw_rodata:
 100 ; CHECK:        .section .rodata,"a",@progbits{{$}}
 101 ; CHECK-NEXT:   .globl ro_rodata{{$}}
 102 ; CHECK:        ro_rodata:
 103
 104 ; Writable symbols in writable default sections; no need to unique
 105 @w_sdata = global [4 x i32] zeroinitializer, section ".sdata", align 4
 106 @w_sbss = global [4 x i32] zeroinitializer, section ".sbss", align 4
 107 ; CHECK:        .section .sdata,"aw",@progbits{{$}}
 108 ; CHECK-NEXT:   .globl w_sdata{{$}}
 109 ; CHECK:        w_sdata:
 110 ; CHECK:        .section .sbss,"aw",@nobits{{$}}
 111 ; CHECK-NEXT:   .globl w_sbss{{$}}
 112 ; CHECK:        w_sbss:
 113
 114 ; Multiple .text sections are emitted for read-only and read-write sections using .text name.
 115 @rw_text = global i32 10, section ".text", align 4
 116 @ro_text = constant i32 10, section ".text", align 4
 117 ; CHECK:        .section .text,"aw",@progbits,unique,[[#U+2]]
 118 ; CHECK-NEXT:   .globl rw_text
 119 ; CHECK:        rw_text:
 120 ; CHECK:        .section .text,"a",@progbits,unique,[[#U+3]]
 121 ; CHECK-NEXT:   .globl ro_text
 122 ; CHECK:        ro_text:
 123
 124 ; A read-only .data section is emitted
 125 @ro_data = constant i32 10, section ".data", align 4
 126 ; CHECK:        .section .data,"a",@progbits,unique,[[#U+4]]
 127 ; CHECK-NEXT:   .globl ro_data
 128 ; CHECK:        ro_data:
 129
 130 ; TLS and non-TLS symbols cannot live in the same section
 131 @tls_var = thread_local global i32 10, section "s4", align 4
 132 @non_tls_var = global i32 10, section "s4", align 4
 133 ; CHECK:        .section s4,"awT",@progbits{{$}}
 134 ; CHECK-NEXT:   .globl tls_var
 135 ; CHECK:        tls_var:
 136 ; CHECK:        .section s4,"aw",@progbits,unique,[[#U+5]]
 137 ; CHECK-NEXT:   .globl non_tls_var
 138 ; CHECK:        non_tls_var: