992
978
I0 = alub_src1_update(I, subst1(Subst, alub_src1(I))),
993
979
alub_src2_update(I0, subst1(Subst, alub_src2(I)));
995
I0 = binbase_orig_update(I,subst1(Subst, binbase_orig(I))),
998
981
I0 = branch_src1_update(I, subst1(Subst, branch_src1(I))),
999
982
branch_src2_update(I0, subst1(Subst, branch_src2(I)));