Skip to content

Commit

Permalink
[NFC] [DSE] Refactor DSE (#100956)
Browse files Browse the repository at this point in the history
Refactor DSE with MemoryDefWrapper and MemoryLocationWrapper.

Normally, one MemoryDef accesses one MemoryLocation. With "initializes"
attribute, one MemoryDef (like call instruction) could initialize
multiple MemoryLocations.

Refactor DSE as a preparation to apply "initializes" attribute in DSE in
a follow-up PR
(58dd8a4).
  • Loading branch information
haopliu authored Aug 29, 2024
1 parent 0a41c8e commit 6421dcc
Showing 1 changed file with 209 additions and 158 deletions.
Loading

0 comments on commit 6421dcc

Please sign in to comment.