#!/usr/bin/php
<?
if(sizeof($argv) !== 2 || !is_numeric($argv[1]) || $argv[1] <= 0) {
	fprintf(STDERR, 'Usage: '.$argv[0].' <cpu frequency in hertz>'."\n");
	exit(1);
}
$fcpu = $argv[1];

$v = file_get_contents('php://stdin');
preg_match('/\$scope module (?P<port>PORT[A-Z]) \$end/', $v, $m);
$port = $m['port'];
preg_match_all('/#(?P<nsec>\d+)'."\n".'b(?P<value>[01]{8}) \d/', $v, $ms, PREG_SET_ORDER);
$l = 0;
foreach($ms as $m) {
	$t = ($m['nsec'] - $l) * 1E-9 * $fcpu;
	$l = $m['nsec'];

	echo '#'.$t."\n".$port.' = 0x'.base_convert($m['value'], 2, 0x10)."\n";
}