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;
54 int version_major_compatible = 1;
56 * The current minor version of the tool.
58 int version_minor = 5;
59 int version_minor_compatible = 4;
61 * The current patch level of the tool.
63 int version_patch = 0;
64 int version_patch_compatible = 0;
66 static void usage(const string &argv0)
68 fprintf(stderr, "Usage:\n"
69 "\t%s\t[-fhsv@] [-b boot_cpu_id] [-d dependency_file]"
70 "[-E [no-]checker_name]\n"
71 "\t\t[-H phandle_format] [-I input_format]"
72 "[-O output_format]\n"
73 "\t\t[-o output_file] [-R entries] [-S bytes] [-p bytes]"
75 "\t\t-W [no-]checker_name] input_file\n", basename(argv0).c_str());
79 * Prints the current version of this program..
81 static void version(const char* progname)
83 fprintf(stdout, "Version: %s %d.%d.%d compatible with gpl dtc %d.%d.%d\n", progname,
84 version_major, version_minor, version_patch,
85 version_major_compatible, version_minor_compatible,
86 version_patch_compatible);
89 using fdt::device_tree;
92 main(int argc, char **argv)
95 int outfile = fileno(stdout);
96 const char *outfile_name = "-";
97 const char *in_file = "-";
99 bool debug_mode = false;
100 auto write_fn = &device_tree::write_binary;
101 auto read_fn = &device_tree::parse_dts;
103 bool boot_cpu_specified = false;
104 bool keep_going = false;
106 clock_t c0 = clock();
107 class device_tree tree;
108 fdt::checking::check_manager checks;
109 const char *options = "@hqI:O:o:V:d:R:S:p:b:fi:svH:W:E:DP:";
111 // Don't forget to update the man page if any more options are added.
112 while ((ch = getopt(argc, argv, options)) != -1)
123 tree.write_symbols = true;
130 read_fn = &device_tree::parse_dtb;
132 else if (arg == "dts")
134 read_fn = &device_tree::parse_dts;
138 fprintf(stderr, "Unknown input format: %s\n", optarg);
148 write_fn = &device_tree::write_binary;
150 else if (arg == "asm")
152 write_fn = &device_tree::write_asm;
154 else if (arg == "dts")
156 write_fn = &device_tree::write_dts;
160 fprintf(stderr, "Unknown output format: %s\n", optarg);
167 outfile_name = optarg;
168 outfile = open(optarg, O_CREAT | O_TRUNC | O_WRONLY, 0666);
171 perror("Unable to open output file");
180 if (string(optarg) != "17")
182 fprintf(stderr, "Unknown output format version: %s\n", optarg);
192 if (string(optarg) == "-")
198 depfile = fdopen(open(optarg, O_CREAT | O_TRUNC | O_WRONLY, 0666), "w");
201 perror("Unable to open dependency file");
212 tree.set_phandle_format(device_tree::BOTH);
214 else if (arg == "epapr")
216 tree.set_phandle_format(device_tree::EPAPR);
218 else if (arg == "linux")
220 tree.set_phandle_format(device_tree::LINUX);
224 fprintf(stderr, "Unknown phandle format: %s\n", optarg);
230 // Don't bother to check if strtoll fails, just
231 // use the 0 it returns.
232 boot_cpu = (uint32_t)strtoll(optarg, 0, 10);
233 boot_cpu_specified = true;
242 if ((arg.size() > 3) && (strncmp(optarg, "no-", 3) == 0))
244 arg = string(optarg+3);
245 if (!checks.disable_checker(arg))
247 fprintf(stderr, "Checker %s either does not exist or is already disabled\n", optarg+3);
251 if (!checks.enable_checker(arg))
253 fprintf(stderr, "Checker %s either does not exist or is already enabled\n", optarg);
264 tree.add_include_path(optarg);
267 // Should quiet warnings, but for now is silently ignored.
271 tree.set_empty_reserve_map_entries(strtoll(optarg, 0, 10));
274 tree.set_blob_minimum_size(strtoll(optarg, 0, 10));
277 tree.set_blob_padding(strtoll(optarg, 0, 10));
280 if (!tree.parse_define(optarg))
282 fprintf(stderr, "Invalid predefine value %s\n",
287 fprintf(stderr, "Unknown option %c\n", ch);
293 in_file = argv[optind];
297 fputs(outfile_name, depfile);
298 fputs(": ", depfile);
299 fputs(in_file, depfile);
301 clock_t c1 = clock();
302 (tree.*read_fn)(in_file, depfile);
303 // Override the boot CPU found in the header, if we're loading from dtb
304 if (boot_cpu_specified)
306 tree.set_boot_cpu(boot_cpu);
317 if (!(tree.is_valid() || keep_going))
319 fprintf(stderr, "Failed to parse tree.\n");
322 clock_t c2 = clock();
323 if (!(checks.run_checks(&tree, true) || keep_going))
327 clock_t c3 = clock();
328 (tree.*write_fn)(outfile);
330 clock_t c4 = clock();
336 getrusage(RUSAGE_SELF, &r);
337 fprintf(stderr, "Peak memory usage: %ld bytes\n", r.ru_maxrss);
338 fprintf(stderr, "Setup and option parsing took %f seconds\n",
339 ((double)(c1-c0))/CLOCKS_PER_SEC);
340 fprintf(stderr, "Parsing took %f seconds\n",
341 ((double)(c2-c1))/CLOCKS_PER_SEC);
342 fprintf(stderr, "Checking took %f seconds\n",
343 ((double)(c3-c2))/CLOCKS_PER_SEC);
344 fprintf(stderr, "Generating output took %f seconds\n",
345 ((double)(c4-c3))/CLOCKS_PER_SEC);
346 fprintf(stderr, "Total time: %f seconds\n",
347 ((double)(c4-c0))/CLOCKS_PER_SEC);
348 // This is not needed, but keeps valgrind quiet.