/* 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();
}