Chris Pressey
|
20c824743e
|
Fix table access bug where index wasn't required to be initialized.
|
2018-02-05 12:35:19 +00:00 |
|
Chris Pressey
|
11d6c08369
|
In fact the 'src' should never (I think?) be 'touched'.
|
2018-02-05 12:08:33 +00:00 |
|
Chris Pressey
|
7dfd2cfe0c
|
Allow copying a routine directly into a vector table.
|
2018-02-05 12:04:28 +00:00 |
|
Chris Pressey
|
bbd3a84c00
|
Retain silly 'name inside the type' syntax (a la C) for now.
|
2018-02-05 11:18:35 +00:00 |
|
Chris Pressey
|
a082aee001
|
NOt 100% sure it's correct, but it seems close.
|
2018-02-02 17:56:50 +00:00 |
|
Chris Pressey
|
13e6654088
|
Executable types are compatible with other executable types.
|
2018-02-02 17:48:57 +00:00 |
|
Chris Pressey
|
0fff8e4f0a
|
Begin to implement vector tables, stuck at a type equality problem.
|
2018-02-02 17:45:07 +00:00 |
|
Chris Pressey
|
eb1974eb8a
|
Vector tables can be parsed.
|
2018-02-02 17:18:25 +00:00 |
|
Chris Pressey
|
b29716fccf
|
Constraints for vector come immediately after the type expression.
|
2018-02-02 17:16:31 +00:00 |
|
Chris Pressey
|
4abedc0442
|
Centralize helper, use it elsewhere.
|
2018-02-02 17:05:15 +00:00 |
|
Chris Pressey
|
548905dce4
|
Initialized byte tables need not have all 256 bytes initialized.
|
2018-02-02 16:31:23 +00:00 |
|
Chris Pressey
|
d69766afbe
|
Marginally more informative error message.
|
2017-12-14 11:54:39 +00:00 |
|
Chris Pressey
|
1d8f1af964
|
Fix bug in copy []+y, a. "Hero" no longer leaves a trail.
|
2017-12-13 17:00:21 +00:00 |
|
Chris Pressey
|
b477c5e786
|
Don't trash a in copy if a is the dest of the copy, for now.
|
2017-12-13 16:18:36 +00:00 |
|
Chris Pressey
|
f9dc730f88
|
copy []+y, a to indirectly read byte into the a register.
|
2017-12-13 16:11:02 +00:00 |
|
Chris Pressey
|
c7861d375c
|
trash indicates a value is no longer considered meaningful.
|
2017-12-13 15:23:06 +00:00 |
|
Chris Pressey
|
5f535c963e
|
Subtract word (constant or memory location) from word memory location.
|
2017-12-13 14:07:59 +00:00 |
|
Chris Pressey
|
75cc1f6b25
|
Factor out utility method for selecting addressing mode.
|
2017-12-13 12:14:26 +00:00 |
|
Chris Pressey
|
f87bcf5ee4
|
Initial work on initialized byte tables.
|
2017-12-12 16:41:49 +00:00 |
|
Chris Pressey
|
50390b0787
|
Can copy a literal word to a word table.
|
2017-12-12 16:04:59 +00:00 |
|
Chris Pressey
|
63f75a26b4
|
Initialized word type memory locations.
|
2017-12-12 15:34:51 +00:00 |
|
Chris Pressey
|
4854077cce
|
Correctly analyze repeat { ... } forever loops.
|
2017-12-12 15:18:59 +00:00 |
|
Chris Pressey
|
0194d37bbd
|
forward modifier on location expression, instead of assign.
|
2017-12-12 14:23:34 +00:00 |
|
Chris Pressey
|
b7b28830d7
|
Introducing a new pseudo-opcode is rarely an elegant solution.
|
2017-12-12 14:09:17 +00:00 |
|
Chris Pressey
|
dbbd99ffe5
|
Change how backpatching instructions is implemented.
|
2017-12-12 13:54:35 +00:00 |
|
Chris Pressey
|
19dd089a03
|
Allow call and goto routines defined further down in the source.
|
2017-12-12 13:17:00 +00:00 |
|
Chris Pressey
|
45bc4bd0a0
|
Tighten assumption when comparing LocationRefs.
|
2017-12-12 12:54:16 +00:00 |
|
Chris Pressey
|
60df162625
|
Refactor: common method to backpatch labels.
|
2017-12-12 12:51:19 +00:00 |
|
Chris Pressey
|
8dc44673fa
|
LocationRefs are equal if names/type are; this needed __str__ tho.
|
2017-12-12 12:45:47 +00:00 |
|
Chris Pressey
|
e46c6f6c6e
|
Improve error messaging yet more. Game kind of has game states now.
|
2017-12-12 09:59:43 +00:00 |
|
Chris Pressey
|
82e33ab476
|
Improve error messaging when constraints are exceeded.
|
2017-12-12 09:42:16 +00:00 |
|
Chris Pressey
|
ec2e051518
|
Constraint sets may only contain labels, which are resolved late.
|
2017-12-11 17:49:02 +00:00 |
|
Chris Pressey
|
2216fcec17
|
copy from word storage to word table and back, indexed by x or y.
|
2017-12-11 12:02:48 +00:00 |
|
Chris Pressey
|
b86e7491d5
|
Copy word to word table.
|
2017-12-11 11:43:53 +00:00 |
|
Chris Pressey
|
bef1aba8ce
|
Do not assume every label refers to a word-sized chunk of memory.
|
2017-12-11 10:42:42 +00:00 |
|
Chris Pressey
|
404f8c72a3
|
We really need to review how storage location labels are emitted.
|
2017-12-08 16:59:31 +00:00 |
|
Chris Pressey
|
84ca6c4e96
|
Break the ground where we need to implement word table read/write.
|
2017-12-08 15:53:18 +00:00 |
|
Chris Pressey
|
aa5e4119da
|
Copy indexed location to location. All tests pass again.
|
2017-12-08 15:07:15 +00:00 |
|
Chris Pressey
|
689ed37f2e
|
Beginnings of implementing word tables. One test still fails.
|
2017-12-08 13:41:48 +00:00 |
|
Chris Pressey
|
ad8e0647a4
|
Use right endianness when copying literal word into storage.
|
2017-12-07 16:49:43 +00:00 |
|
Chris Pressey
|
75cf18d3a2
|
Add word (constant or memory loc) to pointer (unchecked for now).
|
2017-12-07 14:14:43 +00:00 |
|
Chris Pressey
|
a4fd0e590b
|
Adding a word memory location to another word memory location.
|
2017-12-07 13:15:21 +00:00 |
|
Chris Pressey
|
92525fd482
|
Adding a constant word to a memory location.
|
2017-12-07 12:48:56 +00:00 |
|
Chris Pressey
|
cf679b293a
|
Ability to --debug analysis. Make 16-bit addition test pass.
|
2017-12-07 11:49:15 +00:00 |
|
Chris Pressey
|
97d00637d2
|
Initial work on adding 16-bit constants to a 16-bit location.
|
2017-12-07 11:31:46 +00:00 |
|
Chris Pressey
|
d84566a880
|
Write stored values, and read values, through pointers.
|
2017-12-01 13:52:56 +00:00 |
|
Chris Pressey
|
32389e4422
|
Require that the program does ^buf to get at the address of buf.
|
2017-12-01 12:36:58 +00:00 |
|
Chris Pressey
|
a95cbb0f47
|
Introduce IndirectRef and use it instead of adhoc 'copy[]+y' opcode.
|
2017-12-01 11:44:40 +00:00 |
|
Chris Pressey
|
19a196f765
|
Compile copy[]+y.
|
2017-11-24 16:56:55 +00:00 |
|
Chris Pressey
|
c8c69a2a7d
|
Fix problem with test case, and with serializing as zero page.
|
2017-11-24 13:42:14 +00:00 |
|
Chris Pressey
|
e41dd1aa01
|
Attempt to add Zero Page addressing; the emitter may need rethink.
|
2017-11-24 13:09:10 +00:00 |
|
Chris Pressey
|
c91574186b
|
First pass of buffer, pointer, copy b, [p] + y, indirect indexed.
|
2017-11-24 12:35:36 +00:00 |
|
Chris Pressey
|
42438dd97f
|
Beginning of: buffers and pointers.
|
2017-11-24 11:30:20 +00:00 |
|
Chris Pressey
|
c33e6ef0e9
|
Assert that the loop variable is meaningful in repeat. Unit test.
|
2017-11-20 16:39:39 +00:00 |
|
Chris Pressey
|
22cc7bfc11
|
Support copy'ing a word constant to a word location. Joystick eg.
|
2017-11-20 15:18:21 +00:00 |
|
Chris Pressey
|
563aaeba47
|
Remove low/high byte operators until I've thought about it more.
|
2017-11-17 15:54:50 +00:00 |
|
Chris Pressey
|
9d6ca0b2b4
|
Low and high address operators, parsing and execution thereof.
|
2016-06-16 11:10:43 -05:00 |
|
Chris Pressey
|
e2daa33dc5
|
Compile copy byte to byte and word to word.
|
2016-06-16 11:10:03 -05:00 |
|
Chris Pressey
|
fc8c85e670
|
word types, with syntax and analysis thereof
|
2016-06-16 11:08:57 -05:00 |
|
Chris Pressey
|
007c81acad
|
Split scanner off from parser module, into own module.
|
2016-06-16 11:04:03 -05:00 |
|
Chris Pressey
|
7b1ee60a73
|
Initial value for locations: changed syntax, executes, compiles.
|
2016-06-16 11:03:31 -05:00 |
|
Chris Pressey
|
b5763e84b4
|
Constants (such as routines) cannot be given in call-constraints.
|
2015-10-22 20:01:02 +01:00 |
|
Chris Pressey
|
0d3ac8c247
|
{Low,High}AddressByte emittables to fix copy, make indirect call!
|
2015-10-22 16:20:10 +01:00 |
|
Chris Pressey
|
0b2b5d904e
|
Implement indirect JSRs with trampolines in theory; doesn't work.
|
2015-10-22 15:45:16 +01:00 |
|
Chris Pressey
|
0361016e4c
|
Bring the rest of the tests up to date with the new names.
|
2015-10-22 09:48:26 +01:00 |
|
Chris Pressey
|
cc433e9c64
|
Try to improve error messages, thus breaking many unit tests.
|
2015-10-21 19:43:44 +01:00 |
|
Chris Pressey
|
45310b8f9c
|
It's getting a little chaotic. Needs better error messages!
|
2015-10-21 17:05:49 +01:00 |
|
Chris Pressey
|
16450e06d5
|
Compile goto's.
|
2015-10-21 15:51:52 +01:00 |
|
Chris Pressey
|
bb6ad5d3cf
|
Refactor Analyzer. Get analysis tests passing once again.
|
2015-10-21 15:45:14 +01:00 |
|
Chris Pressey
|
49d07cee5f
|
Attempt to analyze goto. Looks like it'll need some rewriting.
|
2015-10-21 11:41:52 +01:00 |
|
Chris Pressey
|
6e0ca3838e
|
Recast Evaluator as an object. Handle goto inside it.
|
2015-10-20 14:39:32 +01:00 |
|
Chris Pressey
|
be76b9a00d
|
Syntax for goto.
|
2015-10-20 14:10:33 +01:00 |
|
Chris Pressey
|
16649042cb
|
I kind of forgot that indirect JSR needs a trampoline first :/
|
2015-10-20 13:15:21 +01:00 |
|
Chris Pressey
|
f16cb75677
|
Fix compiler. All tests pass once again.
|
2015-10-20 12:53:07 +01:00 |
|
Chris Pressey
|
b4e0756d7e
|
Unbreak evaluator, but break compiler b/c change in parser.
|
2015-10-20 10:07:28 +01:00 |
|
Chris Pressey
|
2dc4dd988e
|
Parse indirect calls, but break evaluator.
|
2015-10-20 09:33:30 +01:00 |
|
Chris Pressey
|
7d56705530
|
Check that the constraints on a routine match those of vector.
|
2015-10-19 19:17:27 +01:00 |
|
Chris Pressey
|
3010435add
|
Inputs/outputs/trashes are now part of the type information only.
|
2015-10-19 18:44:20 +01:00 |
|
Chris Pressey
|
98524e931a
|
Vector and routine types are constructors with constraints now.
|
2015-10-19 18:18:06 +01:00 |
|
Chris Pressey
|
f0b8942aa1
|
Allow vectors to be decorated with inputs/outputs/trashes; test.
|
2015-10-19 13:04:08 +01:00 |
|
Chris Pressey
|
a12a44eadb
|
Re-enable disabled test and fix it and add a few related tests.
|
2015-10-19 12:22:44 +01:00 |
|
Chris Pressey
|
04de73d04d
|
Solve this by defining an Offset emittable.
|
2015-10-19 08:55:47 +01:00 |
|
Chris Pressey
|
e3fe337730
|
Interesting dead end we've got ourselves into here.
|
2015-10-18 23:31:17 +01:00 |
|
Chris Pressey
|
645079f03a
|
Implement 'with interrupts off'.
|
2015-10-18 23:15:40 +01:00 |
|
Chris Pressey
|
fd07f4bae9
|
More sophisticated static analysis: writeable, touched, meaningful.
|
2015-10-18 22:27:51 +01:00 |
|
Chris Pressey
|
8b30a232fa
|
Analyze copy, but... we now need more sophisticated context. :/
|
2015-10-18 20:16:14 +01:00 |
|
Chris Pressey
|
c98e446583
|
Spec and syntax for vectors and copy instruction.
|
2015-10-18 19:41:26 +01:00 |
|
Chris Pressey
|
9235c6eacc
|
Support line comments.
|
2015-10-18 18:54:28 +01:00 |
|
Chris Pressey
|
a933c81768
|
Well, that's a hack. But it works.
|
2015-10-18 18:47:47 +01:00 |
|
Chris Pressey
|
a9bd8a3714
|
Indexed access, + x / + y, at least for LDA and STA.
--HG--
rename : eg/screen.60p => eg/screen1.60p
|
2015-10-18 18:32:20 +01:00 |
|
Chris Pressey
|
5a5953ca4c
|
A little awkward, but analyze byte table access correctly.
|
2015-10-18 18:12:47 +01:00 |
|
Chris Pressey
|
f4186c5f22
|
AbsoluteX, AbsoluteY addressing modes in 6502-code generator.
|
2015-10-18 17:47:45 +01:00 |
|
Chris Pressey
|
4287bf81c1
|
Parse byte table declarations and indexing modifiers.
|
2015-10-18 17:40:53 +01:00 |
|
Chris Pressey
|
41432b5cb3
|
Syntax is syntax, test it there. Register built-ins as symbols.
|
2015-10-18 17:32:12 +01:00 |
|
Chris Pressey
|
e1cf162a5b
|
Refs have types.
|
2015-10-18 17:23:01 +01:00 |
|
Chris Pressey
|
522c771208
|
Add explicitly-addressed memory locations.
|
2015-10-18 16:22:36 +01:00 |
|
Chris Pressey
|
49e42af953
|
Implement if not and repeat forever.
|
2015-10-18 15:32:28 +01:00 |
|
Chris Pressey
|
c5998ed240
|
Compile repeat loops.
|
2015-10-18 13:55:40 +01:00 |
|
Chris Pressey
|
f7eb0d48a8
|
Spec, parse, evaluate, and analyze repeat blocks.
|
2015-10-18 13:37:35 +01:00 |
|
Chris Pressey
|
070ffacf69
|
Don't generate code for empty else blocks.
|
2015-10-17 18:25:54 +01:00 |
|
Chris Pressey
|
b794d8d273
|
Get serialization of relative labels correct.
|
2015-10-17 18:11:23 +01:00 |
|
Chris Pressey
|
a5c3b4725d
|
Pass address when serializing. Still wrong, of course.
|
2015-10-17 16:51:35 +01:00 |
|
Chris Pressey
|
b6bb64528f
|
Implement compiling if, but we need relative addressing first.
|
2015-10-17 16:34:02 +01:00 |
|
Chris Pressey
|
479b484313
|
Compile the rest of the instructions.
|
2015-10-17 16:17:35 +01:00 |
|
Chris Pressey
|
e62fd85ccf
|
Compile access of defined memory locations.
|
2015-10-17 15:46:28 +01:00 |
|
Chris Pressey
|
a3160a5166
|
Call defined routines.
|
2015-10-17 15:23:00 +01:00 |
|
Chris Pressey
|
643a48a2c5
|
Compiler object, labels, compile 'call'... It prints 'A'!
|
2015-10-17 15:06:50 +01:00 |
|
Chris Pressey
|
2ffff3bbdb
|
Make extern routines survive analysis.
|
2015-10-17 14:54:28 +01:00 |
|
Chris Pressey
|
49d90dfae0
|
Add syntax for extern routines, add syntax tests.
|
2015-10-17 13:50:21 +01:00 |
|
Chris Pressey
|
5b429adfd9
|
6502 opcodes are Emittables. Can compile simple programs now!
|
2015-10-17 11:08:25 +01:00 |
|
Chris Pressey
|
c0243ee6ba
|
Wire up the compiler and wring out obvious bugs.
|
2015-10-17 10:17:44 +01:00 |
|
Chris Pressey
|
ba55065060
|
Sketch the compiler.
|
2015-10-16 23:12:52 +01:00 |
|
Chris Pressey
|
bb7fbcda6c
|
Add Emitter framework, and 6502 Generator (will likely change.)
|
2015-10-16 22:59:35 +01:00 |
|
Chris Pressey
|
22c58ba556
|
Improve evaluator internals. Finish test suite for analysis.
|
2015-10-16 19:32:18 +01:00 |
|
Chris Pressey
|
c3a0659058
|
Write sufficient tests (I think) for analysis of ifs.
|
2015-10-16 14:01:45 +01:00 |
|
Chris Pressey
|
d22edc52a9
|
Allow if analysis to pass (needs more tests.) Better styling.
|
2015-10-16 13:06:18 +01:00 |
|
Chris Pressey
|
9c201ccf07
|
Fix links in README. Implement Context.clone().
|
2015-10-16 10:54:12 +01:00 |
|
Chris Pressey
|
dd4c50fc50
|
Refactor to replace some sketchy code with code actually in use.
--HG--
rename : src/sixtypical/objects.py => src/sixtypical/model.py
|
2015-10-16 10:40:38 +01:00 |
|
Chris Pressey
|
6192a6a7f8
|
Add specific error for uninit outputs. Sketch if analysis.
|
2015-10-16 09:38:38 +01:00 |
|
Chris Pressey
|
f92056d640
|
REBOOT the entire language & implementation as version 0.2-PRE.
|
2015-10-16 09:30:24 +01:00 |
|