# expected: 0000000000000000, 000000003fffffff, 0000000040000000
    .text
_start:
    # Test 1:  1 >> 1  => 0
    li    x1, 1
    srliw x31, x1, 1   # x31 = 0

    # Test 2:  0x7fffffff >> 1  => 0x3fffffff
    li    x1, 0x7fffffff
    srliw x31, x1, 1   # x31 = 0x000000003fffffff

    # Test 3:  0x80000000 >> 1  => 0x40000000 (not sign-extended)
    li    x1, 0x80000000
    srliw x31, x1, 1   # x31 = 0xffffffffc0000000