Merge requests · Glasgow Haskell Compiler / GHC · GitLab

Cpr: Turn an assertion into a check to deal with some dead code (#23862)

!11717 · created Dec 05, 2023 by Sebastian Graf
CPR/boxity analysis backport needed:9.4
- Closed
- 14
- Approved
updated Feb 14, 2024
DmdAnal: Fix a panic on OPAQUE and trivial/PAP RHS (#22997)

!10084 · created Mar 06, 2023 by Sebastian Graf
CPR/boxity analysis demand analysis
- Closed
- 8
updated Mar 10, 2023
DmdAnal: Look through unfolding of DataCon wrappers (#22241)

!9104 · created Oct 04, 2022 by Sebastian Graf
CPR/boxity analysis demand analysis
- Closed
- 20
- Approved
updated Oct 01, 2023
Boxity: Don't update Boxity unless worker/wrapper follows (#21754)

!8539 · created Jun 27, 2022 by Sebastian Graf
CPR/boxity analysis
- Merged
- 10
updated Sep 30, 2022
SpecConstr: Don't unbox strict, Boxed args

!8257 · created May 17, 2022 by Sebastian Graf
CPR/boxity analysis SpecConstr
- Closed
- 5
updated May 19, 2022
DmdAnal: Don't unbox recursive data types (#11545)

!7773 · created Mar 12, 2022 by Sebastian Graf
CPR/boxity analysis demand analysis
- Closed
- 3
updated Mar 14, 2022
Add regression test for #20598

!6954 · created Nov 10, 2021 by Sebastian Graf
CPR/boxity analysis
- Closed
- 2
updated Nov 11, 2021
CprAnal: Two regression tests

!6667 · created Oct 05, 2021 by Sebastian Graf
CPR/boxity analysis
- Closed
- 3
updated Oct 06, 2021
CPR: Detect constructed products in `runRW#` apps (#19822)

!5753 · created May 14, 2021 by Sebastian Graf
CPR/boxity analysis simplifier
- Closed
- 14
- Approved
updated Nov 01, 2021
Nested CPR light unleashed (#18174)

!5667 · created May 04, 2021 by Sebastian Graf
CPR/boxity analysis
- Closed
- 112
updated Feb 17, 2022
Rename StrictSig to DmdSig (#19597)

!5379 · created Mar 26, 2021 by Sebastian Graf
CPR/boxity analysis demand analysis
- Closed
- 3
- Approved
updated Mar 28, 2021
Worker/wrapper: Refactor CPR WW to work for nested CPR (#18174)

!5338 · created Mar 22, 2021 by Sebastian Graf
CPR/boxity analysis
- Merged
- 12
updated Nov 07, 2022
Nested CPR light (#19398)

!5054 · created Feb 18, 2021 by Sebastian Graf
CPR/boxity analysis
- Closed
- 51
- Approved
updated Sep 30, 2021
CPR analysis: Use CPR of scrutinee for Case Binder CPR (#19232)

!4976 · created Feb 10, 2021 by Sebastian Graf
CPR/boxity analysis
- Closed
- 52
updated Feb 28, 2021
Document how bottom CPR and dead-ending Divergence are related

!4975 · created Feb 10, 2021 by Sebastian Graf
CPR/boxity analysis demand analysis
- Closed
- 15
- Approved
updated Feb 18, 2021
Draft: CPR analysis: Don't lose shared values (#19326)

!4962 · created Feb 08, 2021 by Sebastian Graf
CPR/boxity analysis
- 4
updated Jun 08, 2021
WorkWrap: Explicit wantToUnbox* unboxing strategies

!4783 · created Jan 11, 2021 by Sebastian Graf
CPR/boxity analysis demand analysis
- Closed
- 12
updated Mar 16, 2021
CprAnal: Activate Sum CPR for local bindings

!4229 · created Oct 07, 2020 by Sebastian Graf
CPR/boxity analysis
- Closed
- 38
- Approved
updated Oct 15, 2021
Don't attach CPR signatures to NOINLINE data structures (#18154)

!4157 · created Sep 28, 2020 by Sebastian Graf
CPR/boxity analysis
- Closed
- 29
- Approved
updated Sep 27, 2021
CprAnal: Don't attach CPR sigs to expandable bindings (#18154)

!3230 · created May 06, 2020 by Sebastian Graf
CPR/boxity analysis
- Closed
- 14
updated Sep 21, 2021