Re: [CIL users] vid discrepancy

2009-05-28 Thread georgebaah
Hi David, It's my fault, vids DO match. George On May 28, 2009, at 3:53 PM, David Gay wrote: > On Thu, May 28, 2009 at 11:08 AM, georgebaah > wrote: >> Hi All, >> How come the vids of sformal variables don't match >> the vids of their uses in a function? Is this a bug in CIL? > > I'

Re: [CIL users] vid discrepancy

2009-05-28 Thread David Gay
On Thu, May 28, 2009 at 11:08 AM, georgebaah wrote: > Hi All, >   How come the vids of sformal variables don't match > the vids of their uses in a function?  Is this a bug in CIL? I'm surprised - the Lval should be pointing to the same varinfo structure so this should not be possible. Do you have

[CIL users] vid discrepancy

2009-05-28 Thread georgebaah
Hi All, How come the vids of sformal variables don't match the vids of their uses in a function? Is this a bug in CIL? Thanks. George -- Register Now for Creativity and Technology (CaT), June 3rd, NYC. CaT is a gathe

Re: [CIL users] SSA extension

2009-05-28 Thread David Gay
On Mon, May 18, 2009 at 12:21 PM, Matthew Hammer wrote: > I was wondering if anyone had any information about the working status > of the SSA extension (i.e., the following module: src/ext/ssa.ml). > > Does it work?  Are there any bugs/caveats and/or unsupported CIL features? > > The documentation

Re: [CIL users] SSA extension

2009-05-28 Thread David Gay
On Mon, May 18, 2009 at 12:21 PM, Matthew Hammer wrote: > I was wondering if anyone had any information about the working status > of the SSA extension (i.e., the following module: src/ext/ssa.ml). > > Does it work?  Are there any bugs/caveats and/or unsupported CIL features? > > The documentation

Re: [CIL users] CIL perfomance issues

2009-05-28 Thread Gabriel Kerneis
Hi everybody, well, it turns out the insane amount of memory used was the fault of curl macros; believe me or not, after preprocessing, I got a line (among others) of over 15000 character. Did I mention the word insane before? Anyway, the patch I wrote for CIL is still worth being applied since,

[CIL users] [patch] 64bits support in ocamlutil/stats.ml

2009-05-28 Thread Gabriel Kerneis
Hi, On Tue, May 26, 2009 at 07:02:16PM +0200, Gabriel Kerneis wrote: > [By the way, ocamlutil/stats.ml is broken on 64bit architectures, the > figures returned by printM in Stats.print should by doubled. I'll send a > patch for this one too.] Please find the patch attached. David, I'd be glad if

Re: [CIL users] CIL perfomance issues

2009-05-28 Thread Gabriel Kerneis
Hi, On Thu, May 28, 2009 at 10:22:08AM +0200, Christoph Spiel wrote: > On Tue, May 26, 2009 at 07:02:16PM +0200, Gabriel Kerneis wrote: > > I've been suffering performance issues with CIL recently. 30% of the > > time was spent in garbage collection. > > (1) Recompile the run-time environment of

Re: [CIL users] CIL perfomance issues

2009-05-28 Thread Christoph Spiel
On Tue, May 26, 2009 at 10:45:30PM +0200, Gabriel Kerneis wrote: > I consider switching to Tailor the day I get fed up to manually tracking it. I have been using the following Tailor configuration to mirror the CIL repository for quite a while now. It has been working flawlessly so far.

Re: [CIL users] CIL perfomance issues

2009-05-28 Thread Christoph Spiel
Gabriel - On Tue, May 26, 2009 at 07:02:16PM +0200, Gabriel Kerneis wrote: > I've been suffering performance issues with CIL recently. 30% of the > time was spent in garbage collection. A while ago a faced similar problems. That time, I tried three different approaches to speed up the ana