# expected: 000003FC, 80000000, 00000000
    .text
_start:
    addi x1, x0, 0x0FF
    slli x31, x1, 2

    addi x1, x0, 0x001
    slli x31, x1, 31

    addi x1, x0, 0x0F0
    slli x31, x1, 31