Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Roblox
GitHub Repository: Roblox/luau
Path: blob/master/CodeGen/include/Luau/OperandX64.h
2727 views
1
// This file is part of the Luau programming language and is licensed under MIT License; see LICENSE.txt for details
2
#pragma once
3
4
#include "Luau/CodeGenCommon.h"
5
#include "Luau/RegisterX64.h"
6
7
#include <stdint.h>
8
9
namespace Luau
10
{
11
namespace CodeGen
12
{
13
namespace X64
14
{
15
16
enum class CategoryX64 : uint8_t
17
{
18
reg,
19
mem,
20
imm,
21
};
22
23
struct OperandX64
24
{
25
constexpr OperandX64(RegisterX64 reg)
26
: cat(CategoryX64::reg)
27
, index(noreg)
28
, base(reg)
29
, memSize(SizeX64::none)
30
, scale(1)
31
, imm(0)
32
{
33
}
34
35
constexpr OperandX64(int32_t imm)
36
: cat(CategoryX64::imm)
37
, index(noreg)
38
, base(noreg)
39
, memSize(SizeX64::none)
40
, scale(1)
41
, imm(imm)
42
{
43
}
44
45
constexpr explicit OperandX64(SizeX64 size, RegisterX64 index, uint8_t scale, RegisterX64 base, int32_t disp)
46
: cat(CategoryX64::mem)
47
, index(index)
48
, base(base)
49
, memSize(size)
50
, scale(scale)
51
, imm(disp)
52
{
53
}
54
55
// Fields are carefully placed to make this struct fit into an 8 byte register
56
CategoryX64 cat;
57
RegisterX64 index;
58
RegisterX64 base;
59
SizeX64 memSize : 4;
60
uint8_t scale : 4;
61
int32_t imm;
62
63
constexpr OperandX64 operator[](OperandX64&& addr) const
64
{
65
CODEGEN_ASSERT(cat == CategoryX64::mem);
66
CODEGEN_ASSERT(index == noreg && scale == 1 && base == noreg && imm == 0);
67
CODEGEN_ASSERT(addr.memSize == SizeX64::none);
68
69
addr.cat = CategoryX64::mem;
70
addr.memSize = memSize;
71
return addr;
72
}
73
};
74
75
inline constexpr OperandX64 addr{SizeX64::none, noreg, 1, noreg, 0};
76
inline constexpr OperandX64 byte{SizeX64::byte, noreg, 1, noreg, 0};
77
inline constexpr OperandX64 word{SizeX64::word, noreg, 1, noreg, 0};
78
inline constexpr OperandX64 dword{SizeX64::dword, noreg, 1, noreg, 0};
79
inline constexpr OperandX64 qword{SizeX64::qword, noreg, 1, noreg, 0};
80
inline constexpr OperandX64 xmmword{SizeX64::xmmword, noreg, 1, noreg, 0};
81
inline constexpr OperandX64 ymmword{SizeX64::ymmword, noreg, 1, noreg, 0};
82
83
constexpr OperandX64 operator*(RegisterX64 reg, uint8_t scale)
84
{
85
if (scale == 1)
86
return OperandX64(reg);
87
88
CODEGEN_ASSERT(scale == 1 || scale == 2 || scale == 4 || scale == 8);
89
CODEGEN_ASSERT(reg.index != 0b100 && "can't scale SP");
90
91
return OperandX64(SizeX64::none, reg, scale, noreg, 0);
92
}
93
94
constexpr OperandX64 operator+(RegisterX64 reg, int32_t disp)
95
{
96
return OperandX64(SizeX64::none, noreg, 1, reg, disp);
97
}
98
99
constexpr OperandX64 operator-(RegisterX64 reg, int32_t disp)
100
{
101
return OperandX64(SizeX64::none, noreg, 1, reg, -disp);
102
}
103
104
constexpr OperandX64 operator+(RegisterX64 base, RegisterX64 index)
105
{
106
CODEGEN_ASSERT(index.index != 4 && "sp cannot be used as index");
107
CODEGEN_ASSERT(base.size == index.size);
108
109
return OperandX64(SizeX64::none, index, 1, base, 0);
110
}
111
112
constexpr OperandX64 operator+(OperandX64 op, int32_t disp)
113
{
114
CODEGEN_ASSERT(op.cat == CategoryX64::mem);
115
CODEGEN_ASSERT(op.memSize == SizeX64::none);
116
117
op.imm += disp;
118
return op;
119
}
120
121
constexpr OperandX64 operator+(OperandX64 op, RegisterX64 base)
122
{
123
CODEGEN_ASSERT(op.cat == CategoryX64::mem);
124
CODEGEN_ASSERT(op.memSize == SizeX64::none);
125
CODEGEN_ASSERT(op.base == noreg);
126
CODEGEN_ASSERT(op.index == noreg || op.index.size == base.size);
127
128
op.base = base;
129
return op;
130
}
131
132
constexpr OperandX64 operator+(RegisterX64 base, OperandX64 op)
133
{
134
CODEGEN_ASSERT(op.cat == CategoryX64::mem);
135
CODEGEN_ASSERT(op.memSize == SizeX64::none);
136
CODEGEN_ASSERT(op.base == noreg);
137
CODEGEN_ASSERT(op.index == noreg || op.index.size == base.size);
138
139
op.base = base;
140
return op;
141
}
142
143
} // namespace X64
144
} // namespace CodeGen
145
} // namespace Luau
146
147