Skip to content

plugin system #146

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
Draft
michael-kenzel wants to merge 53 commits into
base: master
Choose a base branch
from
Draft

plugin system #146

michael-kenzel wants to merge 53 commits into from

Conversation

@michael-kenzel
Copy link
Contributor

@michael-kenzel michael-kenzel commented Aug 9, 2023

No description provided.

m-kurtenacker and others added 16 commits August 9, 2023 19:27
@m-kurtenacker @michael-kenzel
Support plugin execution. Very limited capabilities for now.
5488cc8
@m-kurtenacker @michael-kenzel
Support for multiple input arguments.
0e1b609
@m-kurtenacker @michael-kenzel
Use RTLD_GLOBAL to enable loading dependent plugins.
3f0f38d
@m-kurtenacker @michael-kenzel
Add plugin dependencies + option to return values from plugin intrins…
21e090e 
…ics.
@m-kurtenacker @michael-kenzel
Partial Evaluation between plugin steps.
eaf6b75
@m-kurtenacker @michael-kenzel
Implement world.release to emit anydsl_release calls in backend, similar
da72529 
to alloc.
@m-kurtenacker @michael-kenzel
Bugfix: llvm 14 needs pointer cast for release.
5d2c468
@stlemme @michael-kenzel
Fix MSVC build by disabling plugins
59aa49f
@stlemme @michael-kenzel
use proper CMAKE_DL_LIBS variable
c706d3a
@m-kurtenacker @michael-kenzel
Support return nullptr in plugins for void returns.
a3d9092
@michael-kenzel
pass World and App to plugin function
4d5b1b8
@m-kurtenacker @michael-kenzel
Make plugins explicitly return a Def* to avoid UB.
aea8051
@m-kurtenacker @michael-kenzel
Do not const_cast the app node, use rebuild and replace_uses instead.
986dc96
@m-kurtenacker @michael-kenzel
Gather plugins without copying continuations.
dd51c17
@m-kurtenacker @michael-kenzel
Clearification on app nodes and world.cleanup().
84fe231
@m-kurtenacker @michael-kenzel
Change plugin sorting comparisson to be asymetric.
c4423a0
m-kurtenacker and others added 13 commits June 20, 2024 16:12
@m-kurtenacker
Do not const_cast the app node, use rebuild and replace_uses instead.
8455787
@m-kurtenacker
Gather plugins without copying continuations.
807592e
@m-kurtenacker
Clearification on app nodes and world.cleanup().
1eebe0d
@m-kurtenacker
Change plugin sorting comparisson to be asymetric.
0c37e8d
@m-kurtenacker
Json: Export plugins and plugin dependencies.
d99f07c
@m-kurtenacker
[Json]: Export filters on plugins without dependencies.
968114c
@m-kurtenacker
Plugin execution order: total ordering by calculating dependency depth.
20ab0c6
@m-kurtenacker
Bugfix Plugins: Work with new semantics for thorin.cleanup.
4eb19d5
@m-kurtenacker
Small improvements for internal continuations. Probably still buggy.
b44fbe4
@m-kurtenacker
dump_scoped: Dump filters.
b345444
@m-kurtenacker
Fix handling and emission of external globals.
3ffeb3b
@m-kurtenacker
Small bugfix in PE for multiple stacked run operations.
3c25ecc
@m-kurtenacker
Bugfix if no process can be made in plugin execution.
e3f8e45
@m-kurtenacker
[JSON] Add support for inf and nan floating point.
366f6b3
@m-kurtenacker
Some small changes to support edge cases created in certain plugins.
63498d2
@m-kurtenacker
Allow disabling collored scoped_dump through environment variable.
f4ef1d3
@m-kurtenacker
WIP: evaluate plugins during PE, not after.
417d8f3 
This is not very stable for now. Especially the dependency management
can still break at any point. Thorins uses tracking is not very well
maintained, and can't really deal with dependencies that are dropped by
replacing a continuation with a specialized one. This can lead to dead
code being interpreted as a remaining dependency that will only be
removed when the entire world is being rewritten.
@m-kurtenacker
Improve plugin dependency management, allow filters with intrinsics.
f4e655f
@m-kurtenacker
Exceptions in plugins added back in.
138b6f4
@m-kurtenacker
Added Thorin::cleanup_fix_point as a less intrusive cleanup option.
2776537
@m-kurtenacker
Do not destroy external continuations during PE.
a4c8aa0
@m-kurtenacker
Merge remote-tracking branch 'origin/plugins' into plugins
bf48e92 
Take over everything from rebased branch.
This only exists to make git happy.
@m-kurtenacker
Merge branch 'master' into plugins
50f60fd
@m-kurtenacker
Fix todo flag handling with plugins. Plugins can now return bottom.
53e3a87
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

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@michael-kenzel @m-kurtenacker @stlemme