X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=codeb%2Fcodea_skinner33_07.call;fp=codeb%2Fcodea_skinner33_07.call;h=62902cc1d7535362c210dadecd1b77a17348c64f;hp=0000000000000000000000000000000000000000;hb=f6b3a96e0cd4fbae723dbbe8a4c85ea3673a0546;hpb=d9a522cb1be164037e10a8d7bae6941a98aef011 diff --git a/codeb/codea_skinner33_07.call b/codeb/codea_skinner33_07.call new file mode 100644 index 0000000..62902cc --- /dev/null +++ b/codeb/codea_skinner33_07.call @@ -0,0 +1,28 @@ +#define F1(a,b,c) ((long)(a) -(((long)(b) - (long)(c)) * -2UL)) +#define F2(a,b,c) ((long)(a) -(((long)(b) - (long)(c)) * -3UL)) + + +long f1(long, long, long, long); +long f2(long, long, long, long); + +RET(f1(0, 3, 20, 15) == F1( 3, 20, 15) && + f1(0, -100, 80, 23) == F1(-100, 80, 23) && + f1(0, 50, -9, -5) == F1( 50, -9, -5) && + f1(0, -77, -50, 87) == F1( -77, -50, 87) && + + f2(0, 3, 20, 15) == F2( 3, 20, 15) && + f2(0, -100, 80, 23) == F2(-100, 80, 23) && + f2(0, 50, -9, -5) == F2( 50, -9, -5) && + f2(0, -77, -50, 87) == F2( -77, -50, 87) && + + f1(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) == + F1(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) && + f2(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) == + F2(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) && + + f1(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) == + F1(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) && + f2(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) == + F2(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) + ); +