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

* int64 case fixes

Browse Source 
* explicit longint type casts for constants used in assembler code
    generation s,ice they can be cardinals too (or even int64's in case of
    range check errors)
This commit is contained in:
Jonas Maebe 2000-12-18 17:45:32 +00:00
parent 69297c067d
commit 08f33f6156
1 changed files with 20 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
compiler/i386/n386set.pas
View File

@ -614,7 +614,7 @@ implementation
end end
else else
begin begin
emit_const_reg(A_CMP,opsize,t^._low,hregister); emit_const_reg(A_CMP,opsize,longint(t^._low),hregister);
emitjmp(C_Z,t^.statement); emitjmp(C_Z,t^.statement);
last:=t^._low; last:=t^._low;
end; end;
@ -639,7 +639,7 @@ implementation
end end
else else
begin begin
emit_const_reg(A_CMP,opsize,t^._low,hregister); emit_const_reg(A_CMP,opsize,longint(t^._low),hregister);
emitjmp(jmp_le,elselabel); emitjmp(jmp_le,elselabel);
end; end;
end; end;
@ -657,7 +657,7 @@ implementation
end end
else else
begin begin
emit_const_reg(A_CMP,opsize,t^._high,hregister); emit_const_reg(A_CMP,opsize,longint(t^._high),hregister);
emitjmp(jmp_lee,t^.statement); emitjmp(jmp_lee,t^.statement);
end; end;
@ -698,7 +698,7 @@ implementation
{ need we to test the first value } { need we to test the first value }
if first and (t^._low>get_min_value(left.resulttype)) then if first and (t^._low>get_min_value(left.resulttype)) then
begin begin
emit_const_reg(A_CMP,opsize,t^._low,hregister); emit_const_reg(A_CMP,opsize,longint(t^._low),hregister);
emitjmp(jmp_le,elselabel); emitjmp(jmp_le,elselabel);
end; end;
if t^._low=t^._high then if t^._low=t^._high then
@ -706,7 +706,7 @@ implementation
if t^._low-last=0 then if t^._low-last=0 then
emit_reg_reg(A_OR,opsize,hregister,hregister) emit_reg_reg(A_OR,opsize,hregister,hregister)
else else
gensub(t^._low-last); gensub(longint(t^._low-last));
last:=t^._low; last:=t^._low;
emitjmp(C_Z,t^.statement); emitjmp(C_Z,t^.statement);
end end
@ -718,10 +718,7 @@ implementation
if first then if first then
begin begin
{ have we to ajust the first value ? } { have we to ajust the first value ? }
if (with_sign and if (t^._low>get_min_value(left.resulttype)) then
(t^._low>get_min_value(left.resulttype))) or
(not with_sign and
(cardinal(t^._low) > cardinal(get_min_value(left.resulttype)))) then
gensub(t^._low); gensub(t^._low);
end end
else else
@ -732,10 +729,10 @@ implementation
{ note: you can't use gensub() here because dec doesn't } { note: you can't use gensub() here because dec doesn't }
{ change the carry flag (needed for jmp_lxx) (JM) } { change the carry flag (needed for jmp_lxx) (JM) }
emit_const_reg(A_SUB,opsize,t^._low-last,hregister); emit_const_reg(A_SUB,opsize,longint(t^._low-last),hregister);
emitjmp(jmp_le,elselabel); emitjmp(jmp_le,elselabel);
end; end;
emit_const_reg(A_SUB,opsize,t^._high-t^._low,hregister); emit_const_reg(A_SUB,opsize,longint(t^._high-t^._low),hregister);
emitjmp(jmp_lee,t^.statement); emitjmp(jmp_lee,t^.statement);
last:=t^._high; last:=t^._high;
end; end;
@ -785,10 +782,10 @@ implementation
begin begin
if not(jumptable_no_range) then if not(jumptable_no_range) then
begin begin
emit_const_reg(A_CMP,opsize,min_,hregister); emit_const_reg(A_CMP,opsize,longint(min_),hregister);
{ case expr less than min_ => goto elselabel } { case expr less than min_ => goto elselabel }
emitjmp(jmp_le,elselabel); emitjmp(jmp_le,elselabel);
emit_const_reg(A_CMP,opsize,max_,hregister); emit_const_reg(A_CMP,opsize,longint(max_),hregister);
emitjmp(jmp_gt,elselabel); emitjmp(jmp_gt,elselabel);
end; end;
getlabel(table); getlabel(table);
@ -816,7 +813,7 @@ implementation
new(hr); new(hr);
reset_reference(hr^); reset_reference(hr^);
hr^.symbol:=table; hr^.symbol:=table;
hr^.offset:=(-min_)*4; hr^.offset:=(-longint(min_))*4;
hr^.index:=hregister; hr^.index:=hregister;
hr^.scalefactor:=4; hr^.scalefactor:=4;
emit_ref(A_JMP,S_NO,hr); emit_ref(A_JMP,S_NO,hr);
@ -834,7 +831,8 @@ implementation
end; end;
var var
lv,hv,max_label,labels : longint; max_label: tconstexprint;
lv,hv,labels : longint;
max_linear_list : longint; max_linear_list : longint;
otl, ofl: pasmlabel; otl, ofl: pasmlabel;
{$ifdef Delphi} {$ifdef Delphi}
@ -1071,7 +1069,13 @@ begin
end. end.
{ {
$Log$ $Log$
Revision 1.8 2000-12-16 15:58:18 jonas Revision 1.9 2000-12-18 17:45:32 jonas
* int64 case fixes
* explicit longint type casts for constants used in assembler code
generation s,ice they can be cardinals too (or even int64's in case of
range check errors)
Revision 1.8 2000/12/16 15:58:18 jonas
* removed warnings about possible range check errors * removed warnings about possible range check errors
Revision 1.7 2000/12/05 11:44:34 jonas Revision 1.7 2000/12/05 11:44:34 jonas