Lines Matching refs:dst
180 fun isMoveInst (Assem.MOVE {dst = Assem.TEMP d1, src = Assem.TEMP s1}) = true
191 ( let val (dst,src) = (#def inst, #use inst) in
193 T.enter(def, nodeNo, S.addList(S.empty intOrder, dst)))
608 fun substituteVars (Assem.OPER {oper = p, dst = d1, src = s1, jump = j1}) old new rhs lhs =
609 Assem.OPER {oper = p, dst = if rhs then replace d1 old new else d1,
612 | substituteVars (Assem.MOVE {dst = d1, src = s1}) old new rhs lhs =
613 Assem.MOVE {dst = if rhs andalso d1 = old then new else d1,
646 dst = [Assem.TEMP newVarNo],
661 dst = [Assem.TMEM (!memIndex)],
683 let val (Assem.MOVE {dst = d1, src = s1}) = #instr inst in
685 {instr = Assem.OPER {oper = (Assem.LDR,NONE,false), dst = [d1],
767 fun substituteVars (Assem.OPER {oper = p, dst = d1, src = s1, jump = j1}) =
768 Assem.OPER {oper = p, dst = replace d1, src = replace s1, jump = j1}
770 | substituteVars (Assem.MOVE {dst = d1, src = s1}) =
771 Assem.MOVE {dst = hd (replace [d1]), src = hd (replace [s1])};
815 List.foldl (fn (Assem.OPER {dst = d, ...}, regs) =>
818 | (Assem.MOVE {dst = d, ...}, regs) => Binaryset.add(regs,d)