diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-04-04 19:42:54 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-04-04 19:42:54 -0400 |
| commit | c89853497a4b1f481475da5e6e72e0c2612445c4 (patch) | |
| tree | b4d46a9bd4094870377aeb05f1f2d9a6ac04cff0 /lo2.ml | |
| parent | 6c64119f553abe741d9e3d4a10d96d4caf9efdbe (diff) | |
| download | roux-c89853497a4b1f481475da5e6e72e0c2612445c4.tar.gz | |
write down some more ideas
Diffstat (limited to 'lo2.ml')
| -rw-r--r-- | lo2.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lo2.ml b/lo2.ml index 4c35767..073221e 100644 --- a/lo2.ml +++ b/lo2.ml @@ -408,9 +408,9 @@ let codegen (p: mprog): string = let regmap = [| (* only caller-save regs, for now *) 0; (* rax *) 1; (* rcx *) - 2; (* rdx *) 6; (* rsi *) 7; (* rdi *) + 2; (* rdx *) 8; (* r8 *) 9; (* r9 *) 10; (* r10 *) |