diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 11:36:02 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 11:36:02 +0200 |
commit | 432bff5418d4789ba4187ffdd6ce89a29d58962a (patch) | |
tree | 6c48ff6aa5919fe8d5804302d48b5900a2c4441c /test/mppa/general/cb.wltz.c | |
parent | fd0562ffa499e57eff1243b5d9defe94a3f91d3c (diff) | |
download | compcert-kvx-432bff5418d4789ba4187ffdd6ce89a29d58962a.tar.gz compcert-kvx-432bff5418d4789ba4187ffdd6ce89a29d58962a.zip |
MPPA - Added a lot more unit tests + refined coverage
Diffstat (limited to 'test/mppa/general/cb.wltz.c')
-rw-r--r-- | test/mppa/general/cb.wltz.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/mppa/general/cb.wltz.c b/test/mppa/general/cb.wltz.c new file mode 100644 index 00000000..76d49f56 --- /dev/null +++ b/test/mppa/general/cb.wltz.c @@ -0,0 +1,9 @@ +#define TYPE int + +int main(void){ + TYPE a = 6; + TYPE b = -4; + if (a >= 0) + return 42; + return 0; +} |