Zap OccInfo on case binders during StgCse #14895 #24233
StgCse can revive dead binders: case foo of dead { Foo x y -> Foo x y; ... } ===> case foo of dead { Foo x y -> dead; ... } -- dead is no longer dead So we must zap occurrence information on case binders. Fix #14895 and #24233
Showing
- compiler/GHC/Stg/CSE.hs 11 additions, 2 deletionscompiler/GHC/Stg/CSE.hs
- compiler/GHC/StgToCmm/Expr.hs 41 additions, 13 deletionscompiler/GHC/StgToCmm/Expr.hs
- testsuite/tests/core-to-stg/T14895.hs 5 additions, 0 deletionstestsuite/tests/core-to-stg/T14895.hs
- testsuite/tests/core-to-stg/T14895.stderr 20 additions, 0 deletionstestsuite/tests/core-to-stg/T14895.stderr
- testsuite/tests/core-to-stg/all.T 1 addition, 0 deletionstestsuite/tests/core-to-stg/all.T
- testsuite/tests/simplCore/should_compile/T22309.stderr 16 additions, 14 deletionstestsuite/tests/simplCore/should_compile/T22309.stderr
- testsuite/tests/simplStg/should_compile/T15226b.stderr 4 additions, 4 deletionstestsuite/tests/simplStg/should_compile/T15226b.stderr
Loading
Please register or sign in to comment