semaphores.py revision 6486:33faa9915d16
1# Copyright (c) 2007 The Hewlett-Packard Development Company 2# All rights reserved. 3# 4# Redistribution and use of this software in source and binary forms, 5# with or without modification, are permitted provided that the 6# following conditions are met: 7# 8# The software must be used only for Non-Commercial Use which means any 9# use which is NOT directed to receiving any direct monetary 10# compensation for, or commercial advantage from such use. Illustrative 11# examples of non-commercial use are academic research, personal study, 12# teaching, education and corporate research & development. 13# Illustrative examples of commercial use are distributing products for 14# commercial advantage and providing services using the software for 15# commercial advantage. 16# 17# If you wish to use this software or functionality therein that may be 18# covered by patents for commercial use, please contact: 19# Director of Intellectual Property Licensing 20# Office of Strategy and Technology 21# Hewlett-Packard Company 22# 1501 Page Mill Road 23# Palo Alto, California 94304 24# 25# Redistributions of source code must retain the above copyright notice, 26# this list of conditions and the following disclaimer. Redistributions 27# in binary form must reproduce the above copyright notice, this list of 28# conditions and the following disclaimer in the documentation and/or 29# other materials provided with the distribution. Neither the name of 30# the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its 31# contributors may be used to endorse or promote products derived from 32# this software without specific prior written permission. No right of 33# sublicense is granted herewith. Derivatives of the software and 34# output created using the software may be prepared, but only for 35# Non-Commercial Uses. Derivatives of the software may be shared with 36# others provided: (i) the others agree to abide by the list of 37# conditions herein which includes the Non-Commercial Use restrictions; 38# and (ii) such Derivatives of the software include the above copyright 39# notice to acknowledge the contribution from this software where 40# applicable, this list of conditions and the disclaimer below. 41# 42# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 43# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 44# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 45# A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 46# OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 47# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 48# LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 49# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 50# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 51# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 52# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 53# 54# Authors: Gabe Black 55 56microcode = ''' 57def macroop CMPXCHG_R_R { 58 sub t0, rax, reg, flags=(OF, SF, ZF, AF, PF, CF) 59 mov reg, reg, regm, flags=(CZF,) 60 mov rax, rax, reg, flags=(nCZF,) 61}; 62 63def macroop CMPXCHG_M_R { 64 ldst t1, seg, sib, disp 65 sub t0, rax, t1, flags=(OF, SF, ZF, AF, PF, CF) 66 67 mov t1, t1, reg, flags=(CZF,) 68 st t1, seg, sib, disp 69 mov rax, rax, t1, flags=(nCZF,) 70}; 71 72def macroop CMPXCHG_P_R { 73 rdip t7 74 ldst t1, seg, riprel, disp 75 sub t0, rax, t1, flags=(OF, SF, ZF, AF, PF, CF) 76 77 mov t1, t1, reg, flags=(CZF,) 78 st t1, seg, riprel, disp 79 mov rax, rax, t1, flags=(nCZF,) 80}; 81 82def macroop CMPXCHG_LOCKED_M_R { 83 ldstl t1, seg, sib, disp 84 sub t0, rax, t1, flags=(OF, SF, ZF, AF, PF, CF) 85 86 mov t1, t1, reg, flags=(CZF,) 87 stul t1, seg, sib, disp 88 mov rax, rax, t1, flags=(nCZF,) 89}; 90 91def macroop CMPXCHG_LOCKED_P_R { 92 rdip t7 93 ldstl t1, seg, riprel, disp 94 sub t0, rax, t1, flags=(OF, SF, ZF, AF, PF, CF) 95 96 mov t1, t1, reg, flags=(CZF,) 97 stul t1, seg, riprel, disp 98 mov rax, rax, t1, flags=(nCZF,) 99}; 100 101def macroop CMPXCHG8B_M { 102 lea t1, seg, sib, disp, dataSize=asz 103 ldst t2, seg, [1, t0, t1], 0 104 ldst t3, seg, [1, t0, t1], dsz 105 106 sub t0, rax, t2, flags=(ZF,) 107 br label("doneComparing"), flags=(nCZF,) 108 sub t0, rdx, t3, flags=(ZF,) 109doneComparing: 110 111 # If they're equal, set t3:t2 to rbx:rcx to write to memory 112 mov t2, t2, rbx, flags=(CZF,) 113 mov t3, t3, rcx, flags=(CZF,) 114 115 # If they're not equal, set rdx:rax to the value from memory. 116 mov rax, rax, t2, flags=(nCZF,) 117 mov rdx, rdx, t3, flags=(nCZF,) 118 119 # Write to memory 120 st t3, seg, [1, t0, t1], dsz 121 st t2, seg, [1, t0, t1], 0 122}; 123 124def macroop CMPXCHG8B_P { 125 rdip t7 126 lea t1, seg, riprel, disp, dataSize=asz 127 ldst t2, seg, [1, t0, t1], 0 128 ldst t3, seg, [1, t0, t1], dsz 129 130 sub t0, rax, t2, flags=(ZF,) 131 br label("doneComparing"), flags=(nCZF,) 132 sub t0, rdx, t3, flags=(ZF,) 133doneComparing: 134 135 # If they're equal, set t3:t2 to rbx:rcx to write to memory 136 mov t2, t2, rbx, flags=(CZF,) 137 mov t3, t3, rcx, flags=(CZF,) 138 139 # If they're not equal, set rdx:rax to the value from memory. 140 mov rax, rax, t2, flags=(nCZF,) 141 mov rdx, rdx, t3, flags=(nCZF,) 142 143 # Write to memory 144 st t3, seg, [1, t0, t1], dsz 145 st t2, seg, [1, t0, t1], 0 146}; 147 148def macroop CMPXCHG8B_LOCKED_M { 149 lea t1, seg, sib, disp, dataSize=asz 150 ldstl t2, seg, [1, t0, t1], 0 151 ldstl t3, seg, [1, t0, t1], dsz 152 153 sub t0, rax, t2, flags=(ZF,) 154 br label("doneComparing"), flags=(nCZF,) 155 sub t0, rdx, t3, flags=(ZF,) 156doneComparing: 157 158 # If they're equal, set t3:t2 to rbx:rcx to write to memory 159 mov t2, t2, rbx, flags=(CZF,) 160 mov t3, t3, rcx, flags=(CZF,) 161 162 # If they're not equal, set rdx:rax to the value from memory. 163 mov rax, rax, t2, flags=(nCZF,) 164 mov rdx, rdx, t3, flags=(nCZF,) 165 166 # Write to memory 167 stul t3, seg, [1, t0, t1], dsz 168 stul t2, seg, [1, t0, t1], 0 169}; 170 171def macroop CMPXCHG8B_LOCKED_P { 172 rdip t7 173 lea t1, seg, riprel, disp, dataSize=asz 174 ldstl t2, seg, [1, t0, t1], 0 175 ldstl t3, seg, [1, t0, t1], dsz 176 177 sub t0, rax, t2, flags=(ZF,) 178 br label("doneComparing"), flags=(nCZF,) 179 sub t0, rdx, t3, flags=(ZF,) 180doneComparing: 181 182 # If they're equal, set t3:t2 to rbx:rcx to write to memory 183 mov t2, t2, rbx, flags=(CZF,) 184 mov t3, t3, rcx, flags=(CZF,) 185 186 # If they're not equal, set rdx:rax to the value from memory. 187 mov rax, rax, t2, flags=(nCZF,) 188 mov rdx, rdx, t3, flags=(nCZF,) 189 190 # Write to memory 191 stul t3, seg, [1, t0, t1], dsz 192 stul t2, seg, [1, t0, t1], 0 193}; 194 195def macroop XADD_M_R { 196 ldst t1, seg, sib, disp 197 add t2, t1, reg, flags=(OF,SF,ZF,AF,PF,CF) 198 st t2, seg, sib, disp 199 mov reg, reg, t1 200}; 201 202def macroop XADD_P_R { 203 rdip t7 204 ldst t1, seg, riprel, disp 205 add t2, t1, reg, flags=(OF,SF,ZF,AF,PF,CF) 206 st t2, seg, riprel, disp 207 mov reg, reg, t1 208}; 209 210def macroop XADD_LOCKED_M_R { 211 ldstl t1, seg, sib, disp 212 add t2, t1, reg, flags=(OF,SF,ZF,AF,PF,CF) 213 stul t2, seg, sib, disp 214 mov reg, reg, t1 215}; 216 217def macroop XADD_LOCKED_P_R { 218 rdip t7 219 ldstl t1, seg, riprel, disp 220 add t2, t1, reg, flags=(OF,SF,ZF,AF,PF,CF) 221 stul t2, seg, riprel, disp 222 mov reg, reg, t1 223}; 224 225def macroop XADD_R_R { 226 add t2, regm, reg, flags=(OF,SF,ZF,AF,PF,CF) 227 mov regm, regm, reg 228 mov reg, reg, t2 229}; 230 231''' 232#let {{ 233# class XCHG(Inst): 234# "GenFault ${new UnimpInstFault}" 235#}}; 236