1; RUN: llc < %s -march=bpfel | FileCheck -check-prefixes=CHECK %s
2
3; Source code:
4; struct test_t {
5;       int a;
6;       char b;
7;       int c;
8;       char d;
9; };
10; void foo(void *);
11; void test() {
12;       struct test_t t = {.a = 5};
13;       foo(&t);
14; }
15
16%struct.test_t = type { i32, i8, i32, i8 }
17
18@test.t = private unnamed_addr constant %struct.test_t { i32 5, i8 0, i32 0, i8 0 }, align 4
19
20; Function Attrs: nounwind
21define dso_local void @test() local_unnamed_addr #0 {
22; CHECK-LABEL: test:
23  %1 = alloca %struct.test_t, align 4
24  %2 = bitcast %struct.test_t* %1 to i8*
25  call void @llvm.lifetime.start.p0i8(i64 16, i8* nonnull %2) #3
26  call void @llvm.memcpy.p0i8.p0i8.i64(i8* nonnull align 4 %2, i8* align 4 bitcast (%struct.test_t* @test.t to i8*), i64 16, i1 false)
27; CHECK: r1 = 0
28; CHECK: *(u64 *)(r10 - 8) = r1
29; CHECK: r1 = 5
30; CHECK: *(u64 *)(r10 - 16) = r1
31; CHECK: r1 = r10
32; CHECK: r1 += -16
33  call void @foo(i8* nonnull %2) #3
34; CHECK: call foo
35  call void @llvm.lifetime.end.p0i8(i64 16, i8* nonnull %2) #3
36  ret void
37}
38
39; Function Attrs: argmemonly nounwind
40declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) #1
41
42; Function Attrs: argmemonly nounwind
43declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1) #1
44
45declare dso_local void @foo(i8*) local_unnamed_addr
46
47; Function Attrs: argmemonly nounwind
48declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) #1
49
50attributes #0 = { nounwind }
51attributes #1 = { argmemonly nounwind }
52attributes #3 = { nounwind }
53