Commit 2d497c14 authored by Janne Grunau's avatar Janne Grunau
Browse files

eval: add gt(), gte(), lt() and lte() fate tests

parent caac3ab6
......@@ -596,6 +596,14 @@ int main(int argc, char **argv)
"1Gi",
"st(0, 123)",
"st(1, 123); ld(1)",
"lte(0, 1)",
"lte(1, 1)",
"lte(1, 0)",
"lt(0, 1)",
"lt(1, 1)",
"gt(1, 0)",
"gt(2, 7)",
"gte(122, 122)",
/* compute 1+2+...+N */
"st(0, 1); while(lte(ld(0), 100), st(1, ld(1)+ld(0));st(0, ld(0)+1)); ld(1)",
/* compute Fib(N) */
......
......@@ -94,6 +94,30 @@ Evaluating 'st(0, 123)'
Evaluating 'st(1, 123); ld(1)'
'st(1, 123); ld(1)' -> 123.000000
Evaluating 'lte(0, 1)'
'lte(0, 1)' -> 1.000000
Evaluating 'lte(1, 1)'
'lte(1, 1)' -> 1.000000
Evaluating 'lte(1, 0)'
'lte(1, 0)' -> 0.000000
Evaluating 'lt(0, 1)'
'lt(0, 1)' -> 1.000000
Evaluating 'lt(1, 1)'
'lt(1, 1)' -> 0.000000
Evaluating 'gt(1, 0)'
'gt(1, 0)' -> 1.000000
Evaluating 'gt(2, 7)'
'gt(2, 7)' -> 0.000000
Evaluating 'gte(122, 122)'
'gte(122, 122)' -> 1.000000
Evaluating 'st(0, 1); while(lte(ld(0), 100), st(1, ld(1)+ld(0));st(0, ld(0)+1)); ld(1)'
'st(0, 1); while(lte(ld(0), 100), st(1, ld(1)+ld(0));st(0, ld(0)+1)); ld(1)' -> 5050.000000
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment