...
To invert the result of a bext, we can use bext+seqz.
xalancbmk's bitset implementation has a redundant bit clear before setting the same bit. This can be fixed in a generic way with an additional logical simplification pattern- bext can be used to extract a single bit, storing the result into an SImode object, even for rv64 since bits 1..63 will be zero'd by the (&1) operation in the bext specification.
...
- Raphael's code for using bext to extract a single bit, storing the result in an SImode object for rv64 has been submitted
- (X | Y) & ~Y → X & ~Y simplification added to logical simplifications, eliminating xalancbmk's redundancy in its bitset code
- There's probably about a dozen issues identified with patches that are ready or nearly ready for upstreaming. First patch is going through upstream process right now.
...