summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Opt
Commit message (Expand)AuthorAgeFilesLines
* Add fused multiply-add instructionssheaf2023-05-111-0/+156
* DmdAnal: Unleash demand signatures of free RULE and unfolding binders (#23208)Sebastian Graf2023-04-262-92/+132
* Misc cleanupKrzysztof Gogolewski2023-04-173-15/+12
* Transfer DFunId_ness onto specialised bindingsSimon Peyton Jones2023-04-161-41/+78
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-3/+3
* Add quot folding rule (#22152)Sylvain Henry2023-04-131-15/+82
* Add quotRem rules (#22152)Sylvain Henry2023-04-132-0/+65
* Simplifier: `countValArgs` should not count Type args (#23102)Sebastian Graf2023-03-131-1/+1
* Simplify: Move `wantEtaExpansion` before expensive `do_eta_expand` checkSebastian Graf2023-03-101-5/+6
* DmdAnal: Fix a panic on OPAQUE and trivial/PAP RHS (#22997)Sebastian Graf2023-03-101-10/+12
* More fixes for `type data` declarationsSimon Peyton Jones2023-03-031-1/+3
* Get the right in-scope set in etaBodyForJoinPointSimon Peyton Jones2023-03-021-4/+11
* constant folding: Correct type of decodeDouble_Int64 ruleMatthew Pickering2023-03-021-5/+1
* Take more care with unlifted bindings in the specialiserSimon Peyton Jones2023-02-281-2/+27
* Account for local rules in specImportsSimon Peyton Jones2023-02-281-29/+44
* Fix shadowing bug in prepareAltsSimon Peyton Jones2023-02-242-13/+26
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-105-150/+202
* Revert "Don't keep exit join points so much"Matthew Pickering2023-02-085-113/+41
* Fix CallerCC potentially shadowing other cost centres.Andreas Klebinger2023-02-031-1/+1
* Treat existentials correctly in dubiousDataConInstArgTysSimon Peyton Jones2023-02-011-8/+17
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-313-4/+4
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-303-19/+20
* Assorted changes to avoid Data.List.{head,tail}Bodigrim2023-01-281-1/+1
* Fix in-scope set in specImportsSimon Peyton Jones2023-01-251-35/+51
* Separate core inlining logic from `Unfolding` type.Andreas Klebinger2023-01-165-0/+559
* Fix contification with stable unfoldings (#22428)Sebastian Graf2023-01-122-241/+401
* Fix finaliseArgBoxities for OPAQUE functionSimon Peyton Jones2023-01-111-22/+37
* Fix void-arg-adding mechanism for worker/wrapperSimon Peyton Jones2023-01-112-75/+131
* Misc cleanupKrzysztof Gogolewski2023-01-111-3/+1
* Handle shadowing in DmdAnal (#22718)Sebastian Graf2023-01-091-7/+31
* Make FloatIn robust to shadowingSimon Peyton Jones2023-01-071-103/+158
* Refactor mkRuntimeErrorSimon Peyton Jones2022-12-223-3/+3
* Fix shadowing lacuna in OccurAnalSimon Peyton Jones2022-12-212-23/+34
* Abstract over the right free varsSimon Peyton Jones2022-12-212-51/+108
* Fix loop in the interface representation of some `Unfolding` fieldsGergő Érdi2022-12-132-3/+3
* Do not strictify a DFun's parameter dictionaries (#22549)Sebastian Graf2022-12-081-38/+62
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-0/+5
* Add a missing varToCoreExpr in etaBodyForJoinPointSimon Peyton Jones2022-12-012-34/+59
* DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)Sebastian Graf2022-11-302-4/+4
* Be a bit more selective about floating bottoming expressionsSimon Peyton Jones2022-11-291-43/+60
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-253-22/+26
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-234-14/+8
* Simplifier: Consider `seq` as a `BoringCtxt` (#22317)Sebastian Graf2022-11-191-6/+56
* Implement UNPACK support for sum types.Madeline Haraj2022-11-141-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-1114-115/+109
* Weaken wrinkle 1 of Note [Scrutinee Constant Folding]Matthew Craven2022-11-111-16/+101
* Use a more efficient printer for code generation (#21853)Krzysztof Gogolewski2022-11-111-0/+1
* Add a fast path for data constructor workersSimon Peyton Jones2022-11-112-18/+54
* Boxity: Handle argument budget of unboxed tuples correctly (#21737)Sebastian Graf2022-11-102-50/+174
* WorkWrap: Unboxing unboxed tuples is not always useful (#22388)Sebastian Graf2022-11-101-12/+28
View Lorry Controller Status