On Thu, 10 Nov 2022, Philipp Tomsich wrote:
> Our ifcombine pass combines 2 single-bit tests into a single test of
> the form "(a & T) == T".
>
> However, detection of the bit-tests does not work for sign-bits (of
> any mode) as the RTL presented to the pass uses a cast to a
> signed-type and an
Our ifcombine pass combines 2 single-bit tests into a single test of
the form "(a & T) == T".
However, detection of the bit-tests does not work for sign-bits (of
any mode) as the RTL presented to the pass uses a cast to a
signed-type and an order-operator. E.g., the test for 'a & 0x80'
presents a
