[Git][ghc/ghc][wip/zap-void-StgOpApp-args] StgToCmm: void argument to SeqOp was unarised away

[Matthew Craven (@clyring)]

Matthew Craven pushed to branch wip/zap-void-StgOpApp-args at Glasgow Haskell Compiler / GHC


Commits:
ee5510b9 by Matthew Craven at 2023-04-17T22:24:03-04:00
StgToCmm: void argument to SeqOp was unarised away

- - - - -


1 changed file:

- compiler/GHC/StgToCmm/Expr.hs


Changes:

=====================================
compiler/GHC/StgToCmm/Expr.hs
=====================================
@@ -71,7 +71,7 @@ cgExpr (StgApp fun args)     = cgIdApp fun args
 
 -- seq# a s ==> a
 -- See Note [seq# magic] in GHC.Core.Opt.ConstantFold
-cgExpr (StgOpApp (StgPrimOp SeqOp) [StgVarArg a, _] _res_ty) =
+cgExpr (StgOpApp (StgPrimOp SeqOp) [StgVarArg a] _res_ty) =
   cgIdApp a []
 
 -- dataToTag# :: a -> Int#
@@ -541,7 +541,7 @@ The special case for seq# in cgCase does this:
 is the same as the return convention for just 'a')
 -}
 
-cgCase (StgOpApp (StgPrimOp SeqOp) [StgVarArg a, _] _) bndr alt_type alts
+cgCase (StgOpApp (StgPrimOp SeqOp) [StgVarArg a] _) bndr alt_type alts
   = -- Note [Handle seq#]
     -- And see Note [seq# magic] in GHC.Core.Opt.ConstantFold
     -- Use the same return convention as vanilla 'a'.



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/ee5510b9747bd8783fe2bd8513d4f98c7f93a438
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/20230417/b2faca8c/attachment-0001.html>