/* { dg-do run } */
|
/* { dg-do run } */
|
/* { dg-options "-fno-ipa-cp-clone" } */
|
/* { dg-options "-fno-ipa-cp-clone" } */
|
|
|
/* Verify that the RX specific builtin functions work. */
|
/* Verify that the RX specific builtin functions work. */
|
|
|
/* IPA CP cloning is disabled because the constant propagation
|
/* IPA CP cloning is disabled because the constant propagation
|
has no understanding of the saturation behaviour of the
|
has no understanding of the saturation behaviour of the
|
__builtin_rx_sat function and so it will optimize away the
|
__builtin_rx_sat function and so it will optimize away the
|
saturation addition test. */
|
saturation addition test. */
|
|
|
#include <stdlib.h>
|
#include <stdlib.h>
|
#include <stdio.h>
|
#include <stdio.h>
|
|
|
/* We need to prevent these functions from being inlined
|
/* We need to prevent these functions from being inlined
|
as otherwise gcc will attempt to optimize away their
|
as otherwise gcc will attempt to optimize away their
|
arguments and we need the operations on them in order
|
arguments and we need the operations on them in order
|
to correctly set the psw flags. */
|
to correctly set the psw flags. */
|
|
|
int saturate_add (int, int) __attribute__((__noinline__));
|
int saturate_add (int, int) __attribute__((__noinline__));
|
int exchange (int, int) __attribute__((__noinline__));
|
int exchange (int, int) __attribute__((__noinline__));
|
|
|
int
|
int
|
half_word_swap (int arg)
|
half_word_swap (int arg)
|
{
|
{
|
return __builtin_rx_revw (arg);
|
return __builtin_rx_revw (arg);
|
}
|
}
|
|
|
int
|
int
|
saturate_add (int arg1, int arg2)
|
saturate_add (int arg1, int arg2)
|
{
|
{
|
arg1 += arg2;
|
arg1 += arg2;
|
return __builtin_rx_sat (arg1);
|
return __builtin_rx_sat (arg1);
|
}
|
}
|
|
|
int
|
int
|
exchange (int arg1, int arg2)
|
exchange (int arg1, int arg2)
|
{
|
{
|
arg1 = __builtin_rx_xchg (arg2);
|
arg1 = __builtin_rx_xchg (arg2);
|
return arg1;
|
return arg1;
|
}
|
}
|
|
|
long
|
long
|
multiply_and_accumulate (long arg1, long arg2, long arg3)
|
multiply_and_accumulate (long arg1, long arg2, long arg3)
|
{
|
{
|
__builtin_rx_mvtaclo (0);
|
__builtin_rx_mvtaclo (0);
|
__builtin_rx_mvtachi (0);
|
__builtin_rx_mvtachi (0);
|
|
|
__builtin_rx_mullo (arg1, arg2);
|
__builtin_rx_mullo (arg1, arg2);
|
__builtin_rx_mulhi (arg1, arg2);
|
__builtin_rx_mulhi (arg1, arg2);
|
__builtin_rx_maclo (arg1, arg3);
|
__builtin_rx_maclo (arg1, arg3);
|
__builtin_rx_machi (arg1, arg3);
|
__builtin_rx_machi (arg1, arg3);
|
|
|
__builtin_rx_racw (1);
|
__builtin_rx_racw (1);
|
|
|
arg1 = __builtin_rx_mvfachi ();
|
arg1 = __builtin_rx_mvfachi ();
|
arg1 += __builtin_rx_mvfacmi ();
|
arg1 += __builtin_rx_mvfacmi ();
|
|
|
return arg1;
|
return arg1;
|
}
|
}
|
|
|
int
|
int
|
rxround (float arg)
|
rxround (float arg)
|
{
|
{
|
return __builtin_rx_round (arg);
|
return __builtin_rx_round (arg);
|
}
|
}
|
|
|
/* #define DEBUG 1 */
|
/* #define DEBUG 1 */
|
|
|
#ifdef DEBUG
|
#ifdef DEBUG
|
#define CHECK_0ARG(func, result) \
|
#define CHECK_0ARG(func, result) \
|
if (func () != result) \
|
if (func () != result) \
|
{ \
|
{ \
|
printf (#func " () fails: %x not %x\n", func (), result); \
|
printf (#func " () fails: %x not %x\n", func (), result); \
|
abort (); \
|
abort (); \
|
}
|
}
|
|
|
#define CHECK_1ARG(func, arg, result) \
|
#define CHECK_1ARG(func, arg, result) \
|
if (func (arg) != result) \
|
if (func (arg) != result) \
|
{ \
|
{ \
|
printf (#func " (" #arg ") fails: %x not %x\n", func (arg), result); \
|
printf (#func " (" #arg ") fails: %x not %x\n", func (arg), result); \
|
abort (); \
|
abort (); \
|
}
|
}
|
|
|
#define CHECK_2ARG(func, arg1, arg2, result) \
|
#define CHECK_2ARG(func, arg1, arg2, result) \
|
if (func (arg1, arg2) != result) \
|
if (func (arg1, arg2) != result) \
|
{ \
|
{ \
|
printf (#func " (" #arg1 "," #arg2 ") fails: %x not %x\n", \
|
printf (#func " (" #arg1 "," #arg2 ") fails: %x not %x\n", \
|
func (arg1, arg2), result); \
|
func (arg1, arg2), result); \
|
abort (); \
|
abort (); \
|
}
|
}
|
|
|
#define CHECK_3ARG(func, arg1, arg2, arg3, result) \
|
#define CHECK_3ARG(func, arg1, arg2, arg3, result) \
|
if (func (arg1, arg2, arg3) != result) \
|
if (func (arg1, arg2, arg3) != result) \
|
{ \
|
{ \
|
printf (#func " (" #arg1 "," #arg2 "," #arg3 ") fails: %x not %x\n", \
|
printf (#func " (" #arg1 "," #arg2 "," #arg3 ") fails: %x not %x\n", \
|
func (arg1, arg2, arg3), result); \
|
func (arg1, arg2, arg3), result); \
|
abort (); \
|
abort (); \
|
}
|
}
|
#else
|
#else
|
#define CHECK_0ARG(func, result) \
|
#define CHECK_0ARG(func, result) \
|
if (func () != result) \
|
if (func () != result) \
|
abort ();
|
abort ();
|
|
|
#define CHECK_1ARG(func, arg, result) \
|
#define CHECK_1ARG(func, arg, result) \
|
if (func (arg) != result) \
|
if (func (arg) != result) \
|
abort ();
|
abort ();
|
|
|
#define CHECK_2ARG(func, arg1, arg2, result) \
|
#define CHECK_2ARG(func, arg1, arg2, result) \
|
if (func (arg1, arg2) != result) \
|
if (func (arg1, arg2) != result) \
|
abort ();
|
abort ();
|
|
|
#define CHECK_3ARG(func, arg1, arg2, arg3, result) \
|
#define CHECK_3ARG(func, arg1, arg2, arg3, result) \
|
if (func (arg1, arg2, arg3) != result) \
|
if (func (arg1, arg2, arg3) != result) \
|
abort ();
|
abort ();
|
#endif
|
#endif
|
|
|
int
|
int
|
main (void)
|
main (void)
|
{
|
{
|
CHECK_1ARG (half_word_swap, 0x12345678, 0x34127856);
|
CHECK_1ARG (half_word_swap, 0x12345678, 0x34127856);
|
CHECK_2ARG (saturate_add, 0x80000000, 0x80000000, 0x80000000);
|
CHECK_2ARG (saturate_add, 0x80000000, 0x80000000, 0x80000000);
|
CHECK_3ARG (multiply_and_accumulate, 0x111, 0x222, 0x333, 0x70007);
|
CHECK_3ARG (multiply_and_accumulate, 0x111, 0x222, 0x333, 0x70007);
|
CHECK_1ARG (rxround, 0.5, 1);
|
CHECK_1ARG (rxround, 0.5, 1);
|
return 0;
|
return 0;
|
}
|
}
|
|
|
/* The following builtins are compiled but
|
/* The following builtins are compiled but
|
not executed because they need OS support. */
|
not executed because they need OS support. */
|
|
|
void
|
void
|
rxbreak (void)
|
rxbreak (void)
|
{
|
{
|
__builtin_rx_brk ();
|
__builtin_rx_brk ();
|
}
|
}
|
|
|
void
|
void
|
interrupt (void)
|
interrupt (void)
|
{
|
{
|
__builtin_rx_int (0x12);
|
__builtin_rx_int (0x12);
|
}
|
}
|
|
|
int
|
int
|
get_stack_pointer (void)
|
get_stack_pointer (void)
|
{
|
{
|
return __builtin_rx_mvfc (2);
|
return __builtin_rx_mvfc (2);
|
}
|
}
|
|
|
void
|
void
|
set_stack_pointer (int value)
|
set_stack_pointer (int value)
|
{
|
{
|
__builtin_rx_mvtc (2, value);
|
__builtin_rx_mvtc (2, value);
|
__builtin_rx_mvtc (2, 0x1234);
|
__builtin_rx_mvtc (2, 0x1234);
|
}
|
}
|
|
|
void
|
void
|
wait (void)
|
wait (void)
|
{
|
{
|
__builtin_rx_wait ();
|
__builtin_rx_wait ();
|
}
|
}
|
|
|
void
|
void
|
rmpa (int * multiplicand, int * multiplier, int num)
|
rmpa (int * multiplicand, int * multiplier, int num)
|
{
|
{
|
__builtin_rx_rmpa ();
|
__builtin_rx_rmpa ();
|
}
|
}
|
|
|
void
|
void
|
set_interrupts (void)
|
set_interrupts (void)
|
{
|
{
|
__builtin_mvtipl (3);
|
__builtin_mvtipl (3);
|
}
|
}
|
|
|
