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 69 commits into
base: master
Choose a base branch
from
Open

Improve SSA #1038

wants to merge 69 commits into from

Commits on Aug 8, 2023

  1. tweak SSA pass

    @tanyongkiam
    tanyongkiam committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    2fe9833 View commit details
    Browse the repository at this point in the history

  2. add force_rename to translation

    @tanyongkiam
    tanyongkiam committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    3dd0301 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/explorer' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    5495664 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/explorer' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    c2070bf View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. Remove unused eq field

    @myreen
    myreen committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    101b0e6 View commit details
    Browse the repository at this point in the history

  2. Remove counter-productive renamings from word_cse

    @myreen
    myreen committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    b762b52 View commit details
    Browse the repository at this point in the history

  3. Tidy up and remove some more counter-productive renamings

    @myreen
    myreen committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    94434bb View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2023

  1. Rework implementation of word_cse

    @myreen
    myreen committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    3a0c192 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2023

  1. Fix bootstrap translation for SSA tweak

    @myreen
    myreen committed Aug 13, 2023
    Configuration menu
    Copy the full SHA
    5e97b7f View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2024

  1. Progress on word_cse

    @myreen
    myreen committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    7564554 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into ssa_fix

    @myreen
    myreen committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    889c547 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. Add cheats to word_cseProof to get backend/proofs to build

    @myreen
    myreen committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    349a171 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    33be1e0 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    fd9584d View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    077a40e View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Jul 1, 2024
    Configuration menu
    Copy the full SHA
    11b64e9 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    7563ce6 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    64e5904 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    3869a6e View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    b94e8ee View commit details
    Browse the repository at this point in the history

  3. fix broken instantiation order in ml_monadBaseLib

    @tanyongkiam
    tanyongkiam committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    5d3d1ee View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    1ef28f2 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @tanyongkiam
    tanyongkiam committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    6bc56e3 View commit details
    Browse the repository at this point in the history

  2. minor fix to word_alloc & proofs

    @tanyongkiam
    tanyongkiam committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    dfd0185 View commit details
    Browse the repository at this point in the history

  3. remove cheats

    @tanyongkiam
    tanyongkiam committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    b91fc77 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. WIP on making explorer run in-logic with cv compute

    @myreen
    myreen committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    c6eed22 View commit details
    Browse the repository at this point in the history

  2. remove cheat in backend_x64_cv

    @tanyongkiam
    tanyongkiam committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    d46b158 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. start making explorer cv_computable 

    with @myreen
    @tanyongkiam
    tanyongkiam committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    901955d View commit details
    Browse the repository at this point in the history

  2. fixes for translation

    @tanyongkiam
    tanyongkiam committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    45942a8 View commit details
    Browse the repository at this point in the history

  3. add clocks to presLang

    @tanyongkiam
    tanyongkiam committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    0327feb View commit details
    Browse the repository at this point in the history

  4. remove MAP and cheat

    @tanyongkiam
    tanyongkiam committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    ddcb22b View commit details
    Browse the repository at this point in the history

  5. move explorer translation into to_data_cv

    @tanyongkiam
    tanyongkiam committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    44191ad View commit details
    Browse the repository at this point in the history

  6. Sketch cv translator support for string |-> 'a

    @myreen
    myreen committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    051651c View commit details
    Browse the repository at this point in the history

  7. remove cheats

    @tanyongkiam
    tanyongkiam committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    cb39695 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Get explorer to run in-logic

    @myreen
    myreen committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    23d82e6 View commit details
    Browse the repository at this point in the history

  2. change word_alloc Move priorities

    @tanyongkiam
    tanyongkiam committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    36800d8 View commit details
    Browse the repository at this point in the history

  3. make cv compile lib file loop better

    @tanyongkiam
    tanyongkiam committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    1e6c5a8 View commit details
    Browse the repository at this point in the history

  4. Add a compiler pass for removing trivially unreachable code 

    This pass removes code immediately following a
