# expected: 0000000000000000, FFFFFFFFFFFFFFFF, 0000000000000010, 0000000000000000
    .text
_start:
    # This test CANNOT use li as it uses addiw under the hood

    # 0 addition
    addiw x31, x0, 0

    # all bits addition + sign extension to 32 bits then 64 bits
    addiw x31, x0, (-1)

    # simple addition
    addi x1, x0, 8
    addiw x31, x1, 8

    # 32bits trim
    lui x1, 0xFFFFF
    slli x1, x1, 20
    addiw x31, x1, 0


