Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ares codegen redux #238

Draft
wants to merge 68 commits into
base: status
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
68 commits
Select commit Hold shift + click to select a range
19eba2b
codegen: restage
eamsden Apr 9, 2024
3204982
codegen: add get_by and supporting utilities
eamsden Apr 10, 2024
6e40a1e
codegen: progress re-implementing rust interpreter
eamsden Apr 11, 2024
688b868
codegen: continued progress on rust reimplementation
eamsden Apr 11, 2024
57234e4
codegen: baby pill boots
eamsden Apr 17, 2024
c1e2a5e
codegen: boot baby pill with provenance-based SKA
eamsden Apr 21, 2024
fe6f28c
codegen: implement more instructions
eamsden Apr 21, 2024
0fe2202
codegen: use ford to build again, but with traps!
eamsden Apr 21, 2024
51751a2
codegen: fix docs for huge:so
eamsden Apr 21, 2024
3c23e19
codegen: successfully analyze lifecycle function with slim pill boot-…
eamsden Apr 22, 2024
1b4222a
codegen: debugging memory usage
eamsden Apr 23, 2024
d62f9b6
codegen: memoization and memory trimming finalization
eamsden May 1, 2024
b07a046
adds spot-hint printing and minor fixes
joemfb May 2, 2024
0ea423e
tweaks spot/path printing code in ska
joemfb May 3, 2024
5044637
adds TODO comment from meeting
joemfb May 3, 2024
9abde9c
further tweaks spot printing
joemfb May 3, 2024
473d04e
print callsite -> call spots where possible[
joemfb May 6, 2024
f62b176
wip: draft/notes for loop memoization
eamsden May 21, 2024
c2264c3
ska: additional notes+drafting for loop memoization
eamsden May 21, 2024
8e16c3e
wip: broken
joemfb May 22, 2024
be7a28e
wip: slow
joemfb May 22, 2024
26f4c12
wip: fewer callsites, better logging
joemfb May 27, 2024
9318264
wip: take2: meme's
joemfb May 30, 2024
2e70727
wip: take2: faster
joemfb May 30, 2024
35f82ab
wip: linearizer slogs
joemfb May 30, 2024
aaf4bb4
wip: phi-elimination no longer memes (?), but very slow
joemfb May 30, 2024
42ba994
wip: line: prevent infinite loop in phi-elimination
joemfb May 30, 2024
e80f557
wip: less verbose
joemfb May 30, 2024
3db6d38
wip: properly resolve recursive call-site targets during finalization
joemfb May 31, 2024
f384713
wip: add separate compile-time verbosity flags for analysis
joemfb May 31, 2024
4f470b7
ska: remove old loop-memoization notes, add comments
joemfb May 31, 2024
e8b0114
ska: minor cleanup
joemfb May 31, 2024
53ed575
ska: refactor analysis into a |_
joemfb Jun 3, 2024
64a797d
ska: refactor individual operations
joemfb Jun 3, 2024
604a71a
ska: adds TODO comment in hint processing
joemfb Jun 3, 2024
b8028bc
ska: correct spot hints in memo entries
joemfb Jun 3, 2024
af55f1b
ska: hints for profiling
joemfb Jun 4, 2024
c18b44e
ska: removes unused cape
joemfb Jun 4, 2024
53e8f7d
ska: factors out [dad] for stack management
joemfb Jun 4, 2024
aee5155
ska: simplify spot-at-site mgmt
joemfb Jun 4, 2024
f3f99c0
ska: refactors finalization, reorders debug output
joemfb Jun 4, 2024
8805494
ska: adds arm comments and TODOs
joemfb Jun 4, 2024
fd20e17
ska: adds +melo-punt, turning all "meloization" sites indirect
joemfb Jun 5, 2024
2a813f5
ska: adds debug output for indirect calls
joemfb Jun 5, 2024
f69989e
ska: factors out +wait from +loop
joemfb Jun 5, 2024
7b1a913
ska: adds printfs and conditionals for finalization debugging
joemfb Jun 5, 2024
d35f661
ska: delete from melo.gen by callsite
joemfb Jun 6, 2024
7df8810
ska: corrects melo-hit callsite lifecycle
joemfb Jun 6, 2024
7539a88
ska: spot rectification
joemfb Jun 6, 2024
e224ddc
ska: corrects +due:qui, optimizes +mend as a result
joemfb Jun 6, 2024
606bd7b
ska: minor refactor of +rel:qui and +cut:qui
joemfb Jun 6, 2024
987e314
ska: quiet %mend-need loop printf
joemfb Jun 7, 2024
82bd2b3
wip: optimize +hed:qui and +tal:qui (a little)
joemfb Jun 8, 2024
f918091
wip: optimize +ask:qui (pending +hub jet)
joemfb Jun 8, 2024
026f27d
wip: normalize in +con:qui, not in +put:qui
joemfb Jun 8, 2024
3d36f50
ska: de-unitize +darn:so, decouple from opcode %10 semantics
joemfb Jun 11, 2024
7b3d7ce
ska: de-unitizes +pull:so
joemfb Jun 11, 2024
aca3767
ska: refactors +knit:so
joemfb Jun 11, 2024
428e1c6
ska: correct typo in state reference, reduce %ices-fail-link by half
joemfb Jun 11, 2024
de9a61b
ska: add spot hints to code table
joemfb Jun 12, 2024
cd582b0
line: print spot hints for bell on redo:jean crash
joemfb Jun 12, 2024
54ff73f
ska: meloize with lote-bound, loop-style sock nesting, fix %ices-fail…
joemfb Jun 12, 2024
20202ef
ska: correct melo-target lifcycle, delaying want.gen with call.gen
joemfb Jun 12, 2024
3cdb498
ska: return literals from +uni:ca where possible
joemfb Jun 12, 2024
021691d
ska: disables debug printfs
joemfb Jun 12, 2024
8a19bb6
ska: removes +melo-punt, now barely faster than +melo
joemfb Jun 12, 2024
5c0b761
ares: update codegen jamfile
joemfb Jun 12, 2024
f30783b
`.cg/jam -build-file %/lib/cg/hoon`
matthew-levan Jun 13, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions hoon/codegen/lib/cg.hoon
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
/+ line
=/ cg-kick
=> line != $
[%cg cg-kick line]
Loading
Loading