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

wip: hir refactoring #332

Draft
wants to merge 31 commits into
base: next
Choose a base branch
from
Draft

wip: hir refactoring #332

Show file tree
Hide file tree
Changes from 13 commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
1051624
wip: ir redesign
bitwalker Sep 13, 2024
117dfcf
wip: basic structure landed, starting refinement
bitwalker Sep 19, 2024
3e48bb1
wip: move hir2/src/core to hir2/src/ir
bitwalker Sep 19, 2024
b8ee446
feat: support no-std builds of midenc_hir_symbol
bitwalker Sep 20, 2024
db1aca0
wip: implement hir dialect ops, flesh out remaining core ir infra
bitwalker Sep 23, 2024
0057afc
feat: implement #[operation] macro
bitwalker Oct 4, 2024
95379c6
fix: expose sync module from hir-symbol
bitwalker Oct 4, 2024
1146d98
feat: implement pretty-print trait for Symbol/Type
bitwalker Oct 4, 2024
7e37cf1
wip: implement useful static casting traits
bitwalker Oct 4, 2024
03cb6f5
wip: implement support for more attributes, with pretty printing
bitwalker Oct 4, 2024
0800423
wip: implement generic pretty printer for ir
bitwalker Oct 4, 2024
5ad94ac
wip: improve ergonomics of entity refs, implement support for generic…
bitwalker Oct 4, 2024
9238669
wip: implement key infrastructure for operations, patterns, builders
bitwalker Oct 4, 2024
edf8a04
wip: make callables fundamental, move function/module to hir dialect
bitwalker Oct 5, 2024
e839791
wip: add constant materialization hook to dialect
bitwalker Oct 19, 2024
07cf501
chore: add some useful deps
bitwalker Oct 19, 2024
c56be9b
wip: promote attributes to top level, add ability to clone and hash t…
bitwalker Oct 19, 2024
54ccab6
wip: implement a variety of useful apis on regions/blocks/ops/values
bitwalker Oct 20, 2024
de12ced
wip: implement region/non-region branch op interfaces, region simplif…
bitwalker Oct 20, 2024
72c4f12
wip: implement op folder
bitwalker Oct 20, 2024
b69c4ec
feat: implement some useful display helpers
bitwalker Oct 20, 2024
05e1100
wip: implement hir dialect builder and op impls, particularly control…
bitwalker Oct 20, 2024
f7aedcb
feat: implement pattern rewriter infrastructure
bitwalker Oct 20, 2024
05c3036
chore: normalize use of fxhash-based hash maps
bitwalker Oct 23, 2024
9c86f86
feat: implement pass infrastructure
bitwalker Oct 25, 2024
f7f89f4
feat: add small data structures to hir2, implement smalldeque
bitwalker Oct 28, 2024
0aa10e5
feat: add iterator extension trait for use in hir2
bitwalker Oct 28, 2024
8c32fc6
feat: be more conservative with how unsafe refs interact with debug p…
bitwalker Oct 28, 2024
3ffd2c4
feat: implement cfg abstractions and utilities
bitwalker Oct 28, 2024
64a0be3
feat: implement dominator and post-dominator analyses
bitwalker Oct 28, 2024
9e9dfe8
feat: implement loop analysis
bitwalker Oct 28, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
94 changes: 74 additions & 20 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 4 additions & 0 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ members = [
"codegen/*",
"frontend-wasm",
"hir",
"hir2",
"hir-analysis",
"hir-macros",
"hir-symbol",
Expand Down Expand Up @@ -52,9 +53,11 @@ clap = { version = "4.1", default-features = false, features = [
] }
cranelift-entity = "0.108"
cranelift-bforest = "0.108"
compact_str = { version = "0.8", default-features = false }
env_logger = "0.11"
either = { version = "1.10", default-features = false }
expect-test = "1.4.1"
hashbrown = { version = "0.14", features = ["nightly"] }
Inflector = "0.11"
intrusive-collections = "0.9"
inventory = "0.3"
Expand Down Expand Up @@ -85,6 +88,7 @@ derive_more = "0.99"
indexmap = "2.2"
miden-assembly = { version = "0.10.3" }
miden-core = { version = "0.10.3" }
miden-formatting = { version = "0.1", default-features = false }
miden-parsing = "0.1"
miden-processor = { version = "0.10.3" }
miden-stdlib = { version = "0.10.3", features = ["with-debug-info"] }
Expand Down
Loading
Loading