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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
(****************************************************************************)
(* the diy toolsuite *)
(* *)
(* Jade Alglave, University College London, UK. *)
(* Luc Maranget, INRIA Paris-Rocquencourt, France. *)
(* *)
(* Copyright 2015-present Institut National de Recherche en Informatique et *)
(* en Automatique and the authors. All rights reserved. *)
(* *)
(* This software is governed by the CeCILL-B license under French law and *)
(* abiding by the rules of distribution of free software. You can use, *)
(* modify and/ or redistribute the software under the terms of the CeCILL-B *)
(* license as circulated by CEA, CNRS and INRIA at the following URL *)
(* "http://www.cecill.info". We also give a copy in LICENSE.txt. *)
(****************************************************************************)
(* Performs flag comparison *)
{
open Printf
let verbose = ref false
let add_flag tst flag k =
let old =
try StringMap.find tst k
with Not_found -> StringSet.empty in
StringMap.add tst (StringSet.add flag old) k
}
let digit = [ '0'-'9' ]
let num = digit+
let float = num | (num '.' num?)
let hexa = ['0'-'9' 'a'-'f' 'A'-'F' ]
let alpha = [ 'a'-'z' 'A'-'Z']
let name = alpha (alpha|digit)*
let blank = [' ' '\t']
let testname = (alpha|digit|'_' | '/' | '.' | '-' | '+')+
rule main name_ok tst k = parse
| "Test" blank+ (testname as name) ('\n'|blank+ [^'\n']* '\n')
{ main name_ok (Some (Misc.clean_name name)) k lexbuf }
| "Flag" blank+ (name as flag) [^'\n']* '\n'
{
let tst = match tst with Some tst -> tst | None -> assert false in
if name_ok tst then
main name_ok None (add_flag tst flag k) lexbuf
else
main name_ok None k lexbuf
}
| [^'\n']* '\n'
{ main name_ok tst k lexbuf }
| eof|"" { k }
{
(* Call lexer *)
let zyva name_ok chan =
main name_ok None StringMap.empty (Lexing.from_channel chan)
let zyva name_ok fname = Misc.input_protect (zyva name_ok) fname
let args = ref []
let names = ref []
let () =
Arg.parse
[
"-v", Arg.Unit (fun () -> verbose := true), "be verbose" ;
"-names", Arg.String (fun s -> names := !names @ [s]),
"<name> read name file";
]
(fun s -> args := !args @ [s])
"Usage: mflags [opts] log1 log2"
(* Read names *)
let name_ok = match !names with
| [] -> fun _ -> true
| names ->
let set = ReadNames.from_files names StringSet.add StringSet.empty in
fun n -> StringSet.mem n set
let flag name tst fs =
printf "Only in %s, flags {%s}, test %s\n" name
(StringSet.pp_str "," Misc.identity fs) tst
let check name k1 k2 =
StringMap.iter
(fun tst fs1 ->
let fs2 =
try StringMap.find tst k2
with Not_found -> StringSet.empty in
let d = StringSet.diff fs1 fs2 in
if not (StringSet.is_empty d) then
flag name tst d)
k1
let () = match !args with
| [f1;f2;] ->
let k1 = zyva name_ok f1
and k2 = zyva name_ok f2 in
check f1 k1 k2 ;
check f2 k2 k1 ;
exit 0
| _ ->
eprintf "usage: mfalgs f1 f2\n" ;
exit 2
}
|
