feat!: Handle CallIndirect in Dataflow Analysis - #2059

Merged

acl-cqc merged 20 commits into

release-rs-v0.16.0from

acl/dataflow_call_indirect

Apr 16, 2025

Commits on Apr 4, 2025

No need for ConstFoldContext to impl Deref
acl-cqc
committed
692a759
Add PartialValue::LoadedFunction
acl-cqc
committed
48143f5
Docs, clippy::type_complexity
acl-cqc
committed
5809594
datalog handles LoadFunction, drop value_from_function (TODO ConstFoldCtx ignores self.0)
acl-cqc
committed
cccefe4
And handle CallIndirect
acl-cqc
committed
ca442c4
First bit of test - default to Top if called-func unknown
acl-cqc
committed
a90dc97
Test2, fix port numbering and narrow unknown-called-func case
acl-cqc
committed
6e2ad7f
Test3, plus refactor test
acl-cqc
committed
2cd8547
refactor into cases of rstest
acl-cqc
committed
ba33062
Merge remote-tracking branch 'origin/main' into acl/dataflow_call_indirect
acl-cqc
committed
5c9c6ec
PartialSum default N=Node
acl-cqc
committed
ee128ce

Commits on Apr 5, 2025

require TryFrom<LoadedFunction<N>,Error=LoadedFunction<N>>, format w/ Debug
acl-cqc
committed
2757a33

Commits on Apr 7, 2025

Use PartialValue::new_load
acl-cqc
committed
3c79739
Make call_indirect a lattice, add load_func
acl-cqc
committed
1191150

Commits on Apr 8, 2025

Drop Hugr from inside ConstFoldContext
acl-cqc
committed
4ba5603

Commits on Apr 15, 2025

trait AsConcrete
acl-cqc
committed
a8e4553
LatticeWrapper requires only PartialEq+PartialOrd
acl-cqc
committed
f032848
PartialValue: Arbitrary+TestSumType etc. generates LoadedFunction
acl-cqc
committed
3066b65
clippy, fix predecence
acl-cqc
committed
3eb0c7f
test LatticeWrapper
acl-cqc
committed
887a386