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