lui  x31, 0xfffff
addi x31, x31, 0x7ff
addi x31, x31, 0x7ff
addi x31, x31, 0x1
addi x1,  x31, 0x0
and  x1,  x1, x31
and  x2,  x1, x31
and  x3,  x1, x31
and  x4,  x1, x31
and  x5,  x1, x31
and  x6,  x1, x31
and  x7,  x1, x31
and  x8,  x1, x31
and  x9,  x1, x31
and  x10, x1, x31
and  x11, x1, x31
and  x12, x1, x31
and  x13, x1, x31
and  x14, x1, x31
and  x15, x1, x31
and  x16, x1, x31
and  x17, x1, x31
and  x18, x1, x31
and  x19, x1, x31
and  x20, x1, x31
and  x21, x1, x31
and  x22, x1, x31
and  x23, x1, x31
and  x24, x1, x31
and  x25, x1, x31
and  x26, x1, x31
and  x27, x1, x31
and  x28, x1, x31
and  x29, x1, x31
and  x30, x1, x31
and  x31, x1, x31