Subversion Repositories openrisc_2011-10-31

/* PR middle-end/37809 */

/* { dg-do run } */

/* { dg-options "-O2 -mmmx" } */

#include <mmintrin.h>

#include "mmx-check.h"

// Various tests of cases where it is incorrect to optimise vectors as if they

// were integers of the same width.

extern void abort (void);

void __attribute__ ((noinline))

Sshift()

{

    volatile __m64 y = (__m64) 0xffffffffll;

    __m64 x = y & (__m64) 0xffffffffll;

    x = _m_psradi (x, 1);

    x &= (__m64) 0x80000000ll;

    if (0 == (long long) x)

        abort();

}

#define SHIFTU(F,B,S,T)                         \

    void F()                                    \

    {                                           \

        volatile __m64 y = (__m64) 0ll;         \

        __m64 x = y | (__m64) (1llu << B);      \

        if (S > 0)                              \

            x = _m_pslldi (x, S);               \

        else                                    \

            x = _m_psrldi (x, -S);              \

        if (T > 0)                              \

            x = _m_pslldi (x, T);               \

        else                                    \

            x = _m_psrldi (x, -T);              \

        x &= (__m64) (1llu << (B + S + T));     \

        if ((long long) x)                      \

            abort();                            \

    }

SHIFTU (shiftU1, 31, 1, -1)

SHIFTU (shiftU2, 32, -1, 1)

SHIFTU (shiftU3, 31, 1, 0)

SHIFTU (shiftU4, 32, -1, 0)

void __attribute__ ((noinline))

add_1()

{

    volatile long long ONE = 1;

    long long one = ONE;

    __m64 a = (__m64) one;

    __m64 b = (__m64) -one;

    __m64 c = a + b;

    if (0 == (long long) c)

        abort();

}

void __attribute__ ((noinline))

add_2()

{

    volatile long long ONE = 1;

    long long one = ONE;

    __m64 a = (__m64) one;

    __m64 b = (__m64) -one;

    __m64 c = _m_paddd (a, b);

    if (0 == (long long) c)

        abort();

}

void __attribute__ ((noinline))

mult_1()

{

    volatile __m64 y = (__m64) 0ll;

    __m64 x = y | (__m64) (1ll << 32);

    x = x * (__m64) 1ll;

    x &= (__m64) (1ll << 32);

    if (0 != (long long) x)

        abort();

}

void __attribute__ ((noinline))

mult_2()

{

    volatile int foo = 1;

    unsigned long long one = foo & 1;

    __m64 x = (__m64) (one << 16);

    x *= x;

    x &= (__m64) (1ll << 32);

    if (0 != (long long) x)

        abort();

}

void __attribute__ ((noinline))

mult_3()

{

    volatile __m64 y = (__m64) (1ll << 32);

    __m64 a = y;

    __m64 b = y * (__m64) 1ll;

    if (((long long) a) == (long long) b)

        abort();

}

void __attribute__ ((noinline))

div_1()

{

    volatile __m64 y = (__m64) 0ll;

    __m64 x = y | (__m64) (1ull << 32);

    x |= (__m64) 1ull;

    x = x / x;

    if (1ll == (long long) x)

        abort();

}

void mmx_test (void)

{

    Sshift();

    shiftU1();

    shiftU2();

    shiftU3();

    shiftU4();

    add_1();

    add_2();

    mult_1();

    mult_2();

    mult_3();

    div_1();

}