X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=gesamt_ppc%2Fcodea_mrstrcmp_14.call;h=8d401c3a3eaa740f73da11343a60d119d407a042;hb=refs%2Fheads%2Fppc;hp=91ca672f592043f390527a7c7441b1819c493976;hpb=4efb64bb228c31bf3d1701e0f0ec28f2c05ed451;p=testub10.git diff --git a/gesamt_ppc/codea_mrstrcmp_14.call b/gesamt_ppc/codea_mrstrcmp_14.call index 91ca672..8d401c3 100644 --- a/gesamt_ppc/codea_mrstrcmp_14.call +++ b/gesamt_ppc/codea_mrstrcmp_14.call @@ -35,21 +35,21 @@ RET(f1(0, 3, 20) == F1( 3, 20) && f(0, 10, -20, 30, -40) == F( 10, -20, 30, -40) && f(0, -10, -20, -30, -40) == F(-10, -20, -30, -40) && - f1(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) == - F1(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) && - f2(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) == - F2(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) && - f4(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) == - F4(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) && - f8(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) == - F8(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) && - - f1(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) == - F1(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) && - f2(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) == - F2(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) && - f4(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) == - F4(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) && - f8(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) == - F8(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL)); + f1(0, 0x7FFFFFFFUL, 0x7FFFFFFFUL) == + F1(0x7FFFFFFFUL, 0x7FFFFFFFUL) && + f2(0, 0x7FFFFFFFUL, 0x7FFFFFFFUL) == + F2(0x7FFFFFFFUL, 0x7FFFFFFFUL) && + f4(0, 0x7FFFFFFFUL, 0x7FFFFFFFUL) == + F4(0x7FFFFFFFUL, 0x7FFFFFFFUL) && + f8(0, 0x7FFFFFFFUL, 0x7FFFFFFFUL) == + F8(0x7FFFFFFFUL, 0x7FFFFFFFUL) && + + f1(0, 0x8FFFFFFFUL, 0x8FFFFFFFUL) == + F1(0x8FFFFFFFUL, 0x8FFFFFFFUL) && + f2(0, 0x8FFFFFFFUL, 0x8FFFFFFFUL) == + F2(0x8FFFFFFFUL, 0x8FFFFFFFUL) && + f4(0, 0x8FFFFFFFUL, 0x8FFFFFFFUL) == + F4(0x8FFFFFFFUL, 0x8FFFFFFFUL) && + f8(0, 0x8FFFFFFFUL, 0x8FFFFFFFUL) == + F8(0x8FFFFFFFUL, 0x8FFFFFFFUL));