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/compd.gt.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/compd.gt.c')
| -rw-r--r-- | test/mppa/general/compd.gt.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/mppa/general/compd.gt.c b/test/mppa/general/compd.gt.c new file mode 100644 index 00000000..768e57fc --- /dev/null +++ b/test/mppa/general/compd.gt.c @@ -0,0 +1,4 @@ +int main(void){ + long long a = 5, b = -2; + return (a > b); +} |