blob: 7be1b12a75bf9f201644aef471c5edb99979c0c5 [file] [log] [blame]
/* { dg-do run } */
/* { dg-options "-O2 -fno-inline -save-temps" } */
extern void abort ();
#define force_simd_di(v) asm volatile ("mov %d0, %1.d[0]" :"=w" (v) :"w" (v) :)
#define force_simd_si(v) asm volatile ("mov %s0, %1.s[0]" :"=w" (v) :"w" (v) :)
typedef unsigned long long int UInt64x1;
typedef long long int Int64x1;
typedef unsigned int UInt32x1;
typedef int Int32x1;
UInt64x1
test_lshift_left_sisd_di (UInt64x1 b, UInt64x1 c)
{
UInt64x1 a;
force_simd_di (b);
force_simd_di (c);
a = b << 8;
a = a << c;
force_simd_di (a);
return a;
}
/* { dg-final { scan-assembler "shl\td\[0-9\]+,\ d\[0-9\]+,\ 8" } } */
/* { dg-final { scan-assembler "ushl\td\[0-9\]+,\ d\[0-9\]+,\ d\[0-9\]+" } } */
UInt32x1
test_lshift_left_sisd_si (UInt32x1 b, UInt32x1 c)
{
UInt32x1 a;
force_simd_si (b);
force_simd_si (c);
a = b << 4;
a = a << c;
force_simd_si (a);
return a;
}
/* { dg-final { scan-assembler "shl\tv\[0-9\]+\.2s,\ v\[0-9\]+\.2s,\ 4" } } */
/* "ushl\tv\[0-9\]+\.2s,\ v\[0-9\]+\.2s,\ v\[0-9\]+\.2s" (counted later) */
UInt64x1
test_lshift_right_sisd_di (UInt64x1 b, UInt64x1 c)
{
UInt64x1 a;
force_simd_di (b);
force_simd_di (c);
a = b >> 8;
a = a >> c;
force_simd_di (a);
return a;
}
/* { dg-final { scan-assembler "ushr\td\[0-9\]+,\ d\[0-9\]+,\ 8" } } */
/* "neg\td\[0-9\]+,\ d\[0-9\]+" (counted later) */
/* { dg-final { scan-assembler "ushl\td\[0-9\]+,\ d\[0-9\]+,\ d\[0-9\]+" } } */
UInt64x1
test_lshift_right_sisd_si (UInt32x1 b, UInt32x1 c)
{
UInt32x1 a;
force_simd_si (b);
force_simd_si (c);
a = b >> 4;
a = a >> c;
force_simd_si (a);
return a;
}
/* { dg-final { scan-assembler "ushr\tv\[0-9\]+\.2s,\ v\[0-9\]+\.2s,\ 4" } } */
/* "neg\td\[0-9\]+,\ d\[0-9\]+" (counted later) */
/* { dg-final { scan-assembler-times "ushl\tv\[0-9\]+\.2s,\ v\[0-9\]+\.2s,\ v\[0-9\]+\.2s" 2 } } */
Int64x1
test_ashift_right_sisd_di (Int64x1 b, Int64x1 c)
{
Int64x1 a;
force_simd_di (b);
force_simd_di (c);
a = b >> 8;
a = a >> c;
force_simd_di (a);
return a;
}
/* { dg-final { scan-assembler "sshr\td\[0-9\]+,\ d\[0-9\]+,\ 8" } } */
/* "neg\td\[0-9\]+,\ d\[0-9\]+" (counted later) */
/* { dg-final { scan-assembler "sshl\td\[0-9\]+,\ d\[0-9\]+,\ d\[0-9\]+" } } */
Int32x1
test_ashift_right_sisd_si (Int32x1 b, Int32x1 c)
{
Int32x1 a;
force_simd_si (b);
force_simd_si (c);
a = b >> 4;
a = a >> c;
force_simd_si (a);
return a;
}
/* { dg-final { scan-assembler "sshr\tv\[0-9\]+\.2s,\ v\[0-9\]+\.2s,\ 4" } } */
/* { dg-final { scan-assembler-times "neg\td\[0-9\]+,\ d\[0-9\]+" 4 } } */
/* { dg-final { scan-assembler "sshl\tv\[0-9\]+\.2s,\ v\[0-9\]+\.2s,\ v\[0-9\]+\.2s" } } */
/* The following are to make sure if the integer instructions lsl/lsr/asr are
generated in non-vector scenarios */
UInt64x1
test_lshift_left_int_di (UInt64x1 b, UInt64x1 c)
{
UInt64x1 a;
a = b << 8;
a = a << c;
return a;
}
/* { dg-final { scan-assembler "lsl\tx\[0-9\]+,\ x\[0-9\]+,\ 8" } } */
/* { dg-final { scan-assembler "lsl\tx\[0-9\]+,\ x\[0-9\]+,\ x\[0-9\]+" } } */
UInt32x1
test_lshift_left_int_si (UInt32x1 b, UInt32x1 c)
{
UInt32x1 a;
a = b << 4;
a = a << c;
return a;
}
/* { dg-final { scan-assembler "lsl\tw\[0-9\]+,\ w\[0-9\]+,\ 4" } } */
/* { dg-final { scan-assembler "lsl\tw\[0-9\]+,\ w\[0-9\]+,\ w\[0-9\]+" } } */
UInt64x1
test_lshift_right_int_di (UInt64x1 b, UInt64x1 c)
{
UInt64x1 a;
a = b >> 8;
a = a >> c;
return a;
}
/* { dg-final { scan-assembler "lsr\tx\[0-9\]+,\ x\[0-9\]+,\ 8" } } */
/* { dg-final { scan-assembler "lsr\tx\[0-9\]+,\ x\[0-9\]+,\ x\[0-9\]+" } } */
UInt32x1
test_lshift_right_int_si (UInt32x1 b, UInt32x1 c)
{
UInt32x1 a;
a = b >> 4;
a = a >> c;
return a;
}
/* { dg-final { scan-assembler "lsr\tw\[0-9\]+,\ w\[0-9\]+,\ 4" } } */
/* { dg-final { scan-assembler "lsr\tw\[0-9\]+,\ w\[0-9\]+,\ w\[0-9\]+" } } */
Int64x1
test_ashift_right_int_di (Int64x1 b, Int64x1 c)
{
Int64x1 a;
a = b >> 8;
a = a >> c;
return a;
}
/* { dg-final { scan-assembler "asr\tx\[0-9\]+,\ x\[0-9\]+,\ 8" } } */
/* { dg-final { scan-assembler "asr\tx\[0-9\]+,\ x\[0-9\]+,\ x\[0-9\]+" } } */
Int32x1
test_ashift_right_int_si (Int32x1 b, Int32x1 c)
{
Int32x1 a;
a = b >> 4;
a = a >> c;
return a;
}
/* { dg-final { scan-assembler "asr\tw\[0-9\]+,\ w\[0-9\]+,\ 4" } } */
/* { dg-final { scan-assembler "asr\tw\[0-9\]+,\ w\[0-9\]+,\ w\[0-9\]+" } } */
#define CHECK(var,val) \
do \
{ \
if (var != val) \
abort(); \
} \
while(0)
UInt64x1 x = 0xC01dDeadBeefFaceull;
UInt32x1 y = 0xDeadBeef;
int
main ()
{
x = test_lshift_left_sisd_di (x, 8);
CHECK (x, 0xdeadbeefface0000ull);
x = test_lshift_right_int_di (x, 8);
CHECK (x, 0x0000deadbeeffaceull);
x = test_lshift_right_sisd_di (x, 8);
CHECK (x, 0x00000000deadbeefull);
x = test_lshift_left_int_di (x, 8);
CHECK (x, 0x0000deadbeef0000ull);
x = ~x;
x = test_ashift_right_int_di (x, 8);
CHECK (x, 0xffffffff21524110ull);
x = test_ashift_right_sisd_di (x, 8);
CHECK (x, 0xffffffffffff2152ull);
y = test_lshift_left_sisd_si (y, 4);
CHECK (y, 0xadbeef00);
y = test_lshift_right_int_si (y, 4);
CHECK (y, 0x00adbeef);
y = test_lshift_right_sisd_si (y, 4);
CHECK (y, 0x0000adbe);
y = test_lshift_left_int_si (y, 4);
CHECK (y, 0x00adbe00);
y = ~y;
y = test_ashift_right_int_si (y, 4);
CHECK (y, 0xffff5241);
y = test_ashift_right_sisd_si (y, 4);
CHECK (y, 0xffffff52);
return 0;
}