diff options
| author | Bruce He <44327446+zm2he@users.noreply.github.com> | 2023-07-06 20:02:07 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-06 16:02:07 -0400 |
| commit | eb185f5d0706927db5917bf111afa73c6989b249 (patch) | |
| tree | 13420bc642ab2d1524ff98e7b16bc923cc6282d9 /src/analysis/lattice.h | |
| parent | 73f24c0af330578e9fa01e3d5fc6391619baaa9e (diff) | |
| download | binaryen-eb185f5d0706927db5917bf111afa73c6989b249.tar.gz binaryen-eb185f5d0706927db5917bf111afa73c6989b249.tar.bz2 binaryen-eb185f5d0706927db5917bf111afa73c6989b249.zip | |
Make the Transfer Function a Generic, Interchangeable Type for the Monotone Analyzer (#5794)
This change makes the transfer function an object separate from the monotone analyzer. The transfer function class type is a generic template of the monotone analyzer, and an instance of the transfer function is instantiated and then passed into the monotone analyzer via its constructor. The API of the transfer function is enforced by a static assertion.
This change also introduces LivenessTransferFunction as a transfer function for liveness analysis as an example.
Diffstat (limited to 'src/analysis/lattice.h')
0 files changed, 0 insertions, 0 deletions