Skip to content

Commit

Permalink
don't eliminate dead code in library mode but do keep doing it otherwise
Browse files Browse the repository at this point in the history
  • Loading branch information
ulysses4ever committed Jul 17, 2024
1 parent 92e90f9 commit cae17fc
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions gibbon-compiler/src/Gibbon/Passes/Simplifier.hs
Original file line number Diff line number Diff line change
Expand Up @@ -93,8 +93,10 @@ simplifyL1 p0 = do
p0' <- freshNames1 p0
p1 <- markRecFns p0'
p2 <- inlineFuns p1
-- p3 <- deadFunElim p2
pure p2
Config{mode} <- ask
if isLibrary mode
then pure p2
else deadFunElim p2

--------------------------------------------------------------------------------

Expand Down

0 comments on commit cae17fc

Please sign in to comment.