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 /ia32/SelectOp.vp | |
| 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 'ia32/SelectOp.vp')
| -rw-r--r-- | ia32/SelectOp.vp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ia32/SelectOp.vp b/ia32/SelectOp.vp index 744902ec..bc331b9c 100644 --- a/ia32/SelectOp.vp +++ b/ia32/SelectOp.vp @@ -516,7 +516,7 @@ Nondetfunction builtin_arg (e: expr) := | Eop (Olea (Ainstack ofs)) Enil => BA_addrstack ofs | Eop Omakelong (Eop (Ointconst h) Enil ::: Eop (Ointconst l) Enil ::: Enil) => BA_long (Int64.ofwords h l) - | Eop Omakelong (h ::: l ::: Enil) => BA_longofwords (BA h) (BA l) + | Eop Omakelong (h ::: l ::: Enil) => BA_splitlong (BA h) (BA l) | Eload chunk (Aglobal id ofs) Enil => BA_loadglobal chunk id ofs | Eload chunk (Ainstack ofs) Enil => BA_loadstack chunk ofs | _ => BA e |