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

IR: DotPrim elim #4614

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

IR: DotPrim elim #4614

wants to merge 30 commits into from

Commits on Jul 12, 2024

  1. don't create unnecessary variable renaming for the sake of NewObjE 

    `NewObjE` wants variable names for field values. When the expression
is _already a variable_ then just reuse its name!
    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    f839501 View commit details
    Browse the repository at this point in the history

  2. relax IR typechecker to accept 

    a `var` as source for an immutable field
    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    aa1bb2e View commit details
    Browse the repository at this point in the history

  3. improve the IR interpreter to allow immutable field initialisation by… 

    … reading mutable boxes

This is also how the backend does it.
    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    4049c14 View commit details
    Browse the repository at this point in the history

  4. blockE does the right thing here

    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    75143f1 View commit details
    Browse the repository at this point in the history

  5. test

    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    6dbefb8 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into gabor/NewObjE

    @ggreif
    ggreif authored Jul 12, 2024
    Configuration menu
    Copy the full SHA
    06f070c View commit details
    Browse the repository at this point in the history

  7. WIP: recover from stash 

    make `dotE` more intelligent
    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    de2116f View commit details
    Browse the repository at this point in the history

  8. progress: cope with many fields in NewObjE

    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    789eb2e View commit details
    Browse the repository at this point in the history

  9. drill into the result of BlockE

    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    20fd51b View commit details
    Browse the repository at this point in the history

  10. prune all LitE junk from the definitions 

    unless it is a precious one, needed in the result
    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    bb6c2c3 View commit details
    Browse the repository at this point in the history

  11. accept

    @ggreif
    ggreif committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    cbf141a View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2024

  1. start defining the class of non-trapping expressions

    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    6aa7c47 View commit details
    Browse the repository at this point in the history

  2. more prims as trapless 

    refactoring
    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    6baf2cf View commit details
    Browse the repository at this point in the history

  3. more

    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    da8d784 View commit details
    Browse the repository at this point in the history

  4. NewObjE too

    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    49cee5e View commit details
    Browse the repository at this point in the history

  5. FuncE too

    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    b4c2b1c View commit details
    Browse the repository at this point in the history

  6. show the need for inter-definition dependency analysis

    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    7a51bbd View commit details
    Browse the repository at this point in the history

  7. WIP 

    def-use analysis
    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    817d643 View commit details
    Browse the repository at this point in the history

  8. WIP: almost there

    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    12b5bc4 View commit details
    Browse the repository at this point in the history

  9. dependency tracking in decls done!

    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    8472d57 View commit details
    Browse the repository at this point in the history

  10. simplify

    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    f38d332 View commit details
    Browse the repository at this point in the history

  11. accept

    @ggreif
    ggreif committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    66d2f08 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Merge branch 'master' into gabor/NewObjE

    @ggreif
    ggreif authored Jul 15, 2024
    Configuration menu
    Copy the full SHA
    bebfa40 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Merge branch 'master' into gabor/NewObjE

    @ggreif
    ggreif authored Jul 16, 2024
    Configuration menu
    Copy the full SHA
    a0f4316 View commit details
    Browse the repository at this point in the history

  2. Update src/lowering/desugar.ml 

    Co-authored-by: Claudio Russo <claudio@dfinity.org>
    @ggreif @crusso
    ggreif and crusso authored Jul 16, 2024
    Configuration menu
    Copy the full SHA
    554203c View commit details
    Browse the repository at this point in the history

  3. Update test/run-drun/4611.mo 

    Co-authored-by: Claudio Russo <claudio@dfinity.org>
    @ggreif @crusso
    ggreif and crusso authored Jul 16, 2024
    Configuration menu
    Copy the full SHA
    77bceef View commit details
    Browse the repository at this point in the history

  4. Merge branch 'gabor/NewObjE' into gabor/DotPrim-elim

    @ggreif
    ggreif authored Jul 16, 2024
    Configuration menu
    Copy the full SHA
    ce3d3c8 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into gabor/DotPrim-elim

    @ggreif
    ggreif authored Jul 16, 2024
    Configuration menu
    Copy the full SHA
    c5f3b57 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Merge branch 'master' into gabor/DotPrim-elim

    @ggreif
    ggreif authored Aug 8, 2024
    Configuration menu
    Copy the full SHA
    de97742 View commit details
    Browse the repository at this point in the history

  2. accept

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