OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

atomic-inst-cas.c: New.

Browse Source 
* gcc.target/aarch64/atomic-inst-cas.c: New.
	* gcc.target/aarch64/atomic-inst-ops.inc: New.

From-SVN: r226859
This commit is contained in:
Matthew Wahab 2015-08-13 11:30:53 +00:00 committed by Matthew Wahab
parent b0770c0f18
commit 54a8e4f651
3 changed files with 119 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2015-08-13 Matthew Wahab <matthew.wahab@arm.com>
* gcc.target/aarch64/atomic-inst-cas.c: New.
* gcc.target/aarch64/atomic-inst-ops.inc: New.
2015-08-13 Andreas Schwab <schwab@suse.de> 2015-08-13 Andreas Schwab <schwab@suse.de>
* gcc.dg/tree-ssa/vrp33.c: Add -fno-tree-fre. * gcc.dg/tree-ssa/vrp33.c: Add -fno-tree-fre.

61
gcc/testsuite/gcc.target/aarch64/atomic-inst-cas.c Normal file
View File

@ -0,0 +1,61 @@
/* { dg-do compile } */
/* { dg-options "-O2 -march=armv8-a+lse" } */
/* Test ARMv8.1-A CAS instruction. */
#include "atomic-inst-ops.inc"
#define TEST TEST_TWO
#define CAS_ATOMIC(FN, TY, MODEL1, MODEL2) \
int FNNAME (FN, TY) (TY* val, TY* foo, TY* bar) \
{ \
int model_s = MODEL1; \
int model_f = MODEL2; \
/* The success memory ordering must be at least as strong as \
the failure memory ordering. */ \
if (model_s < model_f) \
return 0; \
/* Ignore invalid memory orderings. */ \
if (model_f == __ATOMIC_RELEASE || model_f == __ATOMIC_ACQ_REL) \
return 0; \
return __atomic_compare_exchange_n (val, foo, bar, 0, model_s, model_f); \
}
#define CAS_ATOMIC_NORETURN(FN, TY, MODEL1, MODEL2) \
void FNNAME (FN, TY) (TY* val, TY* foo, TY* bar) \
{ \
int model_s = MODEL1; \
int model_f = MODEL2; \
/* The success memory ordering must be at least as strong as \
the failure memory ordering. */ \
if (model_s < model_f) \
return; \
/* Ignore invalid memory orderings. */ \
if (model_f == __ATOMIC_RELEASE || model_f == __ATOMIC_ACQ_REL) \
return; \
__atomic_compare_exchange_n (val, foo, bar, 0, model_s, model_f); \
}
TEST (cas_atomic, CAS_ATOMIC)
TEST (cas_atomic_noreturn, CAS_ATOMIC_NORETURN)
/* { dg-final { scan-assembler-times "casb\t" 4} } */
/* { dg-final { scan-assembler-times "casab\t" 20} } */
/* { dg-final { scan-assembler-times "caslb\t" 4} } */
/* { dg-final { scan-assembler-times "casalb\t" 36} } */
/* { dg-final { scan-assembler-times "cash\t" 4} } */
/* { dg-final { scan-assembler-times "casah\t" 20} } */
/* { dg-final { scan-assembler-times "caslh\t" 4} } */
/* { dg-final { scan-assembler-times "casalh\t" 36} } */
/* { dg-final { scan-assembler-times "cas\t" 8} } */
/* { dg-final { scan-assembler-times "casa\t" 40} } */
/* { dg-final { scan-assembler-times "casl\t" 8} } */
/* { dg-final { scan-assembler-times "casal\t" 72} } */
/* { dg-final { scan-assembler-not "ldaxr\t" } } */
/* { dg-final { scan-assembler-not "stlxr\t" } } */
/* { dg-final { scan-assembler-not "dmb" } } */

53
gcc/testsuite/gcc.target/aarch64/atomic-inst-ops.inc Normal file
View File

@ -0,0 +1,53 @@
/* Support code for atomic instruction tests. */
/* Define types names without spaces. */
typedef unsigned char uchar;
typedef unsigned short ushort;
typedef unsigned int uint;
typedef long long longlong;
typedef unsigned long long ulonglong;
typedef __int128_t int128;
typedef __uint128_t uint128;
#define FNNAME(NAME,TY) NAME
/* Expand one-model functions. */
#define TEST_M1(NAME, FN, TY, MODEL, DUMMY) \
FN (test_##NAME##_##TY, TY, MODEL)
/* Expand two-model functions. */
#define TEST_M2(NAME, FN, TY, MODEL1, MODEL2) \
FN (test_##NAME##_##TY, TY, MODEL1, MODEL2)
/* Typest to test. */
#define TEST_TY(NAME, FN, N, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, char, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, uchar, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, short, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, ushort, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, int, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, uint, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, longlong, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, ulonglong, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, int128, MODEL1, MODEL2) \
TEST_M##N (NAME, FN, uint128, MODEL1, MODEL2)
/* Cross-product of models to test. */
#define TEST_MODEL_M1(NAME, FN, N, M) \
TEST_TY (NAME##_relaxed, FN, N, M, __ATOMIC_RELAXED) \
TEST_TY (NAME##_consume, FN, N, M, __ATOMIC_CONSUME) \
TEST_TY (NAME##_acquire, FN, N, M, __ATOMIC_ACQUIRE) \
TEST_TY (NAME##_release, FN, N, M, __ATOMIC_RELEASE) \
TEST_TY (NAME##_acq_rel, FN, N, M, __ATOMIC_ACQ_REL) \
TEST_TY (NAME##_seq_cst, FN, N, M, __ATOMIC_SEQ_CST) \
#define TEST_MODEL_M2(NAME, FN) \
TEST_MODEL_M1 (NAME##_relaxed, FN, 2, __ATOMIC_RELAXED) \
TEST_MODEL_M1 (NAME##_consume, FN, 2, __ATOMIC_CONSUME) \
TEST_MODEL_M1 (NAME##_acquire, FN, 2, __ATOMIC_ACQUIRE) \
TEST_MODEL_M1 (NAME##_release, FN, 2, __ATOMIC_RELEASE) \
TEST_MODEL_M1 (NAME##_acq_rel, FN, 2, __ATOMIC_ACQ_REL) \
TEST_MODEL_M1 (NAME##_seq_cst, FN, 2, __ATOMIC_SEQ_CST) \
/* Expand functions for a cross-product of memory models and types. */
#define TEST_TWO(NAME, FN) TEST_MODEL_M2 (NAME, FN)