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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 44C037EC41 for ; Fri, 26 Oct 2012 05:47:57 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anthony.tavener@gmail.com) identity=pra; client-ip=209.85.223.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="anthony.tavener@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of anthony.tavener@gmail.com designates 209.85.223.182 as permitted sender) identity=mailfrom; client-ip=209.85.223.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="anthony.tavener@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ie0-f182.google.com) identity=helo; client-ip=209.85.223.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="anthony.tavener@gmail.com"; x-sender="postmaster@mail-ie0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8CALUGilDRVd+2m2dsb2JhbABEwi4IIwEBAQEBCAkLCRQngh4BAQEDARICLAEbHQEDAQsGBQQBBg0uIgERAQUBHAYTIodPAQMJBp4XYAkDjC6CdoR/ChknDVmIdQEFDItchm4DiFyNGo5cFimEMA X-IronPort-AV: E=Sophos;i="4.80,652,1344204000"; d="scan'208";a="160442396" Received: from mail-ie0-f182.google.com ([209.85.223.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Oct 2012 05:47:56 +0200 Received: by mail-ie0-f182.google.com with SMTP id k10so5742201iea.27 for ; Thu, 25 Oct 2012 20:47:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=Jd6rCnCaJ6nIw6MGlofrVCLUUpyxuOzWKijLdADLy3w=; b=jDgH7oIUtp84Uu3HrDbaTCpKKcfIW3WyMPegPaT9FH8mn2SleNBHj1YZydMXM8ApIR yf6sxihddotLrsLzYZl5IXiV2LzP+Is2KZdwSKuI2Dngyit+NwWS3iCGSFjhtbZQL7rp SwDw//9/h6iEao0HDjnUikzarEr5VTncWtumRZUZnGlpOoHX4gmNo/gpQheOb53Y3QAq PQKT0cYz+h8s5ou5m7n6L4KXE5gC0cTOWQDXMJC46eg9naZsgwT7ZQp/2qFd301MZjfA ZsB9aKexEp0a7qd/cTQzJ3gINBZwhrhJRiPWmIcFydMRNQvohs6nSF1IYVQE39HGzf/w jWbQ== MIME-Version: 1.0 Received: by 10.50.194.136 with SMTP id hw8mr799660igc.28.1351223274883; Thu, 25 Oct 2012 20:47:54 -0700 (PDT) Received: by 10.42.196.71 with HTTP; Thu, 25 Oct 2012 20:47:54 -0700 (PDT) In-Reply-To: <20121019103535.GA3865@kerneis.info> References: <20121019022056.5189.qmail@www1.g3.pair.com> <20121019103535.GA3865@kerneis.info> Date: Thu, 25 Oct 2012 21:47:54 -0600 Message-ID: From: Anthony Tavener To: Gabriel Kerneis Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=14dae934101b4fc9d704ccee2fad Subject: Re: [Caml-list] Re: ocaml 3.12.1 and delimcc --14dae934101b4fc9d704ccee2fad Content-Type: text/plain; charset=ISO-8859-1 It turns out there is one specific optimization to disable with gcc 4.7.x: -fno-ipa-sra So stacks-native.c can be compiled with -O2 -fno-ipa-sra. The reason I continued to have a problem even after -O0, as Oleg found out, is that testd0opt would link to my bad system-installed library rather than the new one in the current directory. *facepalm* On Fri, Oct 19, 2012 at 4:35 AM, Gabriel Kerneis wrote: > On Fri, Oct 19, 2012 at 02:20:56AM -0000, oleg@okmij.org wrote: > > I'll see if I could find a pragma or other way to disable undesirable > > optimizations. > > No tested, but you could try -fno-optimize-sibling-calls: > $ gcc --help=optimizers|grep "tail recursive" > -foptimize-sibling-calls Optimize sibling and tail recursive calls > > Best, > -- > Gabriel > --14dae934101b4fc9d704ccee2fad Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable It turns out there is one specific optimization to disable with gcc 4.7.x:<= div>=A0-fno-ipa-sra

So stacks-native.c can be comp= iled with -O2 -fno-ipa-sra.

The reason I continued= to have a problem even after -O0, as Oleg found
out, is that testd0opt would link to my bad system-installed library
rather than the new one in the current directory. *facepalm*
=


On Fri, Oct 1= 9, 2012 at 4:35 AM, Gabriel Kerneis <kerneis@pps.jussieu.fr> wrote:
On Fri, Oct 19, 2012 at 02= :20:56AM -0000, oleg@okmij.org wrote:=
> I'll see if I could find a pragma or other way to disable undesira= ble
> optimizations.

No tested, but you could try -fno-optimize-sibling-calls:
$ gcc --help=3Doptimizers|grep "tail recursive"
=A0 -foptimize-sibling-calls =A0 =A0Optimize sibling and tail recursive cal= ls

Best,
--
Gabriel

--14dae934101b4fc9d704ccee2fad--