|
|
|
@ -51,9 +51,9 @@ ck_pr_stall(void)
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#ifndef CK_MD_RMO
|
|
|
|
|
/*
|
|
|
|
|
* By default, we will assume TSO model is used on SPARCv9.
|
|
|
|
|
#if defined(CK_MD_RMO) || defined(CK_MD_PSO)
|
|
|
|
|
/*
|
|
|
|
|
* If RMO is forced, then do not assume TSO model.
|
|
|
|
|
*/
|
|
|
|
|
#define CK_PR_FENCE(T, I) \
|
|
|
|
|
CK_CC_INLINE static void \
|
|
|
|
@ -63,11 +63,11 @@ ck_pr_stall(void)
|
|
|
|
|
} \
|
|
|
|
|
CK_CC_INLINE static void ck_pr_fence_##T(void) \
|
|
|
|
|
{ \
|
|
|
|
|
__asm__ __volatile__("" ::: "memory"); \
|
|
|
|
|
__asm__ __volatile__(I ::: "memory"); \
|
|
|
|
|
}
|
|
|
|
|
#else
|
|
|
|
|
/*
|
|
|
|
|
* If RMO is forced, then do not assume TSO model.
|
|
|
|
|
/*
|
|
|
|
|
* By default, we will assume TSO model is used on SPARCv9.
|
|
|
|
|
*/
|
|
|
|
|
#define CK_PR_FENCE(T, I) \
|
|
|
|
|
CK_CC_INLINE static void \
|
|
|
|
@ -77,9 +77,9 @@ ck_pr_stall(void)
|
|
|
|
|
} \
|
|
|
|
|
CK_CC_INLINE static void ck_pr_fence_##T(void) \
|
|
|
|
|
{ \
|
|
|
|
|
__asm__ __volatile__(I ::: "memory"); \
|
|
|
|
|
__asm__ __volatile__("" ::: "memory"); \
|
|
|
|
|
}
|
|
|
|
|
#endif /* CK_MD_RMO */
|
|
|
|
|
#endif /* !CK_MD_RMO && !CK_MD_PSO */
|
|
|
|
|
|
|
|
|
|
CK_PR_FENCE(load_depends, "")
|
|
|
|
|
CK_PR_FENCE(store, "membar #StoreStore")
|
|
|
|
|