forestbelton
/
gbso
1
0
Fork 0
Code Issues 0 Pull Requests 0 Projects 0 Releases 0 Wiki Activity
gameboy superoptimizer
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
38 Commits
1 Branch
774 KiB
 
Tree: 74c5812a59
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '74c5812a59'
${ noResults }
 ZIP  TAR.GZ
Forest Belton 74c5812a59 Add a note about synthesis 3 years ago
docs Add reference paper and update README 3 years ago
gbso Add a note about synthesis 3 years ago
tests Implement operand mutation 3 years ago
.gitignore Initial commit 3 years ago
README.md Add TODO list to README 3 years ago
conftest.py Write CPU tests for 8-bit loads 3 years ago
ex.py Add example testcase that includes carry set 3 years ago
poetry.lock Initial commit 3 years ago
pyproject.toml Initial commit 3 years ago

README.md

gbso

An implementation of the stochastic superoptimization algorithm STOKE for the Sharp LR35902 (also known as GB-Z80).

Setup

Make sure you have Poetry and Python 3.9+ installed. Then run:

$ poetry install

Usage

Input programs are specified as a list of CPU instructions. For a list of instructions available to the processor, take a look at insn.py or a standard reference.

Once you have the program specified, call gbso.optimize.optimize on the program. A superoptimized, behaviorally equivalent program will be returned. Additional parameters are available to the optimization function to control search.

For a comprehensive example, see ex.py.

TODO