we should add setb and the most likely place to add it is the CR pipeline.

however i just spotted this though:

class DecodeCRIn(Elaboratable):

            with m.Case(CRInSel.BFA):
                comb += self.cr_bitfield.data.eq(self.dec.FormX.BFA[0:-1])
                comb += self.cr_bitfield.ok.eq(1)

# Set Boolean 

X-Form

* setb RT,BFA

    if CR[4*BFA+32] = 1 then
       RT <- 0xFFFF_FFFF_FFFF_FFFF
    else if CR[4*BFA+33]=1 then
       RT <- 0x0000_0000_0000_0001
    else
       RT <- 0x0000_0000_0000_0000