Apple-2gs-SW
/
ORCA-C
mirror of https://github.com/byteworksinc/ORCA-C.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Optimize unsigned comparisons with 0. 

These are either tautological or can be turned into equality/inequality tests, which generate better code.
This commit is contained in:
Stephen Heumann 2021-03-01 22:12:38 -06:00
parent da715ae854
commit dcbeb3bc61
1 changed files with 35 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
DAG.pas
View File

@ -1775,12 +1775,15 @@ case op^.opcode of {check for optimizations of this node}
end; {case pc_ixa}
pc_leq, pc_les, pc_geq, pc_grt: begin {pc_leq, pc_les, pc_geq, pc_grt}
if (op^.opcode = pc_leq) and (op^.optype in [cgWord,cgUWord]) then
if op^.right^.opcode = pc_ldc then
if op^.right^.q < maxint then begin
op^.right^.q := op^.right^.q + 1;
op^.opcode := pc_les;
end; {if}
if op^.left^.opcode = pc_ldc then begin
ReverseChildren(op);
case op^.opcode of
pc_leq: op^.opcode := pc_geq;
pc_les: op^.opcode := pc_grt;
pc_geq: op^.opcode := pc_leq;
pc_grt: op^.opcode := pc_les;
end; {case}
end; {if}
if (op^.optype = cgWord) then
if (TypeOf(op^.right) = cgUByte)
or ((op^.right^.opcode = pc_ldc) and (op^.right^.q >= 0)
@ -1789,6 +1792,32 @@ case op^.opcode of {check for optimizations of this node}
or ((op^.left^.opcode = pc_ldc) and (op^.left^.q >= 0)
and (op^.left^.optype in [cgByte,cgUByte,cgWord])) then
op^.optype := cgUWord;
if op^.right^.opcode = pc_ldc then
if ((op^.optype = cgUWord) and (op^.right^.q = 0))
or ((op^.optype = cgULong) and (op^.right^.lval = 0))
or ((op^.optype = cgUQuad)
and (op^.right^.qval.lo = 0) and (op^.right^.qval.hi = 0)) then
begin
case op^.opcode of
pc_leq: op^.opcode := pc_equ;
pc_grt: op^.opcode := pc_neq;
pc_les: if not SideEffects(op^.left) then begin
op^.right^.optype := cgWord;
op^.right^.q := 0;
opv := op^.right;
end; {if}
pc_geq: if not SideEffects(op^.left) then begin
op^.right^.optype := cgWord;
op^.right^.q := 1;
opv := op^.right;
end; {if}
end; {case}
end {if}
else if (op^.opcode = pc_leq) and (op^.optype in [cgWord,cgUWord]) then
if op^.right^.q < maxint then begin
op^.right^.q := op^.right^.q + 1;
op^.opcode := pc_les;
end; {if}
end; {case pc_leq, pc_les, pc_geq, pc_grt}
pc_lnd: begin {pc_lnd}