diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-22 09:46:37 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-22 09:46:37 +0200 |
commit | 33dfbe7601ad16fcea5377563fa7ceb4053cb85a (patch) | |
tree | 962468d4f01ae9620441a97082c826bc6fdf8c5a /backend/ValueDomain.v | |
parent | 4f187fdafdac0cf4a8b83964c89d79741dbd813e (diff) | |
download | compcert-33dfbe7601ad16fcea5377563fa7ceb4053cb85a.tar.gz compcert-33dfbe7601ad16fcea5377563fa7ceb4053cb85a.zip |
Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.
Use EF_debug instead of EF_annot for line number annotations.
Introduce PrintAsmaux.print_debug_info (very incomplete).
powerpc/Asmexpand: revise expand_memcpy_small.
Diffstat (limited to 'backend/ValueDomain.v')
0 files changed, 0 insertions, 0 deletions