diff options
Diffstat (limited to 'validation/backend')
| -rw-r--r-- | validation/backend/cmp-ops.c | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/validation/backend/cmp-ops.c b/validation/backend/cmp-ops.c index 7bbc81ce..a5f736d7 100644 --- a/validation/backend/cmp-ops.c +++ b/validation/backend/cmp-ops.c @@ -48,6 +48,36 @@ static int setae(unsigned int x, unsigned int y) return x >= y; } +static int setfe(float x, float y) +{ + return x == y; +} + +static int setfne(float x, float y) +{ + return x != y; +} + +static int setfl(float x, float y) +{ + return x < y; +} + +static int setfg(float x, float y) +{ + return x > y; +} + +static int setfle(float x, float y) +{ + return x <= y; +} + +static int setfge(float x, float y) +{ + return x >= y; +} + /* * check-name: Comparison operator code generation * check-command: ./sparsec -c $file -o tmp.o |