paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-06-26 15:18:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

* enabled And2Test optimization

Browse Source 
git-svn-id: trunk@33935 -
This commit is contained in:
florian 2016-06-07 20:01:11 +00:00
parent a5fc8b629a
commit ff506eb219
1 changed files with 23 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
compiler/x86/aoptx86.pas
View File

@ -1119,12 +1119,13 @@ unit aoptx86;
function TX86AsmOptimizer.OptPass1AND(var p : tai) : boolean; function TX86AsmOptimizer.OptPass1AND(var p : tai) : boolean;
var var
hp1 : tai; hp1 : tai;
GetNextIntruction_p : Boolean;
begin begin
Result:=false; Result:=false;
GetNextIntruction_p:=GetNextInstruction(p, hp1);
if GetNextIntruction_p and if not(GetNextInstruction(p, hp1)) then
MatchOpType(p,top_const,top_reg) and exit;
if MatchOpType(p,top_const,top_reg) and
MatchInstruction(hp1,A_AND,[]) and MatchInstruction(hp1,A_AND,[]) and
MatchOpType(hp1,top_const,top_reg) and MatchOpType(hp1,top_const,top_reg) and
(getsupreg(taicpu(p).oper[1]^.reg) = getsupreg(taicpu(hp1).oper[1]^.reg)) and (getsupreg(taicpu(p).oper[1]^.reg) = getsupreg(taicpu(hp1).oper[1]^.reg)) and
@ -1146,8 +1147,7 @@ unit aoptx86;
Result:=true; Result:=true;
exit; exit;
end end
else if GetNextIntruction_p and else if MatchOpType(p,top_const,top_reg) and
MatchOpType(p,top_const,top_reg) and
MatchInstruction(hp1,A_MOVZX,[]) and MatchInstruction(hp1,A_MOVZX,[]) and
(taicpu(hp1).oper[0]^.typ = top_reg) and (taicpu(hp1).oper[0]^.typ = top_reg) and
MatchOperand(taicpu(p).oper[1]^,taicpu(hp1).oper[1]^) and MatchOperand(taicpu(p).oper[1]^,taicpu(hp1).oper[1]^) and
@ -1174,8 +1174,7 @@ unit aoptx86;
hp1.free; hp1.free;
end; end;
end end
else if GetNextIntruction_p and else if MatchOpType(p,top_const,top_reg) and
MatchOpType(p,top_const,top_reg) and
MatchInstruction(hp1,A_MOVSX,A_MOVSXD,[]) and MatchInstruction(hp1,A_MOVSX,A_MOVSXD,[]) and
(taicpu(hp1).oper[0]^.typ = top_reg) and (taicpu(hp1).oper[0]^.typ = top_reg) and
MatchOperand(taicpu(p).oper[1]^,taicpu(hp1).oper[1]^) and MatchOperand(taicpu(p).oper[1]^,taicpu(hp1).oper[1]^) and
@ -1203,18 +1202,22 @@ unit aoptx86;
asml.remove(hp1); asml.remove(hp1);
hp1.free; hp1.free;
end; end;
end; end
else if (taicpu(p).oper[1]^.typ = top_reg) and
(* else
{change "and x, reg; jxx" to "test x, reg", if reg is deallocated before the
jump, but only if it's a conditional jump (PFV) }
if (taicpu(p).oper[1]^.typ = top_reg) and
GetNextInstruction(p, hp1) and
(hp1.typ = ait_instruction) and (hp1.typ = ait_instruction) and
(taicpu(hp1).is_jmp) and (taicpu(hp1).is_jmp) and
(taicpu(hp1).opcode<>A_JMP) and (taicpu(hp1).opcode<>A_JMP) and
not(getsupreg(taicpu(p).oper[1]^.reg) in UsedRegs) then not(RegInUsedRegs(taicpu(p).oper[1]^.reg,UsedRegs)) then
taicpu(p).opcode := A_TEST;*) { change
and x, reg
jxx
to
test x, reg
jxx
if reg is deallocated before the
jump, but only if it's a conditional jump (PFV)
}
taicpu(p).opcode := A_TEST;
end; end;