#!/bin/sh
#
# Just process the CPP output from systbl_chk.c and complain
# if anything is out of order.
#
# Copyright © 2008 IBM Corporation
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
# as published by the Free Software Foundation; either version
# 2 of the License, or (at your option) any later version.

awk	'BEGIN { num = -1; }	# Ignore the beginning of the file
	/^#/ { next; }
	/^[ \t]*$/ { next; }
	/^START_TABLE/ { num = 0; next; }
	/^END_TABLE/ {
		if (num != $2) {
			printf "NR_syscalls (%s) is not one more than the last syscall (%s)\n",
				$2, num - 1;
			exit(1);
		}
		num = -1;	# Ignore the rest of the file
	}
	{
		if (num == -1) next;
		if (($1 != -1) && ($1 != num)) {
			printf "Syscall %s out of order (expected %s)\n",
				$1, num;
			exit(1);
		};
		num++;
	}' $1
(CommandList
  children: [
    (C {(awk)} 
      {
        (SQ <"BEGIN { num = -1; }\t# Ignore the beginning of the file\n"> <"\t/^#/ { next; }\n"> 
          <"\t/^[ \\t]*$/ { next; }\n"> <"\t/^START_TABLE/ { num = 0; next; }\n"> <"\t/^END_TABLE/ {\n"> <"\t\tif (num != $2) {\n"> 
          <"\t\t\tprintf \"NR_syscalls (%s) is not one more than the last syscall (%s)\\n\",\n"> <"\t\t\t\t$2, num - 1;\n"> <"\t\t\texit(1);\n"> <"\t\t}\n"> 
          <"\t\tnum = -1;\t# Ignore the rest of the file\n"> <"\t}\n"> <"\t{\n"> <"\t\tif (num == -1) next;\n"> <"\t\tif (($1 != -1) && ($1 != num)) {\n"> 
          <"\t\t\tprintf \"Syscall %s out of order (expected %s)\\n\",\n"> <"\t\t\t\t$1, num;\n"> <"\t\t\texit(1);\n"> <"\t\t};\n"> <"\t\tnum++;\n"> <"\t}">
        )
      } {(DQ ($ VSub_Number "$1"))}
    )
  ]
)