diff options
Diffstat (limited to 'validation/backend')
| -rw-r--r-- | validation/backend/binops.c | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/validation/backend/binops.c b/validation/backend/binops.c index 4c941380..1fed9b25 100644 --- a/validation/backend/binops.c +++ b/validation/backend/binops.c @@ -8,6 +8,16 @@ static unsigned int uadd(unsigned int x, unsigned int y) return x + y; } +static float fadd(float x, float y) +{ + return x + y; +} + +static double dadd(double x, double y) +{ + return x + y; +} + static int sub(int x, int y) { return x - y; @@ -18,6 +28,16 @@ static unsigned int usub(unsigned int x, unsigned int y) return x - y; } +static float fsub(float x, float y) +{ + return x - y; +} + +static double dsub(double x, double y) +{ + return x - y; +} + static int mul(int x, int y) { return x * y; @@ -28,6 +48,16 @@ static unsigned int umul(unsigned int x, unsigned int y) return x * y; } +static float fmul(float x, float y) +{ + return x * y; +} + +static double dmul(double x, double y) +{ + return x * y; +} + static int div(int x, int y) { return x / y; @@ -38,6 +68,16 @@ static unsigned int udiv(unsigned int x, unsigned int y) return x / y; } +static float fdiv(float x, float y) +{ + return x / y; +} + +static double ddiv(double x, double y) +{ + return x / y; +} + static int mod(int x, int y) { return x % y; |