Hello,
I am new to CIL and ocaml language. Can somebody please guide me how to
modify the liveness module output so that it print out line number of start
of every basic block it reports live variables.
So I guess one option is to modify this command in liveness module:
let print_everything () =
let d = IH.fold (fun i vs d ->
d ++ num i ++ text ": " ++ LiveFlow.pretty () vs)
LiveFlow.stmtStartData nil in
ignore(printf "%t" (fun () -> d))
Currently the output seems like this:
1: byteinp(int ),ClrReqReceived(int ),
2: byteinp(int ),ClrReqReceived(int ),data(int ),ByteCount(int ),
3: byteinp(int ),ByteCount(int ),
4: byteinp(int ),ByteCount(int ),
I would like line numbers instead of basic block numbers.
Best Regards,
Sid
------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=157005751&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
