1; RUN: llc < %s -march=avr | FileCheck %s
2
3declare void @foo(i16*, i16*, i8*)
4
5define void @test1(i16 %x) {
6; CHECK-LABEL: test1:
7; CHECK: out 61, r28
8; SP copy
9; CHECK-NEXT: in [[SPCOPY1:r[0-9]+]], 61
10; CHECK-NEXT: in [[SPCOPY2:r[0-9]+]], 62
11; allocate first dynalloca
12; CHECK: in {{.*}}, 61
13; CHECK: in {{.*}}, 62
14; CHECK: sub
15; CHECK: sbc
16; CHECK: in r0, 63
17; CHECK-NEXT: cli
18; CHECK-NEXT: out 62, {{.*}}
19; CHECK-NEXT: out 63, r0
20; CHECK-NEXT: out 61, {{.*}}
21; Test writes
22; CHECK: std Z+12, {{.*}}
23; CHECK: std Z+13, {{.*}}
24; CHECK: std Z+7, {{.*}}
25; CHECK-NOT: std
26; Test SP restore
27; CHECK: in r0, 63
28; CHECK-NEXT: cli
29; CHECK-NEXT: out 62, [[SPCOPY2]]
30; CHECK-NEXT: out 63, r0
31; CHECK-NEXT: out 61, [[SPCOPY1]]
32  %a = alloca [8 x i16]
33  %vla = alloca i16, i16 %x
34  %add = shl nsw i16 %x, 1
35  %vla1 = alloca i8, i16 %add
36  %arrayidx = getelementptr inbounds [8 x i16], [8 x i16]* %a, i16 0, i16 2
37  store i16 3, i16* %arrayidx
38  %arrayidx2 = getelementptr inbounds i16, i16* %vla, i16 6
39  store i16 4, i16* %arrayidx2
40  %arrayidx3 = getelementptr inbounds i8, i8* %vla1, i16 7
41  store i8 44, i8* %arrayidx3
42  %arraydecay = getelementptr inbounds [8 x i16], [8 x i16]* %a, i16 0, i16 0
43  call void @foo(i16* %arraydecay, i16* %vla, i8* %vla1)
44  ret void
45}
46
47declare void @foo2(i16*, i64, i64, i64)
48
49; Test that arguments are passed through pushes into the call instead of
50; allocating the call frame space in the prologue. Also test that SP is restored
51; after the call frame is restored and not before.
52define void @dynalloca2(i16 %x) {
53; CHECK-LABEL: dynalloca2:
54; CHECK: in [[SPCOPY1:r[0-9]+]], 61
55; CHECK: in [[SPCOPY2:r[0-9]+]], 62
56; CHECK: push
57; CHECK-NOT: st
58; CHECK-NOT: std
59; CHECK: call
60; Call frame restore
61; CHECK-NEXT: in r30, 61
62; CHECK-NEXT: in r31, 62
63; CHECK-NEXT: adiw r30, 8
64; CHECK-NEXT: in r0, 63
65; CHECK-NEXT: cli
66; CHECK-NEXT: out 62, r31
67; CHECK-NEXT: out 63, r0
68; CHECK-NEXT: out 61, r30
69; SP restore
70; CHECK: in r0, 63
71; CHECK-NEXT: cli
72; CHECK-NEXT: out 62, r7
73; CHECK-NEXT: out 63, r0
74; CHECK-NEXT: out 61, r6
75  %vla = alloca i16, i16 %x
76  call void @foo2(i16* %vla, i64 0, i64 0, i64 0)
77  ret void
78}
79