blob: 6b9b31b548fa8f7824a1129c0864c17ec67dc744 [file] [log] [blame]
Chris Lattner362e98a2007-02-27 04:43:02 +00001//===-- llvm/CallingConvLower.cpp - Calling Conventions -------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner362e98a2007-02-27 04:43:02 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the CCState class, used for lowering and implementing
11// calling conventions.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/CodeGen/CallingConvLower.h"
Chris Lattnerfb39f992007-02-28 06:56:37 +000016#include "llvm/CodeGen/SelectionDAGNodes.h"
Dan Gohman6f0d0242008-02-10 18:45:23 +000017#include "llvm/Target/TargetRegisterInfo.h"
Evan Chengc67e6e82008-01-15 03:14:05 +000018#include "llvm/Target/TargetData.h"
Chris Lattner13513b72007-02-27 05:13:54 +000019#include "llvm/Target/TargetMachine.h"
Chris Lattner362e98a2007-02-27 04:43:02 +000020using namespace llvm;
21
Chris Lattneraeeccfc2007-06-19 00:11:09 +000022CCState::CCState(unsigned CC, bool isVarArg, const TargetMachine &tm,
Chris Lattner13513b72007-02-27 05:13:54 +000023 SmallVector<CCValAssign, 16> &locs)
Chris Lattneraeeccfc2007-06-19 00:11:09 +000024 : CallingConv(CC), IsVarArg(isVarArg), TM(tm),
Dan Gohman6f0d0242008-02-10 18:45:23 +000025 TRI(*TM.getRegisterInfo()), Locs(locs) {
Chris Lattner362e98a2007-02-27 04:43:02 +000026 // No stack is used.
27 StackOffset = 0;
28
Dan Gohman6f0d0242008-02-10 18:45:23 +000029 UsedRegs.resize(TRI.getNumRegs());
Chris Lattner362e98a2007-02-27 04:43:02 +000030}
31
Evan Cheng4c46fc62008-01-15 07:49:36 +000032// HandleByVal - Allocate a stack slot large enough to pass an argument by
33// value. The size and alignment information of the argument is encoded in its
34// parameter attribute.
35void CCState::HandleByVal(unsigned ValNo, MVT::ValueType ValVT,
36 MVT::ValueType LocVT, CCValAssign::LocInfo LocInfo,
37 int MinSize, int MinAlign,
Dale Johannesenb8cafe32008-03-10 02:17:22 +000038 ISD::ParamFlags::ParamFlagsTy ArgFlags) {
Rafael Espindola594d37e2007-08-10 14:44:42 +000039 unsigned Align = 1 << ((ArgFlags & ISD::ParamFlags::ByValAlign) >>
40 ISD::ParamFlags::ByValAlignOffs);
41 unsigned Size = (ArgFlags & ISD::ParamFlags::ByValSize) >>
42 ISD::ParamFlags::ByValSizeOffs;
Evan Cheng4c46fc62008-01-15 07:49:36 +000043 if (MinSize > (int)Size)
44 Size = MinSize;
45 if (MinAlign > (int)Align)
46 Align = MinAlign;
47 unsigned Offset = AllocateStack(Size, Align);
Rafael Espindola594d37e2007-08-10 14:44:42 +000048
49 addLoc(CCValAssign::getMem(ValNo, ValVT, Offset, LocVT, LocInfo));
50}
Chris Lattner362e98a2007-02-27 04:43:02 +000051
52/// MarkAllocated - Mark a register and all of its aliases as allocated.
53void CCState::MarkAllocated(unsigned Reg) {
54 UsedRegs[Reg/32] |= 1 << (Reg&31);
55
Dan Gohman6f0d0242008-02-10 18:45:23 +000056 if (const unsigned *RegAliases = TRI.getAliasSet(Reg))
Chris Lattner362e98a2007-02-27 04:43:02 +000057 for (; (Reg = *RegAliases); ++RegAliases)
58 UsedRegs[Reg/32] |= 1 << (Reg&31);
59}
Chris Lattnerfb39f992007-02-28 06:56:37 +000060
Chris Lattner66baf262007-02-28 07:09:40 +000061/// AnalyzeFormalArguments - Analyze an ISD::FORMAL_ARGUMENTS node,
62/// incorporating info about the formals into this state.
63void CCState::AnalyzeFormalArguments(SDNode *TheArgs, CCAssignFn Fn) {
64 unsigned NumArgs = TheArgs->getNumValues()-1;
65
66 for (unsigned i = 0; i != NumArgs; ++i) {
67 MVT::ValueType ArgVT = TheArgs->getValueType(i);
68 SDOperand FlagOp = TheArgs->getOperand(3+i);
Dale Johannesenb8cafe32008-03-10 02:17:22 +000069 ISD::ParamFlags::ParamFlagsTy ArgFlags =
70 cast<ConstantSDNode>(FlagOp)->getValue();
Chris Lattner66baf262007-02-28 07:09:40 +000071 if (Fn(i, ArgVT, ArgVT, CCValAssign::Full, ArgFlags, *this)) {
72 cerr << "Formal argument #" << i << " has unhandled type "
73 << MVT::getValueTypeString(ArgVT) << "\n";
74 abort();
75 }
76 }
77}
78
79/// AnalyzeReturn - Analyze the returned values of an ISD::RET node,
80/// incorporating info about the result values into this state.
81void CCState::AnalyzeReturn(SDNode *TheRet, CCAssignFn Fn) {
82 // Determine which register each value should be copied into.
83 for (unsigned i = 0, e = TheRet->getNumOperands() / 2; i != e; ++i) {
84 MVT::ValueType VT = TheRet->getOperand(i*2+1).getValueType();
85 if (Fn(i, VT, VT, CCValAssign::Full,
86 cast<ConstantSDNode>(TheRet->getOperand(i*2+2))->getValue(), *this)){
87 cerr << "Return operand #" << i << " has unhandled type "
88 << MVT::getValueTypeString(VT) << "\n";
89 abort();
90 }
91 }
92}
93
94
Chris Lattnerfb39f992007-02-28 06:56:37 +000095/// AnalyzeCallOperands - Analyze an ISD::CALL node, incorporating info
96/// about the passed values into this state.
97void CCState::AnalyzeCallOperands(SDNode *TheCall, CCAssignFn Fn) {
98 unsigned NumOps = (TheCall->getNumOperands() - 5) / 2;
99 for (unsigned i = 0; i != NumOps; ++i) {
100 MVT::ValueType ArgVT = TheCall->getOperand(5+2*i).getValueType();
101 SDOperand FlagOp = TheCall->getOperand(5+2*i+1);
Dale Johannesenb8cafe32008-03-10 02:17:22 +0000102 ISD::ParamFlags::ParamFlagsTy ArgFlags =
103 cast<ConstantSDNode>(FlagOp)->getValue();
Chris Lattnerfb39f992007-02-28 06:56:37 +0000104 if (Fn(i, ArgVT, ArgVT, CCValAssign::Full, ArgFlags, *this)) {
105 cerr << "Call operand #" << i << " has unhandled type "
106 << MVT::getValueTypeString(ArgVT) << "\n";
107 abort();
108 }
109 }
110}
111
Chris Lattner66baf262007-02-28 07:09:40 +0000112/// AnalyzeCallResult - Analyze the return values of an ISD::CALL node,
113/// incorporating info about the passed values into this state.
114void CCState::AnalyzeCallResult(SDNode *TheCall, CCAssignFn Fn) {
115 for (unsigned i = 0, e = TheCall->getNumValues() - 1; i != e; ++i) {
116 MVT::ValueType VT = TheCall->getValueType(i);
117 if (Fn(i, VT, VT, CCValAssign::Full, 0, *this)) {
118 cerr << "Call result #" << i << " has unhandled type "
119 << MVT::getValueTypeString(VT) << "\n";
Chris Lattnerfb39f992007-02-28 06:56:37 +0000120 abort();
121 }
122 }
123}