mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-15 04:30:12 +00:00
538287dea2
The ABI allows sub-128 vectors to be passed and returned in registers, with the vector occupying the upper part of a register. We therefore want to legalize those types by widening the vector rather than promoting the elements. The patch includes some simple tests for sub-128 vectors and also tests that we can recognize various pack sequences, some of which use sub-128 vectors as temporary results. One of these forms is based on the pack sequences generated by llvmpipe when no intrinsics are used. Signed unpacks are recognized as BUILD_VECTORs whose elements are individually sign-extended. Unsigned unpacks can have the equivalent form with zero extension, but they also occur as shuffles in which some elements are zero. Based on a patch by Richard Sandiford. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236525 91177308-0d34-0410-b5e6-96231b3b80d8
85 lines
2.9 KiB
C++
85 lines
2.9 KiB
C++
//===-- SystemZCallingConv.h - Calling conventions for SystemZ --*- C++ -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZCALLINGCONV_H
|
|
#define LLVM_LIB_TARGET_SYSTEMZ_SYSTEMZCALLINGCONV_H
|
|
|
|
#include "llvm/ADT/SmallVector.h"
|
|
#include "llvm/CodeGen/CallingConvLower.h"
|
|
|
|
namespace llvm {
|
|
namespace SystemZ {
|
|
const unsigned NumArgGPRs = 5;
|
|
extern const unsigned ArgGPRs[NumArgGPRs];
|
|
|
|
const unsigned NumArgFPRs = 4;
|
|
extern const unsigned ArgFPRs[NumArgFPRs];
|
|
} // end namespace SystemZ
|
|
|
|
class SystemZCCState : public CCState {
|
|
private:
|
|
/// Records whether the value was a fixed argument.
|
|
/// See ISD::OutputArg::IsFixed.
|
|
SmallVector<bool, 4> ArgIsFixed;
|
|
|
|
/// Records whether the value was widened from a short vector type.
|
|
SmallVector<bool, 4> ArgIsShortVector;
|
|
|
|
// Check whether ArgVT is a short vector type.
|
|
bool IsShortVectorType(EVT ArgVT) {
|
|
return ArgVT.isVector() && ArgVT.getStoreSize() <= 8;
|
|
}
|
|
|
|
public:
|
|
SystemZCCState(CallingConv::ID CC, bool isVarArg, MachineFunction &MF,
|
|
SmallVectorImpl<CCValAssign> &locs, LLVMContext &C)
|
|
: CCState(CC, isVarArg, MF, locs, C) {}
|
|
|
|
void AnalyzeFormalArguments(const SmallVectorImpl<ISD::InputArg> &Ins,
|
|
CCAssignFn Fn) {
|
|
// Formal arguments are always fixed.
|
|
ArgIsFixed.clear();
|
|
for (unsigned i = 0; i < Ins.size(); ++i)
|
|
ArgIsFixed.push_back(true);
|
|
// Record whether the call operand was a short vector.
|
|
ArgIsShortVector.clear();
|
|
for (unsigned i = 0; i < Ins.size(); ++i)
|
|
ArgIsShortVector.push_back(IsShortVectorType(Ins[i].ArgVT));
|
|
|
|
CCState::AnalyzeFormalArguments(Ins, Fn);
|
|
}
|
|
|
|
void AnalyzeCallOperands(const SmallVectorImpl<ISD::OutputArg> &Outs,
|
|
CCAssignFn Fn) {
|
|
// Record whether the call operand was a fixed argument.
|
|
ArgIsFixed.clear();
|
|
for (unsigned i = 0; i < Outs.size(); ++i)
|
|
ArgIsFixed.push_back(Outs[i].IsFixed);
|
|
// Record whether the call operand was a short vector.
|
|
ArgIsShortVector.clear();
|
|
for (unsigned i = 0; i < Outs.size(); ++i)
|
|
ArgIsShortVector.push_back(IsShortVectorType(Outs[i].ArgVT));
|
|
|
|
CCState::AnalyzeCallOperands(Outs, Fn);
|
|
}
|
|
|
|
// This version of AnalyzeCallOperands in the base class is not usable
|
|
// since we must provide a means of accessing ISD::OutputArg::IsFixed.
|
|
void AnalyzeCallOperands(const SmallVectorImpl<MVT> &Outs,
|
|
SmallVectorImpl<ISD::ArgFlagsTy> &Flags,
|
|
CCAssignFn Fn) = delete;
|
|
|
|
bool IsFixed(unsigned ValNo) { return ArgIsFixed[ValNo]; }
|
|
bool IsShortVector(unsigned ValNo) { return ArgIsShortVector[ValNo]; }
|
|
};
|
|
|
|
} // end namespace llvm
|
|
|
|
#endif
|