Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Assertion violation during XDC plugin #8

Closed
litghost opened this issue Feb 19, 2020 · 6 comments
Closed

Assertion violation during XDC plugin #8

litghost opened this issue Feb 19, 2020 · 6 comments
Assignees

Comments

@litghost
Copy link
Contributor

The symbiflow-arch-defs PR f4pga/f4pga-arch-defs#1321 causes the following assertion failure:

#terminate called after throwing an instance of 'std::out_of_range'
  what():  vector::_M_range_check: __n (which is 1) >= this->size() (which is 1)

when the target file_xc7_tests_ddr_ddr_uart_arty_artix7-xc7a50t-virt-xc7a50t-test_top.eblif is built. It is unclear if this is a latent yosys bug or a latent XDC plugin bug.

@tmichalak: Ideas?

@litghost litghost changed the title Assertion violation in XDC plugin Assertion violation during XDC plugin Feb 19, 2020
@litghost
Copy link
Contributor Author

Regardless if this was a bug in the input data, the error message from yosys + the XDC plugin is not good enough.

@litghost
Copy link
Contributor Author

Small replication: yosys_plugin.tar.gz

@tmichalak
Copy link
Collaborator

It seems to be related to some changes in Yosys during mapping as it works fine with Yosys 0.9+932 (git sha1 81876a37, clang 8.0.0 -fPIC -Os), but fails with the assertion with Yosys 0.9+1706 (git sha1 c244b27b, clang 6.0.0-1ubuntu2 -fPIC -Os). I will look into it.

@litghost
Copy link
Contributor Author

Any progress on this?

@litghost
Copy link
Contributor Author

I've identified the bug

@litghost litghost assigned litghost and unassigned tmichalak Feb 21, 2020
@litghost
Copy link
Contributor Author

Fixed by #9

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants