~cypheon/rapid

8e08b51936376dc918362a7930fb9b7b3ee10a60 — Johann Rudloff 11 days ago 5fa4c28
Use "instsimplify" instead of deprecated "constprop" optimisation pass
1 files changed, 1 insertions(+), 1 deletions(-)

M src/Compiler/Codegen/Rapid.idr
M src/Compiler/Codegen/Rapid.idr => src/Compiler/Codegen/Rapid.idr +1 -1
@@ 77,7 77,7 @@ compile defs tmpDir outputDir term outfile = do
  let foreigns = map (\(n,_,d) => (n,d)) $ filter isFgn $ namedDefs cd
  let allFunctions = vmcode cd
  let optFlags = [
    "-mem2reg", "-constprop", "-constmerge", "-sccp", "-dce", "-globaldce",
    "-mem2reg", "-instsimplify", "-constmerge", "-sccp", "-dce", "-globaldce",
    "-rewrite-statepoints-for-gc"]

  coreLift_ $ writeIR allFunctions foreigns support outputFileName debug