shttpd/collateral/test-likeliness.smpl

// SPDX-License-Identifier: GPL-3.0-or-later
// Copyright © 2018-2019 Ariadne Devos
// sHT -- replace some superfluous likely/unlikely

@ double_unlikely @
@@
- sHT_unlikely(
  \(sHT_gt\|sHT_ge\|sHT_eq\|sHT_lt0\|sHT_zero_p\|sHT_nonzero_p\|sHT_eq_pointer\|sHT_null_p\)(...)
- )

@ double_likely @
@@
- sHT_likely(
  !\(sHT_gt\|sHT_ge\|sHT_eq\|sHT_lt0\|sHT_zero_p\|sHT_nonzero_p\|sHT_eq_pointer\|sHT_null_p\)(...)
- )

@ correct_likely_zero @
expression e;
@@
- sHT_likely(sHT_zero_p(e))
+ !sHT_nonzero_p(e)

@ correct_likely_nonzero @
expression e;
@@
- sHT_likely(sHT_nonzero_p(e))
+ !sHT_zero_p(e)