[fpc-devel] sizeof member in class procedure
Hi, why is sizeof on object/class fields sometimes allowed and sometimes not? type TTest = object f: integer; class procedure test; end; class procedure TTest.test; begin writeln(sizeof(f)); // does not compile writeln(sizeof(TTest.f)); // compiles end; --- type TTest = class f: integer; class procedure test; end; class procedure TTest.test; begin writeln(sizeof(f)); // does not compile writeln(sizeof(TTest.f)); // does not compile end; surely that should all be equal to sizeof(integer) Bye, Benito ___ fpc-devel maillist - fpc-devel@lists.freepascal.org http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
Re: [fpc-devel] Case code pattern
Il 14/08/2018 12:37, Martok ha scritto:
label label0,label1,label2,{...,}afterend;
const table: array [lowestcaselabel..highestcaselabel] of CodePointer =
(@label0, @label1, @label2{,...});
if (xhighestcaselabel) then
goto @afterend;
goto table[x];
label0:
code;
goto afterend;
label1:
Morecode;
goto afterend;
label2:
EvenMoreCode;
{...}
afterend:
I did not aware about CodePointer type and its use in conjunction with
the goto, it is very useful, thank you.
But for compatibility with TP, I could need for a plain branch table, I
am writing a new mail in the other list...
Marco
___
fpc-devel maillist - fpc-devel@lists.freepascal.org
http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
Re: [fpc-devel] Case code pattern
Am 14.08.2018 um 11:27 schrieb Marco Borsari via fpc-devel:
> From what I can read from Wikipedia, every compound of the case is
> enclosed in
> a procedure (or in a function, as you said the table is typed), declared
> with
> nostackframe, and called by an array of index, right?
The blocks are just regular labels. What I meant was the jump array index is
considered typed, which allows some optimizations.
This is noteworthy because FPC is the only compiler I could find that does that.
Roughly:
case x of
0: code;
1: Morecode;
2: EvenMoreCode;
//... assume we have enough case labels to get a jumptable
end;
Gets translated as if one had written:
label label0,label1,label2,{...,}afterend;
const table: array [lowestcaselabel..highestcaselabel] of CodePointer =
(@label0, @label1, @label2{,...});
if (xhighestcaselabel) then
goto @afterend;
goto table[x];
label0:
code;
goto afterend;
label1:
Morecode;
goto afterend;
label2:
EvenMoreCode;
{...}
afterend:
Iff it follows from the strong typing of the array index that the "if" at the
start is always false for all defined values of
the type of x, it is omitted.
--
Regards,
Martok
Ceterum censeo b32079 esse sanandam.
___
fpc-devel maillist - fpc-devel@lists.freepascal.org
http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
Re: [fpc-devel] Case code pattern
Il 14/08/2018 10:00, Martok ha scritto: array of index = array of pointers, sorry ___ fpc-devel maillist - fpc-devel@lists.freepascal.org http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
Re: [fpc-devel] Case code pattern
Il 14/08/2018 10:00, Martok ha scritto: What Kit said, but a correction: the threshold is not 50, it is 19. And what is generated is not technically a jump table, but a typed dispatch table. From what I can read from Wikipedia, every compound of the case is enclosed in a procedure (or in a function, as you said the table is typed), declared with nostackframe, and called by an array of index, right? ___ fpc-devel maillist - fpc-devel@lists.freepascal.org http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
Re: [fpc-devel] Case code pattern
I stand corrected - thanks. *makes note to research more weird and wondeful things in the compiler!* Gareth aka. Kit On Tue 14/08/18 09:00 , Martok list...@martoks-place.de sent: Hi, > I would need a clarification about the way the case statement is > translated into assembler by FPC. When the list of alternatives is > continous, does the compiler generate a jump table? What Kit said, but a correction: the threshold is not 50, it is 19. And what is generated is not technically a jump table, but a typed dispatch table. -- Regards, Martok Ceterum censeo b32079 esse sanandam. ___ fpc-devel maillist - fpc-devel@lists.freepascal.org [1] http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel [2]">http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel Links: -- [1] mailto:fpc-devel@lists.freepascal.org [2] http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel ___ fpc-devel maillist - fpc-devel@lists.freepascal.org http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
Re: [fpc-devel] Case code pattern
Hi, > I would need a clarification about the way the case statement is > translated into assembler by FPC. When the list of alternatives is > continous, does the compiler generate a jump table? What Kit said, but a correction: the threshold is not 50, it is 19. And what is generated is not technically a jump table, but a typed dispatch table. -- Regards, Martok Ceterum censeo b32079 esse sanandam. ___ fpc-devel maillist - fpc-devel@lists.freepascal.org http://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-devel
