X-Git-Url: http://git.joshuawise.com/snipe.git/blobdiff_plain/a83f1d602c6f50eb9ab0448a20f0ecb80fefcead..5c90fbb8681e975ccd0a1bc407b31daa1daef38a:/codegen/liveness.sml diff --git a/codegen/liveness.sml b/codegen/liveness.sml index 6a7d89b..df411bb 100644 --- a/codegen/liveness.sml +++ b/codegen/liveness.sml @@ -106,6 +106,7 @@ struct | gendef (n, X.INSN(X.NV, _)) = ([SUCC (n+1)]) | gendef (n, X.INSN(_, X.MOVLIT(dest, _))) = (defhit dest @ [SUCC(n+1), ISMOVE]) | gendef (n, X.INSN(_, X.MOVSYM(dest, sym))) = (defhit dest @ [SUCC(n+1), ISMOVE]) + | gendef (n, X.INSN(_, X.MOVSTR(dest, str))) = (defhit dest @ [SUCC(n+1), ISMOVE]) | gendef (n, X.INSN(X.AL, X.MOVLBL(X.REG X.PC, l))) = ([SUCC (findlabel l)]) | gendef (n, X.INSN(_, X.MOVLBL(X.REG X.PC, l))) = ([SUCC (n+1), SUCC (findlabel l)]) | gendef (n, X.INSN(_, X.MOVLBL(_, _))) = raise ErrorMsg.InternalError "MOVLBL with target neq PC"