Commit c24ce5a1 authored by Jan Stolarek's avatar Jan Stolarek

Comments only

parent 789acb26
......@@ -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
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment