diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-09-18 16:21:53 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-09-18 16:22:04 -0700 |
| commit | 220575dc4a70228438ed6f4a10324f5669277044 (patch) | |
| tree | 0422b5f1efe0ea99c839cde53f775672b888616f /transect/compiler10 | |
| parent | f09280141f18fbe8cef0ed576cf932e12e315666 (diff) | |
| download | mu-220575dc4a70228438ed6f4a10324f5669277044.tar.gz | |
4549 - RIP transect
Diffstat (limited to 'transect/compiler10')
| -rw-r--r-- | transect/compiler10 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/transect/compiler10 b/transect/compiler10 index 37cf67ab..ce0e487a 100644 --- a/transect/compiler10 +++ b/transect/compiler10 @@ -132,6 +132,9 @@ Operands are always scalar. Variables on the stack or global segment are immutab - Variables on the stack are stored at addresses like *(EBP+n) - Global variables are stored at addresses like *disp32, where disp32 is a statically known constant + #define local(n) 1/mod 4/rm32/SIB 5/base/EBP 4/index/none 0/scale n/disp8 + #define disp32(N) 0/mod 5/rm32/include-disp32 N/disp32 + Since the language will not be orthogonal, compilation proceeds by pattern matching over a statement along with knowledge about the types of its operands, as well as where they're stored (register/stack/global). We now enumerate mappings for various categories of statements, based on the type and location of their operands. Many statements will end up encoding to the exact same x86 instructions. But the types differ, and they get type-checked differently along the way. |