We do not need this function.

diku-dk · Aug 9, 2023 · fd7ad6c · fd7ad6c
1 parent 05e4941
commit fd7ad6c
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 4 deletions.
diff --git a/src/Futhark/IR/Mem/IxFun.hs b/src/Futhark/IR/Mem/IxFun.hs
@@ -23,7 +23,6 @@ module Futhark.IR.Mem.IxFun
     substituteInLMAD,
     existentialize,
     closeEnough,
-    permuteInv,
     disjoint,
     disjoint2,
     disjoint3,

diff --git a/src/Futhark/IR/Mem/LMAD.hs b/src/Futhark/IR/Mem/LMAD.hs
@@ -17,7 +17,6 @@ module Futhark.IR.Mem.LMAD
     shape,
     rank,
     substituteInLMAD,
-    permuteInv,
     disjoint,
     disjoint2,
     disjoint3,

diff --git a/src/Futhark/Optimise/ArrayShortCircuiting/TopdownAnalysis.hs b/src/Futhark/Optimise/ArrayShortCircuiting/TopdownAnalysis.hs
@@ -110,8 +110,7 @@ getInvAliasFromExp (BasicOp (SubExp (Var _))) = Just id
 getInvAliasFromExp (BasicOp (Opaque _ (Var _))) = Just id
 getInvAliasFromExp (BasicOp Update {}) = Just id
 getInvAliasFromExp (BasicOp (Rearrange perm _)) =
-  let perm' = IxFun.permuteInv perm [0 .. length perm - 1]
-   in Just (`IxFun.permute` perm')
+  Just (`IxFun.permute` rearrangeInverse perm)
 getInvAliasFromExp _ = Nothing
 
 class TopDownHelper inner where