summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt
Commit message (Expand)AuthorAgeFilesLines
* 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
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-265-64/+105
* Levity-polymorphic arrays and mutable variablessheaf2022-01-261-3/+12
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-1111-20/+22
* Use primOpIds cache more often (#20857)Sylvain Henry2022-01-062-10/+19
* Multiple Home UnitsMatthew Pickering2021-12-281-1/+3
* Fix typosKrzysztof Gogolewski2021-12-256-9/+9
* Make callerCC profiling mode represent entry counter flag.Andreas Klebinger2021-12-231-2/+3
* Give plugins a better interface (#17957)Sylvain Henry2021-12-211-1/+1
* Add `Opt_CoreConstantFolding` to turn on constant folding (#20500)Gergo ERDI2021-12-091-1/+2
* Use same optimization pipeline regardless of `optLevel` (#20500)Gergo ERDI2021-12-091-13/+9
* Use `simplify` in non-optimizing build pipeline (#20500)Gergo ERDI2021-11-251-4/+2
* Compare types of recursive let-bindings in alpha-equivalenceChristiaan Baaij2021-11-252-12/+8
* Better wrapper activation calculationSimon Peyton Jones2021-11-221-29/+44
* Increase type sharingBen Gamari2021-11-172-4/+4
* Refactoring: Move DataConEnv to GHC.Core.DataConRyan Scott2021-11-151-2/+0
* Get the in-scope set right in simplArgSimon Peyton Jones2021-11-121-2/+5
* SpecConstr - Attach evaldUnfolding to known evaluated arguments.Andreas Klebinger2021-11-091-31/+153
* Fix Int64ToInt/Word64ToWord rules on 32-bit architecturesSylvain Henry2021-11-061-8/+8
* Add missing Int64/Word64 constant-folding rulesSylvain Henry2021-11-061-0/+16
* WorkWrap: Update Unfolding with WW'd body prior to `tryWW` (#20510)Sebastian Graf2021-10-291-3/+4
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-246-287/+413
View Lorry Controller Status