From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <adrien@notk.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 7ED307F734
	for <caml-list@sympa.inria.fr>; Sun, 20 Sep 2015 20:57:33 +0200 (CEST)
IronPort-PHdr: 9a23:vKv9RBRq+Dw4P7d8qKPqtYgjadpsv+yvbD5Q0YIujvd0So/mwa64Yh2N2/xhgRfzUJnB7Loc0qyN4/ymAjNLuMzQ+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8GVOFoD3WDsKZpJbzyI7izp/vEMhoVjLqtjgjDomVBvP9ps+GVzOFiIlAz97MrjtLRq8iBXpu5zv5UYCfayV+0CQLdZFDUrNXwurI2u7EGbDFjH2nxJe2Mag1JyChmNuBj8Uoa3qCLrnvd/0SyYNNewRrcxD2eM9aBuHTbkkiYKMXYf+W3akIQkha5BoR+njxp4342SZ5uaYqktNpjBdM8XEDISFv1aUDZMV8blN9MC
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=adrien@notk.org; spf=PermError smtp.mailfrom=adrien@notk.org; spf=None smtp.helo=postmaster@nautica.notk.org
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  adrien@notk.org) identity=pra; client-ip=91.121.71.147;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="adrien@notk.org"; x-sender="adrien@notk.org";
  x-conformance=sidf_compatible
Received-SPF: PermError (mail2-smtp-roc.national.inria.fr: cannot
  correctly interpret sender authenticity information from
  domain of adrien@notk.org) identity=mailfrom;
  client-ip=91.121.71.147;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="adrien@notk.org"; x-sender="adrien@notk.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@nautica.notk.org) identity=helo;
  client-ip=91.121.71.147;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="adrien@notk.org";
  x-sender="postmaster@nautica.notk.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AkBQDgAP9V/5NHeVtdgyTHAQKBIDwQAQEBAQEBAQGBCYIdggcBAQQjVhALGAICBRMOAgIPBRgxiEW1cpNdAQEBBwIBH4EihVGEfYUNB4JpL4EUBZVkjQMEUZpJOCuEAzyKIAEBAQ
X-IPAS-Result: A0AkBQDgAP9V/5NHeVtdgyTHAQKBIDwQAQEBAQEBAQGBCYIdggcBAQQjVhALGAICBRMOAgIPBRgxiEW1cpNdAQEBBwIBH4EihVGEfYUNB4JpL4EUBZVkjQMEUZpJOCuEAzyKIAEBAQ
X-IronPort-AV: E=Sophos;i="5.17,563,1437429600"; 
   d="scan'208";a="178490388"
Received: from nautica.notk.org ([91.121.71.147])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 20 Sep 2015 20:57:33 +0200
Received: by nautica.notk.org (Postfix, from userid 1003)
	id 8F7C0C009; Sun, 20 Sep 2015 20:57:32 +0200 (CEST)
Date: Sun, 20 Sep 2015 20:57:32 +0200
From: Adrien Nader <adrien@notk.org>
To: Andy Ray <andy.ray@ujamjar.com>
Cc: Gabriel Scherer <gabriel.scherer@gmail.com>,
	Ocaml Mailing List <caml-list@inria.fr>
Message-ID: <20150920185732.GA19599@notk.org>
References: <CAHYOizHVkDRjLBXdg6tA_pqfisHStqpfM8PkEShWVrwGwQ+nyw@mail.gmail.com>
 <CAPFanBEOyNOYOTQnawXTrhsAryCF0cxQGR-gWM-KcOO8T-i6Qg@mail.gmail.com>
 <CAHYOizE8G8Kr7vWZfZcn0qJK2X_5X72NR67g3G4kDCjU5pHcMQ@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <CAHYOizE8G8Kr7vWZfZcn0qJK2X_5X72NR67g3G4kDCjU5pHcMQ@mail.gmail.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] Faster byte code

On Sun, Sep 20, 2015, Andy Ray wrote:
> Thank you for the explanation.  It is interesting that changing
> optimisation levels is something that needs to be done so carefully.
> 

GCC's -O2 optimization level (and -O3 even more) haven't always been as
safe and stable as they currently are. :) 

There are still some compilers easily producing funky outputs used in
production.

Also, I'm wondering whether this change reduces the compiler's own build
times.

-- 
Adrien Nader