BINV - RISC-V instruction reference

binvInvert bit 
Sets t1 to t2 with the bit whose index is in the low bits of t3 flipped.
RISC-V manual: binv 
Forms  binv , ,   
Operands t1 Any integer register, x0 to x31, or its named alias, such as zero, t0 or t6. 
t2 An integer register. It may be the same register as t1. 
t3 An integer register. It may be the same register as t1. 
 .text
li t0, 13
li t1, 2
# t0=13, t1=2; binv writes 9 to t2.
binv t2, t0, t1