# expected: 000000FF, FFFFFFFF, 00000000
    .text
_start:
    addi x1, x0, 0x3FC
    srai x31, x1, 2

    lui x1, 0xA0000
    srai x31, x1, 31

    lui x1, 0x0A000
    srai x31, x1, 31