From a0c25ff1259a8373fb71e780f70d28916c321612 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 20 Mar 2019 09:49:45 +0100 Subject: maddl / maddlim are synthesized (but not for pointers it seems) --- test/monniaux/madd/madd.c | 20 +++++++++++++++++--- 1 file changed, 17 insertions(+), 3 deletions(-) (limited to 'test/monniaux/madd/madd.c') diff --git a/test/monniaux/madd/madd.c b/test/monniaux/madd/madd.c index f847edf3..68f348ad 100644 --- a/test/monniaux/madd/madd.c +++ b/test/monniaux/madd/madd.c @@ -1,11 +1,25 @@ -unsigned madd(unsigned a, unsigned b, unsigned c) { +#include + +uint32_t madd(uint32_t a, uint32_t b, uint32_t c) { + return a + b*c; +} + +uint32_t maddimm(uint32_t a, uint32_t b) { + return a + b*17113; +} + +uint32_t madd2(uint32_t a, uint32_t b, uint32_t c) { + return c + b*a; +} + +uint64_t maddl(uint64_t a, uint64_t b, uint64_t c) { return a + b*c; } -unsigned maddimm(unsigned a, unsigned b) { +uint64_t maddlimm(uint64_t a, uint64_t b) { return a + b*17113; } -unsigned madd2(unsigned a, unsigned b, unsigned c) { +uint64_t maddl2(uint64_t a, uint64_t b, uint64_t c) { return c + b*a; } -- cgit