diff options
| author | Paul Annesley <paul@annesley.cc> | 2021-10-17 12:56:32 +1100 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-10-17 22:10:37 +0200 |
| commit | 3efc14f5ad856842725a96af0a49c046c622a52d (patch) | |
| tree | 168071821fc81deaf7f642681c973831ff85a4fa /passes | |
| parent | 0dd42d406d3dc5eaa73e19396f4e49cb9182130f (diff) | |
| download | yosys-3efc14f5ad856842725a96af0a49c046c622a52d.tar.gz yosys-3efc14f5ad856842725a96af0a49c046c622a52d.tar.bz2 yosys-3efc14f5ad856842725a96af0a49c046c622a52d.zip | |
dfflegalize: remove redundant check for initialized dlatch
This if condition is repeated verbatim, and I can't imagine a legitimate
way the inputs could change in between. I imagine it's a copy/paste
mistake.
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/techmap/dfflegalize.cc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/passes/techmap/dfflegalize.cc b/passes/techmap/dfflegalize.cc index c1e7e557d..5210d01eb 100644 --- a/passes/techmap/dfflegalize.cc +++ b/passes/techmap/dfflegalize.cc @@ -718,10 +718,6 @@ flip_dqisr:; goto error; } - if (!(supported_dlatch & ~INIT_X)) { - reason = "initialized dlatch are not supported"; - goto error; - } // If we got here, initialized dlatch is supported, but not this // particular reset+init combination (nor its negation). // The only hope left is breaking down to adff + dff + dlatch + mux. |