174 lines · plain
1; RUN: llc -mtriple=avr < %s | FileCheck %s2 3; CHECK-LABEL: ret_void_args_struct_i8_i324define void @ret_void_args_struct_i8_i32({ i8, i32 } %a) {5start:6 ; CHECK: sts 4, r207 %0 = extractvalue { i8, i32 } %a, 08 store volatile i8 %0, ptr inttoptr (i64 4 to ptr)9 10 ; CHECK-NEXT: sts 8, r2411 ; CHECK-NEXT: sts 7, r2312 ; CHECK-NEXT: sts 6, r2213 ; CHECK-NEXT: sts 5, r2114 %1 = extractvalue { i8, i32 } %a, 115 store volatile i32 %1, ptr inttoptr (i64 5 to ptr)16 ret void17}18 19; CHECK-LABEL: ret_void_args_struct_i8_i8_i8_i820define void @ret_void_args_struct_i8_i8_i8_i8({ i8, i8, i8, i8 } %a) {21start:22 ; CHECK: sts 4, r2223 %0 = extractvalue { i8, i8, i8, i8 } %a, 024 store volatile i8 %0, ptr inttoptr (i64 4 to ptr)25 ; CHECK-NEXT: sts 5, r2326 %1 = extractvalue { i8, i8, i8, i8 } %a, 127 store volatile i8 %1, ptr inttoptr (i64 5 to ptr)28 ; CHECK-NEXT: sts 6, r2429 %2 = extractvalue { i8, i8, i8, i8 } %a, 230 store volatile i8 %2, ptr inttoptr (i64 6 to ptr)31 ; CHECK-NEXT: sts 7, r2532 %3 = extractvalue { i8, i8, i8, i8 } %a, 333 store volatile i8 %3, ptr inttoptr (i64 7 to ptr)34 ret void35}36 37; CHECK-LABEL: ret_void_args_struct_i32_16_i838define void @ret_void_args_struct_i32_16_i8({ i32, i16, i8} %a) {39start:40 ; CHECK: sts 7, r2141 ; CHECK-NEXT: sts 6, r2042 ; CHECK-NEXT: sts 5, r1943 ; CHECK-NEXT: sts 4, r1844 %0 = extractvalue { i32, i16, i8 } %a, 045 store volatile i32 %0, ptr inttoptr (i64 4 to ptr)46 47 ; CHECK-NEXT: sts 5, r2348 ; CHECK-NEXT: sts 4, r2249 %1 = extractvalue { i32, i16, i8 } %a, 150 store volatile i16 %1, ptr inttoptr (i64 4 to ptr)51 52 ; CHECK-NEXT: sts 4, r2453 %2 = extractvalue { i32, i16, i8 } %a, 254 store volatile i8 %2, ptr inttoptr (i64 4 to ptr)55 ret void56}57 58; CHECK-LABEL: ret_void_args_struct_i8_i32_struct_i32_i859define void @ret_void_args_struct_i8_i32_struct_i32_i8({ i8, i32 } %a, { i32, i8 } %b) {60start:61 ; CHECK: sts 4, r2062 %0 = extractvalue { i8, i32 } %a, 063 store volatile i8 %0, ptr inttoptr (i64 4 to ptr)64 65 ; CHECK-NEXT: sts 8, r2466 ; CHECK-NEXT: sts 7, r2367 ; CHECK-NEXT: sts 6, r2268 ; CHECK-NEXT: sts 5, r2169 %1 = extractvalue { i8, i32 } %a, 170 store volatile i32 %1, ptr inttoptr (i64 5 to ptr)71 72 ; CHECK-NEXT: sts 9, r1773 ; CHECK-NEXT: sts 8, r1674 ; CHECK-NEXT: sts 7, r1575 ; CHECK-NEXT: sts 6, r1476 %2 = extractvalue { i32, i8 } %b, 077 store volatile i32 %2, ptr inttoptr (i64 6 to ptr)78 79 ; CHECK-NEXT: sts 7, r1880 %3 = extractvalue { i32, i8 } %b, 181 store volatile i8 %3, ptr inttoptr (i64 7 to ptr)82 ret void83}84 85; NOTE: The %0 (8-byte array) costs 8 registers and %1 (10-byte array)86; NOTE: costs 10 registers.87define i8 @foo0([8 x i8] %0, [10 x i8] %1) {88; CHECK-LABEL: foo0:89; CHECK: ; %bb.0:90; CHECK-NEXT: sub r18, r891; CHECK-NEXT: mov r24, r1892; CHECK-NEXT: ret93 %3 = extractvalue [8 x i8] %0, 094 %4 = extractvalue [10 x i8] %1, 095 %5 = sub i8 %3, %496 ret i8 %597}98 99; NOTE: The %0 (7-byte array) costs 8 registers and %1 (9-byte array)100; NOTE: costs 10 registers.101define i8 @foo1([7 x i8] %0, [9 x i8] %1) {102; CHECK-LABEL: foo1:103; CHECK: ; %bb.0:104; CHECK-NEXT: sub r18, r8105; CHECK-NEXT: mov r24, r18106; CHECK-NEXT: ret107 %3 = extractvalue [7 x i8] %0, 0108 %4 = extractvalue [9 x i8] %1, 0109 %5 = sub i8 %3, %4110 ret i8 %5111}112 113; NOTE: Each argument (6-byte array) costs 6 registers.114define i8 @foo2([6 x i8] %0, [6 x i8] %1, [6 x i8] %2) {115; CHECK-LABEL: foo2:116; CHECK: ; %bb.0:117; CHECK-NEXT: sub r20, r14118; CHECK-NEXT: add r20, r8119; CHECK-NEXT: mov r24, r20120; CHECK-NEXT: ret121 %4 = extractvalue [6 x i8] %0, 0122 %5 = extractvalue [6 x i8] %1, 0123 %6 = extractvalue [6 x i8] %2, 0124 %7 = sub i8 %4, %5125 %8 = add i8 %7, %6126 ret i8 %8127}128 129; NOTE: The %0 (9-byte array) costs 10 registers. Though there are130; NOTE: 8 registers are vacant, the %b (9-byte array) has to be dropped131; NOTE: to the stack.132define i8 @foo3([9 x i8] %0, [9 x i8] %1) {133; CHECK-LABEL: foo3:134; CHECK: ; %bb.0:135; CHECK-NEXT: push r28136; CHECK-NEXT: push r29137; CHECK-NEXT: in r28, 61138; CHECK-NEXT: in r29, 62139; CHECK-NEXT: mov r24, r16140; CHECK-NEXT: ldd r25, Y+5141; CHECK-NEXT: sub r24, r25142; CHECK-NEXT: pop r29143; CHECK-NEXT: pop r28144; CHECK-NEXT: ret145 %3 = extractvalue [9 x i8] %0, 0146 %4 = extractvalue [9 x i8] %1, 0147 %5 = sub i8 %3, %4148 ret i8 %5149}150 151; NOTE: Both %0 and %1 are 7-byte arrays, and cost total 16 registers.152; NOTE: Though there are 2 registers are vacant, the %2 (7-byte array) has to153; NOTE: be dropped to the stack.154define i8 @foo4([7 x i8] %0, [7 x i8] %1, [7 x i8] %2) {155; CHECK-LABEL: foo4:156; CHECK: ; %bb.0:157; CHECK-NEXT: push r28158; CHECK-NEXT: push r29159; CHECK-NEXT: in r28, 61160; CHECK-NEXT: in r29, 62161; CHECK-NEXT: sub r18, r10162; CHECK-NEXT: ldd r24, Y+5163; CHECK-NEXT: add r24, r18164; CHECK-NEXT: pop r29165; CHECK-NEXT: pop r28166; CHECK-NEXT: ret167 %4 = extractvalue [7 x i8] %0, 0168 %5 = extractvalue [7 x i8] %1, 0169 %6 = extractvalue [7 x i8] %2, 0170 %7 = sub i8 %4, %5171 %8 = add i8 %7, %6172 ret i8 %8173}174