From 23ffc23579daf0e63042a4952ff47317125279dd Mon Sep 17 00:00:00 2001 From: Bernd Schmidt Date: Sun, 20 Nov 2005 18:25:59 +0000 Subject: [PATCH] usmul.c: New test. * gcc.c-torture/execute/usmul.c: New test. From-SVN: r107257 --- gcc/testsuite/ChangeLog | 4 +++ gcc/testsuite/gcc.c-torture/execute/usmul.c | 33 +++++++++++++++++++++ 2 files changed, 37 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/execute/usmul.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index edc8723f020..c8414a319e7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2005-11-20 Bernd Schmidt + + * gcc.c-torture/execute/usmul.c: New test. + 2005-11-19 James A. Morrison * gcc.dg/tree-ssa/vrp22.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/execute/usmul.c b/gcc/testsuite/gcc.c-torture/execute/usmul.c new file mode 100644 index 00000000000..28501b53f5b --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/usmul.c @@ -0,0 +1,33 @@ +int __attribute__ ((noinline)) foo (short x, unsigned short y) +{ + return x * y; +} + +int __attribute__ ((noinline)) bar (unsigned short x, short y) +{ + return x * y; +} + +int main () +{ + if (foo (-2, 0xffff) != -131070) + abort (); + if (foo (2, 0xffff) != 131070) + abort (); + if (foo (-32768, 0x8000) != -1073741824) + abort (); + if (foo (32767, 0x8000) != 1073709056) + abort (); + + if (bar (0xffff, -2) != -131070) + abort (); + if (bar (0xffff, 2) != 131070) + abort (); + if (bar (0x8000, -32768) != -1073741824) + abort (); + if (bar (0x8000, 32767) != 1073709056) + abort (); + + exit (0); +} +