189 lines · plain
1; RUN: llc -mtriple=arm64-apple-ios -mattr=+reserve-x18 -o - %s | FileCheck %s --check-prefix=CHECK-RESERVE --check-prefix=CHECK-RESERVE-X182; RUN: llc -mtriple=arm64-freebsd-gnu -mattr=+reserve-x18 -o - %s | FileCheck %s --check-prefix=CHECK-RESERVE --check-prefix=CHECK-RESERVE-X183; RUN: llc -mtriple=arm64-linux-gnu -o - %s | FileCheck %s4; RUN: llc -mtriple=aarch64-linux-android -o - %s | FileCheck %s --check-prefix=CHECK-RESERVE --check-prefix=CHECK-RESERVE-X185; RUN: llc -mtriple=aarch64-linux-ohos -o - %s | FileCheck %s --check-prefix=CHECK-RESERVE --check-prefix=CHECK-RESERVE-X186; RUN: llc -mtriple=aarch64-fuchsia -o - %s | FileCheck %s --check-prefix=CHECK-RESERVE --check-prefix=CHECK-RESERVE-X187; RUN: llc -mtriple=aarch64-windows -o - %s | FileCheck %s --check-prefix=CHECK-RESERVE --check-prefix=CHECK-RESERVE-X188 9; Test reserve-x# options individually.10; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x1 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X111; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x2 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X212; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x3 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X313; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x4 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X414; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x5 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X515; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x6 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X616; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x7 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X717; RUN: llc -mtriple=arm64-linux-gnu -reserve-regs-for-regalloc=X8 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X818; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x9 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X919; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x10 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X1020; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x11 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X1121; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x12 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X1222; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x13 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X1323; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x14 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X1424; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x15 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X1525; RUN: llc -mtriple=arm64-linux-gnu -reserve-regs-for-regalloc=X16 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X1626; RUN: llc -mtriple=arm64-linux-gnu -reserve-regs-for-regalloc=X17 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X1727; RUN: llc -mtriple=arm64-linux-gnu -reserve-regs-for-regalloc=X19 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X1928; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x20 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X2029; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x21 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X2130; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x22 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X2231; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x23 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X2332; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x24 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X2433; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x25 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X2534; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x26 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X2635; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x27 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X2736; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-x28 -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-X2837; RUN: llc -mtriple=arm64-linux-gnu -mattr=+reserve-lr-for-ra -o - %s | FileCheck %s --check-prefixes=CHECK-RESERVE,CHECK-RESERVE-LR-RA38 39; Test multiple of reserve-x# options together.40; RUN: llc -mtriple=arm64-linux-gnu \41; RUN: -mattr=+reserve-x1 \42; RUN: -mattr=+reserve-x2 \43; RUN: -mattr=+reserve-x18 \44; RUN: -o - %s | FileCheck %s \45; RUN: --check-prefix=CHECK-RESERVE \46; RUN: --check-prefix=CHECK-RESERVE-X1 \47; RUN: --check-prefix=CHECK-RESERVE-X2 \48; RUN: --check-prefix=CHECK-RESERVE-X1849 50; Test all reserve-x# options together.51; RUN: llc -mtriple=arm64-linux-gnu \52; RUN: -mattr=+reserve-x1 \53; RUN: -mattr=+reserve-x2 \54; RUN: -mattr=+reserve-x3 \55; RUN: -mattr=+reserve-x4 \56; RUN: -mattr=+reserve-x5 \57; RUN: -mattr=+reserve-x6 \58; RUN: -mattr=+reserve-x7 \59; RUN: -mattr=+reserve-x9 \60; RUN: -mattr=+reserve-x10 \61; RUN: -mattr=+reserve-x11 \62; RUN: -mattr=+reserve-x12 \63; RUN: -mattr=+reserve-x13 \64; RUN: -mattr=+reserve-x14 \65; RUN: -mattr=+reserve-x15 \66; RUN: -mattr=+reserve-x18 \67; RUN: -mattr=+reserve-x20 \68; RUN: -mattr=+reserve-x21 \69; RUN: -mattr=+reserve-x22 \70; RUN: -mattr=+reserve-x23 \71; RUN: -mattr=+reserve-x24 \72; RUN: -mattr=+reserve-x25 \73; RUN: -mattr=+reserve-x26 \74; RUN: -mattr=+reserve-x27 \75; RUN: -mattr=+reserve-x28 \76; RUN: -mattr=+reserve-lr-for-ra \77; RUN: -reserve-regs-for-regalloc=X8,X16,X17,X19 \78; RUN: -o - %s | FileCheck %s \79; RUN: --check-prefix=CHECK-RESERVE \80; RUN: --check-prefix=CHECK-RESERVE-X1 \81; RUN: --check-prefix=CHECK-RESERVE-X2 \82; RUN: --check-prefix=CHECK-RESERVE-X3 \83; RUN: --check-prefix=CHECK-RESERVE-X4 \84; RUN: --check-prefix=CHECK-RESERVE-X5 \85; RUN: --check-prefix=CHECK-RESERVE-X6 \86; RUN: --check-prefix=CHECK-RESERVE-X7 \87; RUN: --check-prefix=CHECK-RESERVE-X8 \88; RUN: --check-prefix=CHECK-RESERVE-X9 \89; RUN: --check-prefix=CHECK-RESERVE-X10 \90; RUN: --check-prefix=CHECK-RESERVE-X11 \91; RUN: --check-prefix=CHECK-RESERVE-X12 \92; RUN: --check-prefix=CHECK-RESERVE-X13 \93; RUN: --check-prefix=CHECK-RESERVE-X14 \94; RUN: --check-prefix=CHECK-RESERVE-X15 \95; RUN: --check-prefix=CHECK-RESERVE-X16 \96; RUN: --check-prefix=CHECK-RESERVE-X17 \97; RUN: --check-prefix=CHECK-RESERVE-X18 \98; RUN: --check-prefix=CHECK-RESERVE-X19 \99; RUN: --check-prefix=CHECK-RESERVE-X20 \100; RUN: --check-prefix=CHECK-RESERVE-X21 \101; RUN: --check-prefix=CHECK-RESERVE-X22 \102; RUN: --check-prefix=CHECK-RESERVE-X23 \103; RUN: --check-prefix=CHECK-RESERVE-X24 \104; RUN: --check-prefix=CHECK-RESERVE-X25 \105; RUN: --check-prefix=CHECK-RESERVE-X26 \106; RUN: --check-prefix=CHECK-RESERVE-X27 \107; RUN: --check-prefix=CHECK-RESERVE-X28 \108; RUN: --check-prefix=CHECK-RESERVE-LR-RA109 110; x18 is reserved as a platform register on Darwin but not on other111; systems. Create loads of register pressure and make sure this is respected.112 113; Also, fp must always refer to a valid frame record, even if it's not the one114; of the current function, so it shouldn't be used either.115 116@var = global [30 x i64] zeroinitializer117 118define void @keep_live() {119 %val = load volatile [30 x i64], ptr @var120 store volatile [30 x i64] %val, ptr @var121 122; CHECK: ldr x18123; CHECK: str x18124 125; CHECK-RESERVE-NOT: ldr fp126; CHECK-RESERVE-X8-NOT: adrp x8127; CHECK-RESERVE-X8-NOT: ldr x8128; CHECK-RESERVE-X1-NOT: ldr x1,129; CHECK-RESERVE-X2-NOT: ldr x2,130; CHECK-RESERVE-X3-NOT: ldr x3,131; CHECK-RESERVE-X4-NOT: ldr x4,132; CHECK-RESERVE-X5-NOT: ldr x5,133; CHECK-RESERVE-X6-NOT: ldr x6,134; CHECK-RESERVE-X7-NOT: ldr x7,135; CHECK-RESERVE-X9-NOT: ldr x9,136; CHECK-RESERVE-X10-NOT: ldr x10,137; CHECK-RESERVE-X11-NOT: ldr x11,138; CHECK-RESERVE-X12-NOT: ldr x12,139; CHECK-RESERVE-X13-NOT: ldr x13,140; CHECK-RESERVE-X14-NOT: ldr x14,141; CHECK-RESERVE-X15-NOT: ldr x15,142; CHECK-RESERVE-X16-NOT: ldr x16143; CHECK-RESERVE-X17-NOT: ldr x17144; CHECK-RESERVE-X18-NOT: ldr x18145; CHECK-RESERVE-X19-NOT: ldr x19146; CHECK-RESERVE-X20-NOT: ldr x20147; CHECK-RESERVE-X21-NOT: ldr x21148; CHECK-RESERVE-X22-NOT: ldr x22149; CHECK-RESERVE-X23-NOT: ldr x23150; CHECK-RESERVE-X24-NOT: ldr x24151; CHECK-RESERVE-X25-NOT: ldr x25152; CHECK-RESERVE-X26-NOT: ldr x26153; CHECK-RESERVE-X27-NOT: ldr x27154; CHECK-RESERVE-X28-NOT: ldr x28155; CHECK-RESERVE-LR-RA-NOT: ldr x30156; CHECK-RESERVE: Spill157; CHECK-RESERVE-NOT: ldr fp158; CHECK-RESERVE-X1-NOT: ldr x1,159; CHECK-RESERVE-X2-NOT: ldr x2,160; CHECK-RESERVE-X3-NOT: ldr x3,161; CHECK-RESERVE-X4-NOT: ldr x4,162; CHECK-RESERVE-X5-NOT: ldr x5,163; CHECK-RESERVE-X6-NOT: ldr x6,164; CHECK-RESERVE-X7-NOT: ldr x7,165; CHECK-RESERVE-X9-NOT: ldr x9,166; CHECK-RESERVE-X10-NOT: ldr x10,167; CHECK-RESERVE-X11-NOT: ldr x11,168; CHECK-RESERVE-X12-NOT: ldr x12,169; CHECK-RESERVE-X13-NOT: ldr x13,170; CHECK-RESERVE-X14-NOT: ldr x14,171; CHECK-RESERVE-X15-NOT: ldr x15,172; CHECK-RESERVE-X16-NOT: ldr x16173; CHECK-RESERVE-X17-NOT: ldr x17174; CHECK-RESERVE-X18-NOT: ldr x18175; CHECK-RESERVE-X19-NOT: ldr x19176; CHECK-RESERVE-X20-NOT: ldr x20177; CHECK-RESERVE-X21-NOT: ldr x21178; CHECK-RESERVE-X22-NOT: ldr x22179; CHECK-RESERVE-X23-NOT: ldr x23180; CHECK-RESERVE-X24-NOT: ldr x24181; CHECK-RESERVE-X25-NOT: ldr x25182; CHECK-RESERVE-X26-NOT: ldr x26183; CHECK-RESERVE-X27-NOT: ldr x27184; CHECK-RESERVE-X28-NOT: ldr x28185; CHECK-RESERVE-LR-RA-NOT: ldr x30186; CHECK-RESERVE: ret187 ret void188}189