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.

Sign up for GitHub

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

Jump to bottom

Improve SSA #1038

Open
wants to merge 126 commits into
base: master
Choose a base branch
from
Open

Improve SSA #1038

wants to merge 126 commits into from

Conversation

myreen
Copy link
Contributor

@myreen myreen commented Aug 7, 2024

No description provided.

tanyongkiam and others added 30 commits August 8, 2023 19:55
@tanyongkiam
tweak SSA pass
2fe9833
@tanyongkiam
add force_rename to translation
3dd0301
@tanyongkiam
Merge remote-tracking branch 'origin/explorer' into ssa_fix
5495664
@tanyongkiam
Merge remote-tracking branch 'origin/explorer' into ssa_fix
c2070bf
@myreen
Remove unused eq field
101b0e6
@myreen
Remove counter-productive renamings from word_cse
b762b52
@myreen
Tidy up and remove some more counter-productive renamings
94434bb
@myreen
Rework implementation of word_cse
3a0c192
@myreen
Fix bootstrap translation for SSA tweak
5e97b7f
@myreen
Progress on word_cse
7564554
@myreen
Merge remote-tracking branch 'origin/master' into ssa_fix
889c547
@myreen
Add cheats to word_cseProof to get backend/proofs to build
349a171
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
33be1e0
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
fd9584d
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
077a40e
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
11b64e9
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
7563ce6
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
64e5904
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
3869a6e
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
b94e8ee
@tanyongkiam
fix broken instantiation order in ml_monadBaseLib
5d3d1ee
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
1ef28f2
@tanyongkiam
Merge remote-tracking branch 'origin/master' into ssa_fix
6bc56e3
@tanyongkiam
minor fix to word_alloc & proofs
dfd0185
@tanyongkiam
remove cheats
b91fc77
@myreen
WIP on making explorer run in-logic with cv compute
c6eed22
@tanyongkiam
remove cheat in backend_x64_cv
d46b158
@tanyongkiam
start making explorer cv_computable
901955d 
with @myreen
@tanyongkiam
fixes for translation
45942a8
@tanyongkiam
add clocks to presLang
0327feb
tanyongkiam and others added 28 commits November 4, 2024 22:52
@tanyongkiam
refactor backend_passes
01aeec2
@tanyongkiam
fix backend_asm
33ae5c0
@tanyongkiam
attempt fix
7c4e2f0
@tanyongkiam
more fix
ad76f40
@wildptr
word_to_wordProof: prove a lemma
02e21d3
@wildptr
word_to_wordProof: towards another lemma
978c75f
@tanyongkiam
shorter proof
4ce0507
@tanyongkiam
change behavior of several word_ passes
dbc287b 
- word_ssa not no longer fixes LongMul args
- word_copy now more careful to preserve 3-to-2 reg syntax invariant
- corresponding changes to syntactic invariants
@tanyongkiam
fix word_instProof
b1056b0
@tanyongkiam
fix cv_compute
7286175
@tanyongkiam
fix
5b1a422
@ordinarymath
fix word_cse word_remove
ebcec63
@tanyongkiam
Merge pull request #1086 from ordinarymath/ssa_fix
164a2be 
fix word_cse word_remove
@tanyongkiam
fix word_allocProof
1cb886c
@wildptr
word_to_wordProof: prove some lemmas
b631cb9
@tanyongkiam
change LongMul impl again
60ad64a 
- proofs broken
@tanyongkiam
Revert "change LongMul impl again"
03a721b 
This reverts commit 60ad64a.
@tanyongkiam
partially revert dbc287
3157b0a
@tanyongkiam
Revert "fix cv_compute"
4772a2b 
This reverts commit 7286175.
@tanyongkiam
Revert "fix"
22a4147 
This reverts commit 5b1a422.
@tanyongkiam
remove is_x64 again
0448312
@wildptr
word_to_wordProof: prove some syntactic results for word_copy
d4c3108
@tanyongkiam
implement immediate spilling in word-to-stack
972ed18
@tanyongkiam
Merge branch 'ssa_fix' of github.com:CakeML/cakeml into ssa_fix
44a5fcc
@wildptr
word_copyProof: prove syntactic properties
d9c5ad9
@tanyongkiam
minor fix
0cc779a
@tanyongkiam
start wordConvs files
1e090a5
@ordinarymath
fix word_cse
2a7aad0
@ordinarymath ordinarymath linked an issue Nov 15, 2024 that may be closed by this pull request
Cleanup, document, centralize wordLang syntactic conventions #1093
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
test failing regression test failed on the latest commit of this pull request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Cleanup, document, centralize wordLang syntactic conventions
4 participants
@myreen @tanyongkiam @wildptr @ordinarymath