diff options
| author | Kevin Laeufer | 2021-02-01 10:51:33 -0800 |
|---|---|---|
| committer | GitHub | 2021-02-01 18:51:33 +0000 |
| commit | ad0fd6579dfe5fc19c67c0453adbfbcfbd63122d (patch) | |
| tree | 319b7d682ad363ffb9001c99d7dcc7dc0e60c50d /src/test | |
| parent | 651fbe9339aca5fcb562715d00b1f87cf66296ee (diff) | |
ConstantPropagation: make RemoveValidIf an optional dependency (#2027)
This allows ConstantPropagation to be used in cases where
ValidIfs need to be maintained, e.g., in the formal backend.
Co-authored-by: Adam Izraelevitz <adam.izraelevitz@sifive.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions