From: Marco T. <ma...@mt...> - 2011-02-17 16:02:49
|
On 17.02.2011 16:36, Justin wrote: > <snip> > > > $ cilly --verbose --save-temps --merge --keepmerged unitTests_jjc.c > rngs.c dominion.c -o dominion-merged > Preprocessing unitTests_jjc.c > gcc -D_GNUCC -E -DCIL=1 unitTests_jjc.c -o ./unitTests_jjc.i > Saving source ./unitTests_jjc.i into ./unitTests_jjc.o > Preprocessing rngs.c > gcc -D_GNUCC -E -DCIL=1 rngs.c -o ./rngs.i > Saving source ./rngs.i into ./rngs.o > Preprocessing dominion.c > gcc -D_GNUCC -E -DCIL=1 dominion.c -o ./dominion.i > Saving source ./dominion.i into ./dominion.o > Merging saved sources into dominion-merged_comb.o (in process of linking > dominion-merged) > Will merge the following: KeptFile=HASH(0x22cd378) > KeptFile=HASH(0x22cfcf8) KeptFile=HASH(0x22cfe30) > Will just link the genuine object files: > After merge compile flags: > /home/joel/apps/crest/cil/obj/x86_LINUX/cilly.asm.exe --out > ./dominion-merged.cil.c --verbose ./unitTests_jjc.o ./rngs.o > ./dominion.o --mergedout ./dominion-merged_comb.c > > $ ls > bin dominion.h interface.h Makefile > player.c rngs.o unitTests_jjc.o > cardDefs.h dominion.i Lin_Dominion_jc.cbp moreFunctions.h > rngs.c rt.c > dominion.c dominion.o Lin_Dominion_jc.depend obj > rngs.h unitTests_jjc.c > dominion.c.save interface.c Lin_Dominion_jc.layout playdom.c > rngs.i unitTests_jjc.i > > > > You can see that there is no ".comb.c" file. There is also no "dominion-merged" binary. Did you maybe copy paste some messages together and it's actually located in the "bin" directory? Otherwise: What CIL version are you using? Does it work for single files? The command you're trying works for me with latest svn version. > The various .o and .i > files are there, though (the result of the --save-temps flag I > believe...I wasn't even seeing those before I found that flag). > > The 'coming soon' statement is from the README file. > > > Thanks, > J > > > > On 02/17/2011 01:12 AM, Marco Trudel wrote: >> Hey J >> >> On 16.02.2011 18:55, Justin wrote: >>> Hello all. I am very new at using CIL, as probably obviated by my >>> question... >> Then you might want to read through http://hal.cs.berkeley.edu/cil/ >> >>> I am trying to merge files into one, so that I can do some analysis on >>> it (using CREST). I have two .c files and 3 .h files. I can't seem to >>> figure out how to get CIL to merge these correctly. >> What did you try? How did it fail? >> >>> The documentation talks about 'more info coming soon'. >> The documentation seems to be pretty extensive to me: >> http://hal.cs.berkeley.edu/cil/cil007.html >> Where does it say "more info coming soon"? >>> The output needs to be .c format; >> I'd suggest to read through the website. All you need is there with very >> good examples and explanations. >> >> >> Hope that helps >> Marco >> >>> CREST has a script that runs on a .c file in order to implement it's >>> features. >>> >>> Thanks, >>> J > > ------------------------------------------------------------------------------ > The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE: > Pinpoint memory and threading errors before they happen. > Find and fix more than 250 security defects in the development cycle. > Locate bottlenecks in serial and parallel code that limit performance. > http://p.sf.net/sfu/intel-dev2devfeb > _______________________________________________ > CIL-users mailing list > CIL...@li... > https://lists.sourceforge.net/lists/listinfo/cil-users |