Skip to content

[AIE2P] Add alternative calling convention for library calls #664

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: aie-public
Choose a base branch
from
Open

[AIE2P] Add alternative calling convention for library calls #664

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions llvm/include/llvm/IR/CallingConv.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -270,6 +270,9 @@ namespace CallingConv {
/// Preserve X1-X15, X19-X29, SP, Z0-Z31, P0-P15.
AArch64_SME_ABI_Support_Routines_PreserveMost_From_X1 = 111,

/// Preserve vector registers.
AIE_PreserveAll_Vec = 112,

/// The highest possible ID. Must be some 2^k - 1.
MaxID = 1023
};
Expand Down
1 change: 1 addition & 0 deletions llvm/lib/Target/AIE/AIEBaseISelLowering.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@
#include "MCTargetDesc/AIE2MCTargetDesc.h"
#include "MCTargetDesc/AIEMCTargetDesc.h"
#include "MCTargetDesc/aie2p/AIE2PMCTargetDesc.h"
#include "llvm/IR/RuntimeLibcalls.h"
#include "llvm/MC/MCRegister.h"
using namespace llvm;

Expand Down
7 changes: 7 additions & 0 deletions llvm/lib/Target/AIE/aie2p/AIE2PCallingConv.td
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -211,5 +211,12 @@ def CC_AIE2P : CallingConv<[
def CSR_AIE2P
: CalleeSavedRegs<(add lr, r8, r9, r10, r11, r12, r13, r14, r15, p6, p7)>;

def CSR_AIE2P_Vec
: CalleeSavedRegs<(add lr, r8, r9, r10, r11, r12, r13, r14, r15, p6, p7,
wl0, wl2, wl4, wl6, wl8, wl10, wl1, wl3, wl5, wl7, wl9, wl11, wh0,
wh2, wh4, wh6, wh8, wh10, wh1, wh3, wh5, wh7, wh9, wh11, bmll0, bmll1,
bmll2, bmll3, bmll4, bmhl0, bmhl1, bmhl2, bmhl3, bmhl4, bmlh0, bmlh1,
bmlh2, bmlh3, bmlh4, bmhh0, bmhh1, bmhh2, bmhh3, bmhh4)>;

// Needed for implementation of AIERegisterInfo::getNoPreservedMask()
def CSR_NoRegs : CalleeSavedRegs<(add)>;
25 changes: 25 additions & 0 deletions llvm/lib/Target/AIE/aie2p/AIE2PISelLowering.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,9 +21,34 @@ using namespace llvm;

#define DEBUG_TYPE "aie-lower"

cl::opt<bool>
VecCCLibcalls("aie-libcalls-preserve-vectors", cl::init(true), cl::Hidden,
cl::desc("Assume all vector registers are callee-saved by "
"builtin library functions."));

AIE2PTargetLowering::AIE2PTargetLowering(const TargetMachine &TM,
const AIEBaseSubtarget &STI)
: AIEBaseTargetLowering(TM, STI) {

if (VecCCLibcalls) {
setLibcallCallingConv(RTLIB::SINTTOFP_I32_F32,
CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::SINTTOFP_I32_F64,
CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::SINTTOFP_I64_F32,
CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::SINTTOFP_I64_F64,
CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::SDIV_I32, CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::SDIV_I64, CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::UDIV_I32, CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::UDIV_I64, CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::SREM_I32, CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::SREM_I64, CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::UREM_I32, CallingConv::AIE_PreserveAll_Vec);
setLibcallCallingConv(RTLIB::UREM_I64, CallingConv::AIE_PreserveAll_Vec);
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I see some other libcalls in the LegalizerHelper. Are these only the verified ones?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, these are only the ones I verified. Others could likely be included as well, but I wanted to keep this limited for now

}

const TargetRegisterInfo *TRI = Subtarget.getRegisterInfo();

// We already define in .td which types are legal for each register class.
Expand Down
10 changes: 8 additions & 2 deletions llvm/lib/Target/AIE/aie2p/AIE2PRegisterInfo.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@
#include "llvm/CodeGen/RegisterScavenging.h"
#include "llvm/CodeGen/TargetFrameLowering.h"
#include "llvm/CodeGen/TargetRegisterInfo.h"
#include "llvm/IR/CallingConv.h"
#include "llvm/Support/ErrorHandling.h"

#define GET_REGINFO_TARGET_DESC
Expand Down Expand Up @@ -285,8 +286,13 @@ AIE2PRegisterInfo::getPointerRegClass(const MachineFunction &MF,

const uint32_t *
AIE2PRegisterInfo::getCallPreservedMask(const MachineFunction &MF,
CallingConv::ID /*CC*/) const {
return CSR_AIE2P_RegMask;
CallingConv::ID CC) const {
switch (CC) {
case CallingConv::AIE_PreserveAll_Vec:
return CSR_AIE2P_Vec_RegMask;
default:
return CSR_AIE2P_RegMask;
}
}

bool AIE2PRegisterInfo::isTypeLegalForClass(const TargetRegisterClass &RC,
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/CodeGen/AIE/GlobalISel/legalize-sdiv.mir
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
# (c) Copyright 2023-2024 Advanced Micro Devices, Inc. or its affiliates
# RUN: llc -mtriple aie -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=1 %s
# RUN: llc -mtriple aie2 -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2 %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p_vec %s

---
name: sdiv_s32
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/CodeGen/AIE/GlobalISel/legalize-sdivrem.mir
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
# (c) Copyright 2023-2024 Advanced Micro Devices, Inc. or its affiliates
# RUN: llc -mtriple aie -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=1 %s
# RUN: llc -mtriple aie2 -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2 %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p_vec %s

---
name: sdivrem_s32
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/CodeGen/AIE/GlobalISel/legalize-sitofp.mir
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
#
# (c) Copyright 2023-2024 Advanced Micro Devices, Inc. or its affiliates
# RUN: llc -mtriple aie2 -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2 --check-prefix=COMMON --check-prefix=AIE2 %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p --check-prefix=COMMON --check-prefix=AIE2P %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p_vec --check-prefix=COMMON --check-prefix=AIE2P %s

---
name: test_sitofp_s32_to_s32
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/CodeGen/AIE/GlobalISel/legalize-srem.mir
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
# (c) Copyright 2023-2024 Advanced Micro Devices, Inc. or its affiliates
# RUN: llc -mtriple aie -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=1 %s
# RUN: llc -mtriple aie2 -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2 %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p_vec %s

---
name: srem_s32
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/CodeGen/AIE/GlobalISel/legalize-udiv.mir
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
# (c) Copyright 2023-2024 Advanced Micro Devices, Inc. or its affiliates
# RUN: llc -mtriple aie -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=1 %s
# RUN: llc -mtriple aie2 -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2 %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p_vec %s

---
name: udiv_s32
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/CodeGen/AIE/GlobalISel/legalize-udivrem.mir
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
# (c) Copyright 2023-2024 Advanced Micro Devices, Inc. or its affiliates
# RUN: llc -mtriple aie -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=1 %s
# RUN: llc -mtriple aie2 -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2 %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p_vec %s

---
name: udivrem_s32
Expand Down
2 changes: 1 addition & 1 deletion llvm/test/CodeGen/AIE/GlobalISel/legalize-urem.mir
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
# (c) Copyright 2023-2024 Advanced Micro Devices, Inc. or its affiliates
# RUN: llc -mtriple aie -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=1 %s
# RUN: llc -mtriple aie2 -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2 %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p %s
# RUN: llc -mtriple aie2p -run-pass=legalizer %s -verify-machineinstrs -o - | FileCheck -DVER=2p_vec %s

---
name: urem_s32
Expand Down
20 changes: 10 additions & 10 deletions llvm/test/CodeGen/AIE/aie2p/vscl2vec.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -520,24 +520,24 @@ entry:
define dso_local noundef <16 x float> @_Z13test_upd_elemDv16_fif(<16 x float> noundef %v, i32 noundef %idx, float noundef %b) local_unnamed_addr {
; CHECK-LABEL: _Z13test_upd_elemDv16_fif:
; CHECK: // %bb.0: // %entry
; CHECK-NEXT: nopa ; jl #__floatsisf
; CHECK-NEXT: paddxm [sp], #128 // Delay Slot 5
; CHECK-NEXT: st r8, [sp, #-128] // 4-byte Folded Spill Delay Slot 4
; CHECK-NEXT: st lr, [sp, #-124] // 4-byte Folded Spill Delay Slot 3
; CHECK-NEXT: vst x2, [sp, #-64] // 64-byte Folded Spill Delay Slot 2
; CHECK-NEXT: nopa ; nopb ; jl #__floatsisf
; CHECK-NEXT: nop // Delay Slot 5
; CHECK-NEXT: paddxm [sp], #64 // Delay Slot 4
; CHECK-NEXT: st lr, [sp, #-60] // 4-byte Folded Spill Delay Slot 3
; CHECK-NEXT: st r8, [sp, #-64] // 4-byte Folded Spill Delay Slot 2
; CHECK-NEXT: mov r8, r0 // Delay Slot 1
; CHECK-NEXT: lda lr, [sp, #-124]; nopxm // 4-byte Folded Reload
; CHECK-NEXT: lda lr, [sp, #-60]; nopb ; nopxm // 4-byte Folded Reload
; CHECK-NEXT: nop
; CHECK-NEXT: nop
; CHECK-NEXT: nop
; CHECK-NEXT: nop
; CHECK-NEXT: vlda x0, [sp, #-64] // 64-byte Folded Reload
; CHECK-NEXT: nop
; CHECK-NEXT: lda r8, [sp, #-128] // 4-byte Folded Reload
; CHECK-NEXT: lda r8, [sp, #-64] // 4-byte Folded Reload
; CHECK-NEXT: ret lr
; CHECK-NEXT: nop // Delay Slot 5
; CHECK-NEXT: mov r29, r8 // Delay Slot 4
; CHECK-NEXT: paddxm [sp], #-128 // Delay Slot 3
; CHECK-NEXT: vinsert.32 x0, x0, r29, r0 // Delay Slot 2
; CHECK-NEXT: paddxm [sp], #-64 // Delay Slot 3
; CHECK-NEXT: vinsert.32 x0, x2, r29, r0 // Delay Slot 2
; CHECK-NEXT: nop // Delay Slot 1
entry:
%0 = bitcast float %b to i32
Expand Down