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

    addi x1, x0, 0x001
    addi x2, x0, 31
    sll x31, x1, x2

    addi x1, x0, 0x0F0
    addi x2, x0, 63
    sll x31, x1, x2