(* val gendef : ident * X.insn -> ident * pred list
* generates the def/use/succ predicates for a single insn
*)
- fun gendef (n, X.DIRECTIVE(_)) = (nil)
- | gendef (n, X.COMMENT(_)) = (nil)
+ fun gendef (n, X.DIRECTIVE(_)) = ([SUCC (n+1)])
+ | gendef (n, X.COMMENT(_)) = ([SUCC (n+1)])
| gendef (n, X.LIVEIGN (_)) = ([SUCC (n+1)])
| gendef (n, X.LABEL l) = ([SUCC (n+1)])
| gendef (n, X.INSN(X.NV, _)) = ([SUCC (n+1)])