llvm/test/CodeGen/ARM/constantpool-promote.ll

   1 ; RUN: llc -mtriple armv7--linux-gnueabihf -relocation-model=static -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V7,CHECK-V7ARM,CHECK-STATIC
   2 ; RUN: llc -mtriple armv7--linux-gnueabihf -relocation-model=pic -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V7,CHECK-V7ARM,CHECK-PIC
   3 ; RUN: llc -mtriple armv7--linux-gnueabihf -relocation-model=ropi -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V7,CHECK-V7ARM
   4 ; RUN: llc -mtriple armv7--linux-gnueabihf -relocation-model=rwpi -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V7,CHECK-V7ARM
   5 ; RUN: llc -mtriple thumbv7--linux-gnueabihf -relocation-model=static -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V7,CHECK-V7THUMB
   6 ; RUN: llc -mtriple thumbv7--linux-gnueabihf -relocation-model=pic -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V7,CHECK-V7THUMB
   7 ; RUN: llc -mtriple thumbv7--linux-gnueabihf -relocation-model=ropi -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V7,CHECK-V7THUMB
   8 ; RUN: llc -mtriple thumbv7--linux-gnueabihf -relocation-model=rwpi -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V7,CHECK-V7THUMB
   9 ; RUN: llc -mtriple thumbv6m--linux-gnueabihf -relocation-model=static -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V6M
  10 ; RUN: llc -mtriple thumbv6m--linux-gnueabihf -relocation-model=pic -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V6M
  11 ; RUN: llc -mtriple thumbv6m--linux-gnueabihf -relocation-model=ropi -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V6M
  12 ; RUN: llc -mtriple thumbv6m--linux-gnueabihf -relocation-model=rwpi -arm-promote-constant < %s | FileCheck %s --check-prefixes=CHECK,CHECK-V6M
  13
  14 @.str = private unnamed_addr constant [2 x i8] c"s\00", align 1
  15 @.str1 = private unnamed_addr constant [69 x i8] c"this string is far too long to fit in a literal pool by far and away\00", align 1
  16 @.str2 = private unnamed_addr constant [27 x i8] c"this string is just right!\00", align 1
  17 @.str3 = private unnamed_addr constant [26 x i8] c"this string is used twice\00", align 1
  18 @.str4 = private unnamed_addr constant [29 x i8] c"same string in two functions\00", align 1
  19 @.str5 = private unnamed_addr constant [2 x i8] c"s\00", align 1
  20 @.arr1 = private unnamed_addr constant [2 x i16] [i16 3, i16 4], align 2
  21 @.arr2 = private unnamed_addr constant [2 x i16] [i16 7, i16 8], align 2
  22 @.arr3 = private unnamed_addr constant [2 x ptr] [ptr null, ptr null], align 4
  23 @.ptr = private unnamed_addr constant [2 x ptr] [ptr @.arr2, ptr null], align 2
  24 @.arr4 = private unnamed_addr constant [2 x i16] [i16 3, i16 4], align 16
  25 @.arr5 = private unnamed_addr constant [2 x i16] [i16 3, i16 4], align 2
  26 @.zerosize = private unnamed_addr constant [0 x i16] zeroinitializer, align 4
  27 @implicit_alignment_vector = private unnamed_addr constant <4 x i32> <i32 1, i32 2, i32 3, i32 4>
  28
  29 ; CHECK-LABEL: @test1
  30 ; CHECK: adr r0, [[x:.*]]
  31 ; CHECK: [[x]]:
  32 ; CHECK: .asciz "s\000\000"
  33 define void @test1() #0 {
  34   tail call void @a(ptr @.str) #2
  35   ret void
  36 }
  37
  38 declare void @a(ptr) #1
  39
  40 ; CHECK-LABEL: @test2
  41 ; CHECK-NOT: .asci
  42 ; CHECK: .fnend
  43 define void @test2() #0 {
  44   tail call void @a(ptr @.str1) #2
  45   ret void
  46 }
  47
  48 ; CHECK-LABEL: @test3
  49 ; CHECK: adr r0, [[x:.*]]
  50 ; CHECK: [[x]]:
  51 ; CHECK: .asciz "this string is just right!\000"
  52 define void @test3() #0 {
  53   tail call void @a(ptr @.str2) #2
  54   ret void
  55 }
  56
  57
  58 ; CHECK-LABEL: @test4
  59 ; CHECK: adr r{{.*}}, [[x:.*]]
  60 ; CHECK: [[x]]:
  61 ; CHECK: .asciz "this string is used twice\000\000"
  62 define void @test4() #0 {
  63   tail call void @a(ptr @.str3) #2
  64   tail call void @a(ptr @.str3) #2
  65   ret void
  66 }
  67
  68 ; CHECK-LABEL: @test5a
  69 ; CHECK-NOT: adr
  70 define void @test5a() #0 {
  71   tail call void @a(ptr @.str4) #2
  72   ret void
  73 }
  74
  75 define void @test5b() #0 {
  76   tail call void @b(ptr @.str4) #2
  77   ret void
  78 }
  79
  80 ; CHECK-LABEL: @test6a
  81 ; CHECK: L.arr1
  82 define void @test6a() #0 {
  83   tail call void @c(ptr @.arr1) #2
  84   ret void
  85 }
  86
  87 ; CHECK-LABEL: @test6b
  88 ; CHECK: L.arr1
  89 define void @test6b() #0 {
  90   tail call void @c(ptr @.arr1) #2
  91   ret void
  92 }
  93
  94 ; This shouldn't be promoted, as the string is used by another global.
  95 ; CHECK-LABEL: @test7
  96 ; CHECK-NOT: adr
  97 define void @test7() #0 {
  98   tail call void @c(ptr @.arr2) #2
  99   ret void
 100 }
 101
 102 ; This can be promoted; it contains pointers, but they don't need relocations.
 103 ; CHECK-LABEL: @test8
 104 ; CHECK: .zero
 105 ; CHECK: .fnend
 106 define void @test8() #0 {
 107   %a = load ptr, ptr @.arr3
 108   tail call void @c(ptr %a) #2
 109   ret void
 110 }
 111
 112 ; This can't be promoted in PIC mode because it contains pointers to other globals.
 113 ; CHECK-LABEL: @test8a
 114 ; CHECK-STATIC: .long .L.arr2
 115 ; CHECK-PIC: .long .L.ptr
 116 ; CHECK: .fnend
 117 define void @test8a() #0 {
 118   %a = load ptr, ptr @.ptr
 119   tail call void @c(ptr %a) #2
 120   ret void
 121 }
 122
 123 @fn1.a = private unnamed_addr constant [4 x i16] [i16 4, i16 0, i16 0, i16 0], align 2
 124 @fn2.a = private unnamed_addr constant [8 x i8] [i8 4, i8 0, i8 0, i8 0, i8 23, i8 0, i8 6, i8 0], align 1
 125
 126 ; Just check these don't crash.
 127 define void @fn1() "target-features"="+strict-align"  {
 128 entry:
 129   %a = alloca [4 x i16], align 2
 130   call void @llvm.memcpy.p0.p0.i32(ptr align 2 %a, ptr align 2 @fn1.a, i32 8, i1 false)
 131   ret void
 132 }
 133
 134 define void @fn2() "target-features"="+strict-align"  {
 135 entry:
 136   %a = alloca [8 x i8], align 2
 137   call void @llvm.memcpy.p0.p0.i32(ptr %a, ptr @fn2.a, i32 16, i1 false)
 138   ret void
 139 }
 140
 141 ; This shouldn't be promoted, as the global requires >4 byte alignment.
 142 ; CHECK-LABEL: @test9
 143 ; CHECK-NOT: adr
 144 define void @test9() #0 {
 145   tail call void @c(ptr @.arr4) #2
 146   ret void
 147 }
 148
 149 ; Ensure that zero sized values are supported / not promoted.
 150 ; CHECK-LABEL: @pr32130
 151 ; CHECK-NOT: adr
 152 define void @pr32130() #0 {
 153   tail call void @c(ptr @.zerosize) #2
 154   ret void
 155 }
 156
 157 ; CHECK-LABEL: @test10
 158 ; CHECK-V6M: adr r{{[0-9]*}}, [[x:.*]]
 159 ; CHECK-V6M: [[x]]:
 160 ; CHECK-V6M: .asciz "s\000\000"
 161 ; CHECK-V7: ldrb{{(.w)?}} r{{[0-9]*}}, [[x:.*]]
 162 ; CHECK-V7: [[x]]:
 163 ; CHECK-V7: .asciz "s\000\000"
 164 define void @test10(ptr %a) local_unnamed_addr #0 {
 165   call void @llvm.memmove.p0.p0.i32(ptr align 1 %a, ptr align 1 @.str5, i32 1, i1 false)
 166   ret void
 167 }
 168
 169 ; CHECK-LABEL: @test11
 170 ; CHECK-V6M: adr r{{[0-9]*}}, [[x:.*]]
 171 ; CHECK-V6M: [[x]]:
 172 ; CHECK-V6M: .short 3
 173 ; CHECK-V6M: .short 4
 174 ; CHECK-V7THUMB: ldrh{{(.w)?}} r{{[0-9]*}}, [[x:.*]]
 175 ; CHECK-V7THUMB: [[x]]:
 176 ; CHECK-V7THUMB: .short 3
 177 ; CHECK-V7THUMB: .short 4
 178 ; CHECK-V7ARM: adr r{{[0-9]*}}, [[x:.*]]
 179 ; CHECK-V7ARM: [[x]]:
 180 ; CHECK-V7ARM: .short 3
 181 ; CHECK-V7ARM: .short 4
 182 define void @test11(ptr %a) local_unnamed_addr #0 {
 183   call void @llvm.memmove.p0.p0.i32(ptr align 2 %a, ptr align 2 @.arr5, i32 2, i1 false)
 184   ret void
 185 }
 186
 187 ; Promotion only works with globals with alignment 4 or less; a vector has
 188 ; implicit alignment 16.
 189 ; CHECK-LABEL: @test12
 190 ; CHECK-NOT: adr
 191 define void @test12() local_unnamed_addr #0 {
 192   call void @d(ptr @implicit_alignment_vector)
 193   ret void
 194 }
 195
 196
 197 declare void @b(ptr) #1
 198 declare void @c(ptr) #1
 199 declare void @d(ptr) #1
 200 declare void @llvm.memcpy.p0.p0.i32(ptr nocapture writeonly, ptr nocapture readonly, i32, i1)
 201 declare void @llvm.memmove.p0.p0.i32(ptr, ptr, i32, i1) local_unnamed_addr
 202
 203 attributes #0 = { nounwind "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 204 attributes #1 = { "less-precise-fpmad"="false" "frame-pointer"="all" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 205 attributes #2 = { nounwind }
 206
 207 !llvm.module.flags = !{!0, !1}
 208
 209 !0 = !{i32 1, !"wchar_size", i32 4}
 210 !1 = !{i32 1, !"min_enum_size", i32 4}