xref: /freebsd/usr.bin/dtc/dtc.cc (revision b3e7694832e81d7a904a10f525f8797b753bf0d3)
1af0dd31fSDavid Chisnall /*-
2*4d846d26SWarner Losh  * SPDX-License-Identifier: BSD-2-Clause
31de7b4b8SPedro F. Giffuni  *
4af0dd31fSDavid Chisnall  * Copyright (c) 2013 David Chisnall
5af0dd31fSDavid Chisnall  * All rights reserved.
6af0dd31fSDavid Chisnall  *
7af0dd31fSDavid Chisnall  * This software was developed by SRI International and the University of
8af0dd31fSDavid Chisnall  * Cambridge Computer Laboratory under DARPA/AFRL contract (FA8750-10-C-0237)
9af0dd31fSDavid Chisnall  * ("CTSRD"), as part of the DARPA CRASH research programme.
10af0dd31fSDavid Chisnall  *
11af0dd31fSDavid Chisnall  * Redistribution and use in source and binary forms, with or without
12af0dd31fSDavid Chisnall  * modification, are permitted provided that the following conditions
13af0dd31fSDavid Chisnall  * are met:
14af0dd31fSDavid Chisnall  * 1. Redistributions of source code must retain the above copyright
15af0dd31fSDavid Chisnall  *    notice, this list of conditions and the following disclaimer.
16af0dd31fSDavid Chisnall  * 2. Redistributions in binary form must reproduce the above copyright
17af0dd31fSDavid Chisnall  *    notice, this list of conditions and the following disclaimer in the
18af0dd31fSDavid Chisnall  *    documentation and/or other materials provided with the distribution.
19af0dd31fSDavid Chisnall  *
20af0dd31fSDavid Chisnall  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
21af0dd31fSDavid Chisnall  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22af0dd31fSDavid Chisnall  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
23af0dd31fSDavid Chisnall  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
24af0dd31fSDavid Chisnall  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25af0dd31fSDavid Chisnall  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
26af0dd31fSDavid Chisnall  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27af0dd31fSDavid Chisnall  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
28af0dd31fSDavid Chisnall  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
29af0dd31fSDavid Chisnall  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
30af0dd31fSDavid Chisnall  * SUCH DAMAGE.
31af0dd31fSDavid Chisnall  */
32af0dd31fSDavid Chisnall 
33af0dd31fSDavid Chisnall #include <sys/resource.h>
34af0dd31fSDavid Chisnall #include <fcntl.h>
35af0dd31fSDavid Chisnall #include <libgen.h>
36009f7b42SDavid Chisnall #include <limits.h>
37009f7b42SDavid Chisnall #include <stdio.h>
38009f7b42SDavid Chisnall #include <stdlib.h>
39d37eb02eSKyle Evans #include <string.h>
40009f7b42SDavid Chisnall #include <time.h>
41009f7b42SDavid Chisnall #include <unistd.h>
42009f7b42SDavid Chisnall 
43af0dd31fSDavid Chisnall 
44af0dd31fSDavid Chisnall #include "fdt.hh"
45af0dd31fSDavid Chisnall #include "checking.hh"
46bbe31b70SEd Maste #include "util.hh"
47af0dd31fSDavid Chisnall 
48af0dd31fSDavid Chisnall using namespace dtc;
49bbe31b70SEd Maste using std::string;
50af0dd31fSDavid Chisnall 
51ca84c67cSKyle Evans namespace {
52ca84c67cSKyle Evans 
53af0dd31fSDavid Chisnall /**
54af0dd31fSDavid Chisnall  * The current major version of the tool.
55af0dd31fSDavid Chisnall  */
56af0dd31fSDavid Chisnall int version_major = 0;
57b2dba1f6SEmmanuel Vadot int version_major_compatible = 1;
58af0dd31fSDavid Chisnall /**
59af0dd31fSDavid Chisnall  * The current minor version of the tool.
60af0dd31fSDavid Chisnall  */
6121d5d37bSEd Maste int version_minor = 5;
62b2dba1f6SEmmanuel Vadot int version_minor_compatible = 4;
63af0dd31fSDavid Chisnall /**
64af0dd31fSDavid Chisnall  * The current patch level of the tool.
65af0dd31fSDavid Chisnall  */
66af0dd31fSDavid Chisnall int version_patch = 0;
67d37eb02eSKyle Evans int version_patch_compatible = 7;
68af0dd31fSDavid Chisnall 
usage(const string & argv0)69ca84c67cSKyle Evans void usage(const string &argv0)
70af0dd31fSDavid Chisnall {
71af0dd31fSDavid Chisnall 	fprintf(stderr, "Usage:\n"
7221d5d37bSEd Maste 		"\t%s\t[-fhsv@] [-b boot_cpu_id] [-d dependency_file]"
73af0dd31fSDavid Chisnall 			"[-E [no-]checker_name]\n"
74af0dd31fSDavid Chisnall 		"\t\t[-H phandle_format] [-I input_format]"
75af0dd31fSDavid Chisnall 			"[-O output_format]\n"
76af0dd31fSDavid Chisnall 		"\t\t[-o output_file] [-R entries] [-S bytes] [-p bytes]"
77af0dd31fSDavid Chisnall 			"[-V blob_version]\n"
78bbe31b70SEd Maste 		"\t\t-W [no-]checker_name] input_file\n", basename(argv0).c_str());
79af0dd31fSDavid Chisnall }
80af0dd31fSDavid Chisnall 
81af0dd31fSDavid Chisnall /**
82af0dd31fSDavid Chisnall  * Prints the current version of this program..
83af0dd31fSDavid Chisnall  */
version(const char * progname)84ca84c67cSKyle Evans void version(const char* progname)
85af0dd31fSDavid Chisnall {
86b2dba1f6SEmmanuel Vadot 	fprintf(stdout, "Version: %s %d.%d.%d compatible with gpl dtc %d.%d.%d\n", progname,
87b2dba1f6SEmmanuel Vadot 		version_major, version_minor, version_patch,
88b2dba1f6SEmmanuel Vadot 		version_major_compatible, version_minor_compatible,
89b2dba1f6SEmmanuel Vadot 		version_patch_compatible);
90af0dd31fSDavid Chisnall }
91af0dd31fSDavid Chisnall 
92ca84c67cSKyle Evans } // Anonymous namespace
93ca84c67cSKyle Evans 
94af0dd31fSDavid Chisnall using fdt::device_tree;
95aac4229aSKyle Evans using fdt::tree_write_fn_ptr;
96aac4229aSKyle Evans using fdt::tree_read_fn_ptr;
97af0dd31fSDavid Chisnall 
98af0dd31fSDavid Chisnall int
main(int argc,char ** argv)99af0dd31fSDavid Chisnall main(int argc, char **argv)
100af0dd31fSDavid Chisnall {
101af0dd31fSDavid Chisnall 	int ch;
102af0dd31fSDavid Chisnall 	int outfile = fileno(stdout);
103af0dd31fSDavid Chisnall 	const char *outfile_name = "-";
104af0dd31fSDavid Chisnall 	const char *in_file = "-";
105af0dd31fSDavid Chisnall 	FILE *depfile = 0;
106af0dd31fSDavid Chisnall 	bool debug_mode = false;
107aac4229aSKyle Evans 	tree_write_fn_ptr write_fn = nullptr;
108aac4229aSKyle Evans 	tree_read_fn_ptr read_fn = nullptr;
109d37eb02eSKyle Evans 	uint32_t boot_cpu = 0;
110af0dd31fSDavid Chisnall 	bool boot_cpu_specified = false;
111af0dd31fSDavid Chisnall 	bool keep_going = false;
112af0dd31fSDavid Chisnall 	bool sort = false;
113af0dd31fSDavid Chisnall 	clock_t c0 = clock();
114af0dd31fSDavid Chisnall 	class device_tree tree;
115af0dd31fSDavid Chisnall 	fdt::checking::check_manager checks;
11621d5d37bSEd Maste 	const char *options = "@hqI:O:o:V:d:R:S:p:b:fi:svH:W:E:DP:";
117af0dd31fSDavid Chisnall 
118af0dd31fSDavid Chisnall 	// Don't forget to update the man page if any more options are added.
119af0dd31fSDavid Chisnall 	while ((ch = getopt(argc, argv, options)) != -1)
120af0dd31fSDavid Chisnall 	{
121af0dd31fSDavid Chisnall 		switch (ch)
122af0dd31fSDavid Chisnall 		{
123af0dd31fSDavid Chisnall 		case 'h':
124af0dd31fSDavid Chisnall 			usage(argv[0]);
125af0dd31fSDavid Chisnall 			return EXIT_SUCCESS;
126af0dd31fSDavid Chisnall 		case 'v':
127af0dd31fSDavid Chisnall 			version(argv[0]);
128af0dd31fSDavid Chisnall 			return EXIT_SUCCESS;
12921d5d37bSEd Maste 		case '@':
13021d5d37bSEd Maste 			tree.write_symbols = true;
13121d5d37bSEd Maste 			break;
132af0dd31fSDavid Chisnall 		case 'I':
133af0dd31fSDavid Chisnall 		{
134bbe31b70SEd Maste 			string arg(optarg);
135bbe31b70SEd Maste 			if (arg == "dtb")
136af0dd31fSDavid Chisnall 			{
137af0dd31fSDavid Chisnall 				read_fn = &device_tree::parse_dtb;
138aac4229aSKyle Evans 				if (write_fn == nullptr)
139aac4229aSKyle Evans 				{
140aac4229aSKyle Evans 					write_fn = &device_tree::write_dts;
141aac4229aSKyle Evans 				}
142af0dd31fSDavid Chisnall 			}
143bbe31b70SEd Maste 			else if (arg == "dts")
144af0dd31fSDavid Chisnall 			{
145af0dd31fSDavid Chisnall 				read_fn = &device_tree::parse_dts;
146af0dd31fSDavid Chisnall 			}
147af0dd31fSDavid Chisnall 			else
148af0dd31fSDavid Chisnall 			{
149af0dd31fSDavid Chisnall 				fprintf(stderr, "Unknown input format: %s\n", optarg);
150af0dd31fSDavid Chisnall 				return EXIT_FAILURE;
151af0dd31fSDavid Chisnall 			}
152af0dd31fSDavid Chisnall 			break;
153af0dd31fSDavid Chisnall 		}
154af0dd31fSDavid Chisnall 		case 'O':
155af0dd31fSDavid Chisnall 		{
156bbe31b70SEd Maste 			string arg(optarg);
157bbe31b70SEd Maste 			if (arg == "dtb")
158af0dd31fSDavid Chisnall 			{
159af0dd31fSDavid Chisnall 				write_fn = &device_tree::write_binary;
160af0dd31fSDavid Chisnall 			}
161bbe31b70SEd Maste 			else if (arg == "asm")
162af0dd31fSDavid Chisnall 			{
163af0dd31fSDavid Chisnall 				write_fn = &device_tree::write_asm;
164af0dd31fSDavid Chisnall 			}
165bbe31b70SEd Maste 			else if (arg == "dts")
166af0dd31fSDavid Chisnall 			{
167af0dd31fSDavid Chisnall 				write_fn = &device_tree::write_dts;
168aac4229aSKyle Evans 				if (read_fn == nullptr)
169aac4229aSKyle Evans 				{
170aac4229aSKyle Evans 					read_fn = &device_tree::parse_dtb;
171aac4229aSKyle Evans 				}
172af0dd31fSDavid Chisnall 			}
173af0dd31fSDavid Chisnall 			else
174af0dd31fSDavid Chisnall 			{
175af0dd31fSDavid Chisnall 				fprintf(stderr, "Unknown output format: %s\n", optarg);
176af0dd31fSDavid Chisnall 				return EXIT_FAILURE;
177af0dd31fSDavid Chisnall 			}
178af0dd31fSDavid Chisnall 			break;
179af0dd31fSDavid Chisnall 		}
180af0dd31fSDavid Chisnall 		case 'o':
181af0dd31fSDavid Chisnall 		{
182af0dd31fSDavid Chisnall 			outfile_name = optarg;
183e69f3934SKyle Evans 			if (strcmp(outfile_name, "-") != 0)
184e69f3934SKyle Evans 			{
185af0dd31fSDavid Chisnall 				outfile = open(optarg, O_CREAT | O_TRUNC | O_WRONLY, 0666);
186af0dd31fSDavid Chisnall 				if (outfile == -1)
187af0dd31fSDavid Chisnall 				{
188af0dd31fSDavid Chisnall 					perror("Unable to open output file");
189af0dd31fSDavid Chisnall 					return EXIT_FAILURE;
190af0dd31fSDavid Chisnall 				}
191e69f3934SKyle Evans 			}
192af0dd31fSDavid Chisnall 			break;
193af0dd31fSDavid Chisnall 		}
194af0dd31fSDavid Chisnall 		case 'D':
195af0dd31fSDavid Chisnall 			debug_mode = true;
196af0dd31fSDavid Chisnall 			break;
197af0dd31fSDavid Chisnall 		case 'V':
198bbe31b70SEd Maste 			if (string(optarg) != "17")
199af0dd31fSDavid Chisnall 			{
200af0dd31fSDavid Chisnall 				fprintf(stderr, "Unknown output format version: %s\n", optarg);
201af0dd31fSDavid Chisnall 				return EXIT_FAILURE;
202af0dd31fSDavid Chisnall 			}
203af0dd31fSDavid Chisnall 			break;
204af0dd31fSDavid Chisnall 		case 'd':
205af0dd31fSDavid Chisnall 		{
206af0dd31fSDavid Chisnall 			if (depfile != 0)
207af0dd31fSDavid Chisnall 			{
208af0dd31fSDavid Chisnall 				fclose(depfile);
209af0dd31fSDavid Chisnall 			}
210bbe31b70SEd Maste 			if (string(optarg) == "-")
211af0dd31fSDavid Chisnall 			{
212af0dd31fSDavid Chisnall 				depfile = stdout;
213af0dd31fSDavid Chisnall 			}
214af0dd31fSDavid Chisnall 			else
215af0dd31fSDavid Chisnall 			{
216af0dd31fSDavid Chisnall 				depfile = fdopen(open(optarg, O_CREAT | O_TRUNC | O_WRONLY, 0666), "w");
217af0dd31fSDavid Chisnall 				if (depfile == 0)
218af0dd31fSDavid Chisnall 				{
219af0dd31fSDavid Chisnall 					perror("Unable to open dependency file");
220af0dd31fSDavid Chisnall 					return EXIT_FAILURE;
221af0dd31fSDavid Chisnall 				}
222af0dd31fSDavid Chisnall 			}
223af0dd31fSDavid Chisnall 			break;
224af0dd31fSDavid Chisnall 		}
225af0dd31fSDavid Chisnall 		case 'H':
226af0dd31fSDavid Chisnall 		{
227bbe31b70SEd Maste 			string arg(optarg);
228bbe31b70SEd Maste 			if (arg == "both")
229af0dd31fSDavid Chisnall 			{
230af0dd31fSDavid Chisnall 				tree.set_phandle_format(device_tree::BOTH);
231af0dd31fSDavid Chisnall 			}
232bbe31b70SEd Maste 			else if (arg == "epapr")
233af0dd31fSDavid Chisnall 			{
234af0dd31fSDavid Chisnall 				tree.set_phandle_format(device_tree::EPAPR);
235af0dd31fSDavid Chisnall 			}
236bbe31b70SEd Maste 			else if (arg == "linux")
237af0dd31fSDavid Chisnall 			{
238af0dd31fSDavid Chisnall 				tree.set_phandle_format(device_tree::LINUX);
239af0dd31fSDavid Chisnall 			}
240af0dd31fSDavid Chisnall 			else
241af0dd31fSDavid Chisnall 			{
242af0dd31fSDavid Chisnall 				fprintf(stderr, "Unknown phandle format: %s\n", optarg);
243af0dd31fSDavid Chisnall 				return EXIT_FAILURE;
244af0dd31fSDavid Chisnall 			}
245af0dd31fSDavid Chisnall 			break;
246af0dd31fSDavid Chisnall 		}
247af0dd31fSDavid Chisnall 		case 'b':
248af0dd31fSDavid Chisnall 			// Don't bother to check if strtoll fails, just
249af0dd31fSDavid Chisnall 			// use the 0 it returns.
250af0dd31fSDavid Chisnall 			boot_cpu = (uint32_t)strtoll(optarg, 0, 10);
251af0dd31fSDavid Chisnall 			boot_cpu_specified = true;
252af0dd31fSDavid Chisnall 			break;
253af0dd31fSDavid Chisnall 		case 'f':
254af0dd31fSDavid Chisnall 			keep_going = true;
255af0dd31fSDavid Chisnall 			break;
256af0dd31fSDavid Chisnall 		case 'W':
257af0dd31fSDavid Chisnall 		case 'E':
258af0dd31fSDavid Chisnall 		{
259bbe31b70SEd Maste 			string arg(optarg);
260af0dd31fSDavid Chisnall 			if ((arg.size() > 3) && (strncmp(optarg, "no-", 3) == 0))
261af0dd31fSDavid Chisnall 			{
262af0dd31fSDavid Chisnall 				arg = string(optarg+3);
263af0dd31fSDavid Chisnall 				if (!checks.disable_checker(arg))
264af0dd31fSDavid Chisnall 				{
265af0dd31fSDavid Chisnall 					fprintf(stderr, "Checker %s either does not exist or is already disabled\n", optarg+3);
266af0dd31fSDavid Chisnall 				}
267af0dd31fSDavid Chisnall 				break;
268af0dd31fSDavid Chisnall 			}
269af0dd31fSDavid Chisnall 			if (!checks.enable_checker(arg))
270af0dd31fSDavid Chisnall 			{
271af0dd31fSDavid Chisnall 				fprintf(stderr, "Checker %s either does not exist or is already enabled\n", optarg);
272af0dd31fSDavid Chisnall 			}
273af0dd31fSDavid Chisnall 			break;
274af0dd31fSDavid Chisnall 		}
275af0dd31fSDavid Chisnall 		case 's':
276af0dd31fSDavid Chisnall 		{
277af0dd31fSDavid Chisnall 			sort = true;
278af0dd31fSDavid Chisnall 			break;
279af0dd31fSDavid Chisnall 		}
280af0dd31fSDavid Chisnall 		case 'i':
281af0dd31fSDavid Chisnall 		{
282af0dd31fSDavid Chisnall 			tree.add_include_path(optarg);
283af0dd31fSDavid Chisnall 			break;
284af0dd31fSDavid Chisnall 		}
285af0dd31fSDavid Chisnall 		// Should quiet warnings, but for now is silently ignored.
286af0dd31fSDavid Chisnall 		case 'q':
287af0dd31fSDavid Chisnall 			break;
288af0dd31fSDavid Chisnall 		case 'R':
289af0dd31fSDavid Chisnall 			tree.set_empty_reserve_map_entries(strtoll(optarg, 0, 10));
290af0dd31fSDavid Chisnall 			break;
291af0dd31fSDavid Chisnall 		case 'S':
292af0dd31fSDavid Chisnall 			tree.set_blob_minimum_size(strtoll(optarg, 0, 10));
293af0dd31fSDavid Chisnall 			break;
294af0dd31fSDavid Chisnall 		case 'p':
295af0dd31fSDavid Chisnall 			tree.set_blob_padding(strtoll(optarg, 0, 10));
296af0dd31fSDavid Chisnall 			break;
29788169e03SDavid Chisnall 		case 'P':
29888169e03SDavid Chisnall 			if (!tree.parse_define(optarg))
29988169e03SDavid Chisnall 			{
30088169e03SDavid Chisnall 				fprintf(stderr, "Invalid predefine value %s\n",
30188169e03SDavid Chisnall 				        optarg);
30288169e03SDavid Chisnall 			}
30388169e03SDavid Chisnall 			break;
304af0dd31fSDavid Chisnall 		default:
3051631f217SRebecca Cran 			/*
3061631f217SRebecca Cran 			 * Since opterr is non-zero, getopt will have
3071631f217SRebecca Cran 			 * already printed an error message.
3081631f217SRebecca Cran 			 */
309af0dd31fSDavid Chisnall 			return EXIT_FAILURE;
310af0dd31fSDavid Chisnall 		}
311af0dd31fSDavid Chisnall 	}
312aac4229aSKyle Evans 	if (read_fn == nullptr)
313aac4229aSKyle Evans 	{
314aac4229aSKyle Evans 		read_fn = &device_tree::parse_dts;
315aac4229aSKyle Evans 	}
316aac4229aSKyle Evans 	if (write_fn == nullptr)
317aac4229aSKyle Evans 	{
318aac4229aSKyle Evans 		write_fn = &device_tree::write_binary;
319aac4229aSKyle Evans 	}
320af0dd31fSDavid Chisnall 	if (optind < argc)
321af0dd31fSDavid Chisnall 	{
322af0dd31fSDavid Chisnall 		in_file = argv[optind];
323af0dd31fSDavid Chisnall 	}
324af0dd31fSDavid Chisnall 	if (depfile != 0)
325af0dd31fSDavid Chisnall 	{
326af0dd31fSDavid Chisnall 		fputs(outfile_name, depfile);
327af0dd31fSDavid Chisnall 		fputs(": ", depfile);
328af0dd31fSDavid Chisnall 		fputs(in_file, depfile);
329af0dd31fSDavid Chisnall 	}
330af0dd31fSDavid Chisnall 	clock_t c1 = clock();
331af0dd31fSDavid Chisnall 	(tree.*read_fn)(in_file, depfile);
332af0dd31fSDavid Chisnall 	// Override the boot CPU found in the header, if we're loading from dtb
333af0dd31fSDavid Chisnall 	if (boot_cpu_specified)
334af0dd31fSDavid Chisnall 	{
335af0dd31fSDavid Chisnall 		tree.set_boot_cpu(boot_cpu);
336af0dd31fSDavid Chisnall 	}
337af0dd31fSDavid Chisnall 	if (sort)
338af0dd31fSDavid Chisnall 	{
339af0dd31fSDavid Chisnall 		tree.sort();
340af0dd31fSDavid Chisnall 	}
341af0dd31fSDavid Chisnall 	if (depfile != 0)
342af0dd31fSDavid Chisnall 	{
343af0dd31fSDavid Chisnall 		putc('\n', depfile);
344af0dd31fSDavid Chisnall 		fclose(depfile);
345af0dd31fSDavid Chisnall 	}
346af0dd31fSDavid Chisnall 	if (!(tree.is_valid() || keep_going))
347af0dd31fSDavid Chisnall 	{
348bbe31b70SEd Maste 		fprintf(stderr, "Failed to parse tree.\n");
349af0dd31fSDavid Chisnall 		return EXIT_FAILURE;
350af0dd31fSDavid Chisnall 	}
351af0dd31fSDavid Chisnall 	clock_t c2 = clock();
352af0dd31fSDavid Chisnall 	if (!(checks.run_checks(&tree, true) || keep_going))
353af0dd31fSDavid Chisnall 	{
354af0dd31fSDavid Chisnall 		return EXIT_FAILURE;
355af0dd31fSDavid Chisnall 	}
356af0dd31fSDavid Chisnall 	clock_t c3 = clock();
357af0dd31fSDavid Chisnall 	(tree.*write_fn)(outfile);
358af0dd31fSDavid Chisnall 	close(outfile);
359af0dd31fSDavid Chisnall 	clock_t c4 = clock();
360af0dd31fSDavid Chisnall 
361af0dd31fSDavid Chisnall 	if (debug_mode)
362af0dd31fSDavid Chisnall 	{
363af0dd31fSDavid Chisnall 		struct rusage r;
364af0dd31fSDavid Chisnall 
365af0dd31fSDavid Chisnall 		getrusage(RUSAGE_SELF, &r);
366af0dd31fSDavid Chisnall 		fprintf(stderr, "Peak memory usage: %ld bytes\n", r.ru_maxrss);
367af0dd31fSDavid Chisnall 		fprintf(stderr, "Setup and option parsing took %f seconds\n",
368af0dd31fSDavid Chisnall 				((double)(c1-c0))/CLOCKS_PER_SEC);
369af0dd31fSDavid Chisnall 		fprintf(stderr, "Parsing took %f seconds\n",
370af0dd31fSDavid Chisnall 				((double)(c2-c1))/CLOCKS_PER_SEC);
371af0dd31fSDavid Chisnall 		fprintf(stderr, "Checking took %f seconds\n",
372af0dd31fSDavid Chisnall 				((double)(c3-c2))/CLOCKS_PER_SEC);
373af0dd31fSDavid Chisnall 		fprintf(stderr, "Generating output took %f seconds\n",
374af0dd31fSDavid Chisnall 				((double)(c4-c3))/CLOCKS_PER_SEC);
375af0dd31fSDavid Chisnall 		fprintf(stderr, "Total time: %f seconds\n",
376af0dd31fSDavid Chisnall 				((double)(c4-c0))/CLOCKS_PER_SEC);
377af0dd31fSDavid Chisnall 		// This is not needed, but keeps valgrind quiet.
378af0dd31fSDavid Chisnall 		fclose(stdin);
379af0dd31fSDavid Chisnall 	}
380af0dd31fSDavid Chisnall 	return EXIT_SUCCESS;
381af0dd31fSDavid Chisnall }
382af0dd31fSDavid Chisnall 
383