mirror of
https://github.com/RetroPortingToolKit/psxrecomp
synced 2026-10-28 02:56:36 -04:00
Matthew Stanley
7c40d33db3
Phase 1a (boot slice): 30 instructions at 0xBFC00000, compiles clean. Phase 1b (instruction coverage): 54 opcodes implemented in strict_translator, 44,629 walker-reachable instructions covered, 0 missing. Phase 1c (function discovery): 76 functions from 2 seeds, 2,988 instructions, 199 call edges, 27 indirect jumps. All validated through StrictTranslator. Phase 1d (indirect control flow): 27 sites classified — 21 A0/B0/C0 dispatch stubs, 4 computed calls, 2 computed tail calls. Ghidra cross-referenced with 0 disagreements. Phase 1e (relocation): ROM-to-RAM copy at FUN_bfc00420 proven with both Ghidra (static) and DuckStation (runtime). 69 address aliases, 68/69 function entries match byte-for-byte in RAM. Normalization rule documented. Includes PRINCIPLES.md and DEBUG.md adapted from recomp-template. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
59 lines
2.0 KiB
Python
59 lines
2.0 KiB
Python
#!/usr/bin/env python
|
|
# Build the documentation in CI.
|
|
|
|
from __future__ import print_function
|
|
import errno, os, shutil, subprocess, sys, urllib
|
|
from subprocess import call, check_call, Popen, PIPE, STDOUT
|
|
|
|
def rmtree_if_exists(dir):
|
|
try:
|
|
shutil.rmtree(dir)
|
|
except OSError as e:
|
|
if e.errno == errno.ENOENT:
|
|
pass
|
|
|
|
# Build the docs.
|
|
fmt_dir = os.path.dirname(os.path.dirname(os.path.realpath(__file__)))
|
|
sys.path.insert(0, os.path.join(fmt_dir, 'doc'))
|
|
import build
|
|
build.create_build_env()
|
|
html_dir = build.build_docs()
|
|
|
|
repo = 'fmtlib.github.io'
|
|
branch = os.environ['GITHUB_REF']
|
|
is_ci = 'CI' in os.environ
|
|
if is_ci and branch != 'refs/heads/master':
|
|
print('Branch: ' + branch)
|
|
exit(0) # Ignore non-master branches
|
|
if is_ci and 'KEY' not in os.environ:
|
|
# Don't update the repo if building in CI from an account that doesn't have
|
|
# push access.
|
|
print('Skipping update of ' + repo)
|
|
exit(0)
|
|
|
|
# Clone the fmtlib.github.io repo.
|
|
rmtree_if_exists(repo)
|
|
git_url = 'https://github.com/' if is_ci else 'git@github.com:'
|
|
check_call(['git', 'clone', git_url + 'fmtlib/{}.git'.format(repo)])
|
|
|
|
# Copy docs to the repo.
|
|
target_dir = os.path.join(repo, 'dev')
|
|
rmtree_if_exists(target_dir)
|
|
shutil.copytree(html_dir, target_dir, ignore=shutil.ignore_patterns('.*'))
|
|
if is_ci:
|
|
check_call(['git', 'config', '--global', 'user.name', 'fmtbot'])
|
|
check_call(['git', 'config', '--global', 'user.email', 'viz@fmt.dev'])
|
|
|
|
# Push docs to GitHub pages.
|
|
check_call(['git', 'add', '--all'], cwd=repo)
|
|
if call(['git', 'diff-index', '--quiet', 'HEAD'], cwd=repo):
|
|
check_call(['git', 'commit', '-m', 'Update documentation'], cwd=repo)
|
|
cmd = 'git push'
|
|
if is_ci:
|
|
cmd += ' https://$KEY@github.com/fmtlib/fmtlib.github.io.git master'
|
|
p = Popen(cmd, shell=True, stdout=PIPE, stderr=STDOUT, cwd=repo)
|
|
# Print the output without the key.
|
|
print(p.communicate()[0].decode('utf-8').replace(os.environ['KEY'], '$KEY'))
|
|
if p.returncode != 0:
|
|
raise subprocess.CalledProcessError(p.returncode, cmd)
|