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

[NOT READY TO MERGE] Adding support for metrics to the register allocation pass of the compiler #264

Draft
wants to merge 19 commits into
base: master
Choose a base branch
from
Draft

[NOT READY TO MERGE] Adding support for metrics to the register allocation pass of the compiler #264

wants to merge 19 commits into from

Commits on May 3, 2022

  1. remove extraneous Search command

    @pratapsingh1729
    pratapsingh1729 committed May 3, 2022
    Configuration menu
    Copy the full SHA
    c821320 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2022

  1. add isReg to FlatImp semantics, other files still broken

    @pratapsingh1729
    pratapsingh1729 committed May 4, 2022
    Configuration menu
    Copy the full SHA
    34513c0 View commit details
    Browse the repository at this point in the history

  2. start fixing other files to add isReg, low-hanging fruit first

    @pratapsingh1729
    pratapsingh1729 committed May 4, 2022
    Configuration menu
    Copy the full SHA
    da28f4a View commit details
    Browse the repository at this point in the history

Commits on May 10, 2022

  1. fix FlatToRiscvFunctions.v, could be a little tidier though

    @pratapsingh1729
    pratapsingh1729 committed May 10, 2022
    Configuration menu
    Copy the full SHA
    143d485 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2022

  1. progress on RegAlloc.v, not done yet

    @pratapsingh1729
    pratapsingh1729 committed May 16, 2022
    Configuration menu
    Copy the full SHA
    9720664 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2022

  1. fixed but slow version of regalloc proof; TODO improve performance

    @pratapsingh1729
    pratapsingh1729 committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    d157885 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2022

  1. perf improvements for RegAlloc.v

    @pratapsingh1729
    pratapsingh1729 committed Jun 21, 2022
    Configuration menu
    Copy the full SHA
    803a137 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2022

  1. fix LowerPipeline.v

    @pratapsingh1729
    pratapsingh1729 committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    276bb7b View commit details
    Browse the repository at this point in the history

  2. start work on Spilling.v (#1)

    @pratapsingh1729
    pratapsingh1729 committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    db9c19b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'regalloc-metrics' of https://github.com/pratapsingh1729… 

    …/bedrock2 into regalloc-metrics
    @pratapsingh1729
    pratapsingh1729 committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    7779d35 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2022

  1. finish Spilling pass except some admits relating to SInteract

    @pratapsingh1729
    pratapsingh1729 committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    6670dcd View commit details
    Browse the repository at this point in the history

  2. FlattenExpr pass with admits for metrics goals, because bedrock2 sema… 

    …ntics not updated yet
    @pratapsingh1729
    pratapsingh1729 committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    7d1d671 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into regalloc-metrics

    @pratapsingh1729
    pratapsingh1729 committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    67d485f View commit details
    Browse the repository at this point in the history

  4. Merge branch 'regalloc-metrics' of https://github.com/pratapsingh1729… 

    …/bedrock2 into regalloc-metrics
    @pratapsingh1729
    pratapsingh1729 committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    cdbdbc0 View commit details
    Browse the repository at this point in the history

  5. cleaning up

    @pratapsingh1729
    pratapsingh1729 committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    402f67f View commit details
    Browse the repository at this point in the history

  6. update submodules

    @pratapsingh1729
    pratapsingh1729 committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    ca1bd2a View commit details
    Browse the repository at this point in the history

  7. fix merge issues

    @pratapsingh1729
    pratapsingh1729 committed Jul 20, 2022
    Configuration menu
    Copy the full SHA
    f8af06b View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2022

  1. make compilerExamples/SoftmulCompile.v compatible with new FlatImp.ex… 

    …ec to fix build error
    @pratapsingh1729
    pratapsingh1729 committed Jul 21, 2022
    Configuration menu
    Copy the full SHA
    8329197 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2022

  1. work on spilling pass, current costs for call and interact don't work

    @pratapsingh1729
    pratapsingh1729 committed Aug 11, 2022
    Configuration menu
    Copy the full SHA
    24eb5f5 View commit details
    Browse the repository at this point in the history