From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 2528FBC37 for ; Thu, 12 Nov 2009 15:12:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApYBAMGm+0pKfU4aimdsb2JhbACEdJZoPwEBAQoJDAcRBa86gWGGJohqAQMDBYErgjhUBIJnh1I X-IronPort-AV: E=Sophos;i="4.44,728,1249250400"; d="scan'208";a="37978415" Received: from ey-out-2122.google.com ([74.125.78.26]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Nov 2009 15:12:00 +0100 Received: by ey-out-2122.google.com with SMTP id 9so584309eyd.7 for ; Thu, 12 Nov 2009 06:12:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=ap7zmTou1vanHDPrusfPCv6M5cMSOc2vIbt1ml1AvmY=; b=pDMZzwaRkE4LEv5++CNtmXkiT7+lEKuL2wvubMEyIWxPI4QkTBgyY1VLys766NZpp1 RDMbJbEWspMKYzxFzk6FEtulbzaAM8vaqBqd+I/2yo8+LJFXkmwWWrsBJGVHoejzs5Hz qA582giRXcz1cMocH8PfnZJMMSfeUknwrFKnk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=O/XJwVrhjOpZ7E+r1sjQ/+zb+FTS+pUZWagXZgtTC+pAlBFSrgK6IOywweBftwaibc c2i0r+2O+/THf0fxw4pkKhEnP/rjgNjugN51iBgy8rZbueauYGg9Ng10ivSzSvj/L6Dr Rf5+mSgrjOGaes5PV7Vz0qXnHz9DEyDFMjWUE= MIME-Version: 1.0 Sender: daniel.c.buenzli@gmail.com Received: by 10.213.103.83 with SMTP id j19mr7437496ebo.31.1258035120347; Thu, 12 Nov 2009 06:12:00 -0800 (PST) Date: Thu, 12 Nov 2009 22:12:00 +0800 X-Google-Sender-Auth: ae41a8c815f8eb45 Message-ID: <91a3da520911120612q3ce17441v805a469e1c4722bf@mail.gmail.com> Subject: ocaml's cmm representation From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; ocaml's:01 buenzli:01 ocaml's:01 ocamlopt:01 unboxed:01 inlined:01 readable:01 functions:01 floats:02 seems:03 tutorial:03 daniel:04 daniel:04 although:11 cmm:13 Is there any document/tutorial about ocaml's cmm representation (the one you get with ocamlopt -dcmm) ? Although not as precise as -S it seems to already show you a lot of things (e.g. unboxed floats, inlined functions) in a much more readable form. Thanks, Daniel