From: Mark Shinwell <mshinwell@janestreet.com>
To: moosotc@gmail.com
Cc: caml <caml-list@inria.fr>
Subject: Re: [Caml-list] Native compiler liveness failure
Date: Fri, 10 Mar 2017 17:31:47 +0000 [thread overview]
Message-ID: <CAM3Ki74tZOiTRv7=NwmG7Ep3Ys5+a8gbdMu+5_8KDqTPjr5KvA@mail.gmail.com> (raw)
In-Reply-To: <87pohpujy1.fsf@gmail.com>
Thanks, I've pushed this fix to trunk. There is no need to file a
Mantis issue on this occasion.
Mark
On 10 March 2017 at 17:21, <moosotc@gmail.com> wrote:
> Mark Shinwell <mshinwell@janestreet.com> writes:
>
>> If you could also please try the following (from tip of trunk, without
>> reverting 9e81b0fb):
>>
>> diff --git a/asmcomp/spill.ml b/asmcomp/spill.ml
>> index 1df2ef3..a02b0c3 100644
>> --- a/asmcomp/spill.ml
>> +++ b/asmcomp/spill.ml
>> @@ -328,7 +328,7 @@ let rec spill i finally =
>> let before1 = Reg.diff_set_array after i.res in
>> let before =
>> match i.desc with
>> - Iop Icall_ind _ | Iop(Icall_imm _) | Iop(Iextcall _)
>> + Iop Icall_ind _ | Iop(Icall_imm _) | Iop(Iextcall _) | Iop(Ialloc _)
>> | Iop(Iintop (Icheckbound _)) | Iop(Iintop_imm((Icheckbound _), _)) ->
>> Reg.Set.union before1 !spill_at_raise
>> | _ ->
>
> With this the compilation succeeded, thanks.
>
> [..snip..]
>
> --
> mailto:moosotc@gmail.com
next prev parent reply other threads:[~2017-03-10 17:31 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-03-10 16:52 moosotc
2017-03-10 16:59 ` Mark Shinwell
2017-03-10 17:02 ` Mark Shinwell
2017-03-10 17:21 ` moosotc
2017-03-10 17:31 ` Mark Shinwell [this message]
2017-03-10 17:04 ` Gabriel Scherer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAM3Ki74tZOiTRv7=NwmG7Ep3Ys5+a8gbdMu+5_8KDqTPjr5KvA@mail.gmail.com' \
--to=mshinwell@janestreet.com \
--cc=caml-list@inria.fr \
--cc=moosotc@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).