diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2022-03-07 09:41:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-07 09:41:25 +0100 |
commit | 4ccc2adbda523283997f273b0f182807ab07c0a9 (patch) | |
tree | 1b50535f8fa826b092b1b0341d7fce8ac055cc9b | |
parent | 7ba636cb3272c3158dc58bb1017ffbc15b609bb1 (diff) | |
parent | 2d3a337795f9b9009634536439d3ad18dbc15d11 (diff) | |
download | yosys-4ccc2adbda523283997f273b0f182807ab07c0a9.tar.gz yosys-4ccc2adbda523283997f273b0f182807ab07c0a9.tar.bz2 yosys-4ccc2adbda523283997f273b0f182807ab07c0a9.zip |
Merge pull request #3210 from rqou/json-signed
json: Add help message for `signed` field
-rw-r--r-- | backends/json/json.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/backends/json/json.cc b/backends/json/json.cc index 42eedc606..270d762ee 100644 --- a/backends/json/json.cc +++ b/backends/json/json.cc @@ -394,6 +394,7 @@ struct JsonBackend : public Backend { log(" \"bits\": <bit_vector>\n"); log(" \"offset\": <the lowest bit index in use, if non-0>\n"); log(" \"upto\": <1 if the port bit indexing is MSB-first>\n"); + log(" \"signed\": <1 if the port is signed>\n"); log(" }\n"); log("\n"); log("The \"offset\" and \"upto\" fields are skipped if their value would be 0."); @@ -443,6 +444,7 @@ struct JsonBackend : public Backend { log(" \"bits\": <bit_vector>\n"); log(" \"offset\": <the lowest bit index in use, if non-0>\n"); log(" \"upto\": <1 if the port bit indexing is MSB-first>\n"); + log(" \"signed\": <1 if the port is signed>\n"); log(" }\n"); log("\n"); log("The \"hide_name\" fields are set to 1 when the name of this cell or net is\n"); |