source: XOpenSparcT1/trunk/tools/dump2hex.php @ 30

#!/usr/bin/php -q
<?php

  // Open the stdin
  $fp = fopen("php://stdin", "r");

  // Discard first lines
  for($i=0; $i<7; $i++) fgets($fp);

  // instruction start at address 10h
  //echo "@ 10\n";
  echo "// inserisco 16 ff per partire da 10h e scrivo op4,op3,op2,op1 \n";
  echo "0001\n";
  echo "0000\n";
  echo "0001\n";
  echo "0000\n";
  echo "0001\n";
  echo "0000\n";
  echo "0001\n";
  echo "0000\n";
  echo "0001\n";
  echo "0000\n";
  echo "0001\n";
  echo "0000\n";
  echo "0001\n";
  echo "0000\n";
  echo "0001\n";
  echo "0000\n";

  // Print only the opcodes to stdout
  while (!feof($fp)) {
    $line = fgets($fp);
    $opcode1 = substr($line, 6, 2);
    $opcode2 = substr($line, 9, 2);
    $opcode3 = substr($line, 12, 2);
    $opcode4 = substr($line, 15, 2);
    $caratteri = strlen($opcode1);
    if($caratteri != 0){
        echo $opcode2.$opcode1;
        //echo $opcode1.$opcode2;
        echo "\t //".$line;
        echo $opcode4.$opcode3."\n";
        //echo $opcode3.$opcode4."\n";
    }
    else{
        for($i=0; $i<1; $i++) fgets($fp);
     } 
    }

  // Close the input file
  fclose($fp);

?>