X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=gesamt%2Fcodea_skinner33_05.call;fp=gesamt%2Fcodea_skinner33_05.call;h=5c88f7a2398973e9f9c2104ad48b1ee164c40112;hp=0000000000000000000000000000000000000000;hb=029401d51612c5e69d7ac8603e1b69cd7ed6ef96;hpb=bf19094ac2573112418701ba4c6abf5779e3a9f7 diff --git a/gesamt/codea_skinner33_05.call b/gesamt/codea_skinner33_05.call new file mode 100644 index 0000000..5c88f7a --- /dev/null +++ b/gesamt/codea_skinner33_05.call @@ -0,0 +1,43 @@ +#define F1(a,b) ((-3UL * (long)(b)) - (long)(a)) +#define F2(a,b) ((2UL * (long)(b)) - (long)(a)) +#define F3(a,b) ((5UL * (long)(b)) - (long)(a)) + + +/* based on mrstrcmp_13 + this testcase tests an other order of ops where no lea is possible +*/ + +long f1(long, long, long); +long f2(long, long, long); +long f3(long, long, long); + +RET(f1(0, 3, 20) == F1( 3, 20) && + f1(0, -100, 80) == F1(-100, 80) && + f1(0, 50, -9) == F1( 50, -9) && + f1(0, -77, -50) == F1( -77, -50) && + + f2(0, 3, 20) == F2( 3, 20) && + f2(0, -100, 80) == F2(-100, 80) && + f2(0, 50, -9) == F2( 50, -9) && + f2(0, -77, -50) == F2( -77, -50) && + + f3(0, 3, 20) == F3( 3, 20) && + f3(0, -100, 80) == F3(-100, 80) && + f3(0, 50, -9) == F3( 50, -9) && + f3(0, -77, -50) == F3( -77, -50) && + + f1(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) == + F1(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) && + f2(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) == + F2(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) && + f3(0, 0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) == + F3(0x7FFFFFFFFFFFFFFFUL, 0x7FFFFFFFFFFFFFFFUL) && + + f1(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) == + F1(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) && + f2(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) == + F2(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) && + f3(0, 0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) == + F3(0x8FFFFFFFFFFFFFFFUL, 0x8FFFFFFFFFFFFFFFUL) + ); +