Viewing file:  mmx-8.c (2.85 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* 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();
}
|
