Merged subtype branch to new head.
[cacao.git] / src / vm / jit / i386 / md-atomic.hpp
1 /* src/vm/jit/i386/atomic.hpp - i386 atomic instructions
2
3    Copyright (C) 2008
4    CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
5
6    This file is part of CACAO.
7
8    This program is free software; you can redistribute it and/or
9    modify it under the terms of the GNU General Public License as
10    published by the Free Software Foundation; either version 2, or (at
11    your option) any later version.
12
13    This program is distributed in the hope that it will be useful, but
14    WITHOUT ANY WARRANTY; without even the implied warranty of
15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
16    General Public License for more details.
17
18    You should have received a copy of the GNU General Public License
19    along with this program; if not, write to the Free Software
20    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
21    02110-1301, USA.
22
23 */
24
25
26 #ifndef _MD_ATOMIC_HPP
27 #define _MD_ATOMIC_HPP
28
29 #include "config.h"
30
31 #include <stdint.h>
32
33 #include "threads/atomic.hpp"
34
35
36 /**
37  * An atomic compare and swap for 32-bit integer values.
38  *
39  * @param p      Pointer to memory address.
40  * @param oldval Old value to be expected.
41  * @param newval New value to be stored.
42  *
43  * @return value of the memory location before the store
44  */
45 inline uint32_t Atomic::compare_and_swap(volatile uint32_t *p, uint32_t oldval, uint32_t newval)
46 {
47         uint32_t result;
48
49         __asm__ __volatile__ ("lock; cmpxchgl %2, %1"
50                                                   : "=a" (result), "=m" (*p)
51                                                   : "r" (newval), "m" (*p), "0" (oldval));
52
53         return result;
54 }
55
56
57 /**
58  * An atomic compare and swap for 64-bit integer values.
59  *
60  * @param p      Pointer to memory address.
61  * @param oldval Old value to be expected.
62  * @param newval New value to be stored.
63  *
64  * @return value of the memory location before the store
65  */
66 inline uint64_t Atomic::compare_and_swap(volatile uint64_t *p, uint64_t oldval, uint64_t newval)
67 {
68 #warning Should we use cmpxchg8b or a generic version?
69         return generic_compare_and_swap(p, oldval, newval);
70 }
71
72
73 /**
74  * An atomic compare and swap for pointer values.
75  *
76  * @param p      Pointer to memory address.
77  * @param oldval Old value to be expected.
78  * @param newval New value to be stored.
79  *
80  * @return value of the memory location before the store
81  */
82 inline void* Atomic::compare_and_swap(volatile void** p, void* oldval, void* newval)
83 {
84         return (void*) compare_and_swap((volatile uint32_t*) p, (uint32_t) oldval, (uint32_t) newval);
85 }
86
87
88 /**
89  * A memory barrier.
90  */
91 inline void Atomic::memory_barrier(void)
92 {
93         __asm__ __volatile__ ("lock; add $0, 0(%%esp)" : : : "memory" );
94 }
95
96
97 /**
98  * A write memory barrier.
99  */
100 inline void Atomic::write_memory_barrier(void)
101 {
102         __asm__ __volatile__ ("" : : : "memory");
103 }
104
105
106 /**
107  * An instruction barrier.
108  */
109 inline void Atomic::instruction_barrier(void)
110 {
111         // Nothing.
112 }
113
114 #endif // _MD_ATOMIC_HPP
115
116
117 /*
118  * These are local overrides for various environment variables in Emacs.
119  * Please do not remove this and leave it at the end of the file, where
120  * Emacs will automagically detect them.
121  * ---------------------------------------------------------------------
122  * Local variables:
123  * mode: c++
124  * indent-tabs-mode: t
125  * c-basic-offset: 4
126  * tab-width: 4
127  * End:
128  * vim:noexpandtab:sw=4:ts=4:
129  */