pound-emu/archived-ballistic
1
0
Fork 0
mirror of https://github.com/pound-emu/ballistic.git synced 2026-01-31 01:15:21 +01:00
Code Issues Packages Projects Releases Wiki Activity

docs: Add initial static assumption implementation

Browse Source 
Signed-off-by: Ronald Caesar <github43132@proton.me>
This commit is contained in:
Ronald Caesar
2026-01-08 19:51:50 -04:00
parent 2778c94a15
commit bf146b681a
1 changed files with 18 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
docs/IR_DESIGN_DOC.md
View File

@@ -240,6 +240,24 @@ Memory Layout in `instructions[]`
| 100 | OPCODE_ARG_EXTENSION | v4 | v5 | NULL | v100 | Carries args 4 and 5 |
| 101 | OPCODE_YIELD | v1 | v2 | v3 | v101 | Carries args 1-3 & Executes|
# Static Assumptions
## Static Configuration
Represents compile time constants.
```c
// If these change, bail out and recompile???
//
typedef struct
{
// PSTATE.M
// EL0 - EL3
//
uint32_t exception_level : 2;
} static_context_t;
```
# SSA Construction Rules
## 1. Control Flow Rules