Lines Matching defs:lhs
608 fun substituteVars (Assem.OPER {oper = p, dst = d1, src = s1, jump = j1}) old new rhs lhs =
610 src = if lhs then replace s1 old new else s1, jump = j1}
611 | substituteVars (Assem.LABEL x) old new rhs lhs = Assem.LABEL x
612 | substituteVars (Assem.MOVE {dst = d1, src = s1}) old new rhs lhs =
614 src = if lhs andalso s1 = old then new else s1};
857 val (lhs, rest) = dest_pabs lt;
858 val lhs = subst rules lhs
860 mk_let (mk_pabs (lhs, stripInst rest), subst rules rhs)
885 val (lhs, rest) = dest_pabs lt
887 mk_let (mk_pabs(replace lhs, replace rest), replace rhs)