diff options
Diffstat (limited to 'validation/backend')
| -rw-r--r-- | validation/backend/cmp-ops.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/validation/backend/cmp-ops.c b/validation/backend/cmp-ops.c index 5a89bee7..b1ad2275 100644 --- a/validation/backend/cmp-ops.c +++ b/validation/backend/cmp-ops.c @@ -18,6 +18,16 @@ static int setg(int x, int y) return x > y; } +static int setb(unsigned int x, unsigned int y) +{ + return x < y; +} + +static int seta(unsigned int x, unsigned int y) +{ + return x > y; +} + /* * check-name: Comparison operator code generation * check-command: ./sparsec -c $file -o tmp.o |