Safe Haskell | None |
---|---|
Language | Haskell2010 |
Perform copy propagation. This is done by invoking the simplifier with no rules, so hoisting and dead-code elimination may also take place.
Synopsis
- copyPropagateInStms :: (MonadFreshNames m, SimplifiableLore lore, HasScope lore m) => SimpleOps lore -> Stms lore -> m (Stms lore)
Documentation
copyPropagateInStms :: (MonadFreshNames m, SimplifiableLore lore, HasScope lore m) => SimpleOps lore -> Stms lore -> m (Stms lore) Source #
Run copy propagation.