2050 static void add_counter_update(IRSB* sbOut, Int n)  in add_counter_update()  argument
2063    IRTemp t1 = newIRTemp(sbOut->tyenv, Ity_I64);  in add_counter_update()
2064    IRTemp t2 = newIRTemp(sbOut->tyenv, Ity_I64);  in add_counter_update()
2074    addStmtToIRSB( sbOut, st1 );  in add_counter_update()
2075    addStmtToIRSB( sbOut, st2 );  in add_counter_update()
2076    addStmtToIRSB( sbOut, st3 );  in add_counter_update()
2082    IRSB* sbOut;  in ms_instrument2()  local
2089    sbOut = deepCopyIRSBExceptStmts(sbIn);  in ms_instrument2()
2101             add_counter_update(sbOut, n);  in ms_instrument2()
2105       addStmtToIRSB( sbOut, st );  in ms_instrument2()
2110       add_counter_update(sbOut, n);  in ms_instrument2()
2112    return sbOut;  in ms_instrument2()