# expected: 000001FF, FFFFFFFF
    .text
_start:
    addi x1, x0, 0x100
    addi x2, x0, 0x0FF
    or x31, x1, x2

    addi x1, x0, -1
    addi x2, x0, 0x010
    or x31, x1, x2