diff options
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 |