Apple-2gs-SW/ORCA-C
1
0
Fork 0
mirror of https://github.com/byteworksinc/ORCA-C.git synced 2025-08-10 22:24:59 +00:00
Code Issues Projects Releases Wiki Activity

Let functions store a long long return value directly into a variable in the caller.

Browse Source 
This optimization works when the return value is stored directly to a local variable and not used otherwise (typically only recognized when using intermediate code peephole optimization).
This commit is contained in:
Stephen Heumann
2021-02-21 18:37:17 -06:00
parent daff197811
commit b0a61fbadf
1 changed files with 48 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

69
Gen.pas
View File

@@ -5036,6 +5036,7 @@ procedure GenTree {op: icptr};
var var
lab1: integer; {return point} lab1: integer; {return point}
lLong: longType; {used to reserve gLong} lLong: longType; {used to reserve gLong}
lQuad: quadType; {saved copy of gQuad}
lArgsSize: integer; {saved copy of argsSize} lArgsSize: integer; {saved copy of argsSize}
extraStackSize: integer; {size of extra stuff pushed on stack} extraStackSize: integer; {size of extra stuff pushed on stack}
@@ -5045,12 +5046,13 @@ procedure GenTree {op: icptr};
extraStackSize := 0; extraStackSize := 0;
{For functions returning cg(U)Quad, make space for result} {For functions returning cg(U)Quad, make space for result}
if op^.optype in [cgQuad,cgUQuad] then begin if op^.optype in [cgQuad,cgUQuad] then
GenImplied(m_tsc); if gQuad.preference <> localAddress then begin
GenImplied(m_sec); GenImplied(m_tsc);
GenNative(m_sbc_imm, immediate, 8, nil, 0); GenImplied(m_sec);
GenImplied(m_tcs); GenNative(m_sbc_imm, immediate, 8, nil, 0);
end; {if} GenImplied(m_tcs);
end; {if}
{save the stack register} {save the stack register}
if saveStack or checkStack or (op^.q <> 0) then begin if saveStack or checkStack or (op^.q <> 0) then begin
@@ -5066,6 +5068,7 @@ procedure GenTree {op: icptr};
{generate parameters} {generate parameters}
{place the operands on the stack} {place the operands on the stack}
lQuad := gQuad;
lLong := gLong; lLong := gLong;
GenTree(op^.left); GenTree(op^.left);
@@ -5073,14 +5076,22 @@ procedure GenTree {op: icptr};
gLong.preference := onStack; gLong.preference := onStack;
GenTree(op^.right); GenTree(op^.right);
gLong := lLong; gLong := lLong;
gQuad := lQuad;
{For functions returning cg(U)Quad, x = address to store result in} {For functions returning cg(U)Quad, x = address to store result in}
if op^.optype in [cgQuad,cgUQuad] then begin if op^.optype in [cgQuad,cgUQuad] then
GenImplied(m_tsc); if gQuad.preference = localAddress then begin
GenImplied(m_clc); GenImplied(m_tdc);
GenNative(m_adc_imm, immediate, argsSize+extraStackSize+4+1, nil, 0); GenImplied(m_clc);
GenImplied(m_tax); GenNative(m_adc_imm, immediate, gQuad.disp, nil, 0);
end; {if} GenImplied(m_tax);
end {if}
else begin
GenImplied(m_tsc);
GenImplied(m_clc);
GenNative(m_adc_imm, immediate, argsSize+extraStackSize+4+1, nil, 0);
GenImplied(m_tax);
end; {else}
{create a return label} {create a return label}
lab1 := GenLabel; lab1 := GenLabel;
@@ -5130,7 +5141,10 @@ procedure GenTree {op: icptr};
{save the returned value} {save the returned value}
gLong.where := A_X; gLong.where := A_X;
gQuad.where := onStack; if gQuad.preference = localAddress then
gQuad.where := localAddress
else
gQuad.where := onStack;
SaveRetValue(op^.optype); SaveRetValue(op^.optype);
argsSize := lArgsSize; argsSize := lArgsSize;
end; {GenCui} end; {GenCui}
@@ -5142,6 +5156,7 @@ procedure GenTree {op: icptr};
var var
lLong: longType; {used to reserve gLong} lLong: longType; {used to reserve gLong}
lQuad: quadType; {saved copy of gQuad}
lArgsSize: integer; {saved copy of argsSize} lArgsSize: integer; {saved copy of argsSize}
extraStackSize: integer; {size of extra stuff pushed on stack} extraStackSize: integer; {size of extra stuff pushed on stack}
@@ -5151,12 +5166,13 @@ procedure GenTree {op: icptr};
extraStackSize := 0; extraStackSize := 0;
{For functions returning cg(U)Quad, make space for result} {For functions returning cg(U)Quad, make space for result}
if op^.optype in [cgQuad,cgUQuad] then begin if op^.optype in [cgQuad,cgUQuad] then
GenImplied(m_tsc); if gQuad.preference <> localAddress then begin
GenImplied(m_sec); GenImplied(m_tsc);
GenNative(m_sbc_imm, immediate, 8, nil, 0); GenImplied(m_sec);
GenImplied(m_tcs); GenNative(m_sbc_imm, immediate, 8, nil, 0);
end; {if} GenImplied(m_tcs);
end; {if}
{save the stack register} {save the stack register}
if saveStack or checkStack or (op^.q <> 0) then begin if saveStack or checkStack or (op^.q <> 0) then begin
@@ -5171,13 +5187,21 @@ procedure GenTree {op: icptr};
end; {if} end; {if}
{generate parameters} {generate parameters}
lQuad := gQuad;
lLong := gLong; lLong := gLong;
GenTree(op^.left); GenTree(op^.left);
gLong := lLong; gLong := lLong;
gQuad := lQuad;
{For functions returning cg(U)Quad, x = address to store result in} {For functions returning cg(U)Quad, x = address to store result in}
if op^.optype in [cgQuad,cgUQuad] then if op^.optype in [cgQuad,cgUQuad] then
if argsSize + extraStackSize in [0,1,2] then begin if gQuad.preference = localAddress then begin
GenImplied(m_tdc);
GenImplied(m_clc);
GenNative(m_adc_imm, immediate, gQuad.disp, nil, 0);
GenImplied(m_tax);
end {if}
else if argsSize + extraStackSize in [0,1,2] then begin
GenImplied(m_tsx); GenImplied(m_tsx);
GenImplied(m_inx); GenImplied(m_inx);
if argsSize + extraStackSize in [1,2] then begin if argsSize + extraStackSize in [1,2] then begin
@@ -5225,7 +5249,10 @@ procedure GenTree {op: icptr};
{save the returned value} {save the returned value}
gLong.where := A_X; gLong.where := A_X;
gQuad.where := onStack; if gQuad.preference = localAddress then
gQuad.where := localAddress
else
gQuad.where := onStack;
SaveRetValue(op^.optype); SaveRetValue(op^.optype);
argsSize := lArgsSize; argsSize := lArgsSize;
end; {GenCup} end; {GenCup}