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 Tuesday 29,March,2011 08:31 PM, Vijayaraghavan Murali wrote:
> 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 during the constant
> propagation pass? At least, the number of times it has been applied
> would help. If there's no other way, I'm guess I need to meddle with the
> source then (partial.ml).
>
> Thanks for any help!
>
> ---
> Vijayaraghavan Murali
> http://www.comp.nus.edu.sg/~mvijayar

------------------------------------------------------------------------------
Enable your software for Intel(R) Active Management Technology to meet the
growing manageability and security demands of your customers. Businesses
are taking advantage of Intel(R) vPro (TM) technology - will your software 
be a part of the solution? Download the Intel(R) Manageability Checker 
today! http://p.sf.net/sfu/intel-dev2devmar
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to