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 if s.
|
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 |
|
Cat's Eye Technologies
|
bd25d7b9f0
|
Make work under Hugs98 Sep2006. Falderal needs improving, though.
|
2014-04-26 15:17:53 +01:00 |
|
Cat's Eye Technologies
|
5a794a46e6
|
Name flags in routine outputs. Refactor game, add check_button.
|
2014-04-13 13:42:15 +01:00 |
|
Cat's Eye Technologies
|
730f9f1cb1
|
Make game even more interesting -- 619 bytes.
|
2014-04-13 13:14:04 +01:00 |
|
Cat's Eye Technologies
|
cbd88abc89
|
Vector tables, and copy routine into a vector table.
|
2014-04-13 12:41:26 +01:00 |
|
Cat's Eye Technologies
|
13d38dc45f
|
Immediate, or register, on LHS of copy command.
|
2014-04-13 12:12:53 +01:00 |
|
Cat's Eye Technologies
|
26448ccce5
|
More access of word tables. Game works with a word table now!
|
2014-04-13 12:06:36 +01:00 |
|
Cat's Eye Technologies
|
cbeac87a73
|
Beginnings of using word tables
|
2014-04-13 11:41:40 +01:00 |
|
Cat's Eye Technologies
|
16d6a54fb5
|
Parse (at the very least) decls for word and vector tables.
|
2014-04-12 21:54:00 +01:00 |
|
Cat's Eye Technologies
|
04678ca809
|
Block-level decls are visible in inner blocks.
|
2014-04-12 21:27:04 +01:00 |
|
Cat's Eye Technologies
|
8acde175ad
|
mergeRoutCtxs does not need to throw poisoning errors.
|
2014-04-12 20:37:42 +01:00 |
|
Cat's Eye Technologies
|
af7d65ee09
|
Fix example programs; allow externals to be called.
--HG--
rename : eg/hi.60p => eg/hello-world.60p
|
2014-04-12 19:13:13 +01:00 |
|
Cat's Eye Technologies
|
ad1e159317
|
Character tables. Emit tables properly.
|
2014-04-12 13:55:08 +01:00 |
|
Cat's Eye Technologies
|
7a3b3b1b25
|
Initial values for reserved tables; checks length is right.
|
2014-04-12 13:38:11 +01:00 |
|
Cat's Eye Technologies
|
f9d0c8173d
|
Handle tricky case of abs.interp.'ing a repeat loop.
|
2014-04-12 13:07:46 +01:00 |
|
Cat's Eye Technologies
|
00daec53a7
|
Check that block-level reserves do not supply initial value.
|
2014-04-12 12:23:10 +01:00 |
|
Cat's Eye Technologies
|
915b0cfef0
|
Number each temporary uniquely across program. Sweet!
|
2014-04-12 12:16:09 +01:00 |
|
Cat's Eye Technologies
|
7a7127fc06
|
Get storage location renaming almost right.
|
2014-04-12 12:12:14 +01:00 |
|
Cat's Eye Technologies
|
f3924d1bad
|
Lift block-level decls to top-level; still needs to rename them.
--HG--
rename : src/SixtyPical/Checker.hs => src/SixtyPical/Transformer.hs
|
2014-04-12 11:45:10 +01:00 |
|
Cat's Eye Technologies
|
aaec12d5e5
|
Initial, awkward support for block-level declarations, including a failing test.
|
2014-04-11 22:50:03 +01:00 |
|
Cat's Eye Technologies
|
cb53d461df
|
Backed out changeset fddaf1476975. Going to do this differently.
|
2014-04-11 22:29:44 +01:00 |
|
Cat's Eye Technologies
|
f43612e616
|
Initial, awkward support for temporaries, with failing test.
|
2014-04-11 22:13:35 +01:00 |
|
Cat's Eye Technologies
|
9532a9399c
|
byte table -> byte[SIZE] , and you can reserve them.
|
2014-04-11 21:47:18 +01:00 |
|
Cat's Eye Technologies
|
9a0896c90f
|
Explicit with syntax.
|
2014-04-11 21:26:27 +01:00 |
|
Cat's Eye Technologies
|
c8ddbd8edf
|
Uninitialized reserve d storage becomes .space in .data segment.
|
2014-04-11 21:05:00 +01:00 |
|
Cat's Eye Technologies
|
aacfb02375
|
reserve d storage locations can have initial values.
|
2014-04-11 20:35:45 +01:00 |
|
Cat's Eye Technologies
|
2fb9621a04
|
Switch to C++/Javascript-style comments, in whitespace production.
|
2014-04-11 16:21:54 +01:00 |
|
Cat's Eye Technologies
|
3420fbc243
|
Erase types from IndirectIndexed locations.
|
2014-04-11 12:52:36 +01:00 |
|
Cat's Eye Technologies
|
264838b2ec
|
Use weaker version of updateRoutCtx in merge. All tests pass.
|
2014-04-11 12:50:41 +01:00 |
|
Cat's Eye Technologies
|
1aa03f7451
|
A slightly better understanding of what we're dealing with.
|
2014-04-11 11:22:54 +01:00 |
|
Cat's Eye Technologies
|
3ff96a0353
|
Fix (bodge?) and document my worries.
|
2014-04-04 19:50:34 +01:00 |
|
Cat's Eye Technologies
|
de4a6a7c83
|
report the name of the routine that does not preserve locations
|
2014-04-04 19:23:27 +01:00 |
|
Cat's Eye Technologies
|
81526ec834
|
Poisoning high/low byte of word poisons the word.
|
2014-04-04 19:06:58 +01:00 |
|
Cat's Eye Technologies
|
56f8407b55
|
Merge contexts from both branches of an if .
|
2014-04-04 18:27:51 +01:00 |
|
Cat's Eye Technologies
|
240fd49ac3
|
named_location production; syntax is "asl .a" now
|
2014-04-04 17:09:50 +01:00 |
|
Cat's Eye Technologies
|
37215cb72a
|
Always emit main first.
|
2014-04-04 16:54:25 +01:00 |
|
Cat's Eye Technologies
|
5e4bf5caad
|
Get eg/* working again.
|
2014-04-04 16:16:51 +01:00 |
|
Cat's Eye Technologies
|
b455709ef1
|
Analyze bfore mitting
|
2014-04-04 15:45:49 +01:00 |
|
Cat's Eye Technologies
|
af05d77d2d
|
Get routine outputs nominally working.
|
2014-04-04 15:05:58 +01:00 |
|
Cat's Eye Technologies
|
64e50a905f
|
Routines can declare their outputs now.
|
2014-04-04 14:52:14 +01:00 |
|
Cat's Eye Technologies
|
827896cd68
|
Hey, passing tests. Cool.
|
2014-04-04 14:22:19 +01:00 |
|
Cat's Eye Technologies
|
a86738c387
|
Pretty-print usages
|
2014-04-04 13:49:45 +01:00 |
|
Cat's Eye Technologies
|
11265e3060
|
Context is seperate; Usage is saner
|
2014-04-04 13:36:26 +01:00 |
|
Cat's Eye Technologies
|
023038833c
|
Beginnings of rework on the analyzer.
|
2014-04-04 13:06:12 +01:00 |
|
Cat's Eye Technologies
|
e2704df129
|
No more COPYVECTOR
|
2014-04-03 22:17:46 +01:00 |
|
Cat's Eye Technologies
|
2088769b8e
|
Generalized copy command for great justice.
|
2014-04-03 22:07:19 +01:00 |
|
Cat's Eye Technologies
|
0850162d43
|
Improve game slightly. Add foldRoutine*, use in checker.
|
2014-04-03 20:29:43 +01:00 |
|
Cat's Eye Technologies
|
962f2ad452
|
Baby steps.
|
2014-04-03 19:54:01 +01:00 |
|
Cat's Eye Technologies
|
569de53797
|
A refactor
|
2014-04-03 19:30:40 +01:00 |
|
Cat's Eye Technologies
|
f4a77ae5c4
|
Support for all instructions!
|
2014-04-03 18:59:37 +01:00 |
|
Cat's Eye Technologies
|
571b3d403b
|
Fix jmp (vector) syntax. Filename extension is .60p .
--HG--
rename : eg/cinv.60pical => eg/cinv.60p
rename : eg/demo.60pical => eg/demo.60p
rename : eg/hi.60pical => eg/hi.60p
rename : eg/screen.60pical => eg/screen1.60p
rename : eg/screen2.60pical => eg/screen2.60p
rename : eg/screen3.60pical => eg/screen3.60p
|
2014-04-03 18:52:58 +01:00 |
|
Cat's Eye Technologies
|
55a5ee85e3
|
Support most of the rest of the instructions.
|
2014-04-03 17:57:30 +01:00 |
|
Cat's Eye Technologies
|
cfbc840195
|
version of demo with joystick is almost a game.
|
2014-04-02 22:11:27 +01:00 |
|
Cat's Eye Technologies
|
e8e9e00a19
|
Use words in demo.
|
2014-04-02 21:37:23 +01:00 |
|
Cat's Eye Technologies
|
f5df4e5680
|
typematching
|
2014-04-02 20:50:35 +01:00 |
|
Cat's Eye Technologies
|
d225d1e727
|
Pass test, hamfistedly.
|
2014-04-02 20:16:50 +01:00 |
|
Cat's Eye Technologies
|
c9c2d9345f
|
Low, high bytes of word.
|
2014-04-02 20:11:30 +01:00 |
|
Cat's Eye Technologies
|
249d29b695
|
addressing_mode gen
|
2014-04-02 20:02:20 +01:00 |
|
Cat's Eye Technologies
|
a68f8a97d6
|
checkProgram wasn't deeply evaluating the thing. Merge stuff.
|
2014-04-02 19:25:41 +01:00 |
|
Cat's Eye Technologies
|
c0676f9efa
|
NamedLocation now includes the StorageType.
|
2014-04-02 18:45:14 +01:00 |
|
Cat's Eye Technologies
|
7fb454fb99
|
Get rid of more IMM commands.
|
2014-04-02 18:03:25 +01:00 |
|
Cat's Eye Technologies
|
2684f65512
|
Git rid of all modes of COPY.
|
2014-04-02 18:00:35 +01:00 |
|
Cat's Eye Technologies
|
40afeae0b6
|
Capture indirectnesss/literalness/indexness in StorageLocation.
|
2014-04-02 17:56:08 +01:00 |
|
Cat's Eye Technologies
|
061a1661dd
|
Indexed indirect. For a relaxing demo.
|
2014-04-02 17:48:44 +01:00 |
|
Cat's Eye Technologies
|
1cf166f0db
|
Allow comments.
|
2014-04-02 17:10:21 +01:00 |
|
Cat's Eye Technologies
|
159d3835be
|
Parse hex values.
|
2014-04-02 14:40:01 +01:00 |
|
Cat's Eye Technologies
|
61378f5a88
|
Put data at end, no need for jmp main
|
2014-04-02 13:53:56 +01:00 |
|
Cat's Eye Technologies
|
fe1acb11db
|
BASIC header not sixtypical's responsibility.
|
2014-04-02 13:47:02 +01:00 |
|
Cat's Eye Technologies
|
abe2279b46
|
Emit externals, jsr, eg that uses Kernal.
|
2014-04-02 13:39:54 +01:00 |
|
Cat's Eye Technologies
|
9d1b0e8309
|
Check for use of undeclared routines.
|
2014-04-02 13:22:33 +01:00 |
|
Cat's Eye Technologies
|
180efe281d
|
No duplicate routine names check.
|
2014-04-02 13:18:01 +01:00 |
|
Cat's Eye Technologies
|
f9f8cfc0ca
|
Beginning of work on externals.
|
2014-04-02 09:19:53 +01:00 |
|
Cat's Eye Technologies
|
60287c3850
|
sbc ora
|
2014-04-02 09:11:39 +01:00 |
|
Cat's Eye Technologies
|
1aea850043
|
lda,y sta,y adc and
|
2014-04-02 09:05:30 +01:00 |
|
Cat's Eye Technologies
|
128fbcf531
|
lda screen, x
|
2014-04-01 23:47:10 +01:00 |
|
Cat's Eye Technologies
|
2e186c763d
|
Byte tables. And checking for same.
|
2014-04-01 23:22:38 +01:00 |
|
Cat's Eye Technologies
|
22d061fb73
|
No duplicate routine names, jmps must be to vectors.
|
2014-04-01 22:29:50 +01:00 |
|
Cat's Eye Technologies
|
cb0fe91a8a
|
Wow, we have an interrupt handler. Well, a cinv. Good enough!
|
2014-04-01 22:05:02 +01:00 |
|
Cat's Eye Technologies
|
c441f96921
|
Re-introducing specialform jmp vector. Inching towards okayness.
|
2014-04-01 21:06:35 +01:00 |
|
Cat's Eye Technologies
|
9ae3a621b6
|
Beginnings of vector type addresses.
|
2014-04-01 20:34:16 +01:00 |
|
Cat's Eye Technologies
|
91d11c25b6
|
Loop numbering. Dear god, loop numbering.
|
2014-04-01 19:44:45 +01:00 |
|
Cat's Eye Technologies
|
629f8bd398
|
Initial work on if/repeat numbering.
|
2014-04-01 18:45:17 +01:00 |
|
Cat's Eye Technologies
|
4cceb05256
|
Immediate mode versions of ldx, ldy, cmp, cpx, cpy.
|
2014-04-01 18:34:41 +01:00 |
|
Cat's Eye Technologies
|
54f7fe34ef
|
Immediate and absolute parser helper parser combinators.
|
2014-04-01 18:23:04 +01:00 |
|
Cat's Eye Technologies
|
e268c550b5
|
clc, cld, clv, sec, sed. no sev. but a veritable "demo"...!
|
2014-04-01 18:04:43 +01:00 |
|
Cat's Eye Technologies
|
421bf03f8a
|
We have repeat loops now.
|
2014-04-01 17:55:59 +01:00 |
|
Cat's Eye Technologies
|
d1521afd3a
|
Incrementing and decrementing.
|
2014-04-01 17:32:33 +01:00 |
|
Cat's Eye Technologies
|
af2c369fb8
|
Generate code for if blocks, badly. Number ifs, please...
|
2014-04-01 17:15:21 +01:00 |
|
Cat's Eye Technologies
|
48c0c032e3
|
Support cpx and cpy.
|
2014-04-01 17:04:14 +01:00 |
|
Cat's Eye Technologies
|
6132b05b27
|
if statement takes any kind of branch. instruction support table
|
2014-04-01 17:00:16 +01:00 |
|
Cat's Eye Technologies
|
b458569edb
|
COPY is loads and stores and xfers, LOADIMM immediate. st? ops.
|
2014-04-01 15:49:54 +01:00 |
|
Cat's Eye Technologies
|
5af7c458ea
|
Machine model is a bit fuller now.
|
2014-04-01 15:37:09 +01:00 |
|
Cat's Eye Technologies
|
8c9dfe7004
|
Ophis AND VICE like the look of things now.
|
2014-04-01 15:09:28 +01:00 |
|
Cat's Eye Technologies
|
0f71bcd7d2
|
It generates something Ophis can stomach, now.
|
2014-04-01 14:59:28 +01:00 |
|
Cat's Eye Technologies
|
efc79edbc0
|
It emits assembly-like code, now.
|
2014-04-01 14:48:07 +01:00 |
|
Cat's Eye Technologies
|
4cef193da9
|
Parse more instructions.
|
2014-04-01 14:33:57 +01:00 |
|
Cat's Eye Technologies
|
b15411c677
|
Check for duplicate declarations.
|
2014-04-01 13:38:42 +01:00 |
|
Cat's Eye Technologies
|
16e29c9dc9
|
Checks for undeclared locations.
|
2014-04-01 13:29:45 +01:00 |
|
Cat's Eye Technologies
|
25b419b7c8
|
Rename some modules.
--HG--
rename : src/SixtyPical/Context.hs => src/SixtyPical/Analyzer.hs
rename : src/SixtyPical/BasicCheck.hs => src/SixtyPical/Checker.hs
|
2014-04-01 13:11:25 +01:00 |
|
Cat's Eye Technologies
|
f3c0320b2a
|
Add some notes, a test, a BasicCheck, a canal Panama (err...)
|
2014-04-01 13:01:27 +01:00 |
|
Cat's Eye Technologies
|
6461aa8eff
|
Split into modules.
|
2014-04-01 12:12:12 +01:00 |
|
Cat's Eye Technologies
|
b4eb0b0100
|
Three passing tests!
|
2014-03-31 23:31:30 +01:00 |
|
Cat's Eye Technologies
|
650405c2fe
|
Initial import.
|
2014-03-31 23:14:07 +01:00 |
|