mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-11-04 05:19:11 +00:00 
			
		
		
		
	driver: add --autoidx
This commit is contained in:
		
							parent
							
								
									98b4affc4a
								
							
						
					
					
						commit
						65146e3acf
					
				
					 1 changed files with 6 additions and 0 deletions
				
			
		| 
						 | 
				
			
			@ -276,6 +276,8 @@ int main(int argc, char **argv)
 | 
			
		|||
	options.add_options("developer")
 | 
			
		||||
		("X,trace", "enable tracing of core data structure changes. for debugging")
 | 
			
		||||
		("M,randomize-pointers", "will slightly randomize allocated pointer addresses. for debugging")
 | 
			
		||||
		("autoidx", "start counting autoidx up from <seed>, similar effect to --hash-seed",
 | 
			
		||||
			cxxopts::value<uint64_t>(), "<idx>")
 | 
			
		||||
		("A,abort", "will call abort() at the end of the script. for debugging")
 | 
			
		||||
		("x,experimental", "do not print warnings for the experimental <feature>",
 | 
			
		||||
			cxxopts::value<std::vector<std::string>>(), "<feature>")
 | 
			
		||||
| 
						 | 
				
			
			@ -427,6 +429,10 @@ int main(int argc, char **argv)
 | 
			
		|||
		if (result.count("infile")) {
 | 
			
		||||
			frontend_files = result["infile"].as<std::vector<std::string>>();
 | 
			
		||||
		}
 | 
			
		||||
		if (result.count("autoidx")) {
 | 
			
		||||
			int idx = result["autoidx"].as<uint64_t>();
 | 
			
		||||
			autoidx = idx;
 | 
			
		||||
		}
 | 
			
		||||
 | 
			
		||||
		if (log_errfile == NULL) {
 | 
			
		||||
			log_files.push_back(stdout);
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue