97 lines · plain
1; Test file to verify the prologue and epilogue insertion point computation by the shrink-wrap pass2 3; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64le-unknown-unknown -mcpu=pwr9 | FileCheck %s --check-prefixes=POWERPC644; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-ibm-aix-xcoff -mcpu=pwr9 | FileCheck %s --check-prefixes=POWERPC32-AIX5; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-ibm-aix-xcoff -mcpu=pwr9 | FileCheck %s --check-prefixes=POWERPC64-AIX6 7define void @foo(ptr noundef readnone %parent_frame_pointer) {8; POWERPC64-LABEL: foo9; POWERPC64: # %bb.0:10; POWERPC64: mflr [[REG1:[0-9]+]]11; POWERPC64-NEXT: stdu 1, -32(1)12; POWERPC64-NEXT: std [[REG1]], 48(1)13; POWERPC64: cmpld [[REG2:[0-9]+]], 114; POWERPC64: # %bb.1:15; POWERPC64-NEXT: addi 1, 1, 3216; POWERPC64-NEXT: ld [[REG1]], 16(1)17; POWERPC64-NEXT: mtlr [[REG1]]18; POWERPC64-NEXT: blr19 20; POWERPC32-AIX-LABEL: .foo:21; POWERPC32-AIX: # %bb.0:22; POWERPC32-AIX-NEXT: mflr [[REG1:[0-9]+]]23; POWERPC32-AIX-NEXT: stwu 1, -64(1)24; POWERPC32-AIX-NEXT: cmplw [[REG2:[0-9]+]], 125; POWERPC32-AIX: # %bb.1:26; POWERPC32-AIX-NEXT: addi 1, 1, 6427; POWERPC32-AIX-NEXT: lwz [[REG1]], 8(1)28; POWERPC32-AIX-NEXT: mtlr [[REG1]]29; POWERPC32-AIX-NEXT: blr30 31; POWERPC64-AIX-LABEL: .foo:32; POWERPC64-AIX: # %bb.0:33; POWERPC64-AIX-NEXT: mflr [[REG1:[0-9]+]]34; POWERPC64-AIX-NEXT: stdu 1, -112(1)35; POWERPC64-AIX-NEXT: cmpld [[REG2:[0-9]+]], 136; POWERPC64-AIX: # %bb.1:37; POWERPC64-AIX-NEXT: addi 1, 1, 11238; POWERPC64-AIX-NEXT: ld [[REG1]], 16(1)39; POWERPC64-AIX-NEXT: mtlr [[REG1]]40; POWERPC64-AIX-NEXT: blr41 42entry:43 %frameaddress = tail call ptr @llvm.frameaddress.p0(i32 0)44 %cmp = icmp ugt ptr %parent_frame_pointer, %frameaddress45 br i1 %cmp, label %cond.end, label %cond.false46 47cond.false: ; preds = %entry48 tail call void @abort()49 unreachable50 51cond.end: ; preds = %entry52 ret void53}54 55declare ptr @llvm.frameaddress.p0(i32 immarg)56declare void @abort()57 58define noundef i32 @main() {59; POWERPC64-LABEL: main60; POWERPC64: # %bb.0:61; POWERPC64-NEXT: mflr [[REG1:[0-9]+]]62; POWERPC64-NEXT: stdu 1, -32(1)63; POWERPC64-NEXT: std [[REG1]], 48(1)64; POWERPC64: mr [[REG2:[0-9]+]], 165; POWERPC64: addi 1, 1, 3266; POWERPC64-NEXT: ld [[REG1]], 16(1)67; POWERPC64-NEXT: mtlr [[REG1]]68; POWERPC64-NEXT: blr69 70; POWERPC32-AIX-LABEL: .main:71; POWERPC32-AIX: # %bb.0:72; POWERPC32-AIX-NEXT: mflr [[REG1:[0-9]+]]73; POWERPC32-AIX-NEXT: stwu 1, -64(1)74; POWERPC32-AIX-NEXT: mr [[REG2:[0-9]+]], 175; POWERPC32-AIX-NEXT: stw [[REG1]], 72(1)76; POWERPC32-AIX: addi 1, 1, 6477; POWERPC32-AIX-NEXT: lwz [[REG1]], 8(1)78; POWERPC32-AIX-NEXT: mtlr [[REG1]]79; POWERPC32-AIX-NEXT: blr80 81; POWERPC64-AIX-LABEL: .main:82; POWERPC64-AIX: # %bb.0:83; POWERPC64-AIX-NEXT: mflr [[REG1:[0-9]+]]84; POWERPC64-AIX-NEXT: stdu 1, -112(1)85; POWERPC64-AIX-NEXT: mr [[REG2:[0-9]+]], 186; POWERPC64-AIX-NEXT: std [[REG1]], 128(1)87; POWERPC64-AIX: addi 1, 1, 11288; POWERPC64-AIX-NEXT: ld [[REG1]], 16(1)89; POWERPC64-AIX-NEXT: mtlr [[REG1]]90; POWERPC64-AIX-NEXT: blr91 92entry:93 %frameaddress = tail call ptr @llvm.frameaddress.p0(i32 0)94 tail call void @foo(ptr noundef %frameaddress)95 ret i32 096}97