adlatch support question

[jhyyyyyy]

I find that the cell type of adlatch is described in simlib of yosys. However, I use the writing method of adlatch in simlib and find that yosys cannot identify adlatch and is still represented by dlatch. Is this an existing bug?

[jhyyyyyy]

Or, if I need to identify adlatch-type cells, do I need to add any special options?

[nakengelhardt]

Currently $adlatch will never be inferred by the frontend directly. It is only generated by dfflegalize when it is needed to emulate other cells (e.g. $sr) on architectures that have adlatch-type resources. This is not a bug; there is no guarantee that any verilog will be mapped to a specific primitive, only that the behavior is consistent with the source no matter which primitive is chosen.