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