Quantcast
Channel: GHC: Ticket #7116: Missing optimisation: strength reduction of floating-point multiplication
Browsing latest articles
Browse All 17 View Live

Article 7

jstolarek: the ticket is about doing the optimisation for floating-point multiplication, not integer. We don't want to do it for integer operations, because it's better to do this in the code...

View Article



owner deleted

ownerpcapriotti deleted

View Article

status changed

status changed from new to patch

View Article

Article 4

Provded patch rewrites 2 * x for Int and Word to x + x, which kills the optimisation done at the later stage of the pipeline in CmmOpt: turning multiplications and divisons by powers of two into...

View Article

owner set

owner set to pcapriotti Paolo: yes, please commit your patch. But could you add a comment Note [Strength reduction] that explains how it works. In particular the "lit" is always 2, and the op is always...

View Article


Article 2

Looks good to me.

View Article

Article 1

I think this should be in PrelRules. Attached is a patch. Could it be done more generally?

View Article

attachment set

attachment set to 7116.patch

View Article


status changed; resolution set

status changed from patch to closedresolution set to fixed I pushed fix into HEAD. Really sorry about the merge commit - the moment I pushed I realized that I didn't pull with --rebase.

View Article


Article 9

commit 838e2fda9892e61da85187803cce45b3f815b86eAuthor: Jan Stolarek <jan.stolarek@p.lodz.pl> Date: Mon Jul 8 16:20:43 2013 +0100 Add strength reduction rules (Fixes #7116) This patch adds rules...

View Article

cc set

ccjan.stolarek@… added

View Article

owner set

owner set to Jan Stolarek <jan.stolarek@…> In 67d6a196d299baa99b11dd6be82472b91129618d/testsuite: Fix #7116 failing due to uniques

View Article

testcase set

testcase set to numeric/should_compile/T7116

View Article

Browsing latest articles
Browse All 17 View Live




Latest Images