Lines Matching refs:src
202 (!dst src.mdecode st (MLDR dst src) =
203 write st (toREG dst) (read st (toMEM src))) /\
204 (!dst src.mdecode st (MSTR dst src) =
205 write st (toMEM dst) (read st (toREG src))) /\
206 (mdecode st (MMOV dst src) =
207 write st (toREG dst) (read st (toEXP src))) /\
237 (translate_assignment (MMOV dst src) = ((MOV,NONE,F),SOME (toREG dst), [toEXP src], NONE):INST) /\
249 (!dst src.translate_assignment (MLDR dst src) = ((LDR,NONE,F),SOME (toREG dst), [toMEM src], NONE):INST) /\
250 (!dst src.translate_assignment (MSTR dst src) = ((STR,NONE,F),SOME (toREG src), [toMEM dst], NONE):INST) /\