-middleLiveness m = middle m
- where middle (MidComment {}) = id
- middle (MidAssign lhs expr) = gen expr . kill lhs
- middle (MidStore addr rval) = gen addr . gen rval
- middle (MidUnsafeCall tgt ress args) = gen tgt . gen args . kill ress
- middle (MidAddToContext ra args) = gen ra . gen args
- middle (CopyIn _ formals _) = kill formals
- middle (CopyOut _ actuals) = gen actuals
+middleLiveness (MidComment {}) live = live
+middleLiveness (MidAssign lhs expr) live = gen expr $ kill lhs live
+middleLiveness (MidStore addr rval) live = gen addr $ gen rval live
+middleLiveness (MidForeignCall _ tgt _ args) _ = gen tgt $ gen args emptyUniqSet