# expected: 000000FF, FFFFFFFFFFFFFFFF, 00000000
    .text
_start:
    addi x1, x0, 0x3FC
    addi x2, x0, 2
    sra x31, x1, x2

    lui x1, 0xA0000
    addi x2, x0, 31
    sra x31, x1, x2

    lui x1, 0x0A000
    addi x2, x0, 31
    sra x31, x1, x2
