Merge requests · Glasgow Haskell Compiler / GHC · GitLab

DmdAnal: Make `prompt#` lazy (#25439)

!13544 · created Nov 04, 2024 by Sebastian Graf
backport needed:9.10 backport needed:9.6 delimited continuations demand analysis
- Closed
- 17
- Approved
updated Dec 17, 2024
Make DataCon workers strict in strict fields (#20749)

!9874 · created Jan 31, 2023 by Sebastian Graf
demand analysis pointer tagging simplifier
- Closed
- 198
- 2
updated Nov 05, 2024
Demand: Combine examples into Note (#25107)

!13108 · created Aug 05, 2024 by Sebastian Graf
demand analysis
- Closed
- 11
- Approved
updated Sep 21, 2024
DmdAnal: Fast path for `multDmdType` (#25196)

!13181 · created Aug 23, 2024 by Sebastian Graf
demand analysis
- Closed
- 3
- Approved
updated Sep 13, 2024
Improvements from !5349: `diffUFM`, rename to `-ddump-dmdanal`, stricten `substBndr`

!11842 · created Dec 31, 2023 by Sebastian Graf
compiler perf demand analysis
- Closed
- 7
updated Jan 08, 2024
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
DmdAnal: Unleash demand signatures of free RULE and unfolding binders (#23208)

!10237 · created Apr 03, 2023 by Sebastian Graf
demand analysis
- Closed
- 10
- 1
- Approved
updated Sep 20, 2023
Provide a demand signature for atomicModifyMutVar.# (#23047)

!10654 · created Jun 13, 2023 by Sebastian Graf
demand analysis primops
- Closed
- 2
updated Jun 14, 2023
Handle shadowing in DmdAnal (#22718)

!9659 · created Jan 09, 2023 by Sebastian Graf
demand analysis
- Closed
- 10
- Approved
updated Apr 18, 2023
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
`exprOkForSpeculation` for Note [IO hack in the demand analyser]

!1829 · created Sep 27, 2019 by Sebastian Graf 8.10.1
demand analysis
- Closed
- 7
updated Mar 06, 2023
DmdAnal: Don't panic in addCaseBndrDmd (#22039)

!8881 · created Aug 22, 2022 by Sebastian Graf
demand analysis
- Closed
- 17
- Approved
updated Feb 09, 2023
Document the Core Strict Field Invariant (#20749)

!9763 · created Jan 20, 2023 by Sebastian Graf
core lint demand analysis pointer tagging simplifier
- Closed
- 11
- Approved
updated Jan 30, 2023
Do not strictify a DFun's parameter dictionaries (#22549)

!9485 · created Dec 06, 2022 by Sebastian Graf
demand analysis
- Closed
- 15
- Approved
updated Dec 25, 2022
DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)

!9395 · created Nov 22, 2022 by Sebastian Graf
demand analysis
- Closed
- 31
updated Dec 15, 2022
WorkWrap and Boxity: Better handling of unboxed tuples

!9286 · created Nov 04, 2022 by Sebastian Graf
demand analysis worker/wrapper transformation
- Closed
- 44
- Approved
updated Nov 11, 2022
WIP: DmdAnal: Reflect precise exceptions in demand types

!3014 · created Apr 01, 2020 by Sebastian Graf
demand analysis exceptions primop effects simplifier
- Closed
- 58
updated Apr 28, 2022
Eta reduction based on evaluation context (#21261)

!7820 · created Mar 19, 2022 by Sebastian Graf
Arity and eta conversion demand analysis
- Closed
- 19
updated Apr 12, 2022
Demand: Let `Boxed` win in `lubBoxity` (#21119)

!7609 · created Feb 21, 2022 by Sebastian Graf
demand analysis
- Closed
- 14
updated Mar 16, 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

Prev
1
2
3
Next