diff options
author | Mattias Andrée <maandree@operamail.com> | 2014-12-10 00:22:26 +0100 |
---|---|---|
committer | Mattias Andrée <maandree@operamail.com> | 2014-12-10 00:22:26 +0100 |
commit | 135e40c12e99f97b667bdd561192ea44dd4ebd9e (patch) | |
tree | 68c1921593a748daceebe390d2ed98a90b5dc205 /test-files/mds-kbdc/compile-layout/valid/builtin_functions | |
parent | mds-kbdc: m bug fixes + more test cases (diff) | |
download | mds-135e40c12e99f97b667bdd561192ea44dd4ebd9e.tar.gz mds-135e40c12e99f97b667bdd561192ea44dd4ebd9e.tar.bz2 mds-135e40c12e99f97b667bdd561192ea44dd4ebd9e.tar.xz |
mds-kbdc: compile-layout: m + more test cases
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
-rw-r--r-- | test-files/mds-kbdc/compile-layout/valid/builtin_functions | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/test-files/mds-kbdc/compile-layout/valid/builtin_functions b/test-files/mds-kbdc/compile-layout/valid/builtin_functions new file mode 100644 index 0000000..c818472 --- /dev/null +++ b/test-files/mds-kbdc/compile-layout/valid/builtin_functions @@ -0,0 +1,62 @@ +if \not(\equals(\add(1 2) 3)) + "" : 0 +end if +if \not(\equals(\sub(5 3) 2)) + "" : 0 +end if +if \not(\equals(\mul(2 3) 6)) + "" : 0 +end if +if \not(\equals(\div(8 2) 4)) + "" : 0 +end if +if \not(\equals(\mod(14 4) 2)) + "" : 0 +end if +if \not(\equals(\rsh(1024 2) 256)) + "" : 0 +end if +if \not(\equals(\lsh(1 10) 1024)) + "" : 0 +end if +if \not(\equals(\or(7 9) 15)) + "" : 0 +end if +if \not(\equals(\and(15 5) 5)) + "" : 0 +end if +if \not(\equals(\xor(15 21) 26)) + "" : 0 +end if +if \not(1) + "" : 0 +end if +if \not(0) +else + "" : 0 +end if +if \not(\equals(0 0)) + "" : 0 +end if +if \equals(0 1) + "" : 0 +end if +if \not(\greater(2 1)) + "" : 0 +end if +if \greater(2 2) + "" : 0 +end if +if \greater(2 3) + "" : 0 +end if +if \not(\less(1 2)) + "" : 0 +end if +if \less(2 2) + "" : 0 +end if +if \less(3 2) + "" : 0 +end if + |