Any feedback about how it behaves on your benchmarks and testcases is welcome !
Any help with code review is also welcome. That should happen on the separate patches.
(The part that is currently up for review is on D111159, introducing unknown_provenance and ptr_provenance)
The base version is ffe262a198a9f9030991df6d3ddd812e74fa3523 (July 29, 2022)
Note: (November 17,2021)
- Moved NoAliasProvenance out of AAMetadata. Added PtrProvenance to MemoryLocation
- Introduced UnknownProvenance constant
- Added support for (some) atomic instructions.
Note: (July 29, 2022)
- Track ptr_provenance again during selectiondag lowering