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

* optimize tests for a single bit "(a and one_bit_mask_const) = <> one_bit_mask_const" into "(a and one_bit_mask_const) <> = 0" to enable further CPU specific optimizations.

Browse Source
This commit is contained in:
Yuriy Sydorov 2021-08-09 18:38:31 +03:00
parent 45c6833258
commit 6a3f32ba69
1 changed files with 50 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

51
compiler/nadd.pas
View File

@ -590,7 +590,7 @@ implementation
var
t,vl,lefttarget,righttarget: tnode;
lt,rt : tnodetype;
lt,rt,nt : tnodetype;
hdef,
rd,ld , inttype: tdef;
rv,lv,v : tconstexprint;
@ -1726,6 +1726,55 @@ implementation
@IsAndOrAndNot,@TransformAndOrAndNot,Result) then
exit;
end;
{ optimize tests for a single bit:
(a and one_bit_mask_const) = <> one_bit_mask_const
into
(a and one_bit_mask_const) <> = 0
}
if (nodetype in [equaln,unequaln]) then
begin
if (lt=andn) and (rt=ordconstn) then
begin
t:=left;
cr:=tordconstnode(right).value;
end
else
if (rt=andn) and (lt=ordconstn) then
begin
t:=right;
cr:=tordconstnode(left).value;
end
else
begin
t:=nil;
cr:=0;
end;
if (t<>nil) and (PopCnt(cr) = 1) then
begin
if is_constintnode(taddnode(t).left) then
vl:=taddnode(t).left
else
if is_constintnode(taddnode(t).right) then
vl:=taddnode(t).right
else
vl:=nil;
if (vl<>nil) and (tordconstnode(vl).value=cr) then
begin
if nodetype=equaln then
nt:=unequaln
else
nt:=equaln;
result:=caddnode.create(nt,t,cordconstnode.create(0,vl.resultdef,false));
if t=left then
left:=nil
else
right:=nil;
exit;
end;
end;
end;
end;
end;