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.
When I messed with the "partial" module,
I compared CIL's normal output to the partially
evaluated output, like e.g.
cilly.byte --noPrintLn \
--out parteval.cil.c parteval.c
cilly.byte --noPrintLn \
--domakeCFG \
--dopartial --partial_root_function foo --partial_global_const \
--out parteval-do.cil.c parteval.c
diff -up parteval.cil.c parteval-do.cil.c
Not elegant, but simple.
> Is there a way to get any sort of information during the constant
> propagation pass?
AFAIK, there isn't.
Module "partial" has kind of preprocessor
character; it enables later analyses or
optimizations to kick in more effectively.
/Chris
------------------------------------------------------------------------------
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
