summaryrefslogtreecommitdiffstats
path: root/tools/jedec.php
blob: 1883abb9241ba2325bad6abae02dd88735df07e9 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
<?php

/*
 * Very cheap script to convert the jedec database from a text dump of the
 * official PDF to json. The regex abomination below has been kicked until
 * it worked on the version that was current as of April 2019. YMMV.
 * For input, download the PDF from https://www.jedec.org/system/files/docs/JEP106AY.pdf
 * and then copy/paste the contents into a plain text file called 'jedec'
 * (And pray it doesn't break if you don't use exactly the same PDF viewer and
 * text editor as I did - pdf.js and vim)
 */

$last = 0;
$index = 1;
$line = file_get_contents('jedec');
preg_match_all("/^\s*([1-9][0-9]?|1[01][0-9]|12[0-6])\s+([^\r\n]{2,9}(?:[a-z][^\r\n]{0,10}){1,3}[\r\n]?[^\r\n0]{0,31})(?:\s*[\r\n]\s|\s+)((?:[10]\s+){8})([0-9a-f]{2})\s*\$/im", $line, $oout, PREG_SET_ORDER);
$output = [];
foreach ($oout as $out) {
	$id = (int)$out[1];
	$name = preg_replace("/[\s\r\n]+/m", ' ', $out[2]);
	$bin = $out[3];
	$hex = $out[4];
	if ($id < $last) {
		$index++;
		echo "Now at bank $index\n";
	} elseif ($id > $last + 1) {
		echo "Skipped from $last to $id (THIS SHOULD NEVER HAPPEN)\n";
	}
	//echo "$id = $name ($bin) ($hex)\n";
	$last = $id;
	$output['bank' . $index]['id' . $id] = $name;
}

file_put_contents('jedec.json', json_encode($output));