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