paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-09-13 21:11:23 +02:00
Code Issues Packages Projects Releases Wiki Activity

+ fold real constants c1,c2 for v+c1+c2 or c1+(c2+v) (+ being either + or *) as well if fastmath is enabled

Browse Source
This commit is contained in:
florian 2021-10-31 17:22:15 +01:00
parent 284317d877
commit 5a617cd108
1 changed files with 13 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
compiler/nadd.pas
View File

@ -1122,8 +1122,6 @@ implementation
end; end;
{$if not defined(FPC_SOFT_FPUX80)} {$if not defined(FPC_SOFT_FPUX80)}
{ bestrealrec is 2.7.1+ only }
{ replace .../const by a multiplication, but only if fastmath is enabled or { replace .../const by a multiplication, but only if fastmath is enabled or
the division is done by a power of 2, do not mess with special floating point values like Inf etc. the division is done by a power of 2, do not mess with special floating point values like Inf etc.
@ -1450,7 +1448,7 @@ implementation
{ slow simplifications and/or more sophisticated transformations which might make debugging harder } { slow simplifications and/or more sophisticated transformations which might make debugging harder }
if cs_opt_level2 in current_settings.optimizerswitches then if cs_opt_level2 in current_settings.optimizerswitches then
begin begin
if nodetype=addn then if nodetype in [addn,muln] then
begin begin
{ try to fold { try to fold
op op
@ -1459,10 +1457,13 @@ implementation
/ \ / \
val const2 val const2
while operating on strings while operating on strings or reals
} }
if ((rt=stringconstn) or is_constcharnode(right)) and (left.nodetype=nodetype) and if (left.nodetype=nodetype) and
(compare_defs(resultdef,left.resultdef,nothingn)=te_exact) and ((taddnode(left).right.nodetype=stringconstn) or is_constcharnode(taddnode(left).right)) then (((nodetype=addn) and ((rt=stringconstn) or is_constcharnode(right)) and ((taddnode(left).right.nodetype=stringconstn) or is_constcharnode(taddnode(left).right))) or
((nodetype in [addn,muln]) and (cs_opt_fastmath in current_settings.optimizerswitches) and (rt=realconstn) and (taddnode(left).right.nodetype=realconstn))
) and
(compare_defs(resultdef,left.resultdef,nothingn)=te_exact) then
begin begin
Result:=SwapRightWithLeftLeft; Result:=SwapRightWithLeftLeft;
exit; exit;
@ -1475,10 +1476,13 @@ implementation
/ \ / \
const2 val const2 val
while operating on strings while operating on strings or reals
} }
if ((lt=stringconstn) or is_constcharnode(left)) and (right.nodetype=nodetype) and if (right.nodetype=nodetype) and
(compare_defs(resultdef,right.resultdef,nothingn)=te_exact) and ((taddnode(right).left.nodetype=stringconstn) or is_constcharnode(taddnode(right).left)) then (((nodetype=addn) and ((lt=stringconstn) or is_constcharnode(left)) and ((taddnode(right).left.nodetype=stringconstn) or is_constcharnode(taddnode(right).left))) or
((nodetype in [addn,muln]) and (cs_opt_fastmath in current_settings.optimizerswitches) and (lt=realconstn) and (taddnode(right).left.nodetype=realconstn))
) and
(compare_defs(resultdef,right.resultdef,nothingn)=te_exact) then
begin begin
Result:=SwapLeftWithRightRight; Result:=SwapLeftWithRightRight;
exit; exit;