# expected: 0000000000000000, FFFFFFFF80000000, 0000000000000000
    .text
_start:
    # Shift out of 32bits
    li x1, 0x0000000080000000
    li x2, 1
    sllw x31, x1, x2

    # Test sign extension
    li x1, 0x0000000040000000
    li x2, 1
    sllw x31, x1, x2

    li x1, 1
    li x2, 33
    sllw x31, x1, x2