[fpc-devel] Kit's ambitions!
Florian Klämpfl
florian at freepascal.org
Sun Jun 3 15:12:23 CEST 2018
Am 21.05.2018 um 21:05 schrieb J. Gareth Moreton:
> Would you object to me trying anyway, Florian?
No, feel free to go ahead, but it needs to be done step by step.
> It might be that I run into the same problems you had and it's too
> unsafe, but I'm going by a conservative philosophy in that if it spots something that it can't work out (e.g. an
> instruction that it's not programmed to handle) or is potentially unsafe (e.g. reading and writing to a block of memory
> that it doesn't have control over, due to multi-threading issues), then it just stops optimising and drops all
> assumptions that it has made at that point.
>
> As a small test case, I'm attempting to see if I can spot and optimise, for example, "mov %rax, %rbx; lea %rcx,
> -8(%rsp); mov %rbx, 8(%rsp)", where a pipeline stall occurs due to a read-after-write penalty (with %rbx in this case).
Things like this are fine, it gets hairy though as soon as memory locations are involved.
More information about the fpc-devel
mailing list