diff options
| author | Claire Wolf <clifford@clifford.at> | 2020-02-13 18:30:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-13 18:30:22 +0100 |
| commit | cb7bc6a12fee1d948b7f91fd37f326dbd4f5ca47 (patch) | |
| tree | 190cf996bfda866489373e51a11c983a118c3708 | |
| parent | e069259a5380073e4599ae689ee9e7ac1abdb6e7 (diff) | |
| parent | 20ce4118da1a0b14e8307aa0a605101252028757 (diff) | |
| download | yosys-cb7bc6a12fee1d948b7f91fd37f326dbd4f5ca47.tar.gz yosys-cb7bc6a12fee1d948b7f91fd37f326dbd4f5ca47.tar.bz2 yosys-cb7bc6a12fee1d948b7f91fd37f326dbd4f5ca47.zip | |
Merge pull request #1694 from rqou/json_compat_fix
json: Change compat mode to directly emit ints <= 32 bits
| -rw-r--r-- | backends/json/json.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/backends/json/json.cc b/backends/json/json.cc index 5c67cb857..6c924ff99 100644 --- a/backends/json/json.cc +++ b/backends/json/json.cc @@ -104,7 +104,7 @@ struct JsonWriter if (state < 2) str += " "; f << get_string(str); - } else if (compat_int_mode && GetSize(value) == 32 && value.is_fully_def()) { + } else if (compat_int_mode && GetSize(value) <= 32 && value.is_fully_def()) { if ((value.flags & RTLIL::ConstFlags::CONST_FLAG_SIGNED) != 0) f << stringf("%d", value.as_int()); else @@ -296,7 +296,7 @@ struct JsonBackend : public Backend { log(" include AIG models for the different gate types\n"); log("\n"); log(" -compat-int\n"); - log(" emit 32-bit fully-defined parameter values directly\n"); + log(" emit 32-bit or smaller fully-defined parameter values directly\n"); log(" as JSON numbers (for compatibility with old parsers)\n"); log("\n"); log("\n"); @@ -540,7 +540,7 @@ struct JsonPass : public Pass { log(" also include AIG models for the different gate types\n"); log("\n"); log(" -compat-int\n"); - log(" emit 32-bit fully-defined parameter values directly\n"); + log(" emit 32-bit or smaller fully-defined parameter values directly\n"); log(" as JSON numbers (for compatibility with old parsers)\n"); log("\n"); log("See 'help write_json' for a description of the JSON format used.\n"); |