diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-08 13:27:50 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-08 13:32:59 +0200 |
commit | ed1f32134283d3cd4f939a26dfd99992ec48da86 (patch) | |
tree | b9bc1eb511d78b50c2d14e7fc80e5f89e3d9d627 /checklink/Library.ml | |
parent | f95b422aaf3f675e1e3b916ac04740a5acaddd02 (diff) | |
download | compcert-ed1f32134283d3cd4f939a26dfd99992ec48da86.tar.gz compcert-ed1f32134283d3cd4f939a26dfd99992ec48da86.zip |
Moved expandation of debug information to Asmexpandaux.
The function is generalized to work for all backends and takes as
additional arguments functions for the printing of the simple
instructions and the translation function for the arguments.
Diffstat (limited to 'checklink/Library.ml')
0 files changed, 0 insertions, 0 deletions