xref: /freebsd/sys/contrib/ck/include/gcc/ppc64/ck_pr.h (revision 8f87df16d414c7b09739ba95030e1e5650207b73)
11fb62fb0SOlivier Houchard /*
21fb62fb0SOlivier Houchard  * Copyright 2009-2015 Samy Al Bahra.
31fb62fb0SOlivier Houchard  * All rights reserved.
41fb62fb0SOlivier Houchard  *
51fb62fb0SOlivier Houchard  * Redistribution and use in source and binary forms, with or without
61fb62fb0SOlivier Houchard  * modification, are permitted provided that the following conditions
71fb62fb0SOlivier Houchard  * are met:
81fb62fb0SOlivier Houchard  * 1. Redistributions of source code must retain the above copyright
91fb62fb0SOlivier Houchard  *    notice, this list of conditions and the following disclaimer.
101fb62fb0SOlivier Houchard  * 2. Redistributions in binary form must reproduce the above copyright
111fb62fb0SOlivier Houchard  *    notice, this list of conditions and the following disclaimer in the
121fb62fb0SOlivier Houchard  *    documentation and/or other materials provided with the distribution.
131fb62fb0SOlivier Houchard  *
141fb62fb0SOlivier Houchard  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
151fb62fb0SOlivier Houchard  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
161fb62fb0SOlivier Houchard  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
171fb62fb0SOlivier Houchard  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
181fb62fb0SOlivier Houchard  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
191fb62fb0SOlivier Houchard  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
201fb62fb0SOlivier Houchard  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
211fb62fb0SOlivier Houchard  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
221fb62fb0SOlivier Houchard  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
231fb62fb0SOlivier Houchard  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
241fb62fb0SOlivier Houchard  * SUCH DAMAGE.
251fb62fb0SOlivier Houchard  */
261fb62fb0SOlivier Houchard 
271fb62fb0SOlivier Houchard #ifndef CK_PR_PPC64_H
281fb62fb0SOlivier Houchard #define CK_PR_PPC64_H
291fb62fb0SOlivier Houchard 
301fb62fb0SOlivier Houchard #ifndef CK_PR_H
311fb62fb0SOlivier Houchard #error Do not include this file directly, use ck_pr.h
321fb62fb0SOlivier Houchard #endif
331fb62fb0SOlivier Houchard 
341fb62fb0SOlivier Houchard #include <ck_cc.h>
351fb62fb0SOlivier Houchard #include <ck_md.h>
361fb62fb0SOlivier Houchard 
371fb62fb0SOlivier Houchard /*
381fb62fb0SOlivier Houchard  * The following represent supported atomic operations.
391fb62fb0SOlivier Houchard  * These operations may be emulated.
401fb62fb0SOlivier Houchard  */
411fb62fb0SOlivier Houchard #include "ck_f_pr.h"
421fb62fb0SOlivier Houchard 
431fb62fb0SOlivier Houchard /*
441fb62fb0SOlivier Houchard  * Minimum interface requirement met.
451fb62fb0SOlivier Houchard  */
461fb62fb0SOlivier Houchard #define CK_F_PR
471fb62fb0SOlivier Houchard 
481fb62fb0SOlivier Houchard /*
491fb62fb0SOlivier Houchard  * This bounces the hardware thread from low to medium
501fb62fb0SOlivier Houchard  * priority. I am unsure of the benefits of this approach
511fb62fb0SOlivier Houchard  * but it is used by the Linux kernel.
521fb62fb0SOlivier Houchard  */
531fb62fb0SOlivier Houchard CK_CC_INLINE static void
ck_pr_stall(void)541fb62fb0SOlivier Houchard ck_pr_stall(void)
551fb62fb0SOlivier Houchard {
561fb62fb0SOlivier Houchard 
571fb62fb0SOlivier Houchard 	__asm__ __volatile__("or 1, 1, 1;"
581fb62fb0SOlivier Houchard 			     "or 2, 2, 2;" ::: "memory");
591fb62fb0SOlivier Houchard 	return;
601fb62fb0SOlivier Houchard }
611fb62fb0SOlivier Houchard 
621fb62fb0SOlivier Houchard #define CK_PR_FENCE(T, I)				\
631fb62fb0SOlivier Houchard 	CK_CC_INLINE static void			\
641fb62fb0SOlivier Houchard 	ck_pr_fence_strict_##T(void)			\
651fb62fb0SOlivier Houchard 	{						\
661fb62fb0SOlivier Houchard 		__asm__ __volatile__(I ::: "memory");   \
671fb62fb0SOlivier Houchard 	}
681fb62fb0SOlivier Houchard 
691fb62fb0SOlivier Houchard /*
701fb62fb0SOlivier Houchard  * These are derived from:
711fb62fb0SOlivier Houchard  *     http://www.ibm.com/developerworks/systems/articles/powerpc.html
721fb62fb0SOlivier Houchard  */
731fb62fb0SOlivier Houchard CK_PR_FENCE(atomic, "lwsync")
741fb62fb0SOlivier Houchard CK_PR_FENCE(atomic_store, "lwsync")
751fb62fb0SOlivier Houchard CK_PR_FENCE(atomic_load, "sync")
761fb62fb0SOlivier Houchard CK_PR_FENCE(store_atomic, "lwsync")
771fb62fb0SOlivier Houchard CK_PR_FENCE(load_atomic, "lwsync")
781fb62fb0SOlivier Houchard CK_PR_FENCE(store, "lwsync")
791fb62fb0SOlivier Houchard CK_PR_FENCE(store_load, "sync")
801fb62fb0SOlivier Houchard CK_PR_FENCE(load, "lwsync")
811fb62fb0SOlivier Houchard CK_PR_FENCE(load_store, "lwsync")
821fb62fb0SOlivier Houchard CK_PR_FENCE(memory, "sync")
831fb62fb0SOlivier Houchard CK_PR_FENCE(acquire, "lwsync")
841fb62fb0SOlivier Houchard CK_PR_FENCE(release, "lwsync")
851fb62fb0SOlivier Houchard CK_PR_FENCE(acqrel, "lwsync")
861fb62fb0SOlivier Houchard CK_PR_FENCE(lock, "lwsync")
871fb62fb0SOlivier Houchard CK_PR_FENCE(unlock, "lwsync")
881fb62fb0SOlivier Houchard 
891fb62fb0SOlivier Houchard #undef CK_PR_FENCE
901fb62fb0SOlivier Houchard 
911fb62fb0SOlivier Houchard #define CK_PR_LOAD(S, M, T, C, I)					\
921fb62fb0SOlivier Houchard 	CK_CC_INLINE static T						\
931fb62fb0SOlivier Houchard 	ck_pr_md_load_##S(const M *target)				\
941fb62fb0SOlivier Houchard 	{								\
951fb62fb0SOlivier Houchard 		T r;							\
961fb62fb0SOlivier Houchard 		__asm__ __volatile__(I "%U1%X1 %0, %1"			\
971fb62fb0SOlivier Houchard 					: "=r" (r)			\
981fb62fb0SOlivier Houchard 					: "m"  (*(const C *)target)	\
991fb62fb0SOlivier Houchard 					: "memory");			\
1001fb62fb0SOlivier Houchard 		return (r);						\
1011fb62fb0SOlivier Houchard 	}
1021fb62fb0SOlivier Houchard 
1031fb62fb0SOlivier Houchard CK_PR_LOAD(ptr, void, void *, uint64_t, "ld")
1041fb62fb0SOlivier Houchard 
1051fb62fb0SOlivier Houchard #define CK_PR_LOAD_S(S, T, I) CK_PR_LOAD(S, T, T, T, I)
1061fb62fb0SOlivier Houchard 
1071fb62fb0SOlivier Houchard CK_PR_LOAD_S(64, uint64_t, "ld")
1081fb62fb0SOlivier Houchard CK_PR_LOAD_S(32, uint32_t, "lwz")
1091fb62fb0SOlivier Houchard CK_PR_LOAD_S(16, uint16_t, "lhz")
1101fb62fb0SOlivier Houchard CK_PR_LOAD_S(8, uint8_t, "lbz")
1111fb62fb0SOlivier Houchard CK_PR_LOAD_S(uint, unsigned int, "lwz")
1121fb62fb0SOlivier Houchard CK_PR_LOAD_S(int, int, "lwz")
1131fb62fb0SOlivier Houchard CK_PR_LOAD_S(short, short, "lhz")
1141fb62fb0SOlivier Houchard CK_PR_LOAD_S(char, char, "lbz")
115*8f87df16SOlivier Houchard #ifndef CK_PR_DISABLE_DOUBLE
1161fb62fb0SOlivier Houchard CK_PR_LOAD_S(double, double, "ld")
117*8f87df16SOlivier Houchard #endif
1181fb62fb0SOlivier Houchard 
1191fb62fb0SOlivier Houchard #undef CK_PR_LOAD_S
1201fb62fb0SOlivier Houchard #undef CK_PR_LOAD
1211fb62fb0SOlivier Houchard 
1221fb62fb0SOlivier Houchard #define CK_PR_STORE(S, M, T, C, I)				\
1231fb62fb0SOlivier Houchard 	CK_CC_INLINE static void				\
1241fb62fb0SOlivier Houchard 	ck_pr_md_store_##S(M *target, T v)			\
1251fb62fb0SOlivier Houchard 	{							\
1261fb62fb0SOlivier Houchard 		__asm__ __volatile__(I "%U0%X0 %1, %0"		\
1271fb62fb0SOlivier Houchard 					: "=m" (*(C *)target)	\
1281fb62fb0SOlivier Houchard 					: "r" (v)		\
1291fb62fb0SOlivier Houchard 					: "memory");		\
1301fb62fb0SOlivier Houchard 		return;						\
1311fb62fb0SOlivier Houchard 	}
1321fb62fb0SOlivier Houchard 
1331fb62fb0SOlivier Houchard CK_PR_STORE(ptr, void, const void *, uint64_t, "std")
1341fb62fb0SOlivier Houchard 
1351fb62fb0SOlivier Houchard #define CK_PR_STORE_S(S, T, I) CK_PR_STORE(S, T, T, T, I)
1361fb62fb0SOlivier Houchard 
1371fb62fb0SOlivier Houchard CK_PR_STORE_S(64, uint64_t, "std")
1381fb62fb0SOlivier Houchard CK_PR_STORE_S(32, uint32_t, "stw")
1391fb62fb0SOlivier Houchard CK_PR_STORE_S(16, uint16_t, "sth")
1401fb62fb0SOlivier Houchard CK_PR_STORE_S(8, uint8_t, "stb")
1411fb62fb0SOlivier Houchard CK_PR_STORE_S(uint, unsigned int, "stw")
1421fb62fb0SOlivier Houchard CK_PR_STORE_S(int, int, "stw")
1431fb62fb0SOlivier Houchard CK_PR_STORE_S(short, short, "sth")
1441fb62fb0SOlivier Houchard CK_PR_STORE_S(char, char, "stb")
145*8f87df16SOlivier Houchard #ifndef CK_PR_DISABLE_DOUBLE
1461fb62fb0SOlivier Houchard CK_PR_STORE_S(double, double, "std")
147*8f87df16SOlivier Houchard #endif
1481fb62fb0SOlivier Houchard 
1491fb62fb0SOlivier Houchard #undef CK_PR_STORE_S
1501fb62fb0SOlivier Houchard #undef CK_PR_STORE
1511fb62fb0SOlivier Houchard 
1521fb62fb0SOlivier Houchard CK_CC_INLINE static bool
ck_pr_cas_64_value(uint64_t * target,uint64_t compare,uint64_t set,uint64_t * value)1531fb62fb0SOlivier Houchard ck_pr_cas_64_value(uint64_t *target, uint64_t compare, uint64_t set, uint64_t *value)
1541fb62fb0SOlivier Houchard {
1551fb62fb0SOlivier Houchard 	uint64_t previous;
1561fb62fb0SOlivier Houchard 
1571fb62fb0SOlivier Houchard         __asm__ __volatile__("1:"
1581fb62fb0SOlivier Houchard 			     "ldarx %0, 0, %1;"
1591fb62fb0SOlivier Houchard 			     "cmpd  0, %0, %3;"
1601fb62fb0SOlivier Houchard 			     "bne-  2f;"
1611fb62fb0SOlivier Houchard 			     "stdcx. %2, 0, %1;"
1621fb62fb0SOlivier Houchard 			     "bne-  1b;"
1631fb62fb0SOlivier Houchard 			     "2:"
1641fb62fb0SOlivier Houchard                                 : "=&r" (previous)
1651fb62fb0SOlivier Houchard                                 : "r"   (target),
1661fb62fb0SOlivier Houchard 				  "r"   (set),
1671fb62fb0SOlivier Houchard                                   "r"   (compare)
1681fb62fb0SOlivier Houchard                                 : "memory", "cc");
1691fb62fb0SOlivier Houchard 
1701fb62fb0SOlivier Houchard         *value = previous;
1711fb62fb0SOlivier Houchard         return (previous == compare);
1721fb62fb0SOlivier Houchard }
1731fb62fb0SOlivier Houchard 
1741fb62fb0SOlivier Houchard CK_CC_INLINE static bool
ck_pr_cas_ptr_value(void * target,void * compare,void * set,void * value)1751fb62fb0SOlivier Houchard ck_pr_cas_ptr_value(void *target, void *compare, void *set, void *value)
1761fb62fb0SOlivier Houchard {
1771fb62fb0SOlivier Houchard 	void *previous;
1781fb62fb0SOlivier Houchard 
1791fb62fb0SOlivier Houchard         __asm__ __volatile__("1:"
1801fb62fb0SOlivier Houchard 			     "ldarx %0, 0, %1;"
1811fb62fb0SOlivier Houchard 			     "cmpd  0, %0, %3;"
1821fb62fb0SOlivier Houchard 			     "bne-  2f;"
1831fb62fb0SOlivier Houchard 			     "stdcx. %2, 0, %1;"
1841fb62fb0SOlivier Houchard 			     "bne-  1b;"
1851fb62fb0SOlivier Houchard 			     "2:"
1861fb62fb0SOlivier Houchard                                 : "=&r" (previous)
1871fb62fb0SOlivier Houchard                                 : "r"   (target),
1881fb62fb0SOlivier Houchard 				  "r"   (set),
1891fb62fb0SOlivier Houchard                                   "r"   (compare)
1901fb62fb0SOlivier Houchard                                 : "memory", "cc");
1911fb62fb0SOlivier Houchard 
1921fb62fb0SOlivier Houchard         ck_pr_md_store_ptr(value, previous);
1931fb62fb0SOlivier Houchard         return (previous == compare);
1941fb62fb0SOlivier Houchard }
1951fb62fb0SOlivier Houchard 
1961fb62fb0SOlivier Houchard CK_CC_INLINE static bool
ck_pr_cas_64(uint64_t * target,uint64_t compare,uint64_t set)1971fb62fb0SOlivier Houchard ck_pr_cas_64(uint64_t *target, uint64_t compare, uint64_t set)
1981fb62fb0SOlivier Houchard {
1991fb62fb0SOlivier Houchard 	uint64_t previous;
2001fb62fb0SOlivier Houchard 
2011fb62fb0SOlivier Houchard         __asm__ __volatile__("1:"
2021fb62fb0SOlivier Houchard 			     "ldarx %0, 0, %1;"
2031fb62fb0SOlivier Houchard 			     "cmpd  0, %0, %3;"
2041fb62fb0SOlivier Houchard 			     "bne-  2f;"
2051fb62fb0SOlivier Houchard 			     "stdcx. %2, 0, %1;"
2061fb62fb0SOlivier Houchard 			     "bne-  1b;"
2071fb62fb0SOlivier Houchard 			     "2:"
2081fb62fb0SOlivier Houchard                                 : "=&r" (previous)
2091fb62fb0SOlivier Houchard                                 : "r"   (target),
2101fb62fb0SOlivier Houchard 				  "r"   (set),
2111fb62fb0SOlivier Houchard                                   "r"   (compare)
2121fb62fb0SOlivier Houchard                                 : "memory", "cc");
2131fb62fb0SOlivier Houchard 
2141fb62fb0SOlivier Houchard         return (previous == compare);
2151fb62fb0SOlivier Houchard }
2161fb62fb0SOlivier Houchard 
2171fb62fb0SOlivier Houchard CK_CC_INLINE static bool
ck_pr_cas_ptr(void * target,void * compare,void * set)2181fb62fb0SOlivier Houchard ck_pr_cas_ptr(void *target, void *compare, void *set)
2191fb62fb0SOlivier Houchard {
2201fb62fb0SOlivier Houchard 	void *previous;
2211fb62fb0SOlivier Houchard 
2221fb62fb0SOlivier Houchard         __asm__ __volatile__("1:"
2231fb62fb0SOlivier Houchard 			     "ldarx %0, 0, %1;"
2241fb62fb0SOlivier Houchard 			     "cmpd  0, %0, %3;"
2251fb62fb0SOlivier Houchard 			     "bne-  2f;"
2261fb62fb0SOlivier Houchard 			     "stdcx. %2, 0, %1;"
2271fb62fb0SOlivier Houchard 			     "bne-  1b;"
2281fb62fb0SOlivier Houchard 			     "2:"
2291fb62fb0SOlivier Houchard                                 : "=&r" (previous)
2301fb62fb0SOlivier Houchard                                 : "r"   (target),
2311fb62fb0SOlivier Houchard 				  "r"   (set),
2321fb62fb0SOlivier Houchard                                   "r"   (compare)
2331fb62fb0SOlivier Houchard                                 : "memory", "cc");
2341fb62fb0SOlivier Houchard 
2351fb62fb0SOlivier Houchard         return (previous == compare);
2361fb62fb0SOlivier Houchard }
2371fb62fb0SOlivier Houchard 
2381fb62fb0SOlivier Houchard #define CK_PR_CAS(N, T)							\
2391fb62fb0SOlivier Houchard 	CK_CC_INLINE static bool					\
2401fb62fb0SOlivier Houchard 	ck_pr_cas_##N##_value(T *target, T compare, T set, T *value)	\
2411fb62fb0SOlivier Houchard 	{								\
2421fb62fb0SOlivier Houchard 		T previous;						\
2431fb62fb0SOlivier Houchard 		__asm__ __volatile__("1:"				\
2441fb62fb0SOlivier Houchard 				     "lwarx %0, 0, %1;"			\
2451fb62fb0SOlivier Houchard 				     "cmpw  0, %0, %3;"			\
2461fb62fb0SOlivier Houchard 				     "bne-  2f;"			\
2471fb62fb0SOlivier Houchard 				     "stwcx. %2, 0, %1;"		\
2481fb62fb0SOlivier Houchard 				     "bne-  1b;"			\
2491fb62fb0SOlivier Houchard 				     "2:"				\
2501fb62fb0SOlivier Houchard 					: "=&r" (previous)		\
2511fb62fb0SOlivier Houchard 					: "r"   (target),		\
2521fb62fb0SOlivier Houchard 					  "r"   (set),			\
2531fb62fb0SOlivier Houchard 					  "r"   (compare)		\
2541fb62fb0SOlivier Houchard 					: "memory", "cc");		\
2551fb62fb0SOlivier Houchard 		*value = previous; 					\
2561fb62fb0SOlivier Houchard 		return (previous == compare);				\
2571fb62fb0SOlivier Houchard 	}								\
2581fb62fb0SOlivier Houchard 	CK_CC_INLINE static bool					\
2591fb62fb0SOlivier Houchard 	ck_pr_cas_##N(T *target, T compare, T set)			\
2601fb62fb0SOlivier Houchard 	{								\
2611fb62fb0SOlivier Houchard 		T previous;						\
2621fb62fb0SOlivier Houchard 		__asm__ __volatile__("1:"				\
2631fb62fb0SOlivier Houchard 				     "lwarx %0, 0, %1;"			\
2641fb62fb0SOlivier Houchard 				     "cmpw  0, %0, %3;"			\
2651fb62fb0SOlivier Houchard 				     "bne-  2f;"			\
2661fb62fb0SOlivier Houchard 				     "stwcx. %2, 0, %1;"		\
2671fb62fb0SOlivier Houchard 				     "bne-  1b;"			\
2681fb62fb0SOlivier Houchard 				     "2:"				\
2691fb62fb0SOlivier Houchard 					: "=&r" (previous)		\
2701fb62fb0SOlivier Houchard 					: "r"   (target),		\
2711fb62fb0SOlivier Houchard 					  "r"   (set),			\
2721fb62fb0SOlivier Houchard 					  "r"   (compare)		\
2731fb62fb0SOlivier Houchard 					: "memory", "cc");		\
2741fb62fb0SOlivier Houchard 		return (previous == compare);				\
2751fb62fb0SOlivier Houchard 	}
2761fb62fb0SOlivier Houchard 
2771fb62fb0SOlivier Houchard CK_PR_CAS(32, uint32_t)
CK_PR_CAS(uint,unsigned int)2781fb62fb0SOlivier Houchard CK_PR_CAS(uint, unsigned int)
2791fb62fb0SOlivier Houchard CK_PR_CAS(int, int)
2801fb62fb0SOlivier Houchard 
2811fb62fb0SOlivier Houchard #undef CK_PR_CAS
2821fb62fb0SOlivier Houchard 
2831fb62fb0SOlivier Houchard #define CK_PR_FAS(N, M, T, W)					\
2841fb62fb0SOlivier Houchard 	CK_CC_INLINE static T					\
2851fb62fb0SOlivier Houchard 	ck_pr_fas_##N(M *target, T v)				\
2861fb62fb0SOlivier Houchard 	{							\
2871fb62fb0SOlivier Houchard 		T previous;					\
2881fb62fb0SOlivier Houchard 		__asm__ __volatile__("1:"			\
2891fb62fb0SOlivier Houchard 				     "l" W "arx %0, 0, %1;"	\
2901fb62fb0SOlivier Houchard 				     "st" W "cx. %2, 0, %1;"	\
2911fb62fb0SOlivier Houchard 				     "bne- 1b;"			\
2921fb62fb0SOlivier Houchard 					: "=&r" (previous)	\
2931fb62fb0SOlivier Houchard 					: "r"   (target),	\
2941fb62fb0SOlivier Houchard 					  "r"   (v)		\
2951fb62fb0SOlivier Houchard 					: "memory", "cc");	\
2961fb62fb0SOlivier Houchard 		return (previous);				\
2971fb62fb0SOlivier Houchard 	}
2981fb62fb0SOlivier Houchard 
2991fb62fb0SOlivier Houchard CK_PR_FAS(64, uint64_t, uint64_t, "d")
3001fb62fb0SOlivier Houchard CK_PR_FAS(32, uint32_t, uint32_t, "w")
301*8f87df16SOlivier Houchard #ifndef CK_PR_DISABLE_DOUBLE
3021fb62fb0SOlivier Houchard CK_PR_FAS(double, double, double, "d")
303*8f87df16SOlivier Houchard #endif
3041fb62fb0SOlivier Houchard CK_PR_FAS(ptr, void, void *, "d")
3051fb62fb0SOlivier Houchard CK_PR_FAS(int, int, int, "w")
3061fb62fb0SOlivier Houchard CK_PR_FAS(uint, unsigned int, unsigned int, "w")
3071fb62fb0SOlivier Houchard 
3081fb62fb0SOlivier Houchard #undef CK_PR_FAS
3091fb62fb0SOlivier Houchard 
3101fb62fb0SOlivier Houchard #define CK_PR_UNARY(O, N, M, T, I, W)				\
3111fb62fb0SOlivier Houchard 	CK_CC_INLINE static void				\
3121fb62fb0SOlivier Houchard 	ck_pr_##O##_##N(M *target)				\
3131fb62fb0SOlivier Houchard 	{							\
3141fb62fb0SOlivier Houchard 		T previous;					\
3151fb62fb0SOlivier Houchard 		__asm__ __volatile__("1:"			\
3161fb62fb0SOlivier Houchard 				     "l" W "arx %0, 0, %1;"	\
3171fb62fb0SOlivier Houchard 				      I ";"			\
3181fb62fb0SOlivier Houchard 				     "st" W "cx. %0, 0, %1;"	\
3191fb62fb0SOlivier Houchard 				     "bne-  1b;"		\
3201fb62fb0SOlivier Houchard 					: "=&r" (previous)	\
3211fb62fb0SOlivier Houchard 					: "r"   (target)	\
3221fb62fb0SOlivier Houchard 					: "memory", "cc");	\
3231fb62fb0SOlivier Houchard 		return;						\
3241fb62fb0SOlivier Houchard 	}
3251fb62fb0SOlivier Houchard 
3261fb62fb0SOlivier Houchard CK_PR_UNARY(inc, ptr, void, void *, "addic %0, %0, 1", "d")
3271fb62fb0SOlivier Houchard CK_PR_UNARY(dec, ptr, void, void *, "addic %0, %0, -1", "d")
3281fb62fb0SOlivier Houchard CK_PR_UNARY(not, ptr, void, void *, "not %0, %0", "d")
3291fb62fb0SOlivier Houchard CK_PR_UNARY(neg, ptr, void, void *, "neg %0, %0", "d")
3301fb62fb0SOlivier Houchard 
3311fb62fb0SOlivier Houchard #define CK_PR_UNARY_S(S, T, W)					\
3321fb62fb0SOlivier Houchard 	CK_PR_UNARY(inc, S, T, T, "addic %0, %0, 1", W)		\
3331fb62fb0SOlivier Houchard 	CK_PR_UNARY(dec, S, T, T, "addic %0, %0, -1", W)	\
3341fb62fb0SOlivier Houchard 	CK_PR_UNARY(not, S, T, T, "not %0, %0", W)		\
3351fb62fb0SOlivier Houchard 	CK_PR_UNARY(neg, S, T, T, "neg %0, %0", W)
3361fb62fb0SOlivier Houchard 
3371fb62fb0SOlivier Houchard CK_PR_UNARY_S(64, uint64_t, "d")
3381fb62fb0SOlivier Houchard CK_PR_UNARY_S(32, uint32_t, "w")
3391fb62fb0SOlivier Houchard CK_PR_UNARY_S(uint, unsigned int, "w")
3401fb62fb0SOlivier Houchard CK_PR_UNARY_S(int, int, "w")
3411fb62fb0SOlivier Houchard 
3421fb62fb0SOlivier Houchard #undef CK_PR_UNARY_S
3431fb62fb0SOlivier Houchard #undef CK_PR_UNARY
3441fb62fb0SOlivier Houchard 
3451fb62fb0SOlivier Houchard #define CK_PR_BINARY(O, N, M, T, I, W)				\
3461fb62fb0SOlivier Houchard 	CK_CC_INLINE static void				\
3471fb62fb0SOlivier Houchard 	ck_pr_##O##_##N(M *target, T delta)			\
3481fb62fb0SOlivier Houchard 	{							\
3491fb62fb0SOlivier Houchard 		T previous;					\
3501fb62fb0SOlivier Houchard 		__asm__ __volatile__("1:"			\
3511fb62fb0SOlivier Houchard 				     "l" W "arx %0, 0, %1;"	\
3521fb62fb0SOlivier Houchard 				      I " %0, %2, %0;"		\
3531fb62fb0SOlivier Houchard 				     "st" W "cx. %0, 0, %1;"	\
3541fb62fb0SOlivier Houchard 				     "bne-  1b;"		\
3551fb62fb0SOlivier Houchard 					: "=&r" (previous)	\
3561fb62fb0SOlivier Houchard 					: "r"   (target),	\
3571fb62fb0SOlivier Houchard 					  "r"   (delta)		\
3581fb62fb0SOlivier Houchard 					: "memory", "cc");	\
3591fb62fb0SOlivier Houchard 		return;						\
3601fb62fb0SOlivier Houchard 	}
3611fb62fb0SOlivier Houchard 
3621fb62fb0SOlivier Houchard CK_PR_BINARY(and, ptr, void, uintptr_t, "and", "d")
3631fb62fb0SOlivier Houchard CK_PR_BINARY(add, ptr, void, uintptr_t, "add", "d")
3641fb62fb0SOlivier Houchard CK_PR_BINARY(or, ptr, void, uintptr_t, "or", "d")
3651fb62fb0SOlivier Houchard CK_PR_BINARY(sub, ptr, void, uintptr_t, "sub", "d")
3661fb62fb0SOlivier Houchard CK_PR_BINARY(xor, ptr, void, uintptr_t, "xor", "d")
3671fb62fb0SOlivier Houchard 
3681fb62fb0SOlivier Houchard #define CK_PR_BINARY_S(S, T, W)			\
3691fb62fb0SOlivier Houchard 	CK_PR_BINARY(and, S, T, T, "and", W)	\
3701fb62fb0SOlivier Houchard 	CK_PR_BINARY(add, S, T, T, "add", W)	\
3711fb62fb0SOlivier Houchard 	CK_PR_BINARY(or, S, T, T, "or", W)	\
3721fb62fb0SOlivier Houchard 	CK_PR_BINARY(sub, S, T, T, "subf", W)	\
3731fb62fb0SOlivier Houchard 	CK_PR_BINARY(xor, S, T, T, "xor", W)
3741fb62fb0SOlivier Houchard 
3751fb62fb0SOlivier Houchard CK_PR_BINARY_S(64, uint64_t, "d")
3761fb62fb0SOlivier Houchard CK_PR_BINARY_S(32, uint32_t, "w")
3771fb62fb0SOlivier Houchard CK_PR_BINARY_S(uint, unsigned int, "w")
3781fb62fb0SOlivier Houchard CK_PR_BINARY_S(int, int, "w")
3791fb62fb0SOlivier Houchard 
3801fb62fb0SOlivier Houchard #undef CK_PR_BINARY_S
3811fb62fb0SOlivier Houchard #undef CK_PR_BINARY
3821fb62fb0SOlivier Houchard 
3831fb62fb0SOlivier Houchard CK_CC_INLINE static void *
3841fb62fb0SOlivier Houchard ck_pr_faa_ptr(void *target, uintptr_t delta)
3851fb62fb0SOlivier Houchard {
3861fb62fb0SOlivier Houchard 	uintptr_t previous, r;
3871fb62fb0SOlivier Houchard 
3881fb62fb0SOlivier Houchard 	__asm__ __volatile__("1:"
3891fb62fb0SOlivier Houchard 			     "ldarx %0, 0, %2;"
3901fb62fb0SOlivier Houchard 			     "add %1, %3, %0;"
3911fb62fb0SOlivier Houchard 			     "stdcx. %1, 0, %2;"
3921fb62fb0SOlivier Houchard 			     "bne-  1b;"
3931fb62fb0SOlivier Houchard 				: "=&r" (previous),
3941fb62fb0SOlivier Houchard 				  "=&r" (r)
3951fb62fb0SOlivier Houchard 				: "r"   (target),
3961fb62fb0SOlivier Houchard 				  "r"   (delta)
3971fb62fb0SOlivier Houchard 				: "memory", "cc");
3981fb62fb0SOlivier Houchard 
3991fb62fb0SOlivier Houchard 	return (void *)(previous);
4001fb62fb0SOlivier Houchard }
4011fb62fb0SOlivier Houchard 
4021fb62fb0SOlivier Houchard #define CK_PR_FAA(S, T, W)						\
4031fb62fb0SOlivier Houchard 	CK_CC_INLINE static T						\
4041fb62fb0SOlivier Houchard 	ck_pr_faa_##S(T *target, T delta)				\
4051fb62fb0SOlivier Houchard 	{								\
4061fb62fb0SOlivier Houchard 		T previous, r;						\
4071fb62fb0SOlivier Houchard 		__asm__ __volatile__("1:"				\
4081fb62fb0SOlivier Houchard 				     "l" W "arx %0, 0, %2;"		\
4091fb62fb0SOlivier Houchard 				     "add %1, %3, %0;"			\
4101fb62fb0SOlivier Houchard 				     "st" W "cx. %1, 0, %2;"		\
4111fb62fb0SOlivier Houchard 				     "bne-  1b;"			\
4121fb62fb0SOlivier Houchard 					: "=&r" (previous),		\
4131fb62fb0SOlivier Houchard 					  "=&r" (r)			\
4141fb62fb0SOlivier Houchard 					: "r"   (target),		\
4151fb62fb0SOlivier Houchard 					  "r"   (delta)			\
4161fb62fb0SOlivier Houchard 					: "memory", "cc");		\
4171fb62fb0SOlivier Houchard 		return (previous);					\
4181fb62fb0SOlivier Houchard 	}
4191fb62fb0SOlivier Houchard 
4201fb62fb0SOlivier Houchard CK_PR_FAA(64, uint64_t, "d")
4211fb62fb0SOlivier Houchard CK_PR_FAA(32, uint32_t, "w")
4221fb62fb0SOlivier Houchard CK_PR_FAA(uint, unsigned int, "w")
4231fb62fb0SOlivier Houchard CK_PR_FAA(int, int, "w")
4241fb62fb0SOlivier Houchard 
4251fb62fb0SOlivier Houchard #undef CK_PR_FAA
4261fb62fb0SOlivier Houchard 
4271fb62fb0SOlivier Houchard #endif /* CK_PR_PPC64_H */
428