mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-22 13:53:40 +00:00
Code Activity

fixup! driver: add --hash-seed

Browse source
This commit is contained in:
Emil J. Tywoniak 2024-10-02 11:33:51 +02:00
parent 4ef0829f08
commit 566dcf1878
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
kernel/driver.cc
View file

@ -271,7 +271,7 @@ int main(int argc, char **argv)
("X,trace", "enable tracing of core data structure changes. for debugging") ("X,trace", "enable tracing of core data structure changes. for debugging")
("M,randomize-pointers", "will slightly randomize allocated pointer addresses. for debugging") ("M,randomize-pointers", "will slightly randomize allocated pointer addresses. for debugging")
("hash-seed", "mix up hashing values with <seed>, for extreme optimization and testing", ("hash-seed", "mix up hashing values with <seed>, for extreme optimization and testing",
cxxopts::value<int>(), "<seed>") cxxopts::value<uint64_t>(), "<seed>")
("A,abort", "will call abort() at the end of the script. for debugging") ("A,abort", "will call abort() at the end of the script. for debugging")
("x,experimental", "do not print warnings for the experimental <feature>", ("x,experimental", "do not print warnings for the experimental <feature>",
cxxopts::value<std::vector<std::string>>(), "<feature>") cxxopts::value<std::vector<std::string>>(), "<feature>")
@ -419,8 +419,8 @@ int main(int argc, char **argv)
frontend_files = result["infile"].as<std::vector<std::string>>(); frontend_files = result["infile"].as<std::vector<std::string>>();
} }
if (result.count("hash-seed")) { if (result.count("hash-seed")) {
int seed = result["hash-seed"].as<int>(); int seed = result["hash-seed"].as<uint64_t>();
Hasher::set_fudge(seed); Hasher::set_fudge((Hasher::hash_t)seed);
} }
if (log_errfile == NULL) { if (log_errfile == NULL) {