6502/SixtyPical
1
0
Fork 0
mirror of https://github.com/catseye/SixtyPical.git synced 2024-11-26 14:49:15 +00:00
Code Issues Projects Releases Wiki Activity
A 6502-oriented low-level programming language supporting advanced static analysis
221 Commits 1 Branch 23 Tags 1.3 MiB
Python 98.2%
Shell 1.5%
xBase 0.3%
ef07f46f41
Go to file
Chris Pressey ef07f46f41 Start a development branch.
2017-11-17 16:12:59 +00:00
bin Implement indirect JSRs with trampolines in theory; doesn't work. 2015-10-22 15:45:16 +01:00
doc Start a development branch. 2017-11-17 16:12:59 +00:00
eg Add uncommitted example source, and fix names of 2 others. 2016-06-16 11:14:08 -05:00
src/sixtypical Remove low/high byte operators until I've thought about it more. 2017-11-17 15:54:50 +00:00
tests Remove low/high byte operators until I've thought about it more. 2017-11-17 15:54:50 +00:00
.gitignore Refactor to replace some sketchy code with code actually in use. 2015-10-16 10:40:38 +01:00
.hgignore Refactor to replace some sketchy code with code actually in use. 2015-10-16 10:40:38 +01:00
.hgtags Added tag 0.6 for changeset f89772f47de9 2015-10-23 16:37:22 +01:00
HISTORY.markdown Release version 0.7. 2017-11-17 16:00:51 +00:00
LICENSE Add TODO to README, update license information. 2015-10-16 10:00:51 +01:00
loadngo.sh Call defined routines. 2015-10-17 15:23:00 +01:00
README.markdown Start a development branch. 2017-11-17 16:12:59 +00:00
test.sh Add syntax for extern routines, add syntax tests. 2015-10-17 13:50:21 +01:00

README.markdown

SixtyPical

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 development version of SixtyPical is 0.8-PRE.

Documentation

TODO

  • word table type.
  • vector table type.
  • zero-page memory locations.
  • indirect addressing.
  • low and high address operators (turn word type into byte.) Possibly.
  • save registers on stack or in memory (this preserves them = not trashed)

At some point...

  • initialized byte table memory locations
  • always analyze before executing or compiling, unless told not to
  • trash instruction.
  • interrupt routines.
  • 6502-mnemonic aliases (sec, clc)
  • other handy aliases (eq for z, etc.)
  • have copy instruction 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