valgrind/none/tests/s390x/add_EI.stdout.exp

AFI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
AFI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=2)
AFI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=2)
AFI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=2)
AFI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=2)
AFI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=1)
AFI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=1)
AFI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=2)
AFI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
AFI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=0)
AFI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
AFI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
AFI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
AFI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=2)
AFI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=2)
AFI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=2)
AFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
AFI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=3)
AFI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=2)
AFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
AFI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
AFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=1)
AFI 0 + 0000000000000000 + FFFFFFFFFFFF8000 = 00000000FFFF8000 (cc=1)
AFI 0 + 0000000000000001 + FFFFFFFFFFFF8000 = 00000000FFFF8001 (cc=1)
AFI 0 + 000000000000FFFF + FFFFFFFFFFFF8000 = 0000000000007FFF (cc=2)
AFI 0 + 0000000000007FFF + FFFFFFFFFFFF8000 = 00000000FFFFFFFF (cc=1)
AFI 0 + 0000000000008000 + FFFFFFFFFFFF8000 = 0000000000000000 (cc=0)
AFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFF8000 = 00000000FFFF7FFF (cc=1)
AFI 0 + 0000000080000000 + FFFFFFFFFFFF8000 = 000000007FFF8000 (cc=3)
AFI 0 + 000000007FFFFFFF + FFFFFFFFFFFF8000 = 000000007FFF7FFF (cc=2)
AFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFF8000 = FFFFFFFFFFFF7FFF (cc=1)
AFI 0 + 8000000000000000 + FFFFFFFFFFFF8000 = 80000000FFFF8000 (cc=1)
AFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFF8000 = 7FFFFFFFFFFF7FFF (cc=1)
AFI 0 + 0000000000000000 + 0000000000007FFF = 0000000000007FFF (cc=2)
AFI 0 + 0000000000000001 + 0000000000007FFF = 0000000000008000 (cc=2)
AFI 0 + 000000000000FFFF + 0000000000007FFF = 0000000000017FFE (cc=2)
AFI 0 + 0000000000007FFF + 0000000000007FFF = 000000000000FFFE (cc=2)
AFI 0 + 0000000000008000 + 0000000000007FFF = 000000000000FFFF (cc=2)
AFI 0 + 00000000FFFFFFFF + 0000000000007FFF = 0000000000007FFE (cc=2)
AFI 0 + 0000000080000000 + 0000000000007FFF = 0000000080007FFF (cc=1)
AFI 0 + 000000007FFFFFFF + 0000000000007FFF = 0000000080007FFE (cc=3)
AFI 0 + FFFFFFFFFFFFFFFF + 0000000000007FFF = FFFFFFFF00007FFE (cc=2)
AFI 0 + 8000000000000000 + 0000000000007FFF = 8000000000007FFF (cc=2)
AFI 0 + 7FFFFFFFFFFFFFFF + 0000000000007FFF = 7FFFFFFF00007FFE (cc=2)
AFI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = 00000000FFFFFFFF (cc=1)
AFI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
AFI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=2)
AFI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=2)
AFI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=2)
AFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=1)
AFI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=3)
AFI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=2)
AFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
AFI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 80000000FFFFFFFF (cc=1)
AFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=1)
AFI 0 + 0000000000000000 + FFFFFFFF80000000 = 0000000080000000 (cc=1)
AFI 0 + 0000000000000001 + FFFFFFFF80000000 = 0000000080000001 (cc=1)
AFI 0 + 000000000000FFFF + FFFFFFFF80000000 = 000000008000FFFF (cc=1)
AFI 0 + 0000000000007FFF + FFFFFFFF80000000 = 0000000080007FFF (cc=1)
AFI 0 + 0000000000008000 + FFFFFFFF80000000 = 0000000080008000 (cc=1)
AFI 0 + 00000000FFFFFFFF + FFFFFFFF80000000 = 000000007FFFFFFF (cc=3)
AFI 0 + 0000000080000000 + FFFFFFFF80000000 = 0000000000000000 (cc=3)
AFI 0 + 000000007FFFFFFF + FFFFFFFF80000000 = 00000000FFFFFFFF (cc=1)
AFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFF80000000 = FFFFFFFF7FFFFFFF (cc=3)
AFI 0 + 8000000000000000 + FFFFFFFF80000000 = 8000000080000000 (cc=1)
AFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFF80000000 = 7FFFFFFF7FFFFFFF (cc=3)
AFI 0 + 0000000000000000 + 000000007FFFFFFF = 000000007FFFFFFF (cc=2)
AFI 0 + 0000000000000001 + 000000007FFFFFFF = 0000000080000000 (cc=3)
AFI 0 + 000000000000FFFF + 000000007FFFFFFF = 000000008000FFFE (cc=3)
AFI 0 + 0000000000007FFF + 000000007FFFFFFF = 0000000080007FFE (cc=3)
AFI 0 + 0000000000008000 + 000000007FFFFFFF = 0000000080007FFF (cc=3)
AFI 0 + 00000000FFFFFFFF + 000000007FFFFFFF = 000000007FFFFFFE (cc=2)
AFI 0 + 0000000080000000 + 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
AFI 0 + 000000007FFFFFFF + 000000007FFFFFFF = 00000000FFFFFFFE (cc=3)
AFI 0 + FFFFFFFFFFFFFFFF + 000000007FFFFFFF = FFFFFFFF7FFFFFFE (cc=2)
AFI 0 + 8000000000000000 + 000000007FFFFFFF = 800000007FFFFFFF (cc=2)
AFI 0 + 7FFFFFFFFFFFFFFF + 000000007FFFFFFF = 7FFFFFFF7FFFFFFE (cc=2)
AGFI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
AGFI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=2)
AGFI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=2)
AGFI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=2)
AGFI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=2)
AGFI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=2)
AGFI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=2)
AGFI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=2)
AGFI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
AGFI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=1)
AGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=2)
AGFI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
AGFI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
AGFI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=2)
AGFI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=2)
AGFI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=2)
AGFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=2)
AGFI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=2)
AGFI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=2)
AGFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
AGFI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=3)
AGFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=2)
AGFI 0 + 0000000000000000 + FFFFFFFFFFFF8000 = FFFFFFFFFFFF8000 (cc=1)
AGFI 0 + 0000000000000001 + FFFFFFFFFFFF8000 = FFFFFFFFFFFF8001 (cc=1)
AGFI 0 + 000000000000FFFF + FFFFFFFFFFFF8000 = 0000000000007FFF (cc=2)
AGFI 0 + 0000000000007FFF + FFFFFFFFFFFF8000 = FFFFFFFFFFFFFFFF (cc=1)
AGFI 0 + 0000000000008000 + FFFFFFFFFFFF8000 = 0000000000000000 (cc=0)
AGFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFF8000 = 00000000FFFF7FFF (cc=2)
AGFI 0 + 0000000080000000 + FFFFFFFFFFFF8000 = 000000007FFF8000 (cc=2)
AGFI 0 + 000000007FFFFFFF + FFFFFFFFFFFF8000 = 000000007FFF7FFF (cc=2)
AGFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFF8000 = FFFFFFFFFFFF7FFF (cc=1)
AGFI 0 + 8000000000000000 + FFFFFFFFFFFF8000 = 7FFFFFFFFFFF8000 (cc=3)
AGFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFF8000 = 7FFFFFFFFFFF7FFF (cc=2)
AGFI 0 + 0000000000000000 + 0000000000007FFF = 0000000000007FFF (cc=2)
AGFI 0 + 0000000000000001 + 0000000000007FFF = 0000000000008000 (cc=2)
AGFI 0 + 000000000000FFFF + 0000000000007FFF = 0000000000017FFE (cc=2)
AGFI 0 + 0000000000007FFF + 0000000000007FFF = 000000000000FFFE (cc=2)
AGFI 0 + 0000000000008000 + 0000000000007FFF = 000000000000FFFF (cc=2)
AGFI 0 + 00000000FFFFFFFF + 0000000000007FFF = 0000000100007FFE (cc=2)
AGFI 0 + 0000000080000000 + 0000000000007FFF = 0000000080007FFF (cc=2)
AGFI 0 + 000000007FFFFFFF + 0000000000007FFF = 0000000080007FFE (cc=2)
AGFI 0 + FFFFFFFFFFFFFFFF + 0000000000007FFF = 0000000000007FFE (cc=2)
AGFI 0 + 8000000000000000 + 0000000000007FFF = 8000000000007FFF (cc=1)
AGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000007FFF = 8000000000007FFE (cc=3)
AGFI 0 + 0000000000000000 + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
AGFI 0 + 0000000000000001 + FFFFFFFFFFFFFFFF = 0000000000000000 (cc=0)
AGFI 0 + 000000000000FFFF + FFFFFFFFFFFFFFFF = 000000000000FFFE (cc=2)
AGFI 0 + 0000000000007FFF + FFFFFFFFFFFFFFFF = 0000000000007FFE (cc=2)
AGFI 0 + 0000000000008000 + FFFFFFFFFFFFFFFF = 0000000000007FFF (cc=2)
AGFI 0 + 00000000FFFFFFFF + FFFFFFFFFFFFFFFF = 00000000FFFFFFFE (cc=2)
AGFI 0 + 0000000080000000 + FFFFFFFFFFFFFFFF = 000000007FFFFFFF (cc=2)
AGFI 0 + 000000007FFFFFFF + FFFFFFFFFFFFFFFF = 000000007FFFFFFE (cc=2)
AGFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFE (cc=1)
AGFI 0 + 8000000000000000 + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF (cc=3)
AGFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFE (cc=2)
AGFI 0 + 0000000000000000 + FFFFFFFF80000000 = FFFFFFFF80000000 (cc=1)
AGFI 0 + 0000000000000001 + FFFFFFFF80000000 = FFFFFFFF80000001 (cc=1)
AGFI 0 + 000000000000FFFF + FFFFFFFF80000000 = FFFFFFFF8000FFFF (cc=1)
AGFI 0 + 0000000000007FFF + FFFFFFFF80000000 = FFFFFFFF80007FFF (cc=1)
AGFI 0 + 0000000000008000 + FFFFFFFF80000000 = FFFFFFFF80008000 (cc=1)
AGFI 0 + 00000000FFFFFFFF + FFFFFFFF80000000 = 000000007FFFFFFF (cc=2)
AGFI 0 + 0000000080000000 + FFFFFFFF80000000 = 0000000000000000 (cc=0)
AGFI 0 + 000000007FFFFFFF + FFFFFFFF80000000 = FFFFFFFFFFFFFFFF (cc=1)
AGFI 0 + FFFFFFFFFFFFFFFF + FFFFFFFF80000000 = FFFFFFFF7FFFFFFF (cc=1)
AGFI 0 + 8000000000000000 + FFFFFFFF80000000 = 7FFFFFFF80000000 (cc=3)
AGFI 0 + 7FFFFFFFFFFFFFFF + FFFFFFFF80000000 = 7FFFFFFF7FFFFFFF (cc=2)
AGFI 0 + 0000000000000000 + 000000007FFFFFFF = 000000007FFFFFFF (cc=2)
AGFI 0 + 0000000000000001 + 000000007FFFFFFF = 0000000080000000 (cc=2)
AGFI 0 + 000000000000FFFF + 000000007FFFFFFF = 000000008000FFFE (cc=2)
AGFI 0 + 0000000000007FFF + 000000007FFFFFFF = 0000000080007FFE (cc=2)
AGFI 0 + 0000000000008000 + 000000007FFFFFFF = 0000000080007FFF (cc=2)
AGFI 0 + 00000000FFFFFFFF + 000000007FFFFFFF = 000000017FFFFFFE (cc=2)
AGFI 0 + 0000000080000000 + 000000007FFFFFFF = 00000000FFFFFFFF (cc=2)
AGFI 0 + 000000007FFFFFFF + 000000007FFFFFFF = 00000000FFFFFFFE (cc=2)
AGFI 0 + FFFFFFFFFFFFFFFF + 000000007FFFFFFF = 000000007FFFFFFE (cc=2)
AGFI 0 + 8000000000000000 + 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
AGFI 0 + 7FFFFFFFFFFFFFFF + 000000007FFFFFFF = 800000007FFFFFFE (cc=3)
ALFI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
ALFI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=1)
ALFI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=1)
ALFI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=1)
ALFI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=1)
ALFI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=1)
ALFI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=1)
ALFI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=1)
ALFI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
ALFI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=0)
ALFI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
ALFI 0 + 0000000000000000 + 000000000000FFFF = 000000000000FFFF (cc=1)
ALFI 0 + 0000000000000001 + 000000000000FFFF = 0000000000010000 (cc=1)
ALFI 0 + 000000000000FFFF + 000000000000FFFF = 000000000001FFFE (cc=1)
ALFI 0 + 0000000000007FFF + 000000000000FFFF = 0000000000017FFE (cc=1)
ALFI 0 + 0000000000008000 + 000000000000FFFF = 0000000000017FFF (cc=1)
ALFI 0 + 00000000FFFFFFFF + 000000000000FFFF = 000000000000FFFE (cc=3)
ALFI 0 + 0000000080000000 + 000000000000FFFF = 000000008000FFFF (cc=1)
ALFI 0 + 000000007FFFFFFF + 000000000000FFFF = 000000008000FFFE (cc=1)
ALFI 0 + FFFFFFFFFFFFFFFF + 000000000000FFFF = FFFFFFFF0000FFFE (cc=3)
ALFI 0 + 8000000000000000 + 000000000000FFFF = 800000000000FFFF (cc=1)
ALFI 0 + 7FFFFFFFFFFFFFFF + 000000000000FFFF = 7FFFFFFF0000FFFE (cc=3)
ALFI 0 + 0000000000000000 + 0000000000008000 = 0000000000008000 (cc=1)
ALFI 0 + 0000000000000001 + 0000000000008000 = 0000000000008001 (cc=1)
ALFI 0 + 000000000000FFFF + 0000000000008000 = 0000000000017FFF (cc=1)
ALFI 0 + 0000000000007FFF + 0000000000008000 = 000000000000FFFF (cc=1)
ALFI 0 + 0000000000008000 + 0000000000008000 = 0000000000010000 (cc=1)
ALFI 0 + 00000000FFFFFFFF + 0000000000008000 = 0000000000007FFF (cc=3)
ALFI 0 + 0000000080000000 + 0000000000008000 = 0000000080008000 (cc=1)
ALFI 0 + 000000007FFFFFFF + 0000000000008000 = 0000000080007FFF (cc=1)
ALFI 0 + FFFFFFFFFFFFFFFF + 0000000000008000 = FFFFFFFF00007FFF (cc=3)
ALFI 0 + 8000000000000000 + 0000000000008000 = 8000000000008000 (cc=1)
ALFI 0 + 7FFFFFFFFFFFFFFF + 0000000000008000 = 7FFFFFFF00007FFF (cc=3)
ALFI 0 + 0000000000000000 + 0000000000007FFF = 0000000000007FFF (cc=1)
ALFI 0 + 0000000000000001 + 0000000000007FFF = 0000000000008000 (cc=1)
ALFI 0 + 000000000000FFFF + 0000000000007FFF = 0000000000017FFE (cc=1)
ALFI 0 + 0000000000007FFF + 0000000000007FFF = 000000000000FFFE (cc=1)
ALFI 0 + 0000000000008000 + 0000000000007FFF = 000000000000FFFF (cc=1)
ALFI 0 + 00000000FFFFFFFF + 0000000000007FFF = 0000000000007FFE (cc=3)
ALFI 0 + 0000000080000000 + 0000000000007FFF = 0000000080007FFF (cc=1)
ALFI 0 + 000000007FFFFFFF + 0000000000007FFF = 0000000080007FFE (cc=1)
ALFI 0 + FFFFFFFFFFFFFFFF + 0000000000007FFF = FFFFFFFF00007FFE (cc=3)
ALFI 0 + 8000000000000000 + 0000000000007FFF = 8000000000007FFF (cc=1)
ALFI 0 + 7FFFFFFFFFFFFFFF + 0000000000007FFF = 7FFFFFFF00007FFE (cc=3)
ALFI 0 + 0000000000000000 + 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
ALFI 0 + 0000000000000001 + 00000000FFFFFFFF = 0000000000000000 (cc=2)
ALFI 0 + 000000000000FFFF + 00000000FFFFFFFF = 000000000000FFFE (cc=3)
ALFI 0 + 0000000000007FFF + 00000000FFFFFFFF = 0000000000007FFE (cc=3)
ALFI 0 + 0000000000008000 + 00000000FFFFFFFF = 0000000000007FFF (cc=3)
ALFI 0 + 00000000FFFFFFFF + 00000000FFFFFFFF = 00000000FFFFFFFE (cc=3)
ALFI 0 + 0000000080000000 + 00000000FFFFFFFF = 000000007FFFFFFF (cc=3)
ALFI 0 + 000000007FFFFFFF + 00000000FFFFFFFF = 000000007FFFFFFE (cc=3)
ALFI 0 + FFFFFFFFFFFFFFFF + 00000000FFFFFFFF = FFFFFFFFFFFFFFFE (cc=3)
ALFI 0 + 8000000000000000 + 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
ALFI 0 + 7FFFFFFFFFFFFFFF + 00000000FFFFFFFF = 7FFFFFFFFFFFFFFE (cc=3)
ALFI 0 + 0000000000000000 + 0000000080000000 = 0000000080000000 (cc=1)
ALFI 0 + 0000000000000001 + 0000000080000000 = 0000000080000001 (cc=1)
ALFI 0 + 000000000000FFFF + 0000000080000000 = 000000008000FFFF (cc=1)
ALFI 0 + 0000000000007FFF + 0000000080000000 = 0000000080007FFF (cc=1)
ALFI 0 + 0000000000008000 + 0000000080000000 = 0000000080008000 (cc=1)
ALFI 0 + 00000000FFFFFFFF + 0000000080000000 = 000000007FFFFFFF (cc=3)
ALFI 0 + 0000000080000000 + 0000000080000000 = 0000000000000000 (cc=2)
ALFI 0 + 000000007FFFFFFF + 0000000080000000 = 00000000FFFFFFFF (cc=1)
ALFI 0 + FFFFFFFFFFFFFFFF + 0000000080000000 = FFFFFFFF7FFFFFFF (cc=3)
ALFI 0 + 8000000000000000 + 0000000080000000 = 8000000080000000 (cc=1)
ALFI 0 + 7FFFFFFFFFFFFFFF + 0000000080000000 = 7FFFFFFF7FFFFFFF (cc=3)
ALFI 0 + 0000000000000000 + 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
ALFI 0 + 0000000000000001 + 000000007FFFFFFF = 0000000080000000 (cc=1)
ALFI 0 + 000000000000FFFF + 000000007FFFFFFF = 000000008000FFFE (cc=1)
ALFI 0 + 0000000000007FFF + 000000007FFFFFFF = 0000000080007FFE (cc=1)
ALFI 0 + 0000000000008000 + 000000007FFFFFFF = 0000000080007FFF (cc=1)
ALFI 0 + 00000000FFFFFFFF + 000000007FFFFFFF = 000000007FFFFFFE (cc=3)
ALFI 0 + 0000000080000000 + 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
ALFI 0 + 000000007FFFFFFF + 000000007FFFFFFF = 00000000FFFFFFFE (cc=1)
ALFI 0 + FFFFFFFFFFFFFFFF + 000000007FFFFFFF = FFFFFFFF7FFFFFFE (cc=3)
ALFI 0 + 8000000000000000 + 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
ALFI 0 + 7FFFFFFFFFFFFFFF + 000000007FFFFFFF = 7FFFFFFF7FFFFFFE (cc=3)
ALGFI 0 + 0000000000000000 + 0000000000000000 = 0000000000000000 (cc=0)
ALGFI 0 + 0000000000000001 + 0000000000000000 = 0000000000000001 (cc=1)
ALGFI 0 + 000000000000FFFF + 0000000000000000 = 000000000000FFFF (cc=1)
ALGFI 0 + 0000000000007FFF + 0000000000000000 = 0000000000007FFF (cc=1)
ALGFI 0 + 0000000000008000 + 0000000000000000 = 0000000000008000 (cc=1)
ALGFI 0 + 00000000FFFFFFFF + 0000000000000000 = 00000000FFFFFFFF (cc=1)
ALGFI 0 + 0000000080000000 + 0000000000000000 = 0000000080000000 (cc=1)
ALGFI 0 + 000000007FFFFFFF + 0000000000000000 = 000000007FFFFFFF (cc=1)
ALGFI 0 + FFFFFFFFFFFFFFFF + 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
ALGFI 0 + 8000000000000000 + 0000000000000000 = 8000000000000000 (cc=1)
ALGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000000000 = 7FFFFFFFFFFFFFFF (cc=1)
ALGFI 0 + 0000000000000000 + 000000000000FFFF = 000000000000FFFF (cc=1)
ALGFI 0 + 0000000000000001 + 000000000000FFFF = 0000000000010000 (cc=1)
ALGFI 0 + 000000000000FFFF + 000000000000FFFF = 000000000001FFFE (cc=1)
ALGFI 0 + 0000000000007FFF + 000000000000FFFF = 0000000000017FFE (cc=1)
ALGFI 0 + 0000000000008000 + 000000000000FFFF = 0000000000017FFF (cc=1)
ALGFI 0 + 00000000FFFFFFFF + 000000000000FFFF = 000000010000FFFE (cc=1)
ALGFI 0 + 0000000080000000 + 000000000000FFFF = 000000008000FFFF (cc=1)
ALGFI 0 + 000000007FFFFFFF + 000000000000FFFF = 000000008000FFFE (cc=1)
ALGFI 0 + FFFFFFFFFFFFFFFF + 000000000000FFFF = 000000000000FFFE (cc=3)
ALGFI 0 + 8000000000000000 + 000000000000FFFF = 800000000000FFFF (cc=1)
ALGFI 0 + 7FFFFFFFFFFFFFFF + 000000000000FFFF = 800000000000FFFE (cc=1)
ALGFI 0 + 0000000000000000 + 0000000000008000 = 0000000000008000 (cc=1)
ALGFI 0 + 0000000000000001 + 0000000000008000 = 0000000000008001 (cc=1)
ALGFI 0 + 000000000000FFFF + 0000000000008000 = 0000000000017FFF (cc=1)
ALGFI 0 + 0000000000007FFF + 0000000000008000 = 000000000000FFFF (cc=1)
ALGFI 0 + 0000000000008000 + 0000000000008000 = 0000000000010000 (cc=1)
ALGFI 0 + 00000000FFFFFFFF + 0000000000008000 = 0000000100007FFF (cc=1)
ALGFI 0 + 0000000080000000 + 0000000000008000 = 0000000080008000 (cc=1)
ALGFI 0 + 000000007FFFFFFF + 0000000000008000 = 0000000080007FFF (cc=1)
ALGFI 0 + FFFFFFFFFFFFFFFF + 0000000000008000 = 0000000000007FFF (cc=3)
ALGFI 0 + 8000000000000000 + 0000000000008000 = 8000000000008000 (cc=1)
ALGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000008000 = 8000000000007FFF (cc=1)
ALGFI 0 + 0000000000000000 + 0000000000007FFF = 0000000000007FFF (cc=1)
ALGFI 0 + 0000000000000001 + 0000000000007FFF = 0000000000008000 (cc=1)
ALGFI 0 + 000000000000FFFF + 0000000000007FFF = 0000000000017FFE (cc=1)
ALGFI 0 + 0000000000007FFF + 0000000000007FFF = 000000000000FFFE (cc=1)
ALGFI 0 + 0000000000008000 + 0000000000007FFF = 000000000000FFFF (cc=1)
ALGFI 0 + 00000000FFFFFFFF + 0000000000007FFF = 0000000100007FFE (cc=1)
ALGFI 0 + 0000000080000000 + 0000000000007FFF = 0000000080007FFF (cc=1)
ALGFI 0 + 000000007FFFFFFF + 0000000000007FFF = 0000000080007FFE (cc=1)
ALGFI 0 + FFFFFFFFFFFFFFFF + 0000000000007FFF = 0000000000007FFE (cc=3)
ALGFI 0 + 8000000000000000 + 0000000000007FFF = 8000000000007FFF (cc=1)
ALGFI 0 + 7FFFFFFFFFFFFFFF + 0000000000007FFF = 8000000000007FFE (cc=1)
ALGFI 0 + 0000000000000000 + 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
ALGFI 0 + 0000000000000001 + 00000000FFFFFFFF = 0000000100000000 (cc=1)
ALGFI 0 + 000000000000FFFF + 00000000FFFFFFFF = 000000010000FFFE (cc=1)
ALGFI 0 + 0000000000007FFF + 00000000FFFFFFFF = 0000000100007FFE (cc=1)
ALGFI 0 + 0000000000008000 + 00000000FFFFFFFF = 0000000100007FFF (cc=1)
ALGFI 0 + 00000000FFFFFFFF + 00000000FFFFFFFF = 00000001FFFFFFFE (cc=1)
ALGFI 0 + 0000000080000000 + 00000000FFFFFFFF = 000000017FFFFFFF (cc=1)
ALGFI 0 + 000000007FFFFFFF + 00000000FFFFFFFF = 000000017FFFFFFE (cc=1)
ALGFI 0 + FFFFFFFFFFFFFFFF + 00000000FFFFFFFF = 00000000FFFFFFFE (cc=3)
ALGFI 0 + 8000000000000000 + 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
ALGFI 0 + 7FFFFFFFFFFFFFFF + 00000000FFFFFFFF = 80000000FFFFFFFE (cc=1)
ALGFI 0 + 0000000000000000 + 0000000080000000 = 0000000080000000 (cc=1)
ALGFI 0 + 0000000000000001 + 0000000080000000 = 0000000080000001 (cc=1)
ALGFI 0 + 000000000000FFFF + 0000000080000000 = 000000008000FFFF (cc=1)
ALGFI 0 + 0000000000007FFF + 0000000080000000 = 0000000080007FFF (cc=1)
ALGFI 0 + 0000000000008000 + 0000000080000000 = 0000000080008000 (cc=1)
ALGFI 0 + 00000000FFFFFFFF + 0000000080000000 = 000000017FFFFFFF (cc=1)
ALGFI 0 + 0000000080000000 + 0000000080000000 = 0000000100000000 (cc=1)
ALGFI 0 + 000000007FFFFFFF + 0000000080000000 = 00000000FFFFFFFF (cc=1)
ALGFI 0 + FFFFFFFFFFFFFFFF + 0000000080000000 = 000000007FFFFFFF (cc=3)
ALGFI 0 + 8000000000000000 + 0000000080000000 = 8000000080000000 (cc=1)
ALGFI 0 + 7FFFFFFFFFFFFFFF + 0000000080000000 = 800000007FFFFFFF (cc=1)
ALGFI 0 + 0000000000000000 + 000000007FFFFFFF = 000000007FFFFFFF (cc=1)
ALGFI 0 + 0000000000000001 + 000000007FFFFFFF = 0000000080000000 (cc=1)
ALGFI 0 + 000000000000FFFF + 000000007FFFFFFF = 000000008000FFFE (cc=1)
ALGFI 0 + 0000000000007FFF + 000000007FFFFFFF = 0000000080007FFE (cc=1)
ALGFI 0 + 0000000000008000 + 000000007FFFFFFF = 0000000080007FFF (cc=1)
ALGFI 0 + 00000000FFFFFFFF + 000000007FFFFFFF = 000000017FFFFFFE (cc=1)
ALGFI 0 + 0000000080000000 + 000000007FFFFFFF = 00000000FFFFFFFF (cc=1)
ALGFI 0 + 000000007FFFFFFF + 000000007FFFFFFF = 00000000FFFFFFFE (cc=1)
ALGFI 0 + FFFFFFFFFFFFFFFF + 000000007FFFFFFF = 000000007FFFFFFE (cc=3)
ALGFI 0 + 8000000000000000 + 000000007FFFFFFF = 800000007FFFFFFF (cc=1)
ALGFI 0 + 7FFFFFFFFFFFFFFF + 000000007FFFFFFF = 800000007FFFFFFE (cc=1)