diff options
Diffstat (limited to 'src/shader_recompiler/frontend/ir/reg.h')
| -rw-r--r-- | src/shader_recompiler/frontend/ir/reg.h | 332 |
1 files changed, 332 insertions, 0 deletions
diff --git a/src/shader_recompiler/frontend/ir/reg.h b/src/shader_recompiler/frontend/ir/reg.h new file mode 100644 index 000000000..a4b635792 --- /dev/null +++ b/src/shader_recompiler/frontend/ir/reg.h | |||
| @@ -0,0 +1,332 @@ | |||
| 1 | // Copyright 2021 yuzu Emulator Project | ||
| 2 | // Licensed under GPLv2 or any later version | ||
| 3 | // Refer to the license.txt file included. | ||
| 4 | |||
| 5 | #pragma once | ||
| 6 | |||
| 7 | #include <fmt/format.h> | ||
| 8 | |||
| 9 | #include "common/common_types.h" | ||
| 10 | #include "shader_recompiler/exception.h" | ||
| 11 | |||
| 12 | namespace Shader::IR { | ||
| 13 | |||
| 14 | enum class Reg : u64 { | ||
| 15 | R0, | ||
| 16 | R1, | ||
| 17 | R2, | ||
| 18 | R3, | ||
| 19 | R4, | ||
| 20 | R5, | ||
| 21 | R6, | ||
| 22 | R7, | ||
| 23 | R8, | ||
| 24 | R9, | ||
| 25 | R10, | ||
| 26 | R11, | ||
| 27 | R12, | ||
| 28 | R13, | ||
| 29 | R14, | ||
| 30 | R15, | ||
| 31 | R16, | ||
| 32 | R17, | ||
| 33 | R18, | ||
| 34 | R19, | ||
| 35 | R20, | ||
| 36 | R21, | ||
| 37 | R22, | ||
| 38 | R23, | ||
| 39 | R24, | ||
| 40 | R25, | ||
| 41 | R26, | ||
| 42 | R27, | ||
| 43 | R28, | ||
| 44 | R29, | ||
| 45 | R30, | ||
| 46 | R31, | ||
| 47 | R32, | ||
| 48 | R33, | ||
| 49 | R34, | ||
| 50 | R35, | ||
| 51 | R36, | ||
| 52 | R37, | ||
| 53 | R38, | ||
| 54 | R39, | ||
| 55 | R40, | ||
| 56 | R41, | ||
| 57 | R42, | ||
| 58 | R43, | ||
| 59 | R44, | ||
| 60 | R45, | ||
| 61 | R46, | ||
| 62 | R47, | ||
| 63 | R48, | ||
| 64 | R49, | ||
| 65 | R50, | ||
| 66 | R51, | ||
| 67 | R52, | ||
| 68 | R53, | ||
| 69 | R54, | ||
| 70 | R55, | ||
| 71 | R56, | ||
| 72 | R57, | ||
| 73 | R58, | ||
| 74 | R59, | ||
| 75 | R60, | ||
| 76 | R61, | ||
| 77 | R62, | ||
| 78 | R63, | ||
| 79 | R64, | ||
| 80 | R65, | ||
| 81 | R66, | ||
| 82 | R67, | ||
| 83 | R68, | ||
| 84 | R69, | ||
| 85 | R70, | ||
| 86 | R71, | ||
| 87 | R72, | ||
| 88 | R73, | ||
| 89 | R74, | ||
| 90 | R75, | ||
| 91 | R76, | ||
| 92 | R77, | ||
| 93 | R78, | ||
| 94 | R79, | ||
| 95 | R80, | ||
| 96 | R81, | ||
| 97 | R82, | ||
| 98 | R83, | ||
| 99 | R84, | ||
| 100 | R85, | ||
| 101 | R86, | ||
| 102 | R87, | ||
| 103 | R88, | ||
| 104 | R89, | ||
| 105 | R90, | ||
| 106 | R91, | ||
| 107 | R92, | ||
| 108 | R93, | ||
| 109 | R94, | ||
| 110 | R95, | ||
| 111 | R96, | ||
| 112 | R97, | ||
| 113 | R98, | ||
| 114 | R99, | ||
| 115 | R100, | ||
| 116 | R101, | ||
| 117 | R102, | ||
| 118 | R103, | ||
| 119 | R104, | ||
| 120 | R105, | ||
| 121 | R106, | ||
| 122 | R107, | ||
| 123 | R108, | ||
| 124 | R109, | ||
| 125 | R110, | ||
| 126 | R111, | ||
| 127 | R112, | ||
| 128 | R113, | ||
| 129 | R114, | ||
| 130 | R115, | ||
| 131 | R116, | ||
| 132 | R117, | ||
| 133 | R118, | ||
| 134 | R119, | ||
| 135 | R120, | ||
| 136 | R121, | ||
| 137 | R122, | ||
| 138 | R123, | ||
| 139 | R124, | ||
| 140 | R125, | ||
| 141 | R126, | ||
| 142 | R127, | ||
| 143 | R128, | ||
| 144 | R129, | ||
| 145 | R130, | ||
| 146 | R131, | ||
| 147 | R132, | ||
| 148 | R133, | ||
| 149 | R134, | ||
| 150 | R135, | ||
| 151 | R136, | ||
| 152 | R137, | ||
| 153 | R138, | ||
| 154 | R139, | ||
| 155 | R140, | ||
| 156 | R141, | ||
| 157 | R142, | ||
| 158 | R143, | ||
| 159 | R144, | ||
| 160 | R145, | ||
| 161 | R146, | ||
| 162 | R147, | ||
| 163 | R148, | ||
| 164 | R149, | ||
| 165 | R150, | ||
| 166 | R151, | ||
| 167 | R152, | ||
| 168 | R153, | ||
| 169 | R154, | ||
| 170 | R155, | ||
| 171 | R156, | ||
| 172 | R157, | ||
| 173 | R158, | ||
| 174 | R159, | ||
| 175 | R160, | ||
| 176 | R161, | ||
| 177 | R162, | ||
| 178 | R163, | ||
| 179 | R164, | ||
| 180 | R165, | ||
| 181 | R166, | ||
| 182 | R167, | ||
| 183 | R168, | ||
| 184 | R169, | ||
| 185 | R170, | ||
| 186 | R171, | ||
| 187 | R172, | ||
| 188 | R173, | ||
| 189 | R174, | ||
| 190 | R175, | ||
| 191 | R176, | ||
| 192 | R177, | ||
| 193 | R178, | ||
| 194 | R179, | ||
| 195 | R180, | ||
| 196 | R181, | ||
| 197 | R182, | ||
| 198 | R183, | ||
| 199 | R184, | ||
| 200 | R185, | ||
| 201 | R186, | ||
| 202 | R187, | ||
| 203 | R188, | ||
| 204 | R189, | ||
| 205 | R190, | ||
| 206 | R191, | ||
| 207 | R192, | ||
| 208 | R193, | ||
| 209 | R194, | ||
| 210 | R195, | ||
| 211 | R196, | ||
| 212 | R197, | ||
| 213 | R198, | ||
| 214 | R199, | ||
| 215 | R200, | ||
| 216 | R201, | ||
| 217 | R202, | ||
| 218 | R203, | ||
| 219 | R204, | ||
| 220 | R205, | ||
| 221 | R206, | ||
| 222 | R207, | ||
| 223 | R208, | ||
| 224 | R209, | ||
| 225 | R210, | ||
| 226 | R211, | ||
| 227 | R212, | ||
| 228 | R213, | ||
| 229 | R214, | ||
| 230 | R215, | ||
| 231 | R216, | ||
| 232 | R217, | ||
| 233 | R218, | ||
| 234 | R219, | ||
| 235 | R220, | ||
| 236 | R221, | ||
| 237 | R222, | ||
| 238 | R223, | ||
| 239 | R224, | ||
| 240 | R225, | ||
| 241 | R226, | ||
| 242 | R227, | ||
| 243 | R228, | ||
| 244 | R229, | ||
| 245 | R230, | ||
| 246 | R231, | ||
| 247 | R232, | ||
| 248 | R233, | ||
| 249 | R234, | ||
| 250 | R235, | ||
| 251 | R236, | ||
| 252 | R237, | ||
| 253 | R238, | ||
| 254 | R239, | ||
| 255 | R240, | ||
| 256 | R241, | ||
| 257 | R242, | ||
| 258 | R243, | ||
| 259 | R244, | ||
| 260 | R245, | ||
| 261 | R246, | ||
| 262 | R247, | ||
| 263 | R248, | ||
| 264 | R249, | ||
| 265 | R250, | ||
| 266 | R251, | ||
| 267 | R252, | ||
| 268 | R253, | ||
| 269 | R254, | ||
| 270 | RZ, | ||
| 271 | }; | ||
| 272 | static_assert(static_cast<int>(Reg::RZ) == 255); | ||
| 273 | |||
| 274 | constexpr size_t NUM_USER_REGS = 255; | ||
| 275 | constexpr size_t NUM_REGS = 256; | ||
| 276 | |||
| 277 | [[nodiscard]] constexpr Reg operator+(Reg reg, int num) { | ||
| 278 | if (reg == Reg::RZ) { | ||
| 279 | // Adding or subtracting registers from RZ yields RZ | ||
| 280 | return Reg::RZ; | ||
| 281 | } | ||
| 282 | const int result{static_cast<int>(reg) + num}; | ||
| 283 | if (result >= static_cast<int>(Reg::RZ)) { | ||
| 284 | throw LogicError("Overflow on register arithmetic"); | ||
| 285 | } | ||
| 286 | if (result < 0) { | ||
| 287 | throw LogicError("Underflow on register arithmetic"); | ||
| 288 | } | ||
| 289 | return static_cast<Reg>(result); | ||
| 290 | } | ||
| 291 | |||
| 292 | [[nodiscard]] constexpr Reg operator-(Reg reg, int num) { | ||
| 293 | return reg + (-num); | ||
| 294 | } | ||
| 295 | |||
| 296 | constexpr Reg operator++(Reg& reg) { | ||
| 297 | reg = reg + 1; | ||
| 298 | return reg; | ||
| 299 | } | ||
| 300 | |||
| 301 | constexpr Reg operator++(Reg& reg, int) { | ||
| 302 | const Reg copy{reg}; | ||
| 303 | reg = reg + 1; | ||
| 304 | return copy; | ||
| 305 | } | ||
| 306 | |||
| 307 | [[nodiscard]] constexpr size_t RegIndex(Reg reg) noexcept { | ||
| 308 | return static_cast<size_t>(reg); | ||
| 309 | } | ||
| 310 | |||
| 311 | [[nodiscard]] constexpr bool IsAligned(Reg reg, size_t align) { | ||
| 312 | return RegIndex(reg) % align == 0 || reg == Reg::RZ; | ||
| 313 | } | ||
| 314 | |||
| 315 | } // namespace Shader::IR | ||
| 316 | |||
| 317 | template <> | ||
| 318 | struct fmt::formatter<Shader::IR::Reg> { | ||
| 319 | constexpr auto parse(format_parse_context& ctx) { | ||
| 320 | return ctx.begin(); | ||
| 321 | } | ||
| 322 | template <typename FormatContext> | ||
| 323 | auto format(const Shader::IR::Reg& reg, FormatContext& ctx) { | ||
| 324 | if (reg == Shader::IR::Reg::RZ) { | ||
| 325 | return fmt::format_to(ctx.out(), "RZ"); | ||
| 326 | } else if (static_cast<int>(reg) >= 0 && static_cast<int>(reg) < 255) { | ||
| 327 | return fmt::format_to(ctx.out(), "R{}", static_cast<int>(reg)); | ||
| 328 | } else { | ||
| 329 | throw Shader::LogicError("Invalid register with raw value {}", static_cast<int>(reg)); | ||
| 330 | } | ||
| 331 | } | ||
| 332 | }; | ||