diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-30 17:14:00 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-10-01 11:16:39 +0200 |
commit | 995f654c43092ceb258f7c0799a4101ed6e570af (patch) | |
tree | 15439bf51a2a3481181113d7f325b461b62c2f79 /test/regression/telescopes.c | |
parent | 634b136e5af1adafd8af7e5390aacdac2eb25be3 (diff) | |
download | compcert-995f654c43092ceb258f7c0799a4101ed6e570af.tar.gz compcert-995f654c43092ceb258f7c0799a4101ed6e570af.zip |
Add test for nested conditional, &&, || expressions
Diffstat (limited to 'test/regression/telescopes.c')
-rw-r--r-- | test/regression/telescopes.c | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/test/regression/telescopes.c b/test/regression/telescopes.c new file mode 100644 index 00000000..02ff3b60 --- /dev/null +++ b/test/regression/telescopes.c @@ -0,0 +1,47 @@ +/* Nested `||`, `&&` and ` ? : ` expressions. */ + +#include <stdio.h> + +int orand(int x, int y, int z) { return x || (y && z); } + +int andor(int x, int y, int z) { return (x || y) && z; } + +int choose(int x, int y, int z) { return x ? y : z; } + +int choose2(int a, int x1, int y1, int z1, int x2, int y2, int z2) +{ return a ? (x1 ? y1 : z1) : (x2 ? y2 : z2); } + +double choosed(int x, double y, double z) { return x ? y : z; } + +double choose2d(int a, int x1, long long y1, int z1, int x2, double y2, long long z2) +{ return a ? (x1 ? y1 : z1) : (x2 ? y2 : z2); } + +long long chooseandl(int a, long long x, int y, int z) +{ return a ? x : y && z; } + +int main() +{ + printf("orand: %d %d %d %d\n", + orand(1,0,0), orand(0,1,0), orand(0,0,1), orand(0,1,1)); + printf("andor: %d %d %d %d\n", + andor(0,0,1), andor(1,0,1), andor(0,1,1), andor(1,1,0)); + printf("choose: %d %d\n", + choose(1, 23, 45), choose(0, 23, 45)); + printf("choose2: %d %d %d %d\n", + choose2(1, 1, 23, 45, 0, 67, 89), + choose2(1, 0, 23, 45, 0, 67, 89), + choose2(0, 0, 23, 45, 0, 67, 89), + choose2(0, 0, 23, 45, 1, 67, 89)); + printf("choosed: %g %g\n", + choosed(1, 23.32, 45.54), choosed(0, 23.32, 45.54)); + printf("choose2d: %g %g %g %g\n", + choose2d(1, 1, 23, 45, 0, 67.76, 89), + choose2d(1, 0, 23, 45, 0, 67.76, 89), + choose2d(0, 0, 23, 45, 0, 67.76, 89), + choose2d(0, 0, 23, 45, 1, 67.76, 89)); + printf("chooseandl: %lld %lld %lld %lld\n", + chooseandl(1, 23, 0, 0), + chooseandl(0, 23, 0, 1), + chooseandl(0, 23, 1, 0), + chooseandl(0, 23, 1, 1)); +} |