我想改进为“断言”OCaml 3.12.1 构造生成的 lambda 代码。这是一个例子:
let f x =
assert (x = 4);
assert (2 + x = 6);
assert (x - x = 0);
exit x
上面的文件 longfilename.ml 代表了我希望改进 lambda 代码生成的大型 OCaml 模块。它编译为:
$ ocamlopt -S longfilename.ml
$ cat longfilename.s
...
.data
.quad 3072
_camlLongfilename__2:
.quad L100007
.quad 9
.quad 9
.quad 2300
L100007: .L100007:
.ascii "longfilename.ml"
.byte 0
.data
.quad 3072
_camlLongfilename__3:
.quad L100006
.quad 7
.quad 9
.quad 2300
L100006: .L100006:
.ascii "longfilename.ml"
.byte 0
.data
.quad 3072
_camlLongfilename__4:
.quad L100005
.quad 5
.quad 9
.quad 2300
L100005: .L100005:
.ascii "longfilename.ml"
.byte 0
...
以上是非常多余的。每个断言可能来自的源文件的名称是重复的。罪魁祸首似乎是 bytecomp/translcore.ml:
let assert_failed loc =
(* [Location.get_pos_info] is too expensive *)
let fname = match loc.Location.loc_start.Lexing.pos_fname with
| "" -> !Location.input_name
| x -> x
in
let pos = loc.Location.loc_start in
let line = pos.Lexing.pos_lnum in
let char = pos.Lexing.pos_cnum - pos.Lexing.pos_bol in
Lprim(Praise, [Lprim(Pmakeblock(0, Immutable),
[transl_path Predef.path_assert_failure;
Lconst(Const_block(0,
[Const_base(Const_string fname);
Const_base(Const_int line);
Const_base(Const_int char)]))])])
;;
Const_base(Const_string fname)
从表面上看,给 命名,并使用编译时哈希表来存储和重用它似乎就足够了
。对于模块内优化,更改可能是可管理的(只要在每个编译单元处重置哈希表)。
我在这里有点超出我的深度,尤其是“在每个编译单元重置”部分。有什么提示吗?