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

Implement function erasure #5576

Merged
merged 68 commits into from
Jul 17, 2023
Merged

Implement function erasure #5576

merged 68 commits into from
Jul 17, 2023

Commits on Jul 12, 2023

  1. Stray clippy ignore

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    60c98ea View commit details
    Browse the repository at this point in the history

  2. Parameterize program solving on a FunctionKind 

    This new flag determines whether we should introduce a new kind to
represent lambda sets, or whether lambdas should be erased. The latter
is not yet implemented.
    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    44c4797 View commit details
    Browse the repository at this point in the history

  3. Break up solve/solve into smaller modules

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    f8e377a View commit details
    Browse the repository at this point in the history

  4. Shove more into a common env

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    15eef74 View commit details
    Browse the repository at this point in the history

  5. Break up SolveEnv

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    33b1b82 View commit details
    Browse the repository at this point in the history

  6. Erased symbol

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    fb4c550 View commit details
    Browse the repository at this point in the history

  7. Instantiate erased lambdas

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    1d6f0d3 View commit details
    Browse the repository at this point in the history

  8. Unify erased lambda sets

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    15ae748 View commit details
    Browse the repository at this point in the history

  9. Initial support for erasure in tests

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    6014370 View commit details
    Browse the repository at this point in the history

  10. Use index

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    16ebcba View commit details
    Browse the repository at this point in the history

  11. Check in first erasure test

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    6eae480 View commit details
    Browse the repository at this point in the history

  12. Thread simple model of "ErasedLambdas" through proc layouts 

    But none of these paths are yet exercised.
    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    c459757 View commit details
    Browse the repository at this point in the history

  13. Content variant ErasedLambda

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    6e5a308 View commit details
    Browse the repository at this point in the history

  14. First pass at erased function layouts

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    a9e3f96 View commit details
    Browse the repository at this point in the history

  15. Add FunctionPointer layout

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    6312d75 View commit details
    Browse the repository at this point in the history

  16. Get started on calling erased functions

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    a6bb3ab View commit details
    Browse the repository at this point in the history

  17. Fix

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    929579d View commit details
    Browse the repository at this point in the history

  18. Fix merge conflicts

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    558d745 View commit details
    Browse the repository at this point in the history

  19. Call erased functions

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    510a421 View commit details
    Browse the repository at this point in the history

  20. Add erased layout

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    63db2c0 View commit details
    Browse the repository at this point in the history

  21. add a todo impl

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    55fa809 View commit details
    Browse the repository at this point in the history

  22. Expr::FunctionPointer

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    cf30f02 View commit details
    Browse the repository at this point in the history

  23. how to build an erased fn

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    a1eb641 View commit details
    Browse the repository at this point in the history

  24. Exercise building erased function

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    d17d8c7 View commit details
    Browse the repository at this point in the history

  25. Specialize erased

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    2cb2e37 View commit details
    Browse the repository at this point in the history

  26. First pass at specialized erased

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    fbad6bc View commit details
    Browse the repository at this point in the history

  27. Unpack erased captures

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    cf74f84 View commit details
    Browse the repository at this point in the history

  28. First compile of erased lambdas

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    b2d3b52 View commit details
    Browse the repository at this point in the history

  29. Type fixes

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    3e3d3cc View commit details
    Browse the repository at this point in the history

  30. Add mono Expr::ErasedMake

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    2c838aa View commit details
    Browse the repository at this point in the history

  31. Add Expr::ErasedLoad

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    283b9d5 View commit details
    Browse the repository at this point in the history

  32. Add Layout::Erased

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    7ea85e4 View commit details
    Browse the repository at this point in the history

  33. First pass update erasure IR

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    dc56a0f View commit details
    Browse the repository at this point in the history

  34. Add needed file

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    1d1db83 View commit details
    Browse the repository at this point in the history

  35. Allow direct packing, unpacking of erased types

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    cd64134 View commit details
    Browse the repository at this point in the history

  36. Clippy

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    535eb80 View commit details
    Browse the repository at this point in the history

  37. Add erasure llvm test

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    f2f80f3 View commit details
    Browse the repository at this point in the history

  38. Model erasure in alias analysis

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    2c826ea View commit details
    Browse the repository at this point in the history

  39. llvm types for erasure, function pointer

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    74d0f8d View commit details
    Browse the repository at this point in the history

  40. pub crate

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    7c8e7bb View commit details
    Browse the repository at this point in the history

  41. Erased functions do not take a func spec

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    13d1232 View commit details
    Browse the repository at this point in the history

  42. Pass less arguments around

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    b8c1436 View commit details
    Browse the repository at this point in the history

  43. Build erased types

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    e1c88c6 View commit details
    Browse the repository at this point in the history

  44. Mono IR checker: check wanted function pointer layout

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    13c4515 View commit details
    Browse the repository at this point in the history

  45. Don't pass empty captures

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    fcb907b View commit details
    Browse the repository at this point in the history

  46. Build erased load in llvm

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    f37cc48 View commit details
    Browse the repository at this point in the history

  47. Easy mode refcounter

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    bc4c91a View commit details
    Browse the repository at this point in the history

  48. Build easy refcounter for erased

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    3e23699 View commit details
    Browse the repository at this point in the history

  49. Sorry checker

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    1cd9def View commit details
    Browse the repository at this point in the history

  50. Fix argument type

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    a123820 View commit details
    Browse the repository at this point in the history

  51. Pass function pointer directly rather than load/store into alloca

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    6ba6b04 View commit details
    Browse the repository at this point in the history

  52. Cleanup

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    23f4d02 View commit details
    Browse the repository at this point in the history

  53. Correct calling branches

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    fde75d5 View commit details
    Browse the repository at this point in the history

  54. Load as a stack pointer

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    8d9c6d0 View commit details
    Browse the repository at this point in the history

  55. Support ValuePtr in alias analysis and llvm

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    0385da4 View commit details
    Browse the repository at this point in the history

  56. Refcounting null box ptr

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    667a692 View commit details
    Browse the repository at this point in the history

  57. Add initial tests

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    cb56872 View commit details
    Browse the repository at this point in the history

  58. Support erased functions in debug mode

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    9702f30 View commit details
    Browse the repository at this point in the history

  59. Add experimental flag for roc_erase

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    b5db3f6 View commit details
    Browse the repository at this point in the history

  60. Remove all box references

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    a8d821b View commit details
    Browse the repository at this point in the history

  61. Boxed helpers

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    5e9a06e View commit details
    Browse the repository at this point in the history

  62. Fixed erased with nullable unwrapped union

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    937e042 View commit details
    Browse the repository at this point in the history

  63. Elide lifetimes

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    3a3ee4d View commit details
    Browse the repository at this point in the history

  64. Make sure to specialized erased at least once

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    baf6c6f View commit details
    Browse the repository at this point in the history

  65. Update mono tests

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    fea4100 View commit details
    Browse the repository at this point in the history

  66. Update vars

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    a2574a5 View commit details
    Browse the repository at this point in the history

  67. Fix doc comments

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    00730be View commit details
    Browse the repository at this point in the history

  68. Fix types

    @ayazhafiz
    ayazhafiz committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    016862c View commit details
    Browse the repository at this point in the history