Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
We require that entry points return arrays with zero offset in row-major order. Futhark.Pass.ExplicitAllocations is conservative and inserts copies to ensure this is the case. After simplification, it may turn out that those copies are redundant. This pass removes them. It's a pretty simple pass, as it only has to look at the top level of entry points.