tail call, a return or a raise.
    @myreen
    myreen committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    80498ba View commit details
    Browse the repository at this point in the history

  5. Add files missing from previous commit

    @myreen
    myreen committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    3cabf66 View commit details
    Browse the repository at this point in the history

  6. fix some cheats (syntactic ones left)

    @tanyongkiam
    tanyongkiam committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    f611057 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. sketch a SmartIf constructor for word_alloc

    @tanyongkiam
    tanyongkiam committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    5d56685 View commit details
    Browse the repository at this point in the history

  2. fix order of arguments

    @tanyongkiam
    tanyongkiam committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    0401afb View commit details
    Browse the repository at this point in the history

  3. Revert "fix order of arguments" 

    This reverts commit 0401afb.
    @tanyongkiam
    tanyongkiam committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    ed7a5bd View commit details
    Browse the repository at this point in the history

  4. Revert "sketch a SmartIf constructor for word_alloc" 

    This reverts commit 5d56685.
    @tanyongkiam
    tanyongkiam committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    2fd5dc1 View commit details
    Browse the repository at this point in the history

  5. add copy propagation pass draft

    @tanyongkiam
    tanyongkiam committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    e271431 View commit details
    Browse the repository at this point in the history

  6. cv translate

    @tanyongkiam
    tanyongkiam committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    42ac78f View commit details
    Browse the repository at this point in the history

  7. fix accidentally deleted lines

    @tanyongkiam
    tanyongkiam committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    30f4721 View commit details
    Browse the repository at this point in the history

  8. Sketch implementation of merging adjacent moves

    @myreen
    myreen committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    4af264d View commit details
    Browse the repository at this point in the history

  9. fix word_copy?

    @tanyongkiam
    tanyongkiam committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    60624f6 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'ssa_fix' of github.com:CakeML/cakeml into ssa_fix

    @tanyongkiam
    tanyongkiam committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    2e3f1ff View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. fix selection for word_inst

    @tanyongkiam
    tanyongkiam committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    2ab29b8 View commit details
    Browse the repository at this point in the history

  2. more optimize

    @tanyongkiam
    tanyongkiam committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    18e44fb View commit details
    Browse the repository at this point in the history

  3. quick hack to reduce live ranges of prop. consts

    @tanyongkiam
    tanyongkiam committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    2415df7 View commit details
    Browse the repository at this point in the history

  4. drop constants at tail calls too

    @tanyongkiam
    tanyongkiam committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    a12ec69 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. Merge remote-tracking branch 'origin/master' into ssa_fix

    @myreen
    myreen committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    15c08cc View commit details
    Browse the repository at this point in the history

  2. Make const_fp_loop produce less verbose output

    @myreen
    myreen committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    66bfc30 View commit details
    Browse the repository at this point in the history

  3. Avoid pmatch

    @myreen
    myreen committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    b329eb2 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Get word_unreachProof to build again

    @myreen
    myreen committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    3585d8c View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. Finish word_unreachProofTheory

    @myreen
    myreen committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    f1081e6 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2024

  1. fix word_instProof

    @tanyongkiam
    tanyongkiam committed Aug 17, 2024
    Configuration menu
    Copy the full SHA
    c55b136 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. add stub proof for word_copy

    @tanyongkiam
    tanyongkiam committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    bcd45d2 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. Actually start word_copyProof

    @wildptr
    wildptr committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    ba8cf24 View commit details
    Browse the repository at this point in the history

  2. sketch a quite merge

    @tanyongkiam
    tanyongkiam committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    d3f6a4b View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2024

  1. experiment: swap order of 3-to-2 reg

    @tanyongkiam
    tanyongkiam committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    8604807 View commit details
    Browse the repository at this point in the history

  2. backend update

    @tanyongkiam
    tanyongkiam committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    c59c2aa View commit details
    Browse the repository at this point in the history

  3. fix backend_asm

    @tanyongkiam
    tanyongkiam committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    e27fd28 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2024

  1. merge moves (taking MAX prio)

    @tanyongkiam
    tanyongkiam committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    14989c6 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Finish set_eq_env in word_copyProof

    @wildptr
    wildptr committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    b4770af View commit details
    Browse the repository at this point in the history

  2. sketch some edits with @wildptr

    @tanyongkiam
    tanyongkiam committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    af08175 View commit details
    Browse the repository at this point in the history