Re: [CIL users] CIL-users Digest, Vol 59, Issue 4

2011-03-29 Thread haihao shen
Hi, Here is some info (FYI): The Objective Caml toplevel, version 3.11.2 (ocaml is installed via GODI) Thanks, Haihao On Wed, Mar 30, 2011 at 12:58 AM, Gabriel Kerneis wrote: > On Tue, Mar 29, 2011 at 05:09:15AM -0700, haihao shen wrote: > > I have solved the issue by copying the obj dir from

Re: [CIL users] CIL-users Digest, Vol 59, Issue 4

2011-03-29 Thread Gabriel Kerneis
On Tue, Mar 29, 2011 at 05:09:15AM -0700, haihao shen wrote: > I have solved the issue by copying the obj dir from another machine > directly. This is extremely strange. The obj dir is created from scratch on every compilation. Could you please try to: - download and untar a fresh archive from s

Re: [CIL users] Need help with CIL constant propagation

2011-03-29 Thread Christoph Spiel
Hi Vijayaraghavan, On Tue, Mar 29, 2011 at 08:31:55PM +0800, Vijayaraghavan Murali wrote: > I'm using CIL's dopartial to play with constant propagation. It's very > painful to look through manually in the output program to see if > constant propagation has been applied somewhere, and where.

Re: [CIL users] Need help with CIL constant propagation

2011-03-29 Thread Vijayaraghavan Murali
I also noticed that CIL performs interprocedural partial evaluation in addition to constant prop. I need to disable this in order to just observe the effects of constant prop. Is there an option to do it (I doubt though)? --- Vijayaraghavan Murali http://www.comp.nus.edu.sg/~mvijayar On Tues

[CIL users] Need help with CIL constant propagation

2011-03-29 Thread Vijayaraghavan Murali
Hello, I'm using CIL's dopartial to play with constant propagation. It's very painful to look through manually in the output program to see if constant propagation has been applied somewhere, and where. Turning on verbose mode too doesn't help. Is there a way to get any sort of information dur

Re: [CIL users] CIL-users Digest, Vol 59, Issue 4

2011-03-29 Thread haihao shen
Thanks. Actually, the package CIL-1.3.7 I downloaded contains ocamlutil. I have solved the issue by copying the obj dir from another machine directly. Thank you for your help. On Tue, Mar 29, 2011 at 5:04 AM, wrote: > Send CIL-users mailing list submissions to >cil-users@lists.sourcefor