224 lines · plain
1; RUN: llc < %s -mtriple=avr | FileCheck %s2 3@count = global i8 04@funcptr = global ptr addrspace(1) null5 6define avr_intrcc void @interrupt_handler() {7; CHECK-LABEL: interrupt_handler:8; CHECK: sei9; CHECK-NEXT: push r010; CHECK-NEXT: in r0, 6311; CHECK-NEXT: push r012; CHECK: pop r013; CHECK-NEXT: out 63, r014; CHECK-NEXT: pop r015; CHECK-NEXT: reti16 ret void17}18 19define void @interrupt_handler_via_ir_attribute() #0 {20; CHECK-LABEL: interrupt_handler_via_ir_attribute:21; CHECK: sei22; CHECK-NEXT: push r023; CHECK-NEXT: in r0, 6324; CHECK-NEXT: push r025; CHECK: pop r026; CHECK-NEXT: out 63, r027; CHECK-NEXT: pop r028; CHECK-NEXT: reti29 ret void30}31 32define avr_signalcc void @signal_handler() {33; CHECK-LABEL: signal_handler:34; CHECK-NOT: sei35; CHECK: push r036; CHECK-NEXT: in r0, 6337; CHECK-NEXT: push r038; CHECK: pop r039; CHECK-NEXT: out 63, r040; CHECK-NEXT: pop r041; CHECK-NEXT: reti42 ret void43}44 45define void @signal_handler_via_attribute() #1 {46; CHECK-LABEL: signal_handler_via_attribute:47; CHECK-NOT: sei48; CHECK: push r049; CHECK-NEXT: in r0, 6350; CHECK-NEXT: push r051; CHECK: pop r052; CHECK-NEXT: out 63, r053; CHECK-NEXT: pop r054; CHECK-NEXT: reti55 ret void56}57 58define avr_intrcc void @interrupt_alloca() {59; CHECK-LABEL: interrupt_alloca:60; CHECK: sei61; CHECK-NEXT: push r062; CHECK-NEXT: in r0, 6363; CHECK-NEXT: push r064; CHECK: push r2865; CHECK-NEXT: push r2966; CHECK-NEXT: in r28, 6167; CHECK-NEXT: in r29, 6268; CHECK-NEXT: sbiw r28, 169; CHECK-NEXT: in r0, 6370; CHECK-NEXT: cli71; CHECK-NEXT: out 62, r2972; CHECK-NEXT: out 63, r073; CHECK-NEXT: out 61, r2874; CHECK: adiw r28, 175; CHECK-NEXT: in r0, 6376; CHECK-NEXT: cli77; CHECK-NEXT: out 62, r2978; CHECK-NEXT: out 63, r079; CHECK-NEXT: out 61, r2880; CHECK-NEXT: pop r2981; CHECK-NEXT: pop r2882; CHECK: pop r083; CHECK-NEXT: out 63, r084; CHECK-NEXT: pop r085; CHECK-NEXT: reti86 alloca i887 ret void88}89 90define void @signal_handler_with_increment() #1 {91; CHECK-LABEL: signal_handler_with_increment:92; CHECK: push r093; CHECK-NEXT: in r0, 6394; CHECK-NEXT: push r095; CHECK-NEXT: push r2496; CHECK-NEXT: lds r24, count97; CHECK-NEXT: inc r2498; CHECK-NEXT: sts count, r2499; CHECK-NEXT: pop r24100; CHECK-NEXT: pop r0101; CHECK-NEXT: out 63, r0102; CHECK-NEXT: pop r0103; CHECK-NEXT: reti104 %old = load volatile i8, ptr @count105 %new = add i8 %old, 1106 store volatile i8 %new, ptr @count107 ret void108}109 110; Check that r1 is saved/restored and set to 0 when using inline assembly.111define void @signal_handler_with_asm() #1 {112; CHECK-LABEL: signal_handler_with_asm:113; CHECK: push r0114; CHECK-NEXT: in r0, 63115; CHECK-NEXT: push r0116; CHECK-NEXT: push r1117; CHECK-NEXT: clr r1118; CHECK-NEXT: push r24119; CHECK-NEXT: ldi120; ;APP121; CHECK: mov122; ;NO_APP123; CHECK: pop r24124; CHECK-NEXT: pop r1125; CHECK-NEXT: pop r0126; CHECK-NEXT: out 63, r0127; CHECK-NEXT: pop r0128; CHECK-NEXT: reti129 call i8 asm sideeffect "mov $0, $1", "=r,r"(i8 3) nounwind130 ret void131}132 133declare void @foo()134 135; When a signal handler calls a function, it must push/pop all call clobbered136; registers.137define void @signal_handler_with_call() #1 {138; CHECK-LABEL: signal_handler_with_call:139; CHECK: push r0140; CHECK-NEXT: in r0, 63141; CHECK-NEXT: push r0142; CHECK-NEXT: push r1143; CHECK-NEXT: clr r1144; CHECK-NEXT: push r18145; CHECK-NEXT: push r19146; CHECK-NEXT: push r20147; CHECK-NEXT: push r21148; CHECK-NEXT: push r22149; CHECK-NEXT: push r23150; CHECK-NEXT: push r24151; CHECK-NEXT: push r25152; CHECK-NEXT: push r26153; CHECK-NEXT: push r27154; CHECK-NEXT: push r30155; CHECK-NEXT: push r31156; CHECK-NEXT: call foo157; CHECK-NEXT: pop r31158; CHECK-NEXT: pop r30159; CHECK-NEXT: pop r27160; CHECK-NEXT: pop r26161; CHECK-NEXT: pop r25162; CHECK-NEXT: pop r24163; CHECK-NEXT: pop r23164; CHECK-NEXT: pop r22165; CHECK-NEXT: pop r21166; CHECK-NEXT: pop r20167; CHECK-NEXT: pop r19168; CHECK-NEXT: pop r18169; CHECK-NEXT: pop r1170; CHECK-NEXT: pop r0171; CHECK-NEXT: out 63, r0172; CHECK-NEXT: pop r0173; CHECK-NEXT: reti174 call void @foo()175 ret void176}177 178define void @signal_handler_with_icall() #1 {179; CHECK-LABEL: signal_handler_with_icall:180; CHECK: push r0181; CHECK-NEXT: in r0, 63182; CHECK-NEXT: push r0183; CHECK-NEXT: push r1184; CHECK-NEXT: clr r1185; CHECK-NEXT: push r18186; CHECK-NEXT: push r19187; CHECK-NEXT: push r20188; CHECK-NEXT: push r21189; CHECK-NEXT: push r22190; CHECK-NEXT: push r23191; CHECK-NEXT: push r24192; CHECK-NEXT: push r25193; CHECK-NEXT: push r26194; CHECK-NEXT: push r27195; CHECK-NEXT: push r30196; CHECK-NEXT: push r31197; CHECK-NEXT: lds r30, funcptr198; CHECK-NEXT: lds r31, funcptr+1199; CHECK-NEXT: icall200; CHECK-NEXT: pop r31201; CHECK-NEXT: pop r30202; CHECK-NEXT: pop r27203; CHECK-NEXT: pop r26204; CHECK-NEXT: pop r25205; CHECK-NEXT: pop r24206; CHECK-NEXT: pop r23207; CHECK-NEXT: pop r22208; CHECK-NEXT: pop r21209; CHECK-NEXT: pop r20210; CHECK-NEXT: pop r19211; CHECK-NEXT: pop r18212; CHECK-NEXT: pop r1213; CHECK-NEXT: pop r0214; CHECK-NEXT: out 63, r0215; CHECK-NEXT: pop r0216; CHECK-NEXT: reti217 %ptr = load volatile ptr addrspace(1), ptr @funcptr218 call void %ptr()219 ret void220}221 222attributes #0 = { "interrupt" }223attributes #1 = { "signal" }224