From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 50171800DB for ; Fri, 10 Mar 2017 18:21:13 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=moosotc@gmail.com; spf=Pass smtp.mailfrom=moosotc@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f66.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of moosotc@gmail.com) identity=pra; client-ip=209.85.215.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="moosotc@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of moosotc@gmail.com designates 209.85.215.66 as permitted sender) identity=mailfrom; client-ip=209.85.215.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="moosotc@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lf0-f66.google.com) identity=helo; client-ip=209.85.215.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="moosotc@gmail.com"; x-sender="postmaster@mail-lf0-f66.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AcbZHXBOuGJqDTk7f/+Al6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lfv9rarrMEGX3/hxlliBBdydsKMZzbaG+PG+EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT69bL9oIxi7rgrdu80XjIB/Nqs/1xzFr2dSde?= =?us-ascii?q?9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLY?= =?us-ascii?q?TQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVQTlgz?= =?us-ascii?q?kbOTEn7G7Xi9RwjKNFrxKnuxx/2JPfbIWMOPZjYq/RYdYWSGxcVchTSiNBGJux?= =?us-ascii?q?YYsRAeQcM+ZWoYvyqVgAohSxGQahH//vxiNSi3PqwaE3yfgtHAfb1wIgBdIOt3?= =?us-ascii?q?HUoc3wNKcVVuC1167IzSnfYP5N1jf97ZLHchElof2WQb1wds/RxE8yHA3LiVWQ?= =?us-ascii?q?rJbqPzKT1ukVqGib9+tgVeari2I9rgFxpiOgy8ExgYfKnoIY0k7I+Tl9zYovJt?= =?us-ascii?q?C1SFR3bcC5HJZQrS2XNop7Tts/T210vCs20KMKtJ6lcCQQ1pgr2hzSZ+aDfoWJ?= =?us-ascii?q?5B/oSfyfLi1ihH1/fbKynxay/lakyu37TsS01UxFritBktXVsnAN2QDf5tGJSv?= =?us-ascii?q?Z8/0qtwzmP1wfU6uFLJUA7i7DXJIImwr41jpYTsELDETHqmEjukqOaakEp9vKr?= =?us-ascii?q?5unneLnquIKQOo9uhgz/M6kigsm/Dv45MggKUWib4+O81Lj78E38R7VKieY2kq?= =?us-ascii?q?7FsJ/GPskbqau5DBVU0oYn8RqwEzCm0NEAkXkdMF1FYA6Hj5TuO1zWPP/3F/K/?= =?us-ascii?q?g1C1nDdvxvDGJaHhD47WLnnDlbfhZaxy51RdyAo119Bf5ohbBqsPIPLpCQfNs4?= =?us-ascii?q?n9BwU6eze0wuD4BdF5ntcbQmKOBLCUNKf6s1aO6/kzOeSBeMkevzOreNY/4Pu7?= =?us-ascii?q?iHg+glgBdoGm2JIWbDazGfE1cA2ifXPwj4JZQi8xtQ0kQbmv0QXaXA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DHAADb38JYf0LXVdFdHQEFAQsBGQYMh?= =?us-ascii?q?AeBCo5hkF2XRiKGAAKCQUMUAQEBAQEBAQEBAQESAQEJCwsIJjGCMyIBgkABAgI?= =?us-ascii?q?BJxkBGx0BAwELBgULAxMeBw8BBA0CEQEFAQsXE4lnAQMNCASlMz+NbxgFARyDC?= =?us-ascii?q?QWDYgoZJw1Vgk4BAQEBAQEEAQEBAQEBGgIGCQEIhC+GfIJRh2gFkFSLLjqGdoc?= =?us-ascii?q?XhCuBe1SEUYMihmKKVIckM4EVNoEkV1QXhC+CEnKKGgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DHAADb38JYf0LXVdFdHQEFAQsBGQYMhAeBCo5hkF2XRiK?= =?us-ascii?q?GAAKCQUMUAQEBAQEBAQEBAQESAQEJCwsIJjGCMyIBgkABAgIBJxkBGx0BAwELB?= =?us-ascii?q?gULAxMeBw8BBA0CEQEFAQsXE4lnAQMNCASlMz+NbxgFARyDCQWDYgoZJw1Vgk4?= =?us-ascii?q?BAQEBAQEEAQEBAQEBGgIGCQEIhC+GfIJRh2gFkFSLLjqGdocXhCuBe1SEUYMih?= =?us-ascii?q?mKKVIckM4EVNoEkV1QXhC+CEnKKGgEBAQ?= X-IronPort-AV: E=Sophos;i="5.36,141,1486422000"; d="scan'208";a="216334872" Received: from mail-lf0-f66.google.com ([209.85.215.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Mar 2017 18:21:12 +0100 Received: by mail-lf0-f66.google.com with SMTP id g70so7311903lfh.3 for ; Fri, 10 Mar 2017 09:21:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=F/eLNOez2g3O5/fOyvelBab3TYqolqCoCPMkQzyVOcA=; b=SDaXHbjwaBwDUjWbj6q4CtMEQDaA1G9ruc2mtbgqbwWvUid61F7CJGuSu2vFJFJ/Mj wieqAiZqlOBHQVSvc0EvSi95rwdXUDYSL0k9QfVkW7nFB4flnmiQDct6ytVaHpzi6gVr GcaouB7sOzzZpBnV02H84mEvZVQEX/d9j7V3cNG9Y3R7fxWxPPgpI+eRTbLAjrPi/2x7 UYNUUKYepHMJk8TCJ9DI9mKeL4BpCoMU3N1bvKsANLq0sckrPtbSqAqdbN6oth37Fyhy R5c/n691VlvFNvX+W4a6M66/s68bJtTRo3v+8JwliV243zhhQvwWKzIJm703gNT5yQr+ mUtQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=F/eLNOez2g3O5/fOyvelBab3TYqolqCoCPMkQzyVOcA=; b=EvQG4D1EmmHYTN2223i0jICxjj+GtzrlOMGJkeSulbh7wT+xQBmRDmcge7YsQyaa3T LSuRbLl3z3hRuwWH+MMFvcBNFW3QPA0XlVg1fFsJMTkgwPbYK36DU+PFRoPUxznUJKBw JqaeY5lK3eN3ssNtY9jQWlqdbTt1foPcgfb9+jc8mmViPsEPQ6K8PhnkEDokxeI8yRQh X/jkXB+ubtTlE2TBs7OcUNoL/uFPTRhrRu82jhSqQzjLSOgKURrHsftiL0k/1Dzq/Qyw JbbzMX98VRtzDFZdXwKAbml8hjYf7K0xOcGUk+XorKzD7GYhJBKX7MvtJrzVcbsIuh9/ UVxw== X-Gm-Message-State: AMke39lOM+96qr+6dylp8bP99I95m+TGl0hzX5i0s0vmRbRESh3v5SmC9uvFovIFJM43hA== X-Received: by 10.46.0.151 with SMTP id e23mr6301931lji.74.1489166471328; Fri, 10 Mar 2017 09:21:11 -0800 (PST) Received: from linmac2 (ppp109-252-217-96.pppoe.spdop.ru. [109.252.217.96]) by smtp.gmail.com with ESMTPSA id 2sm677469ljv.62.2017.03.10.09.21.10 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 10 Mar 2017 09:21:10 -0800 (PST) From: moosotc@gmail.com To: Mark Shinwell Cc: caml References: <87tw71ulal.fsf@gmail.com> Date: Fri, 10 Mar 2017 20:21:10 +0300 In-Reply-To: (Mark Shinwell's message of "Fri, 10 Mar 2017 17:02:58 +0000") Message-ID: <87pohpujy1.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Native compiler liveness failure Mark Shinwell 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