blob: 67a09a29091258f7779281c3045c52cd42ede7a3 (
plain)
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Nicolas Ojeda Bar, LexiFi *)
(* *)
(* Copyright 2016 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
let ident = ['a'-'z''A'-'Z''_']['a'-'z''A'-'Z''0'-'9''_']*
let space = [' ''\n''\r''\t']*
rule find_enum = parse
| "enum" space (ident as id) space '{' { id, opnames lexbuf }
| _ { find_enum lexbuf }
and opnames = parse
| space (ident as op) space ',' { op :: opnames lexbuf }
| space ident space '}' { [] }
{
let print_opnames = ref false
let print_opcodes = ref false
open Printf
let () =
let spec =
[
"-opnames", Arg.Set print_opnames, " Dump opcode names";
"-opcodes", Arg.Set print_opcodes, " Dump opcode numbers";
]
in
Arg.parse (Arg.align spec) ignore "Extract opcode info from instruct.h";
let lexbuf = Lexing.from_channel stdin in
let id, opnames = find_enum lexbuf in
if !print_opnames then begin
printf "let names_of_%s = [|\n" id;
List.iter (fun s -> printf " %S;\n" s) opnames;
printf "|]\n"
end;
if !print_opcodes then
List.iteri (fun i op -> printf "let op%s = %i\n" op i) opnames
}
|
