You didn't describe testing you did. For this, it seems like you should not have too much trouble examining the generated code just by eyeball and characterizing the differences to give us confidence.