main/none/tests/s390x/add_GE.stdout.exp

ASI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
ASI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=0)
ASI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=0)
ASI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=0)
ASI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=0)
ASI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=0)
ASI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=0)
ASI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=0)
ASI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
ASI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=1)
ASI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=2)
AGSI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
AGSI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=2)
AGSI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=2)
AGSI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=2)
AGSI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=2)
AGSI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=2)
AGSI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=2)
AGSI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=2)
AGSI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
AGSI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=1)
AGSI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=2)
ALSI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
ALSI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=0)
ALSI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=0)
ALSI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=0)
ALSI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=0)
ALSI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=0)
ALSI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=0)
ALSI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=0)
ALSI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
ALSI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=1)
ALSI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
ALGSI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
ALGSI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=1)
ALGSI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=1)
ALGSI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=1)
ALGSI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=1)
ALGSI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=1)
ALGSI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=1)
ALGSI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=1)
ALGSI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
ALGSI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=1)
ALGSI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
ASI 0 + 0000000000000000 + 0000000000000001 = 0000000100000000 (cc=2)
ASI 0 + 0000000000000001 + 0000000000000001 = 0000000100000001 (cc=2)
ASI 0 + 000000000000FFFF + 0000000000000001 = 000000010000FFFF (cc=2)
ASI 0 + 0000000000007FFF + 0000000000000001 = 0000000100007FFF (cc=2)
ASI 0 + 0000000000008000 + 0000000000000001 = 0000000100008000 (cc=2)
ASI 0 + 00000000FFFFFFFF + 0000000000000001 = 00000001FFFFFFFF (cc=2)
ASI 0 + 0000000080000000 + 0000000000000001 = 0000000180000000 (cc=2)
ASI 0 + 000000007FFFFFFF + 0000000000000001 = 000000017FFFFFFF (cc=2)
ASI 0 + FFFFFFFFFFFFFFFF + 0000000000000001 = 00000000FFFFFFFF (cc=0)
ASI 0 + 8000000000000000 + 0000000000000001 = 8000000100000000 (cc=1)
ASI 0 + 7FFFFFFFFFFFFFFF + 0000000000000001 = 80000000FFFFFFFF (cc=3)
AGSI 0 + 0000000000000000 + 0000000000000001 = 0000000000000001 (cc=2)
AGSI 0 + 0000000000000001 + 0000000000000001 = 0000000000000002 (cc=2)
AGSI 0 + 000000000000FFFF + 0000000000000001 = 0000000000010000 (cc=2)
AGSI 0 + 0000000000007FFF + 0000000000000001 = 0000000000008000 (cc=2)
AGSI 0 + 0000000000008000 + 0000000000000001 = 0000000000008001 (cc=2)
AGSI 0 + 00000000FFFFFFFF + 0000000000000001 = 0000000100000000 (cc=2)
AGSI 0 + 0000000080000000 + 0000000000000001 = 0000000080000001 (cc=2)
AGSI 0 + 000000007FFFFFFF + 0000000000000001 = 0000000080000000 (cc=2)
AGSI 0 + FFFFFFFFFFFFFFFF + 0000000000000001 = 0000000000000000 (cc=0)
AGSI 0 + 8000000000000000 + 0000000000000001 = 8000000000000001 (cc=1)
AGSI 0 + 7FFFFFFFFFFFFFFF + 0000000000000001 = 8000000000000000 (cc=3)
ALSI 0 + 0000000000000000 + 0000000000000001 = 0000000100000000 (cc=1)
ALSI 0 + 0000000000000001 + 0000000000000001 = 0000000100000001 (cc=1)
ALSI 0 + 000000000000FFFF + 0000000000000001 = 000000010000FFFF (cc=1)
ALSI 0 + 0000000000007FFF + 0000000000000001 = 0000000100007FFF (cc=1)
ALSI 0 + 0000000000008000 + 0000000000000001 = 0000000100008000 (cc=1)
ALSI 0 + 00000000FFFFFFFF + 0000000000000001 = 00000001FFFFFFFF (cc=1)
ALSI 0 + 0000000080000000 + 0000000000000001 = 0000000180000000 (cc=1)
ALSI 0 + 000000007FFFFFFF + 0000000000000001 = 000000017FFFFFFF (cc=1)
ALSI 0 + FFFFFFFFFFFFFFFF + 0000000000000001 = 00000000FFFFFFFF (cc=2)
ALSI 0 + 8000000000000000 + 0000000000000001 = 8000000100000000 (cc=1)
ALSI 0 + 7FFFFFFFFFFFFFFF + 0000000000000001 = 80000000FFFFFFFF (cc=1)
ALGSI 0 + 0000000000000000 + 0000000000000001 = 0000000000000001 (cc=1)
ALGSI 0 + 0000000000000001 + 0000000000000001 = 0000000000000002 (cc=1)
ALGSI 0 + 000000000000FFFF + 0000000000000001 = 0000000000010000 (cc=1)
ALGSI 0 + 0000000000007FFF + 0000000000000001 = 0000000000008000 (cc=1)
ALGSI 0 + 0000000000008000 + 0000000000000001 = 0000000000008001 (cc=1)
ALGSI 0 + 00000000FFFFFFFF + 0000000000000001 = 0000000100000000 (cc=1)
ALGSI 0 + 0000000080000000 + 0000000000000001 = 0000000080000001 (cc=1)
ALGSI 0 + 000000007FFFFFFF + 0000000000000001 = 0000000080000000 (cc=1)
ALGSI 0 + FFFFFFFFFFFFFFFF + 0000000000000001 = 0000000000000000 (cc=2)
ALGSI 0 + 8000000000000000 + 0000000000000001 = 8000000000000001 (cc=1)
ALGSI 0 + 7FFFFFFFFFFFFFFF + 0000000000000001 = 8000000000000000 (cc=1)
ASI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=1)
ASI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = FFFFFFFF00000001 (cc=1)
ASI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = FFFFFFFF0000FFFF (cc=1)
ASI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = FFFFFFFF00007FFF (cc=1)
ASI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = FFFFFFFF00008000 (cc=1)
ASI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
ASI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = FFFFFFFF80000000 (cc=1)
ASI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
ASI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFEFFFFFFFF (cc=1)
ASI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 7FFFFFFF00000000 (cc=3)
ASI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFEFFFFFFFF (cc=2)
AGSI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
AGSI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
AGSI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=2)
AGSI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=2)
AGSI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=2)
AGSI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=2)
AGSI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=2)
AGSI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=2)
AGSI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
AGSI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=3)
AGSI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=2)
ALSI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = FFFFFFFF00000000 (cc=1)
ALSI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = FFFFFFFF00000001 (cc=1)
ALSI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = FFFFFFFF0000FFFF (cc=1)
ALSI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = FFFFFFFF00007FFF (cc=1)
ALSI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = FFFFFFFF00008000 (cc=1)
ALSI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
ALSI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = FFFFFFFF80000000 (cc=1)
ALSI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
ALSI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFEFFFFFFFF (cc=3)
ALSI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 7FFFFFFF00000000 (cc=3)
ALSI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFEFFFFFFFF (cc=3)
ALGSI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
ALGSI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=2)
ALGSI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=3)
ALGSI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=3)
ALGSI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=3)
ALGSI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=3)
ALGSI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=3)
ALGSI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=3)
ALGSI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=3)
ALGSI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=3)
ALGSI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=3)
ASI 0 + 0000000000000000 + FFFFFFFFFFFFFF80 = FFFFFF8000000000 (cc=1)
ASI 0 + 0000000000000001 + FFFFFFFFFFFFFF80 = FFFFFF8000000001 (cc=1)
ASI 0 + 000000000000FFFF + FFFFFFFFFFFFFF80 = FFFFFF800000FFFF (cc=1)
ASI 0 + 0000000000007FFF + FFFFFFFFFFFFFF80 = FFFFFF8000007FFF (cc=1)
ASI 0 + 0000000000008000 + FFFFFFFFFFFFFF80 = FFFFFF8000008000 (cc=1)
ASI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFF80 = FFFFFF80FFFFFFFF (cc=1)
ASI 0 + 0000000080000000 + FFFFFFFFFFFFFF80 = FFFFFF8080000000 (cc=1)
ASI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFF80 = FFFFFF807FFFFFFF (cc=1)
ASI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFF80 = FFFFFF7FFFFFFFFF (cc=1)
ASI 0 + 8000000000000000 + FFFFFFFFFFFFFF80 = 7FFFFF8000000000 (cc=3)
ASI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFF80 = 7FFFFF7FFFFFFFFF (cc=2)
AGSI 0 + 0000000000000000 + FFFFFFFFFFFFFF80 = FFFFFFFFFFFFFF80 (cc=1)
AGSI 0 + 0000000000000001 + FFFFFFFFFFFFFF80 = FFFFFFFFFFFFFF81 (cc=1)
AGSI 0 + 000000000000FFFF + FFFFFFFFFFFFFF80 = 000000000000FF7F (cc=2)
AGSI 0 + 0000000000007FFF + FFFFFFFFFFFFFF80 = 0000000000007F7F (cc=2)
AGSI 0 + 0000000000008000 + FFFFFFFFFFFFFF80 = 0000000000007F80 (cc=2)
AGSI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFF80 = 00000000FFFFFF7F (cc=2)
AGSI 0 + 0000000080000000 + FFFFFFFFFFFFFF80 = 000000007FFFFF80 (cc=2)
AGSI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFF80 = 000000007FFFFF7F (cc=2)
AGSI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFF80 = FFFFFFFFFFFFFF7F (cc=1)
AGSI 0 + 8000000000000000 + FFFFFFFFFFFFFF80 = 7FFFFFFFFFFFFF80 (cc=3)
AGSI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFF80 = 7FFFFFFFFFFFFF7F (cc=2)
ALSI 0 + 0000000000000000 + FFFFFFFFFFFFFF80 = FFFFFF8000000000 (cc=1)
ALSI 0 + 0000000000000001 + FFFFFFFFFFFFFF80 = FFFFFF8000000001 (cc=1)
ALSI 0 + 000000000000FFFF + FFFFFFFFFFFFFF80 = FFFFFF800000FFFF (cc=1)
ALSI 0 + 0000000000007FFF + FFFFFFFFFFFFFF80 = FFFFFF8000007FFF (cc=1)
ALSI 0 + 0000000000008000 + FFFFFFFFFFFFFF80 = FFFFFF8000008000 (cc=1)
ALSI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFF80 = FFFFFF80FFFFFFFF (cc=1)
ALSI 0 + 0000000080000000 + FFFFFFFFFFFFFF80 = FFFFFF8080000000 (cc=1)
ALSI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFF80 = FFFFFF807FFFFFFF (cc=1)
ALSI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFF80 = FFFFFF7FFFFFFFFF (cc=3)
ALSI 0 + 8000000000000000 + FFFFFFFFFFFFFF80 = 7FFFFF8000000000 (cc=3)
ALSI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFF80 = 7FFFFF7FFFFFFFFF (cc=3)
ALGSI 0 + 0000000000000000 + FFFFFFFFFFFFFF80 = FFFFFFFFFFFFFF80 (cc=1)
ALGSI 0 + 0000000000000001 + FFFFFFFFFFFFFF80 = FFFFFFFFFFFFFF81 (cc=1)
ALGSI 0 + 000000000000FFFF + FFFFFFFFFFFFFF80 = 000000000000FF7F (cc=3)
ALGSI 0 + 0000000000007FFF + FFFFFFFFFFFFFF80 = 0000000000007F7F (cc=3)
ALGSI 0 + 0000000000008000 + FFFFFFFFFFFFFF80 = 0000000000007F80 (cc=3)
ALGSI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFF80 = 00000000FFFFFF7F (cc=3)
ALGSI 0 + 0000000080000000 + FFFFFFFFFFFFFF80 = 000000007FFFFF80 (cc=3)
ALGSI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFF80 = 000000007FFFFF7F (cc=3)
ALGSI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFF80 = FFFFFFFFFFFFFF7F (cc=3)
ALGSI 0 + 8000000000000000 + FFFFFFFFFFFFFF80 = 7FFFFFFFFFFFFF80 (cc=3)
ALGSI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFF80 = 7FFFFFFFFFFFFF7F (cc=3)
ASI 0 + 0000000000000000 + 000000000000007F = 0000007F00000000 (cc=2)
ASI 0 + 0000000000000001 + 000000000000007F = 0000007F00000001 (cc=2)
ASI 0 + 000000000000FFFF + 000000000000007F = 0000007F0000FFFF (cc=2)
ASI 0 + 0000000000007FFF + 000000000000007F = 0000007F00007FFF (cc=2)
ASI 0 + 0000000000008000 + 000000000000007F = 0000007F00008000 (cc=2)
ASI 0 + 00000000FFFFFFFF + 000000000000007F = 0000007FFFFFFFFF (cc=2)
ASI 0 + 0000000080000000 + 000000000000007F = 0000007F80000000 (cc=2)
ASI 0 + 000000007FFFFFFF + 000000000000007F = 0000007F7FFFFFFF (cc=2)
ASI 0 + FFFFFFFFFFFFFFFF + 000000000000007F = 0000007EFFFFFFFF (cc=2)
ASI 0 + 8000000000000000 + 000000000000007F = 8000007F00000000 (cc=1)
ASI 0 + 7FFFFFFFFFFFFFFF + 000000000000007F = 8000007EFFFFFFFF (cc=3)
AGSI 0 + 0000000000000000 + 000000000000007F = 000000000000007F (cc=2)
AGSI 0 + 0000000000000001 + 000000000000007F = 0000000000000080 (cc=2)
AGSI 0 + 000000000000FFFF + 000000000000007F = 000000000001007E (cc=2)
AGSI 0 + 0000000000007FFF + 000000000000007F = 000000000000807E (cc=2)
AGSI 0 + 0000000000008000 + 000000000000007F = 000000000000807F (cc=2)
AGSI 0 + 00000000FFFFFFFF + 000000000000007F = 000000010000007E (cc=2)
AGSI 0 + 0000000080000000 + 000000000000007F = 000000008000007F (cc=2)
AGSI 0 + 000000007FFFFFFF + 000000000000007F = 000000008000007E (cc=2)
AGSI 0 + FFFFFFFFFFFFFFFF + 000000000000007F = 000000000000007E (cc=2)
AGSI 0 + 8000000000000000 + 000000000000007F = 800000000000007F (cc=1)
AGSI 0 + 7FFFFFFFFFFFFFFF + 000000000000007F = 800000000000007E (cc=3)
ALSI 0 + 0000000000000000 + 000000000000007F = 0000007F00000000 (cc=1)
ALSI 0 + 0000000000000001 + 000000000000007F = 0000007F00000001 (cc=1)
ALSI 0 + 000000000000FFFF + 000000000000007F = 0000007F0000FFFF (cc=1)
ALSI 0 + 0000000000007FFF + 000000000000007F = 0000007F00007FFF (cc=1)
ALSI 0 + 0000000000008000 + 000000000000007F = 0000007F00008000 (cc=1)
ALSI 0 + 00000000FFFFFFFF + 000000000000007F = 0000007FFFFFFFFF (cc=1)
ALSI 0 + 0000000080000000 + 000000000000007F = 0000007F80000000 (cc=1)
ALSI 0 + 000000007FFFFFFF + 000000000000007F = 0000007F7FFFFFFF (cc=1)
ALSI 0 + FFFFFFFFFFFFFFFF + 000000000000007F = 0000007EFFFFFFFF (cc=3)
ALSI 0 + 8000000000000000 + 000000000000007F = 8000007F00000000 (cc=1)
ALSI 0 + 7FFFFFFFFFFFFFFF + 000000000000007F = 8000007EFFFFFFFF (cc=1)
ALGSI 0 + 0000000000000000 + 000000000000007F = 000000000000007F (cc=1)
ALGSI 0 + 0000000000000001 + 000000000000007F = 0000000000000080 (cc=1)
ALGSI 0 + 000000000000FFFF + 000000000000007F = 000000000001007E (cc=1)
ALGSI 0 + 0000000000007FFF + 000000000000007F = 000000000000807E (cc=1)
ALGSI 0 + 0000000000008000 + 000000000000007F = 000000000000807F (cc=1)
ALGSI 0 + 00000000FFFFFFFF + 000000000000007F = 000000010000007E (cc=1)
ALGSI 0 + 0000000080000000 + 000000000000007F = 000000008000007F (cc=1)
ALGSI 0 + 000000007FFFFFFF + 000000000000007F = 000000008000007E (cc=1)
ALGSI 0 + FFFFFFFFFFFFFFFF + 000000000000007F = 000000000000007E (cc=3)
ALGSI 0 + 8000000000000000 + 000000000000007F = 800000000000007F (cc=1)
ALGSI 0 + 7FFFFFFFFFFFFFFF + 000000000000007F = 800000000000007E (cc=1)