[Git][ghc/ghc][wip/romes/25170-idea4] Apply rules before simplifying

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/romes/25170-idea4 at Glasgow Haskell Compiler / GHC


Commits:
e6ecb199 by Simon Peyton Jones at 2025-03-14T11:47:20+00:00
Apply rules before simplifying

...only for class-ops

Reduces calls to tryRules, which is especially important for
primop constant-folding, where rule-matching is quite expensive

- - - - -


1 changed file:

- compiler/GHC/Core/Opt/Simplify/Iteration.hs


Changes:

=====================================
compiler/GHC/Core/Opt/Simplify/Iteration.hs
=====================================
@@ -1540,7 +1540,7 @@ rebuild_go env expr cont
         -> rebuildCase (se `setInScopeFromE` env) expr bndr alts cont
 
       StrictArg { sc_fun = fun, sc_cont = cont, sc_fun_ty = fun_ty }
-        -> rebuildCall env (addValArgTo fun expr fun_ty ) cont
+        -> rebuildCall env (addValArgTo fun expr fun_ty) cont
 
       StrictBind { sc_bndr = b, sc_body = body, sc_env = se
                  , sc_cont = cont, sc_from = from_what }
@@ -2328,7 +2328,9 @@ simplOutId env fun cont
        ; rule_base <- getSimplRules
        ; let rules_for_me = getRules rule_base fun
              out_args     = contOutArgs env cont1 :: [OutExpr]
-       ; mb_match <- tryRules zapped_env rules_for_me fun out_args
+       ; mb_match <- if isClassOpId fun
+                     then tryRules zapped_env rules_for_me fun out_args
+                     else return Nothing
        ; case mb_match of {
              Just (rule_arity, rhs) -> simplExprF zapped_env rhs $
                                        dropContArgs rule_arity cont1 ;



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e6ecb1999aff700fb971eed6557403c7de7fcefc

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/e6ecb1999aff700fb971eed6557403c7de7fcefc
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20250314/38b901f9/attachment-0001.html>