about summary refs log tree commit diff stats
path: root/subx/013direct_addressing.cc
Commit message (Collapse)AuthorAgeFilesLines
* .Kartik Agaram2019-07-091-1/+0
| | | | | | Stop dumping huge traces on error. We can always rerun with --trace. Though perhaps we should just dump the trace automatically on error. Not bothering thinking about that right now.
* switch to new syntax for segment headers in C++Kartik Agaram2019-05-181-42/+42
|
* 5163Kartik Agaram2019-05-151-10/+18
| | | | A few more places with flag corrections.
* 5160Kartik Agaram2019-05-151-2/+2
|
* start using the new carry flagKartik Agaram2019-05-131-7/+7
| | | | | Skimping on tests; the code changes seem pretty trivial. Will this fix CI?!
* .Kartik Agaram2019-05-131-5/+5
|
* .Kartik Agaram2019-05-131-6/+7
| | | | | | Standardize layout of some code fragments, and fix several bugs in computing the overflow flag in the process. a64 = b32 + c32 doesn't benefit from `a` being 64-bit without casting `b`.
* .Kartik Agaram2019-05-131-8/+8
|
* carry flag thoroughly tested in layer 13Kartik Agaram2019-05-131-30/+130
| | | | | This is time-consuming mostly for me to come up with example scenarios testing all the different combinations of flags.
* .Kartik Agaram2019-05-131-9/+9
| | | | Correct some confusing log messages.
* CF needs special handling for some arithmetic opsKartik Agaram2019-05-121-16/+70
| | | | Inline some macro definitions.
* .Kartik Agaram2019-05-121-4/+0
| | | | Drop some prints as a first step to straightening things out.
* snapshot of carry flag implementationKartik Agaram2019-05-121-11/+72
| | | | | | | | | | | | | | | | | | Tests failing. This approach seems wrong. I'm not sure even the tests are correct. Also, some open questions: 1. Should setting the overflow flag always set the carry flag? 2. Should the carry flag only be set on add/subtract/compare, or by all arithmetic ops? 3. Had to turn off the -ftrapv flag in `build`. Is there a way to detect overflow without actually causing overflow? Once we start setting CF correctly we have to implement jump above/below instructions (8- and 32-bit displacement variants). https://github.com/akkartik/mu/issues/30
* 5152 - check for stack underflow/overflow in VMKartik Agaram2019-05-111-6/+8
|
* 5146Kartik Agaram2019-05-081-1/+1
|
* 5113 - x86's integer division (idiv) instructionKartik Agaram2019-04-211-1/+93
|
* 5012Kartik Agaram2019-03-201-1/+5
| | | | Add a bounds-check to `next-word`.
* 5001 - drop the :(scenario) DSLKartik Agaram2019-03-121-287/+454
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I've been saying for a while[1][2][3] that adding extra abstractions makes things harder for newcomers, and adding new notations doubly so. And then I notice this DSL in my own backyard. Makes me feel like a hypocrite. [1] https://news.ycombinator.com/item?id=13565743#13570092 [2] https://lobste.rs/s/to8wpr/configuration_files_are_canary_warning [3] https://lobste.rs/s/mdmcdi/little_languages_by_jon_bentley_1986#c_3miuf2 The implementation of the DSL was also highly hacky: a) It was happening in the tangle/ tool, but was utterly unrelated to tangling layers. b) There were several persnickety constraints on the different kinds of lines and the specific order they were expected in. I kept finding bugs where the translator would silently do the wrong thing. Or the error messages sucked, and readers may be stuck looking at the generated code to figure out what happened. Fixing error messages would require a lot more code, which is one of my arguments against DSLs in the first place: they may be easy to implement, but they're hard to design to go with the grain of the underlying platform. They require lots of iteration. Is that effort worth prioritizing in this project? On the other hand, the DSL did make at least some readers' life easier, the ones who weren't immediately put off by having to learn a strange syntax. There were fewer quotes to parse, fewer backslash escapes. Anyway, since there are also people who dislike having to put up with strange syntaxes, we'll call that consideration a wash and tear this DSL out. --- This commit was sheer drudgery. Hopefully it won't need to be redone with a new DSL because I grow sick of backslashes.
* 4987 - support `browse_trace` tool in SubXKartik Agaram2019-02-251-41/+41
| | | | | | | | | | | | | | | | | | I've extracted it into a separate binary, independent of my Mu prototype. I also cleaned up my tracing layer to be a little nicer. Major improvements: - Realized that incremental tracing really ought to be the default. And to minimize printing traces to screen. - Finally figured out how to combine layers and call stack frames in a single dimension of depth. The answer: optimize for the experience of `browse_trace`. Instructions occupy a range of depths based on their call stack frame, and minor details of an instruction lie one level deeper in each case. Other than that, I spent some time adjusting levels everywhere to make `browse_trace` useful.
* 4915Kartik Agaram2019-01-081-0/+1
| | | | | | In the process of building next-token I finally added some support for a debugging situation I've found myself in a couple of times: wondering "what changed this memory location"?
* 4886Kartik Agaram2018-12-281-2/+2
|
* 4830Kartik Agaram2018-12-031-1/+159
| | | | | | New helper: printing a byte in textual (hex) form. This required adding instructions for bitwise shift operations.
* 4748Kartik Agaram2018-11-181-4/+4
| | | | Fix CI.
* 4715 - support one more negation instructionKartik Agaram2018-10-231-0/+47
|
* 4695Kartik Agaram2018-10-141-58/+58
|
* 4694Kartik Agaram2018-10-131-43/+43
| | | | Check for duplicate docstrings.
* 4693Kartik Agaram2018-10-131-46/+43
| | | | | | | | Add the standard mnemonic for each opcode. We aren't ever going to have complete docs of the subset of the x86 ISA we support, so we need to help readers cross-correlate with the complete docs.
* 4692 - update online help for subxKartik Agaram2018-10-131-32/+32
| | | | | | It now includes details for 8-bit registers. And we'll just use the classic names for the registers so that the relationships between 8- and 32-bit versions are more obvious.
* 4688Kartik Agaram2018-10-121-35/+35
|
* 4686Kartik Agaram2018-10-121-5/+5
|
* 4634Kartik Agaram2018-10-011-5/+5
|
* 4614 - redo simulated RAMKartik Agaram2018-09-291-1/+2
| | | | | | | | | | | Now simulated 'Memory' isn't just a single flat array. Instead it knows about segments and VMAs. The code segment will always be first, and the data/heap segment will always be second. The brk() syscall knows about the data segment. One nice side-effect is that I no longer need to mess with Memory initialization regardless of where I place my segments.
* 4503Kartik Agaram2018-09-221-3/+15
| | | | Include LEA (load effective address) in the SubX subset of x86 ISA.
* 4578 - subx: implement inc/dec operationsKartik Agaram2018-09-211-0/+121
|
* 4547Kartik Agaram2018-09-161-1/+1
|
* 4537Kartik Agaram2018-09-071-8/+48
| | | | | | | | | | | | | | | Streamline the factorial function; we don't need to save a stack variable into a register before operating on it. All instructions can take a stack variable directly. In the process we found two bugs: a) Opcode f7 was not implemented correctly. It was internally consistent but I'd never validated it against a natively running program. Turns out it encodes multiple instructions, not just 'not'. b) The way we look up imm32 operands was sometimes reading them before disp8/disp32 operands.
* 4527 - reading commandline argumentsKartik Agaram2018-08-301-7/+0
| | | | | | | | | | | The new example ex9 doesn't yet work natively. In the process I've emulated the kernel's role in providing args, implemented a couple of instructions acting on 8-bit operands (useful for ASCII string operations), and begun the start of the standard library (ascii_length is the same as strlen). At the level of SubX we're just only going to support ASCII.
* 4469Kartik Agaram2018-08-031-0/+425