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 i16*] [i16* null, i16* null], align 4
  23 @.ptr = private unnamed_addr constant [2 x i16*] [i16* getelementptr inbounds ([2 x i16], [2 x i16]* @.arr2, i32 0, i32 0), i16* 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(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i32 0, i32 0)) #2
  35   ret void
  36 }
  37
  38 declare void @a(i8*) #1
  39
  40 ; CHECK-LABEL: @test2
  41 ; CHECK-NOT: .asci
  42 ; CHECK: .fnend
  43 define void @test2() #0 {
  44   tail call void @a(i8* getelementptr inbounds ([69 x i8], [69 x i8]* @.str1, i32 0, i32 0)) #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(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str2, i32 0, i32 0)) #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(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str3, i32 0, i32 0)) #2
  64   tail call void @a(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str3, i32 0, i32 0)) #2
  65   ret void
  66 }
  67
  68 ; CHECK-LABEL: @test5a
  69 ; CHECK-NOT: adr
  70 define void @test5a() #0 {
  71   tail call void @a(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str4, i32 0, i32 0)) #2
  72   ret void
  73 }
  74
  75 define void @test5b() #0 {
  76   tail call void @b(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str4, i32 0, i32 0)) #2
  77   ret void
  78 }
  79
  80 ; CHECK-LABEL: @test6a
  81 ; CHECK: L.arr1
  82 define void @test6a() #0 {
  83   tail call void @c(i16* getelementptr inbounds ([2 x i16], [2 x i16]* @.arr1, i32 0, i32 0)) #2
  84   ret void
  85 }
  86
  87 ; CHECK-LABEL: @test6b
  88 ; CHECK: L.arr1
  89 define void @test6b() #0 {
  90   tail call void @c(i16* getelementptr inbounds ([2 x i16], [2 x i16]* @.arr1, i32 0, i32 0)) #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(i16* getelementptr inbounds ([2 x i16], [2 x i16]* @.arr2, i32 0, i32 0)) #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 i16*, i16** getelementptr inbounds ([2 x i16*], [2 x i16*]* @.arr3, i32 0, i32 0)
 108   tail call void @c(i16* %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 i16*, i16** getelementptr inbounds ([2 x i16*], [2 x i16*]* @.ptr, i32 0, i32 0)
 119   tail call void @c(i16* %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   %0 = bitcast [4 x i16]* %a to i8*
 131   call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 2 %0, i8* align 2 bitcast ([4 x i16]* @fn1.a to i8*), i32 8, i1 false)
 132   ret void
 133 }
 134
 135 define void @fn2() "target-features"="+strict-align"  {
 136 entry:
 137   %a = alloca [8 x i8], align 2
 138   %0 = bitcast [8 x i8]* %a to i8*
 139   call void @llvm.memcpy.p0i8.p0i8.i32(i8* %0, i8* bitcast ([8 x i8]* @fn2.a to i8*), i32 16, i1 false)
 140   ret void
 141 }
 142
 143 ; This shouldn't be promoted, as the global requires >4 byte alignment.
 144 ; CHECK-LABEL: @test9
 145 ; CHECK-NOT: adr
 146 define void @test9() #0 {
 147   tail call void @c(i16* getelementptr inbounds ([2 x i16], [2 x i16]* @.arr4, i32 0, i32 0)) #2
 148   ret void
 149 }
 150
 151 ; Ensure that zero sized values are supported / not promoted.
 152 ; CHECK-LABEL: @pr32130
 153 ; CHECK-NOT: adr
 154 define void @pr32130() #0 {
 155   tail call void @c(i16* getelementptr inbounds ([0 x i16], [0 x i16]* @.zerosize, i32 0, i32 0)) #2
 156   ret void
 157 }
 158
 159 ; CHECK-LABEL: @test10
 160 ; CHECK-V6M: adr r{{[0-9]*}}, [[x:.*]]
 161 ; CHECK-V6M: [[x]]:
 162 ; CHECK-V6M: .asciz "s\000\000"
 163 ; CHECK-V7: ldrb{{(.w)?}} r{{[0-9]*}}, [[x:.*]]
 164 ; CHECK-V7: [[x]]:
 165 ; CHECK-V7: .asciz "s\000\000"
 166 define void @test10(i8* %a) local_unnamed_addr #0 {
 167   call void @llvm.memmove.p0i8.p0i8.i32(i8* align 1 %a, i8* align 1 getelementptr inbounds ([2 x i8], [2 x i8]* @.str5, i32 0, i32 0), i32 1, i1 false)
 168   ret void
 169 }
 170
 171 ; CHECK-LABEL: @test11
 172 ; CHECK-V6M: adr r{{[0-9]*}}, [[x:.*]]
 173 ; CHECK-V6M: [[x]]:
 174 ; CHECK-V6M: .short 3
 175 ; CHECK-V6M: .short 4
 176 ; CHECK-V7THUMB: ldrh{{(.w)?}} r{{[0-9]*}}, [[x:.*]]
 177 ; CHECK-V7THUMB: [[x]]:
 178 ; CHECK-V7THUMB: .short 3
 179 ; CHECK-V7THUMB: .short 4
 180 ; CHECK-V7ARM: adr r{{[0-9]*}}, [[x:.*]]
 181 ; CHECK-V7ARM: [[x]]:
 182 ; CHECK-V7ARM: .short 3
 183 ; CHECK-V7ARM: .short 4
 184 define void @test11(i16* %a) local_unnamed_addr #0 {
 185   call void @llvm.memmove.p0i16.p0i16.i32(i16* align 2 %a, i16* align 2 getelementptr inbounds ([2 x i16], [2 x i16]* @.arr5, i32 0, i32 0), i32 2, i1 false)
 186   ret void
 187 }
 188
 189 ; Promotion only works with globals with alignment 4 or less; a vector has
 190 ; implicit alignment 16.
 191 ; CHECK-LABEL: @test12
 192 ; CHECK-NOT: adr
 193 define void @test12() local_unnamed_addr #0 {
 194   call void @d(<4 x i32>* @implicit_alignment_vector)
 195   ret void
 196 }
 197
 198
 199 declare void @b(i8*) #1
 200 declare void @c(i16*) #1
 201 declare void @d(<4 x i32>*) #1
 202 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture writeonly, i8* nocapture readonly, i32, i1)
 203 declare void @llvm.memmove.p0i8.p0i8.i32(i8*, i8*, i32, i1) local_unnamed_addr
 204 declare void @llvm.memmove.p0i16.p0i16.i32(i16*, i16*, i32, i1) local_unnamed_addr
 205
 206 attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 207 attributes #1 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 208 attributes #2 = { nounwind }
 209
 210 !llvm.module.flags = !{!0, !1}
 211
 212 !0 = !{i32 1, !"wchar_size", i32 4}
 213 !1 = !{i32 1, !"min_enum_size", i32 4}