Tree @0.7 (Download .tar.gz)
README.markdown @0.7 — view markup · raw · history · blame
SixtyPical is a very low-level programming language, similar to 6502 assembly, with static analysis through abstract interpretation.
In practice, this means it catches things like
- you forgot to clear carry before adding something to the accumulator
- a subroutine that you call trashes a register you thought was preserved
- you tried to write the address of something that was not a routine, to a jump vector
and suchlike. It also provides some convenient operations and abstractions based on common machine-language programming idioms, such as
- copying values from one register to another (via a third register when there are no underlying instructions that directly support it)
- explicit tail calls
- indirect subroutine calls
The reference implementation can execute, analyze, and compile SixtyPical programs to 6502 machine code.
It is a work in progress, currently at the proof-of-concept stage.
The current released version of SixtyPical is 0.7.
- Design Goals — coming soon.
- SixtyPical specification
- SixtyPical history
- Literate test suite for SixtyPical syntax
- Literate test suite for SixtyPical execution
- Literate test suite for SixtyPical analysis
- Literate test suite for SixtyPical compilation
- 6502 Opcodes used/not used in SixtyPical
- zero-page memory locations.
- indirect addressing.
highaddress operators (turn
- save registers on stack or in memory (this preserves them = not trashed)
At some point...
byte tablememory locations
- always analyze before executing or compiling, unless told not to
- 6502-mnemonic aliases (
- other handy aliases (
copyinstruction able to copy a constant to a user-def mem loc, etc.
- add absolute addressing in shl/shr, absolute-indexed for add, sub, etc.
- check and disallow recursion.
- automatic tail-call optimization (could be tricky, w/constraints?)
- re-order routines and optimize tail-calls to fallthroughs