summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt
Commit message (Expand)AuthorAgeFilesLines
* Do arity trimming at bindings, rather than in exprAritySimon Peyton Jones2022-05-305-49/+91
* Factor out `initArityOps` to `GHC.Driver.Config.*` moduleJohn Ericson2022-05-261-6/+2
* Optimiser: avoid introducing bad rep-polysheaf2022-05-261-15/+30
* Avoid global compiler state for `GHC.Core.Opt.WorkWrap`Dominik Peteler2022-05-263-23/+12
* Add Haddocks for `WwOpts`John Ericson2022-05-261-5/+8
* Fix compilation with -haddock on GHC <= 8.10Zubin Duggal2022-05-241-2/+2
* Improve FloatOut and SpecConstrwip/T21386Simon Peyton Jones2022-05-232-40/+75
* Modularize GHC.Core.Opt.LiberateCasewip/cmm-dominatorsDominik Peteler2022-05-222-16/+35
* Change `Backend` type and remove direct dependencieswip/backend-as-recordNorman Ramsey2022-05-211-2/+2
* Remove pprTrace from pushCoercionIntoLambda (#21555)Matthew Pickering2022-05-201-1/+2
* Misc cleanupKrzysztof Gogolewski2022-05-162-7/+6
* Decouple dynflags in GHC.Core.Opt.Arity (related to #17957)Andre Marianiello2022-05-122-24/+31
* Specialiser: saturate DFuns correctlySimon Peyton Jones2022-05-111-4/+7
* Improve "Glomming" noteGergo ERDI2022-05-101-0/+6
* Change Specialise to use OrdList.Rob2022-05-081-23/+23
* SpecConstr: Properly create rules for call patterns representing partial appl...Andreas Klebinger2022-05-052-19/+65
* Assume at least one evaluation for nested SubDemands (#21081, #21133)wip/T21081Sebastian Graf2022-05-033-9/+18
* Fix several note referencesKrzysztof Gogolewski2022-05-022-2/+2
* Revert "Make the specialiser handle polymorphic specialisation"Matthew Pickering2022-04-301-171/+40
* Improve floated dicts in SpecialiseSimon Peyton Jones2022-04-221-91/+112
* Fix substitution in bindAuxiliaryDictSimon Peyton Jones2022-04-203-18/+25
* Specialise: Check `typeDeterminesValue` before specialising on an interesting...wip/T19644Sebastian Graf2022-04-121-4/+10
* Specialising through specialised method calls (#19644)Sebastian Graf2022-04-122-64/+172
* Eta reduction based on evaluation context (#21261)Sebastian Graf2022-04-123-30/+75
* Fix missing SymCo in pushCoercionIntoLambdasheaf2022-04-091-1/+5
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-098-151/+211
* Tiny documentation wibbleSimon Peyton Jones2022-04-081-2/+2
* Use prepareBinding in tryCastWorkerWrapperSimon Peyton Jones2022-04-074-164/+206
* Minor cleanupKrzysztof Gogolewski2022-04-011-1/+1
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-295-12/+11
* Add the OPAQUE pragmaChristiaan Baaij2022-03-256-8/+99
* WorkWrap: Handle partial FUN apps in `isRecDataCon` (#21265)Sebastian Graf2022-03-242-93/+74
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-161-24/+114
* DmdAnal: Don't unbox recursive data types (#11545)Sebastian Graf2022-03-143-42/+83
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-148-33/+49
* Worker/wrapper: Preserve float barriers (#21150)Sebastian Graf2022-03-134-84/+129
* Fix bug in weak loop-breakers in OccurAnalSimon Peyton Jones2022-03-131-10/+24
* Improve efficiency of extending a RuleEnv with a new RuleBaseMatthew Pickering2022-02-262-3/+2
* Use a more up-to-date snapshot of the current rules in the simplifierMatthew Pickering2022-02-262-16/+24
* Suggestions due to hlintMatthew Pickering2022-02-242-3/+1
* Tag inference work.Andreas Klebinger2022-02-127-53/+208
* Add late cost centre supportAndreas Klebinger2022-02-102-1/+11
* Fix some notesMatthew Pickering2022-02-087-21/+21
* Rewrite CallerCC parser using ReadPMatthew Pickering2022-02-031-11/+14
* More accurate unboxingSimon Peyton Jones2022-02-024-376/+442
* Two small improvements in the SimplifierSimon Peyton Jones2022-02-022-8/+9
* Fix a few Note inconsistenciesBen Gamari2022-02-0112-37/+36
* Consistently upper-case "Note ["Ben Gamari2022-02-015-9/+9
* Better occurrence analysis with castsSimon Peyton Jones2022-01-263-257/+317
* Simplifier: Do the right thing if doFloatFromRhs = FalseJoachim Breitner2022-01-261-7/+7