diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2013-08-12 09:41:58 +0100 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2013-08-12 09:41:58 +0100 |
| commit | c24ce5a18350265f94834299578bf5fe68dbf01a (patch) | |
| tree | f289d919da4f735a561f05ae3a912259ce0fa867 /compiler/prelude | |
| parent | 789acb2643bcc730e689f23d7f937e0e3cc12632 (diff) | |
| download | haskell-c24ce5a18350265f94834299578bf5fe68dbf01a.tar.gz | |
Comments only
Diffstat (limited to 'compiler/prelude')
| -rw-r--r-- | compiler/prelude/PrelRules.lhs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/compiler/prelude/PrelRules.lhs b/compiler/prelude/PrelRules.lhs index 6faecaaef9..96e39fe641 100644 --- a/compiler/prelude/PrelRules.lhs +++ b/compiler/prelude/PrelRules.lhs @@ -672,12 +672,12 @@ strengthReduction two_lit add_op = do -- Note [Strength reduction] return arg ] return $ Var (mkPrimOpId add_op) `App` arg `App` arg -{- Note [Strength reduction] - -This rule turns multiplications of the form 2 * x and x * 2 into x + x addition -because addition costs less than multiplication. See #7116 - --} +-- Note [Strength reduction] +-- ~~~~~~~~~~~~~~~~~~~~~~~~~ +-- +-- This rule turns floating point multiplications of the form 2.0 * x and +-- x * 2.0 into x + x addition, because addition costs less than multiplication. +-- See #7116 trueVal, falseVal :: Expr CoreBndr trueVal = Var trueDataConId |