Re: [to-be-committed][RISC-V] Improve extraction of inverted single bit

On 5/10/24 4:28 PM, Jeff Law wrote: So this patch fixes a minor code generation inefficiency that (IIRC) the RAU team discovered a while ago in spec. If we want the inverted value of a single bit we can use bext to extract the bit, then seq to invert the value (if viewed as a 0/1 truth value

[to-be-committed][RISC-V] Improve extraction of inverted single bit

So this patch fixes a minor code generation inefficiency that (IIRC) the RAU team discovered a while ago in spec. If we want the inverted value of a single bit we can use bext to extract the bit, then seq to invert the value (if viewed as a 0/1 truth value). The RTL is fairly convoluted, but