6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-08-07 12:28:24 +00:00
Code Issues Projects Releases Wiki Activity

Add "original alignment" to function arguments flags.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@34240 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Lauro Ramos Venancio
2007-02-13 13:50:08 +00:00
parent 9964d75d83
commit 7aa47b69ca
1 changed files with 30 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp
View File

@@ -2933,8 +2933,13 @@ TargetLowering::LowerArguments(Function &F, SelectionDAG &DAG) {
MVT::ValueType VT = getValueType(I->getType()); MVT::ValueType VT = getValueType(I->getType());
bool isInReg = FTy->paramHasAttr(j, FunctionType::InRegAttribute); bool isInReg = FTy->paramHasAttr(j, FunctionType::InRegAttribute);
bool isSRet = FTy->paramHasAttr(j, FunctionType::StructRetAttribute); bool isSRet = FTy->paramHasAttr(j, FunctionType::StructRetAttribute);
unsigned Flags = (isInReg << 1) | (isSRet << 2); unsigned OriginalAlignment =
getTargetData()->getTypeAlignmentABI(I->getType());
//Flags[31:27]-> OriginalAlignment
//Flags[2] -> isSRet
//Flags[1] -> isInReg
unsigned Flags = (isInReg << 1) | (isSRet << 2) | (OriginalAlignment << 27);
switch (getTypeAction(VT)) { switch (getTypeAction(VT)) {
default: assert(0 && "Unknown type action!"); default: assert(0 && "Unknown type action!");
case Legal: case Legal:
@@ -2954,6 +2959,8 @@ TargetLowering::LowerArguments(Function &F, SelectionDAG &DAG) {
unsigned NumVals = getNumElements(VT); unsigned NumVals = getNumElements(VT);
for (unsigned i = 0; i != NumVals; ++i) { for (unsigned i = 0; i != NumVals; ++i) {
RetVals.push_back(NVT); RetVals.push_back(NVT);
//if it isn't first piece, alignment must be 1
if (i == 1) Flags = (Flags & 0x07ffffff) | (1 << 27);
Ops.push_back(DAG.getConstant(Flags, MVT::i32)); Ops.push_back(DAG.getConstant(Flags, MVT::i32));
} }
} else { } else {
@@ -3053,11 +3060,16 @@ TargetLowering::LowerArguments(Function &F, SelectionDAG &DAG) {
/// ExpandScalarCallArgs - Recursively expand call argument node by /// ExpandScalarCallArgs - Recursively expand call argument node by
/// bit_converting it or extract a pair of elements from the larger node. /// bit_converting it or extract a pair of elements from the larger node.
static void ExpandScalarCallArgs(MVT::ValueType VT, SDOperand Arg, static void ExpandScalarCallArgs(MVT::ValueType VT, SDOperand Arg,
unsigned Flags, unsigned Flags,
SmallVector<SDOperand, 32> &Ops, SmallVector<SDOperand, 32> &Ops,
SelectionDAG &DAG, SelectionDAG &DAG,
TargetLowering &TLI) { TargetLowering &TLI,
bool isFirst = true) {
if (TLI.getTypeAction(VT) != TargetLowering::Expand) { if (TLI.getTypeAction(VT) != TargetLowering::Expand) {
//if it isn't first piece, alignment must be 1
if (!isFirst)
Flags = (Flags & 0x07ffffff) | (1 << 27);
Ops.push_back(Arg); Ops.push_back(Arg);
Ops.push_back(DAG.getConstant(Flags, MVT::i32)); Ops.push_back(DAG.getConstant(Flags, MVT::i32));
return; return;
@@ -3067,7 +3079,7 @@ static void ExpandScalarCallArgs(MVT::ValueType VT, SDOperand Arg,
unsigned NumVals = MVT::getSizeInBits(VT) / MVT::getSizeInBits(EVT); unsigned NumVals = MVT::getSizeInBits(VT) / MVT::getSizeInBits(EVT);
if (NumVals == 1) { if (NumVals == 1) {
Arg = DAG.getNode(ISD::BIT_CONVERT, EVT, Arg); Arg = DAG.getNode(ISD::BIT_CONVERT, EVT, Arg);
ExpandScalarCallArgs(EVT, Arg, Flags, Ops, DAG, TLI); ExpandScalarCallArgs(EVT, Arg, Flags, Ops, DAG, TLI, isFirst);
} else if (NumVals == 2) { } else if (NumVals == 2) {
SDOperand Lo = DAG.getNode(ISD::EXTRACT_ELEMENT, EVT, Arg, SDOperand Lo = DAG.getNode(ISD::EXTRACT_ELEMENT, EVT, Arg,
DAG.getConstant(0, TLI.getPointerTy())); DAG.getConstant(0, TLI.getPointerTy()));
@@ -3075,8 +3087,8 @@ static void ExpandScalarCallArgs(MVT::ValueType VT, SDOperand Arg,
DAG.getConstant(1, TLI.getPointerTy())); DAG.getConstant(1, TLI.getPointerTy()));
if (!TLI.isLittleEndian()) if (!TLI.isLittleEndian())
std::swap(Lo, Hi); std::swap(Lo, Hi);
ExpandScalarCallArgs(EVT, Lo, Flags, Ops, DAG, TLI); ExpandScalarCallArgs(EVT, Lo, Flags, Ops, DAG, TLI, isFirst);
ExpandScalarCallArgs(EVT, Hi, Flags, Ops, DAG, TLI); ExpandScalarCallArgs(EVT, Hi, Flags, Ops, DAG, TLI, false);
} else { } else {
// Value scalarized into many values. Unimp for now. // Value scalarized into many values. Unimp for now.
assert(0 && "Cannot expand i64 -> i16 yet!"); assert(0 && "Cannot expand i64 -> i16 yet!");
@@ -3106,11 +3118,19 @@ TargetLowering::LowerCallTo(SDOperand Chain, const Type *RetTy,
SDOperand Op = Args[i].Node; SDOperand Op = Args[i].Node;
bool isSigned = Args[i].isSigned; bool isSigned = Args[i].isSigned;
bool isInReg = Args[i].isInReg; bool isInReg = Args[i].isInReg;
bool isSRet = Args[i].isSRet; bool isSRet = Args[i].isSRet;
unsigned Flags = (isSRet << 2) | (isInReg << 1) | isSigned; unsigned OriginalAlignment =
getTargetData()->getTypeAlignmentABI(Args[i].Ty);
//Flags[31:27]-> OriginalAlignment
//Flags[2] -> isSRet
//Flags[1] -> isInReg
//Flags[0] -> isSigned
unsigned Flags = (isSRet << 2) | (isInReg << 1) | isSigned |
(OriginalAlignment << 27);
switch (getTypeAction(VT)) { switch (getTypeAction(VT)) {
default: assert(0 && "Unknown type action!"); default: assert(0 && "Unknown type action!");
case Legal: case Legal:
Ops.push_back(Op); Ops.push_back(Op);
Ops.push_back(DAG.getConstant(Flags, MVT::i32)); Ops.push_back(DAG.getConstant(Flags, MVT::i32));
break; break;