LRB midpath code quality
Roman Kennke
rkennke at redhat.com
Tue Mar 5 09:18:29 UTC 2019
Am 5. März 2019 10:11:33 MEZ schrieb Roland Westrelin <rwestrel at redhat.com>:
>
>> Do we even need a null check there, implicit or not? There should be
>a
>> null-check before in-cset-check which apparently got eliminated, in
>> any case we would blow up there, no? No way we would even get to the
>> later null-check with an actual null.
>
>Unless I'm missing something, there's a a barrier right after the null
>check so we need the null check:
>
>..........│..│............ checking null ..............................
> │ │ 0x00007f60e3a167f3: test %r10,%r10
> │╭ │ 0x00007f60e3a167f6: je 0x00007f60e3a16820
>..........││.│............ checking is-forwarded ......................
> ││ │ 0x00007f60e3a167f8: mov -0x8(%r10),%r11
>
>
>It should be an implicit null check as I understand.
Well yes, an implicit null-check would be good. It would never fire, because if the value is null, it would blow up earlier in the cset check. Or am I missing something?
Roman
--
Diese Nachricht wurde von meinem Android-Gerät mit K-9 Mail gesendet.
More information about the shenandoah-dev
mailing list