From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 7CDC98016C for ; Wed, 14 Jun 2017 04:21:15 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.46 as permitted sender) identity=mailfrom; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-it0-f46.google.com) identity=helo; client-ip=209.85.214.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f46.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ay0A29RUQ1o4w4BaIEmsx8QvTNHLV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBGCt8tkgFKBZ4jH8fUM07OQ6PG/HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLdwIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZAIy8?= =?us-ascii?q?YYsBAeQCM+hFsYfyu0ADogGiCQS2Hu7j1iNEi33w0KYn0+ohCwbG3Ak4EtwPqn?= =?us-ascii?q?vbt8/1NKYMXuCx0aLG0CnMb/NI1jfn9ofIaA0qrPaDXb1qasXR00gvGB3BjlmK?= =?us-ascii?q?sozqIzOV2foXs2eF9eptTu2vi2s9pAFwpjij3Nsjio7Mho8MzF3P6Ct3wIEwJd?= =?us-ascii?q?KiSU57Z8apEIdQtiGCKYR2WN0tQm5ytCY90L0Gtoa3fCcLyJQ7xx7fdueIf5KU?= =?us-ascii?q?7RLkUeacJypzinF9eL+nmRq+7Uytxvf/W8S0ylpGsDdJn9bWun0C1hHe7NWMRO?= =?us-ascii?q?Fn8Ue7wzmP0hje6uFaLkAwkqrWM5shzaQxlpoXqEjDHzP2lFnvgK+YeUgp+/Kk?= =?us-ascii?q?6+vgYrXhqZ+cM5F7hhviPaQpn8yzGeU4Mg4QUGiH4emwyqHv8EnjTLhJjvA6iL?= =?us-ascii?q?fVvI3VKMgBqaO0AhdZ0oM55Ba+Czem3s4YnX4CLF9ddxKIlZPmO0vPIP/mCfez?= =?us-ascii?q?mU+snytrx//YJL3uHI/NI2PMkLfkZ7l96kpcxBAvwtBY4pJYEqsBL+7rWk/tqN?= =?us-ascii?q?zYCQc0PBCuzObiDNVxz4ceWWOUAq+FK67Sql+J5uc3I+aWfoMVuTD9K+Ik5/H0?= =?us-ascii?q?l3M5l0UdLuGV2s46dn+1GOUuGUKEa3vqidcdHGYM9l4sTOHsmVTbCWYMT3m3Vq?= =?us-ascii?q?M4oDo8DdT1I53EQ9WCibab3Sq/VqZdZm1cB0rERXjhfZ+FVvNKcymSL9VsiBQL?= =?us-ascii?q?ULGgT8kq0hT451yy8KZuMueBon5QjpnkztUgorSLzRw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A1BwDBnEBZfy7WVdFdHQEFAQsBGAEFA?= =?us-ascii?q?QsBg1ABPnsSB4NvgTZQmgaQSoU5ghEuhByBWgKCOwdAFwEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BCQsLCCYxgjMkAYJBAQICASMdARsdAQMBCwYFBAEGAzQCAiEBAREBBQEcBhOKE?= =?us-ascii?q?wEDDQgQoVU/jAiCBAUBHIMKBYNeChknDVaDJQEBAQEBAQQBAQEBAQEBGQIBBRK?= =?us-ascii?q?GT4UAgliCP4JlgmEBBJcLhn07ghSFGIc/hGSSCItMh2AUH4EVIQGBPzAhI10Zh?= =?us-ascii?q?Doqgi0kNgGJaQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A1BwDBnEBZfy7WVdFdHQEFAQsBGAEFAQsBg1ABPnsSB4N?= =?us-ascii?q?vgTZQmgaQSoU5ghEuhByBWgKCOwdAFwEBAQEBAQEBAQEBEgEBCQsLCCYxgjMkA?= =?us-ascii?q?YJBAQICASMdARsdAQMBCwYFBAEGAzQCAiEBAREBBQEcBhOKEwEDDQgQoVU/jAi?= =?us-ascii?q?CBAUBHIMKBYNeChknDVaDJQEBAQEBAQQBAQEBAQEBGQIBBRKGT4UAgliCP4Jlg?= =?us-ascii?q?mEBBJcLhn07ghSFGIc/hGSSCItMh2AUH4EVIQGBPzAhI10ZhDoqgi0kNgGJaQE?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.39,340,1493676000"; d="scan'208,217";a="228246941" Received: from mail-it0-f46.google.com ([209.85.214.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Jun 2017 04:21:14 +0200 Received: by mail-it0-f46.google.com with SMTP id m47so48243818iti.0 for ; Tue, 13 Jun 2017 19:21:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=t5EkqUsuogFhhoFt35jZlxJbTom45DXnR1oFVuud5FA=; b=FxfDBi6LRyTQmNJxbZckxAYKr5q34T7RGWKPNlrfcaj40BMDzauyWERsdG/fs46t1R Etl2CyCHcRK6s4aZYDe8qMfN4mTteijkIGWNEtpozN2Ot6uUQgveXrMDrDeIUdbs0b/W oovIlQaqqhLI44iIviqcI3TiY8RUaqSMim2XMC8KOTILX/7vAvQoPMlhat+Zyl5THYgs UuTGZIwRVsH5CBbEQMRokMhGNfKGaz3YkkQ5F2WIJOxd4IoZmP79BpvyuMNtmCsEv80s VAtul9PqkUuYok1IKYmq3fxSnNFPtshn5LR4Td/Q9dQ/mc+s2KpXDNaN/mbkdF5Z11zm iCxA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=t5EkqUsuogFhhoFt35jZlxJbTom45DXnR1oFVuud5FA=; b=istec/pCTm3ENEJKKYJyRJ5OypnpmZKtKSG4XVE1Qy1+0ghXr2FISGvy1yDPqBkMjM VXNXRjfQC7jV2+/zgfyFNBitVwnerBnei6T7qCyNsm/K9ctPc+N+3tbdfApT8eNOJBgJ nPA49zHfA/Y4hEH95O5bUto/Ij0J2+mwxPQEoqHTGbIC5rzA4UelGWox6y4AAQOROgsr cVsIT+QdgffsYlliD2IuvR55MNfKDgCj7f+N9tH2pasBSfbnXub9oyDhRj2FFec5Id+z 1Yy3IXIsp8+eZ6JTTHogVsGyy9NcgTSC8rvj2Df3Ahpgc/i9jeIWaB1vBk5RJ/72QN4x Wu8w== X-Gm-Message-State: AKS2vOymFYkOIk4falHm8Qme5BkEJbgVxQjD8V8Ez+gfaptHOZ2JZK2l BCEoFZyUmZ0Md86ul9h+L2D0P1iS4WpeuSk= X-Received: by 10.36.227.6 with SMTP id d6mr3833699ith.79.1497406872865; Tue, 13 Jun 2017 19:21:12 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.36.132 with HTTP; Tue, 13 Jun 2017 19:20:32 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Tue, 13 Jun 2017 22:20:32 -0400 Message-ID: To: Evgeny Roubinchtein Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary="94eb2c111714bdf9f70551e234a6" Subject: Re: [Caml-list] Micro benchmarks for floating-point operations in OCaml? --94eb2c111714bdf9f70551e234a6 Content-Type: text/plain; charset="UTF-8" While they are not "micro-benchmarks" in the sense of "testing only one operation", the set of short-running benchmarks in operf-micro contains many short floating-point-heavy programs (almabench, fft, kahan_sum...): https://github.com/OCamlPro/operf-micro/tree/master/share/operf-micro/benchmarks https://www.typerex.org/operf-micro.html On Tue, Jun 13, 2017 at 9:58 PM, Evgeny Roubinchtein wrote: > Dear OCaml users and developers, > > Is there a suite of micro-benchmarks for floating-point operations in > OCaml? If so, could someone point me to such suite(s)? > > Thank you in advance! > > -- > Best, > Zhenya > --94eb2c111714bdf9f70551e234a6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
While they are not "micro-benchmarks" in the sen= se of "testing only one operation", the set of short-running benc= hmarks in operf-micro contains many short floating-point-heavy programs (al= mabench, fft, kahan_sum...):

=C2=A0 https://github= .com/OCamlPro/operf-micro/tree/master/share/operf-micro/benchmarks
= =C2=A0 https://www.typ= erex.org/operf-micro.html

On Tue, Jun 13, 2017 at 9:58 PM, Evgeny Roubinchtein = <zhenya1007@gmail.com> wrote:
Dear OCaml users and developers= ,

Is there a suite of micro-benchmarks for floating-point oper= ations in OCaml?=C2=A0 If so, could someone point me to such suite(s)?
<= br>
Thank you in advance!

--
Best,
Zhenya

--94eb2c111714bdf9f70551e234a6--