Andreas Klebinger pushed to branch wip/andreask/rewriteOpApp at Glasgow Haskell Compiler / GHC

Commits:

• cb836d33
  by Andreas Klebinger at 2025-11-09T15:29:38+01:00

  EnforceEpt: Don't perform pointless rewrites on primop arguments
  

1 changed file:

• compiler/GHC/Stg/EnforceEpt/Rewrite.hs

Changes:

 rewriteExpr e@(StgConApp {})          = rewriteConApp e

 rewriteExpr e@(StgApp {})             = rewriteApp e

 rewriteExpr (StgLit lit)              = return $! (StgLit lit)

-rewriteExpr (StgOpApp op args res_ty) = (StgOpApp op) <$!> rewriteArgs args <*> pure res_ty

+rewriteExpr e@(StgOpApp op args res_ty) = rewriteOpApp e

 rewriteCase :: InferStgExpr -> RM TgStgExpr