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

* less strict condition when a loop decrement can be moved to the end of a loop to increase code quality

Browse Source
This commit is contained in:
florian 2024-11-27 22:53:44 +01:00
parent a30222daed
commit 246d7865c5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/nflw.pas
View File

@ -1982,7 +1982,7 @@ implementation
{ check if we can pred/succ the loop var at the end } { check if we can pred/succ the loop var at the end }
do_loopvar_at_end:=(lnf_dont_mind_loopvar_on_exit in loopflags) and do_loopvar_at_end:=(lnf_dont_mind_loopvar_on_exit in loopflags) and
is_constnode(right) and is_constnode(t1) and is_constnode(t1) and
{ we cannot test at the end after the pred/succ if the to value is equal to the max./min. value of the counter variable { we cannot test at the end after the pred/succ if the to value is equal to the max./min. value of the counter variable
because we either get an overflow/underflow or the compiler removes the check as it never can be true } because we either get an overflow/underflow or the compiler removes the check as it never can be true }
@ -2129,7 +2129,7 @@ implementation
end end
else else
begin begin
{ is a simple comparision for equality sufficient? } { is a simple comparison for equality sufficient? }
if do_loopvar_at_end and (lnf_backward in loopflags) and (lnf_counter_not_used in loopflags) then if do_loopvar_at_end and (lnf_backward in loopflags) and (lnf_counter_not_used in loopflags) then
addstatement(ifstatements,cwhilerepeatnode.create(caddnode.create_internal(equaln,leftcopy, addstatement(ifstatements,cwhilerepeatnode.create(caddnode.create_internal(equaln,leftcopy,
caddnode.create_internal(subn,t1.getcopy,cordconstnode.create(1,t1.resultdef,false))),loopblock,false,true)) caddnode.create_internal(subn,t1.getcopy,cordconstnode.create(1,t1.resultdef,false))),loopblock,false,true))