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 434D07FF50 for ; Mon, 8 Aug 2016 14:14:24 +0200 (CEST) IronPort-PHdr: 9a23:/By0HR9tGV2cmP9uRHKM819IXTAuvvDOBiVQ1KB90O0cTK2v8tzYMVDF4r011RmSDN2duqoP17SempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EkfqKkQsWO0Yye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrvGK0rUmtg5Zt8ks8dVBTaTkfrgpBfwCVHV1e1wyscbisB2GSQqU+lMdVH8Xm1xGGVvr9hb/C4/wuSX+sd0n8DaXN4v6QONnEQ++5rtmHUe7wBwMMCQ0pTuPhw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=picflo_2@web.de; spf=Pass smtp.mailfrom=picflo_2@web.de; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of picflo_2@web.de) identity=pra; client-ip=212.227.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="picflo_2@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of picflo_2@web.de designates 212.227.15.4 as permitted sender) identity=mailfrom; client-ip=212.227.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="picflo_2@web.de"; 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@mout.web.de) identity=helo; client-ip=212.227.15.4; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DBAAAzd6hXhwQP49RdgnenJYJljxeCD4F9hh0lgRQ4FAEBAQEBAQEBEQEBAQgNCQkZL4IyBAOCHDNrCQEWAiYCgQOIBQEeokWPY4p+H4UggQGHKYcaEC+CNYJaBZk3AphbBIVukCwegXcMVoFZiDUBAQE X-IPAS-Result: A0DBAAAzd6hXhwQP49RdgnenJYJljxeCD4F9hh0lgRQ4FAEBAQEBAQEBEQEBAQgNCQkZL4IyBAOCHDNrCQEWAiYCgQOIBQEeokWPY4p+H4UggQGHKYcaEC+CNYJaBZk3AphbBIVukCwegXcMVoFZiDUBAQE X-IronPort-AV: E=Sophos;i="5.28,489,1464645600"; d="scan'208,217";a="187180744" Received: from mout.web.de ([212.227.15.4]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Aug 2016 14:14:23 +0200 Received: from [62.96.41.227] by 3capp-webde-bs05.server.lan (via HTTP); Mon, 8 Aug 2016 14:14:22 +0200 MIME-Version: 1.0 Message-ID: From: picflo_2@web.de To: caml-list@inria.fr Content-Type: text/html; charset=UTF-8 Date: Mon, 8 Aug 2016 14:14:22 +0200 Importance: normal Sensitivity: Normal X-Priority: 3 X-Provags-ID: V03:K0:07ncKRElp7ukveqK4dSynxjq4NMmDadzdwAiz4FGdzL RQMgBaJKjrp6UhG2dyA5QIICN5eT8Xl+cQ4Kg6Up4VR8zmSqMJ uLtFLG9JAcU9MITGyJQUMA9REJBctgd4wwufTBbwm88oG9SDIi 8C9K+89M/FYp7h2jKp5a1+TCfLuFNVlYT6Cv+nWq6cuG+DBrHu YOHfu1C/UPzwudowUaSszIG9lZDwt3N1JPQJuOrHbQMoCZMhhD VhaH8EFtYPxFoRnQvQlnCrdkuOOBPsdrxp3WUbuwZhw3evMbUP hnRvjM= X-UI-Out-Filterresults: notjunk:1;V01:K0:cjvTHZmdEhY=:MlfEEQ2G/QMO5V7Sahx+cM sj19VfrhOZMAlrIYHhhTr/uBrAnZVvSc28kSTa8+Ms87jcjCStWt/j3ABAdSBbeZvyFvuy+KQ CgAHZZ6T85sXh/emlciShaj1Al1dzXE/Yr0Z0AjHkb01xfmK/2ENXyh666giJqrUQbcZ+cW7s kfY1rtk0KYRPTZDWxmLEQP5z7Xdn95oEtjUBD3UqMfXh74hdfztWTzgbI5rf3y/XF9cxt/cqa f/vZD4WCqvazw9dVgmRMRxPaYZ1z9IkRVbJrB7ZB+WhqjzkG0zz/scTm1+abAsFz+1D/zdjrB aeXJnETFf2jCWE5+Bz+F3ayRJ5gW+EWDEthTTdw1NWu/4Dw2YTgiQsftRLzKJKlgqUx9TGKDU pMeEeggPFDuOOQ4Z2AdJQUTsmx+K1l9jjrHftfT+V8UY1B+ray0CwpnjkGuh7yDKNDRkbEvkv ZwLo2r3HFQ== X-Validation-by: picflo_2@web.de Subject: [Caml-list] NVPTX specific optimization passes (LLVM)

Hi,

i am using the OCaml LLVM binding to generate code for different backends.

Opt the modular optimizer has a couple of optimization passes specific to the

NVPTX target, like sched4reg or -nvptx-favor-non-generic.

Is it possible to enable these passes with the existing binding, or can they be

easily extended to make that available?

Best regards,

Florian