1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
#include "jitpch.h"
#ifdef _MSC_VER
#pragma hdrstop
#endif
#include "register_arg_convention.h"
unsigned InitVarDscInfo::allocRegArg(var_types type, unsigned numRegs /* = 1 */)
{
assert(numRegs > 0);
unsigned resultArgNum = regArgNum(type);
bool isBackFilled = false;
#ifdef _TARGET_ARM_
// Check for back-filling
if (varTypeIsFloating(type) && // We only back-fill the float registers
!anyFloatStackArgs && // Is it legal to back-fill? (We haven't put any FP args on the stack yet)
(numRegs == 1) && // Is there a possibility we could back-fill?
(fltArgSkippedRegMask != RBM_NONE)) // Is there an available back-fill slot?
{
// We will never back-fill something greater than a single register
// (TYP_FLOAT, or TYP_STRUCT HFA with a single float). This is because
// we don't have any types that require > 2 register alignment, so we
// can't create a > 1 register alignment hole to back-fill.
// Back-fill the register
regMaskTP backFillBitMask = genFindLowestBit(fltArgSkippedRegMask);
fltArgSkippedRegMask &= ~backFillBitMask; // Remove the back-filled register(s) from the skipped mask
resultArgNum = genMapFloatRegNumToRegArgNum(genRegNumFromMask(backFillBitMask));
assert(resultArgNum < MAX_FLOAT_REG_ARG);
isBackFilled = true;
}
#endif // _TARGET_ARM_
if (!isBackFilled)
{
#if defined(_TARGET_AMD64_) && !defined(UNIX_AMD64_ABI)
// For System V the reg type counters should be independent.
nextReg(TYP_INT, numRegs);
nextReg(TYP_FLOAT, numRegs);
#else
// We didn't back-fill a register (on ARM), so skip the number of registers that we allocated.
nextReg(type, numRegs);
#endif
}
return resultArgNum;
}
bool InitVarDscInfo::enoughAvailRegs(var_types type, unsigned numRegs /* = 1 */)
{
assert(numRegs > 0);
unsigned backFillCount = 0;
#ifdef _TARGET_ARM_
// Check for back-filling
if (varTypeIsFloating(type) && // We only back-fill the float registers
!anyFloatStackArgs && // Is it legal to back-fill? (We haven't put any FP args on the stack yet)
(numRegs == 1) && // Is there a possibility we could back-fill?
(fltArgSkippedRegMask != RBM_NONE)) // Is there an available back-fill slot?
{
backFillCount = 1;
}
#endif // _TARGET_ARM_
return regArgNum(type) + numRegs - backFillCount <= maxRegArgNum(type);
}
unsigned InitVarDscInfo::alignReg(var_types type, unsigned requiredRegAlignment)
{
NYI_ARM64("alignReg");
assert(requiredRegAlignment > 0);
if (requiredRegAlignment == 1)
{
return 0; // Everything is always "1" aligned
}
assert(requiredRegAlignment == 2); // we don't expect anything else right now
int alignMask = regArgNum(type) & (requiredRegAlignment - 1);
if (alignMask == 0)
{
return 0; // We're already aligned
}
unsigned cAlignSkipped = requiredRegAlignment - alignMask;
assert(cAlignSkipped == 1); // Alignment is currently only 1 or 2, so misalignment can only be 1.
#ifdef _TARGET_ARM_
if (varTypeIsFloating(type))
{
fltArgSkippedRegMask |= genMapFloatRegArgNumToRegMask(floatRegArgNum);
}
#endif // _TARGET_ARM_
assert(regArgNum(type) + cAlignSkipped <= maxRegArgNum(type)); // if equal, then we aligned the last slot, and the
// arg can't be enregistered
regArgNum(type) += cAlignSkipped;
return cAlignSkipped;
}
bool InitVarDscInfo::canEnreg(var_types type, unsigned numRegs /* = 1 */)
{
if (!isRegParamType(type))
{
return false;
}
if (!enoughAvailRegs(type, numRegs))
{
return false;
}
return true;
}
|