xref: /llvm-project/llvm/test/Transforms/GlobalOpt/ARM/arm-widen-strings-struct-test.ll (revision e37d736def5b95a2710f92881b5fc8b0494d8a05)
1*e37d736dSNashe Mncube; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2*e37d736dSNashe Mncube; RUN: opt < %s -mtriple=arm-none-eabi -passes=globalopt -S | FileCheck %s
3*e37d736dSNashe Mncube%struct.P = type { i32, [13 x i8] }
4*e37d736dSNashe Mncube
5*e37d736dSNashe Mncube; CHECK-NOT: [16 x i8]
6*e37d736dSNashe Mncube@.str = private unnamed_addr constant [13 x i8] c"hello world\0A\00", align 1
7*e37d736dSNashe Mncube
8*e37d736dSNashe Mncube; Function Attrs: nounwind
9*e37d736dSNashe Mncubedefine  i32 @main()   {
10*e37d736dSNashe Mncube; CHECK-LABEL: define i32 @main() local_unnamed_addr {
11*e37d736dSNashe Mncube; CHECK-NEXT:  [[ENTRY:.*:]]
12*e37d736dSNashe Mncube; CHECK-NEXT:    [[P:%.*]] = alloca [[STRUCT_P:%.*]], align 4
13*e37d736dSNashe Mncube; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 20, ptr nonnull [[P]])
14*e37d736dSNashe Mncube; CHECK-NEXT:    store i32 10, ptr [[P]], align 4, !tbaa [[TBAA0:![0-9]+]]
15*e37d736dSNashe Mncube; CHECK-NEXT:    [[ARRAYDECAY:%.*]] = getelementptr inbounds [[STRUCT_P]], ptr [[P]], i32 0, i32 1, i32 0
16*e37d736dSNashe Mncube; CHECK-NEXT:    call void @llvm.memcpy.p0.p0.i32(ptr align 1 [[ARRAYDECAY]], ptr align 1 @.str, i32 13, i1 false)
17*e37d736dSNashe Mncube; CHECK-NEXT:    [[PUTS:%.*]] = call i32 @puts(ptr [[ARRAYDECAY]])
18*e37d736dSNashe Mncube; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 20, ptr nonnull [[P]])
19*e37d736dSNashe Mncube; CHECK-NEXT:    ret i32 0
20*e37d736dSNashe Mncube;
21*e37d736dSNashe Mncubeentry:
22*e37d736dSNashe Mncube  %p = alloca %struct.P, align 4
23*e37d736dSNashe Mncube  call void @llvm.lifetime.start(i64 20, ptr nonnull %p) #2
24*e37d736dSNashe Mncube  store i32 10, ptr %p, align 4, !tbaa !1
25*e37d736dSNashe Mncube  %arraydecay = getelementptr inbounds %struct.P, ptr %p, i32 0, i32 1, i32 0
26*e37d736dSNashe Mncube  call void @llvm.memcpy.p0i8.p0i8.i32(ptr align 1 %arraydecay, ptr align 1 @.str, i32 13, i1 false)
27*e37d736dSNashe Mncube  %puts = call i32 @puts(ptr %arraydecay)
28*e37d736dSNashe Mncube  call void @llvm.lifetime.end(i64 20, ptr nonnull %p) #2
29*e37d736dSNashe Mncube  ret i32 0
30*e37d736dSNashe Mncube}
31*e37d736dSNashe Mncube
32*e37d736dSNashe Mncubedeclare i32 @puts(ptr nocapture readonly) #2
33*e37d736dSNashe Mncube
34*e37d736dSNashe Mncube!1 = !{!2, !3, i64 0}
35*e37d736dSNashe Mncube!2 = !{!"P", !3, i64 0, !4, i64 4}
36*e37d736dSNashe Mncube!3 = !{!"int", !4, i64 0}
37*e37d736dSNashe Mncube!4 = !{!"omnipotent char", !5, i64 0}
38*e37d736dSNashe Mncube!5 = !{!"Simple C/C++ TBAA"}
39*e37d736dSNashe Mncube;.
40*e37d736dSNashe Mncube; CHECK: [[TBAA0]] = !{[[META1:![0-9]+]], [[META2:![0-9]+]], i64 0}
41*e37d736dSNashe Mncube; CHECK: [[META1]] = !{!"P", [[META2]], i64 0, [[META3:![0-9]+]], i64 4}
42*e37d736dSNashe Mncube; CHECK: [[META2]] = !{!"int", [[META3]], i64 0}
43*e37d736dSNashe Mncube; CHECK: [[META3]] = !{!"omnipotent char", [[META4:![0-9]+]], i64 0}
44*e37d736dSNashe Mncube; CHECK: [[META4]] = !{!"Simple C/C++ TBAA"}
45*e37d736dSNashe Mncube;.
46