This MR introduces a bit flag conditional that acts like a ternary operator for a single bit flag. It takes at least three arguments:
flag_bit
specifies which bit of the mask is examinedmask_expression
is an integer-typed expression which acts as a bit maskthen_expression
is a SymPy expression of arbitrary type, andelse_expression
is a SymPy expression of arbitrary typeflag_cond
examines the given bit of the given mask and takes the value of then_expression
if the bit is set to 1. If not, it becomes either 0
or else_expression
:
Three argument version:
flag_cond(flag_bit, mask, expr) = expr if (flag_bit is set in mask) else 0
Four argument version:
flag_cond(flag_bit, mask, expr_then, expr_else) = expr_then if (flag_bit is set in mask) else expr_else