1; RUN: llc < %s -mtriple=avr | FileCheck %s 2 3declare void @foo(ptr, ptr, ptr) 4 5define void @test1(i16 %x) { 6; CHECK-LABEL: test1: 7; Frame setup, with frame pointer 8; CHECK: in r28, 61 9; CHECK: in r29, 62 10; CHECK: out 61, r28 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+13, {{.*}} 23; CHECK: std Z+12, {{.*}} 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, r29 30; CHECK-NEXT: out 63, r0 31; CHECK-NEXT: out 61, r28 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], ptr %a, i16 0, i16 2 37 store i16 3, ptr %arrayidx 38 %arrayidx2 = getelementptr inbounds i16, ptr %vla, i16 6 39 store i16 4, ptr %arrayidx2 40 %arrayidx3 = getelementptr inbounds i8, ptr %vla1, i16 7 41 store i8 44, ptr %arrayidx3 42 %arraydecay = getelementptr inbounds [8 x i16], ptr %a, i16 0, i16 0 43 call void @foo(ptr %arraydecay, ptr %vla, ptr %vla1) 44 ret void 45} 46 47declare void @foo2(ptr, 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 r28, 61 55; CHECK: in r29, 62 56; Allocate stack space for call 57; CHECK: in {{.*}}, 61 58; CHECK: in {{.*}}, 62 59; CHECK: subi 60; CHECK: sbci 61; CHECK: in r0, 63 62; CHECK-NEXT: cli 63; CHECK-NEXT: out 62, {{.*}} 64; CHECK-NEXT: out 63, r0 65; CHECK-NEXT: out 61, {{.*}} 66; Store values on the stack 67; CHECK: ldi r16, 0 68; CHECK: ldi r17, 0 69; CHECK: std Z+8, r17 70; CHECK: std Z+7, r16 71; CHECK: std Z+6, r17 72; CHECK: std Z+5, r16 73; CHECK: std Z+4, r17 74; CHECK: std Z+3, r16 75; CHECK: std Z+2, r17 76; CHECK: std Z+1, r16 77; CHECK: call 78; Call frame restore 79; CHECK-NEXT: in r30, 61 80; CHECK-NEXT: in r31, 62 81; CHECK-NEXT: adiw r30, 8 82; CHECK-NEXT: in r0, 63 83; CHECK-NEXT: cli 84; CHECK-NEXT: out 62, r31 85; CHECK-NEXT: out 63, r0 86; CHECK-NEXT: out 61, r30 87; SP restore 88; CHECK: in r0, 63 89; CHECK-NEXT: cli 90; CHECK-NEXT: out 62, r29 91; CHECK-NEXT: out 63, r0 92; CHECK-NEXT: out 61, r28 93 %vla = alloca i16, i16 %x 94 call void @foo2(ptr %vla, i64 0, i64 0, i64 0) 95 ret void 96} 97 98; Test a function with a variable sized object but without any other need for a 99; frame pointer. 100; Allocas that are not placed in the entry block are considered variable sized 101; (they could be in a loop). 102define void @dynalloca3() { 103; CHECK-LABEL: dynalloca3: 104; Read frame pointer 105; CHECK: in r28, 61 106; CHECK-NEXT: in r29, 62 107; Allocate memory for the alloca 108; CHECK-NEXT: in r24, 61 109; CHECK-NEXT: in r25, 62 110; CHECK-NEXT: sbiw r24, 8 111; CHECK-NEXT: in r0, 63 112; CHECK-NEXT: cli 113; CHECK-NEXT: out 62, r25 114; CHECK-NEXT: out 63, r0 115; CHECK-NEXT: out 61, r24 116; Restore frame pointer 117; CHECK-NEXT: in r0, 63 118; CHECK-NEXT: cli 119; CHECK-NEXT: out 62, r29 120; CHECK-NEXT: out 63, r0 121; CHECK-NEXT: out 61, r28 122 br label %1 1231: 124 %a = alloca i64 125 ret void 126} 127