2 * Copyright (c) 2013 David Chisnall
5 * This software was developed by SRI International and the University of
6 * Cambridge Computer Laboratory under DARPA/AFRL contract (FA8750-10-C-0237)
7 * ("CTSRD"), as part of the DARPA CRASH research programme.
9 * Redistribution and use in source and binary forms, with or without
10 * modification, are permitted provided that the following conditions
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 * 2. Redistributions in binary form must reproduce the above copyright
15 * notice, this list of conditions and the following disclaimer in the
16 * documentation and/or other materials provided with the distribution.
18 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
19 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
22 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
26 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
27 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33 #include <sys/resource.h>
44 #include "checking.hh"
51 * The current major version of the tool.
53 int version_major = 0;
55 * The current minor version of the tool.
57 int version_minor = 5;
59 * The current patch level of the tool.
61 int version_patch = 0;
63 static void usage(const string &argv0)
65 fprintf(stderr, "Usage:\n"
66 "\t%s\t[-fhsv@] [-b boot_cpu_id] [-d dependency_file]"
67 "[-E [no-]checker_name]\n"
68 "\t\t[-H phandle_format] [-I input_format]"
69 "[-O output_format]\n"
70 "\t\t[-o output_file] [-R entries] [-S bytes] [-p bytes]"
72 "\t\t-W [no-]checker_name] input_file\n", basename(argv0).c_str());
76 * Prints the current version of this program..
78 static void version(const char* progname)
80 fprintf(stderr, "Version: %s %d.%d.%d\n", progname, version_major,
81 version_minor, version_patch);
84 using fdt::device_tree;
87 main(int argc, char **argv)
90 int outfile = fileno(stdout);
91 const char *outfile_name = "-";
92 const char *in_file = "-";
94 bool debug_mode = false;
95 auto write_fn = &device_tree::write_binary;
96 auto read_fn = &device_tree::parse_dts;
98 bool boot_cpu_specified = false;
99 bool keep_going = false;
101 clock_t c0 = clock();
102 class device_tree tree;
103 fdt::checking::check_manager checks;
104 const char *options = "@hqI:O:o:V:d:R:S:p:b:fi:svH:W:E:DP:";
106 // Don't forget to update the man page if any more options are added.
107 while ((ch = getopt(argc, argv, options)) != -1)
118 tree.write_symbols = true;
125 read_fn = &device_tree::parse_dtb;
127 else if (arg == "dts")
129 read_fn = &device_tree::parse_dts;
133 fprintf(stderr, "Unknown input format: %s\n", optarg);
143 write_fn = &device_tree::write_binary;
145 else if (arg == "asm")
147 write_fn = &device_tree::write_asm;
149 else if (arg == "dts")
151 write_fn = &device_tree::write_dts;
155 fprintf(stderr, "Unknown output format: %s\n", optarg);
162 outfile_name = optarg;
163 outfile = open(optarg, O_CREAT | O_TRUNC | O_WRONLY, 0666);
166 perror("Unable to open output file");
175 if (string(optarg) != "17")
177 fprintf(stderr, "Unknown output format version: %s\n", optarg);
187 if (string(optarg) == "-")
193 depfile = fdopen(open(optarg, O_CREAT | O_TRUNC | O_WRONLY, 0666), "w");
196 perror("Unable to open dependency file");
207 tree.set_phandle_format(device_tree::BOTH);
209 else if (arg == "epapr")
211 tree.set_phandle_format(device_tree::EPAPR);
213 else if (arg == "linux")
215 tree.set_phandle_format(device_tree::LINUX);
219 fprintf(stderr, "Unknown phandle format: %s\n", optarg);
225 // Don't bother to check if strtoll fails, just
226 // use the 0 it returns.
227 boot_cpu = (uint32_t)strtoll(optarg, 0, 10);
228 boot_cpu_specified = true;
237 if ((arg.size() > 3) && (strncmp(optarg, "no-", 3) == 0))
239 arg = string(optarg+3);
240 if (!checks.disable_checker(arg))
242 fprintf(stderr, "Checker %s either does not exist or is already disabled\n", optarg+3);
246 if (!checks.enable_checker(arg))
248 fprintf(stderr, "Checker %s either does not exist or is already enabled\n", optarg);
259 tree.add_include_path(optarg);
262 // Should quiet warnings, but for now is silently ignored.
266 tree.set_empty_reserve_map_entries(strtoll(optarg, 0, 10));
269 tree.set_blob_minimum_size(strtoll(optarg, 0, 10));
272 tree.set_blob_padding(strtoll(optarg, 0, 10));
275 if (!tree.parse_define(optarg))
277 fprintf(stderr, "Invalid predefine value %s\n",
282 fprintf(stderr, "Unknown option %c\n", ch);
288 in_file = argv[optind];
292 fputs(outfile_name, depfile);
293 fputs(": ", depfile);
294 fputs(in_file, depfile);
296 clock_t c1 = clock();
297 (tree.*read_fn)(in_file, depfile);
298 // Override the boot CPU found in the header, if we're loading from dtb
299 if (boot_cpu_specified)
301 tree.set_boot_cpu(boot_cpu);
312 if (!(tree.is_valid() || keep_going))
314 fprintf(stderr, "Failed to parse tree.\n");
317 clock_t c2 = clock();
318 if (!(checks.run_checks(&tree, true) || keep_going))
322 clock_t c3 = clock();
323 (tree.*write_fn)(outfile);
325 clock_t c4 = clock();
331 getrusage(RUSAGE_SELF, &r);
332 fprintf(stderr, "Peak memory usage: %ld bytes\n", r.ru_maxrss);
333 fprintf(stderr, "Setup and option parsing took %f seconds\n",
334 ((double)(c1-c0))/CLOCKS_PER_SEC);
335 fprintf(stderr, "Parsing took %f seconds\n",
336 ((double)(c2-c1))/CLOCKS_PER_SEC);
337 fprintf(stderr, "Checking took %f seconds\n",
338 ((double)(c3-c2))/CLOCKS_PER_SEC);
339 fprintf(stderr, "Generating output took %f seconds\n",
340 ((double)(c4-c3))/CLOCKS_PER_SEC);
341 fprintf(stderr, "Total time: %f seconds\n",
342 ((double)(c4-c0))/CLOCKS_PER_SEC);
343 // This is not needed, but keeps valgrind quiet.