I could do whatever you want to get binary code in efficient form (as it is the output from this Merge Request). Could you please describe how constant propagation should looks like?
If I understand correctly, Esme just wants you to test the performance of changing matrix_multiply without changing GdipScaleMatrix.