/*
* Copyright (c) 2007 Apple Inc. All rights reserved.
* Copyright (c) 2004-2006 Apple Computer, Inc. All rights reserved.
*
* @APPLE_LICENSE_HEADER_START@
*
* This file contains Original Code and/or Modifications of Original Code
* as defined in and that are subject to the Apple Public Source License
* Version 2.0 (the 'License'). You may not use this file except in
* compliance with the License. Please obtain a copy of the License at
* http://www.opensource.apple.com/apsl/ and read it before using this
* file.
*
* The Original Code and all software distributed under the License are
* distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
* EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
* INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
* FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
* Please see the License for the specific language governing rights and
* limitations under the License.
*
* @APPLE_LICENSE_HEADER_END@
*/
#include <architecture/i386/asm_help.h>
#include "os/internal_asm.h"
#define ATOMIC_RET_ORIG 0
#define ATOMIC_RET_NEW 1
// compare and exchange 32-bit
// xchg32 <new> <dst>
.macro xchg32
lock
cmpxchgl $0, ($1)
.endm
// compare and exchange 64-bit
// xchg64 <dst>
.macro xchg64
lock
cmpxchg8b ($0)
.endm
// int32_t OSAtomicAdd32(int32_t theAmount, volatile int32_t *theValue) movl 8(%esp), %ecx /* load 2nd arg ptr into ecx */ 1: movl 4(%esp), %edx /* load 1st arg into edx */ xchg32 %edx, %ecx /* old in %eax, new in %edx, exchange into %ecx */ .if orig == ATOMIC_RET_NEW .endif
// bool OSAtomicTestAndSet(uint32_t n, volatile void *theAddress) movl 4(%esp), %eax shldl $3,%edx,%ecx /* save top 3 bits of address in %ecx */ xorl $7,%eax /* bit position is numbered big endian so convert to little endian */ adcl $0,%ecx /* handle carry out of lower half of address */ andl $31,%eax /* keep bit offset in range 0..31 */ shrdl $3,%ecx,%edx /* restore 32-bit byte address in %edx */ instr %eax, (%edx) movzbl %al,%eax // widen in case caller assumes we return an int
// int64_t OSAtomicAdd64(int64_t theAmount, volatile int64_t *theValue) pushl %ebx movl 20(%esp), %esi movl 4(%esi), %edx movl 16(%esp), %ecx adcl %edx, %ecx jnz 1b movl %ecx, %edx popl %ebx
// int64_t OSAtomicIncrement64(volatile int64_t *theValue) pushl %ebx movl 12(%esp), %esi movl 4(%esi), %edx xorl %ecx, %ecx adcl %edx, %ecx jnz 1b movl %ecx, %edx popl %ebx
// int64_t OSAtomicDecrement64(volatile int64_t *theValue) pushl %ebx movl 12(%esp), %esi movl 4(%esi), %edx movl $-1, %ecx adcl %edx, %ecx jnz 1b movl %ecx, %edx popl %ebx
.text
OS_ATOMIC_FUNCTION_START(OSAtomicAnd32, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicAnd32Barrier, 2)
ATOMIC_ARITHMETIC(andl, ATOMIC_RET_NEW)
ret
OS_ATOMIC_FUNCTION_START(OSAtomicOr32, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicOr32Barrier, 2)
ATOMIC_ARITHMETIC(orl, ATOMIC_RET_NEW)
ret
OS_ATOMIC_FUNCTION_START(OSAtomicXor32, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicXor32Barrier, 2)
ATOMIC_ARITHMETIC(xorl, ATOMIC_RET_NEW)
ret
OS_ATOMIC_FUNCTION_START(OSAtomicAnd32Orig, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicAnd32OrigBarrier, 2)
ATOMIC_ARITHMETIC(andl, ATOMIC_RET_ORIG)
ret
OS_ATOMIC_FUNCTION_START(OSAtomicOr32Orig, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicOr32OrigBarrier, 2)
ATOMIC_ARITHMETIC(orl, ATOMIC_RET_ORIG)
ret
OS_ATOMIC_FUNCTION_START(OSAtomicXor32Orig, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicXor32OrigBarrier, 2)
ATOMIC_ARITHMETIC(xorl, ATOMIC_RET_ORIG)
ret
// bool OSAtomicCompareAndSwapInt(int oldValue, int newValue, volatile int *theValue)OS_ATOMIC_FUNCTION_START(OSAtomicCompareAndSwapPtrBarrier, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicCompareAndSwapInt, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicCompareAndSwapIntBarrier, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicCompareAndSwapLong, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicCompareAndSwapLongBarrier, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicCompareAndSwap32, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicCompareAndSwap32Barrier, 2)
movl 4(%esp), %eax
movl 8(%esp), %edx
movl 12(%esp), %ecx
xchg32 %edx, %ecx
sete %al
movzbl %al,%eax // widen in case caller assumes we return an int
ret
// bool OSAtomicCompareAndSwap64(int64_t oldValue, int64_t newValue, volatile int64_t *theValue)OS_ATOMIC_FUNCTION_START(OSAtomicCompareAndSwap64Barrier, 2)
pushl %ebx // push out spare stuff for space
pushl %esi
movl 12(%esp), %eax // load in 1st 64-bit parameter
movl 16(%esp), %edx
movl 20(%esp), %ebx // load in 2nd 64-bit parameter
movl 24(%esp), %ecx
movl 28(%esp), %esi // laod in destination address
xchg64 %esi // compare and swap 64-bit
sete %al
movzbl %al,%eax // widen in case caller assumes we return an int
popl %esi
popl %ebx
ret
OS_ATOMIC_FUNCTION_START(OSAtomicAdd32, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicAdd32Barrier, 2)
movl 4(%esp), %eax
movl 8(%esp), %edx
movl %eax, %ecx
lock
xaddl %eax, (%edx)
addl %ecx, %eax
ret
OS_VARIANT_FUNCTION_START(OSAtomicIncrement32, up, 2)
OS_VARIANT_FUNCTION_START(OSAtomicIncrement32Barrier, up, 2)
movl 4(%esp), %ecx
movl $1, %eax
xaddl %eax, (%ecx)
incl %eax
ret
OS_ATOMIC_FUNCTION_START(OSAtomicIncrement32, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicIncrement32Barrier, 2)
movl 4(%esp), %ecx
movl $1, %eax
lock
xaddl %eax, (%ecx)
incl %eax
ret
OS_ATOMIC_FUNCTION_START(OSAtomicDecrement32, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicDecrement32Barrier, 2)
movl 4(%esp), %ecx
movl $-1, %eax
lock
xaddl %eax, (%ecx)
decl %eax
ret
OS_ATOMIC_FUNCTION_START(OSAtomicAdd64, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicAdd64Barrier, 2)
ATOMIC_ADD64()
ret
OS_ATOMIC_FUNCTION_START(OSAtomicIncrement64, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicIncrement64Barrier, 2)
ATOMIC_INC64()
ret
OS_ATOMIC_FUNCTION_START(OSAtomicDecrement64, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicDecrement64Barrier, 2)
ATOMIC_DEC64()
ret
OS_ATOMIC_FUNCTION_START(OSAtomicTestAndSet, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicTestAndSetBarrier, 2)
ATOMIC_BIT_OP(btsl)
ret
OS_ATOMIC_FUNCTION_START(OSAtomicTestAndClear, 2)
OS_ATOMIC_FUNCTION_START(OSAtomicTestAndClearBarrier, 2)
ATOMIC_BIT_OP(btrl)
ret
// OSMemoryBarrier()
// These are used both in 32 and 64-bit mode. We use a fence even on UP
// machines, so this function can be used with nontemporal stores.
OS_ATOMIC_FUNCTION_START(OSMemoryBarrier, 4)
mfence
ret
/*
* typedef volatile struct {
* void *opaque1 * } OSQueueHead * void OSAtomicEnqueue( OSQueueHead *list, void *new, size_t offset)OS_ATOMIC_FUNCTION_START(OSAtomicEnqueue, 2)
pushl %edi
pushl %esi
pushl %ebx
movl 16(%esp),%edi // %edi == ptr to list head
movl 20(%esp),%ebx // %ebx == new
movl 24(%esp),%esi // %esi == offset
movl (%edi),%eax // %eax == ptr to 1st element in Q
movl 4(%edi),%edx // %edx == current generation count
1: movl %eax,(%ebx,%esi)// link to old list head from new element
movl %edx,%ecx
incl %ecx // increment generation count
xchg64 %edi // ...push on new element
jnz 1b
popl %ebx
popl %esi
popl %edi
ret
/* void* OSAtomicDequeue( OSQueueHead *list, size_t offset) pushl %edi
pushl %esi
pushl %ebx
movl 16(%esp),%edi // %edi == ptr to list head
movl 20(%esp),%esi // %esi == offset
movl (%edi),%eax // %eax == ptr to 1st element in Q
movl 4(%edi),%edx // %edx == current generation count
1: testl %eax,%eax // list empty?
jz 2f // yes
movl (%eax,%esi),%ebx // point to 2nd in Q
movl %edx,%ecx
incl %ecx // increment generation count
xchg64 %edi // ...pop off 1st element
jnz 1b
2: popl %ebx
popl %esi
popl %edi
ret // ptr to 1st element in Q still in %eax
/*
* typedef volatile struct {
* void *opaque1 * int opaque3 *
* void OSAtomicFifoEnqueue( OSFifoQueueHead *list, void *new, size_t offset)OS_ATOMIC_FUNCTION_START(OSAtomicFifoEnqueue, 2)
pushl %edi
pushl %esi
pushl %ebx
xorl %ebx,%ebx // clear "preemption pending" flag
movl 16(%esp),%edi // %edi == ptr to list head
movl 20(%esp),%esi // %esi == new
EXTERN_TO_REG(_commpage_pfz_base,%ecx)
movl (%ecx), %ecx
addl $(_COMM_TEXT_PFZ_ENQUEUE_OFFSET), %ecx
movl 24(%esp),%edx // %edx == offset
call *%ecx
testl %ebx,%ebx // pending preemption?
jz 1f
call _preempt
1: popl %ebx
popl %esi
popl %edi
ret
/* void* OSAtomicFifoDequeue( OSFifoQueueHead *list, size_t offset) pushl %edi
pushl %esi
pushl %ebx
xorl %ebx,%ebx // clear "preemption pending" flag
movl 16(%esp),%edi // %edi == ptr to list head
PICIFY(_commpage_pfz_base)
movl (%edx),%ecx
movl 20(%esp),%edx // %edx == offset
addl $(_COMM_TEXT_PFZ_DEQUEUE_OFFSET), %ecx
call *%ecx
testl %ebx,%ebx // pending preemption?
jz 1f
pushl %eax // save return value across sysenter
call _preempt
popl %eax
1: popl %ebx
popl %esi
popl %edi
ret // ptr to 1st element in Q still in %eax
// Local Variables:
// tab-width: 8
// End: