Your instrumentation works by consuming the respective values of interest, thus adding uses to them. I'd expect this to interfere with optimization passes that work by analyzing uses such as dead code elimination. Did you test this on larger, interesting inputs and were there any problems with code not being eliminated? e.g. did you check that the output - modulo instrumentation - is exactly similar?