On Apr 8, 2010, at 10:46 AM, ThanhVu (Vu) Nguyen wrote:
let's say I want to add a statement s1 (e.g., printf("hello
world");) before every IF in the code. I created an instrumenter
with CIL that basically does mkStmt(Block(mkBlock([s1 ; if_stuff]))) .
It works out well in most case except the below :
switch (something){
case something1:
if(cond1){ ... }
break;
if(cond2){ ... }
break;
}
applying the instrumenter gives this result
switch (something){
s1;
case something1:
if(cond1){ }
break;
s1;
case something2:
if(cond2){
}
break;
}
Thus, the new statements (s1,s2 ..) added always go above the
"case ... " instead of after and basically a semantic change ?
This is certainly not a bug in CIL; you just need to be careful about
how you manipulate the program. In this case, you need to move the
label from the original statement to the statement you are inserting
(although I'm not sure this is what you'd want to do in all cases). I
added a few lines to your vstmt method which are meant to do this, but
I haven't tested it:
method vstmt s = ChangeDoChildrenPost(
s,fun s -> (
match s.skind with
|If(_,_,_,_) -> ( (*add a hello world before if*)
let fprintf = Lval((Var (makeVarinfo true "fprintf" (TVoid []))),
NoOffset) in
let hello_str = Const(CStr("hello word ")) in
let instr = Call(None,fprintf,[hello_str],!currentLoc)
in
let ns = mkStmtOneInstr(instr) in
let newStatement = mkStmt(Block(mkBlock([ns;s]))) in
newStatement.labels <- s.labels;
s.labels <- [];
newStatement
)
|_ -> s (*don't change*)
)
)
Elnatan------------------------------------------------------------------------------
Download Intel® Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
