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" 33define void @test1() #0 { 34 tail call void @a(ptr @.str) #2 35 ret void 36} 37 38declare void @a(ptr) #1 39 40; CHECK-LABEL: @test2 41; CHECK-NOT: .asci 42; CHECK: .fnend 43define 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" 52define 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" 62define 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 70define void @test5a() #0 { 71 tail call void @a(ptr @.str4) #2 72 ret void 73} 74 75define void @test5b() #0 { 76 tail call void @b(ptr @.str4) #2 77 ret void 78} 79 80; CHECK-LABEL: @test6a 81; CHECK: L.arr1 82define void @test6a() #0 { 83 tail call void @c(ptr @.arr1) #2 84 ret void 85} 86 87; CHECK-LABEL: @test6b 88; CHECK: L.arr1 89define 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 97define 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 106define 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 117define 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. 127define void @fn1() "target-features"="+strict-align" { 128entry: 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 134define void @fn2() "target-features"="+strict-align" { 135entry: 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 144define 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 152define 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" 164define 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 182define 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 191define void @test12() local_unnamed_addr #0 { 192 call void @d(ptr @implicit_alignment_vector) 193 ret void 194} 195 196 197declare void @b(ptr) #1 198declare void @c(ptr) #1 199declare void @d(ptr) #1 200declare void @llvm.memcpy.p0.p0.i32(ptr nocapture writeonly, ptr nocapture readonly, i32, i1) 201declare void @llvm.memmove.p0.p0.i32(ptr, ptr, i32, i1) local_unnamed_addr 202 203attributes #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" } 204attributes #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" } 205attributes #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} 211