logical.py revision 6087
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 OR_R_R 58{ 59 or reg, reg, regm, flags=(OF,SF,ZF,PF,CF) 60}; 61 62def macroop OR_M_I 63{ 64 limm t2, imm 65 ldst t1, seg, sib, disp 66 or t1, t1, t2, flags=(OF,SF,ZF,PF,CF) 67 st t1, seg, sib, disp 68}; 69 70def macroop OR_P_I 71{ 72 limm t2, imm 73 rdip t7 74 ldst t1, seg, riprel, disp 75 or t1, t1, t2, flags=(OF,SF,ZF,PF,CF) 76 st t1, seg, riprel, disp 77}; 78 79def macroop OR_LOCKED_M_I 80{ 81 limm t2, imm 82 ldstl t1, seg, sib, disp 83 or t1, t1, t2, flags=(OF,SF,ZF,PF,CF) 84 stul t1, seg, sib, disp 85}; 86 87def macroop OR_LOCKED_P_I 88{ 89 limm t2, imm 90 rdip t7 91 ldstl t1, seg, riprel, disp 92 or t1, t1, t2, flags=(OF,SF,ZF,PF,CF) 93 stul t1, seg, riprel, disp 94}; 95 96def macroop OR_M_R 97{ 98 ldst t1, seg, sib, disp 99 or t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 100 st t1, seg, sib, disp 101}; 102 103def macroop OR_P_R 104{ 105 rdip t7 106 ldst t1, seg, riprel, disp 107 or t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 108 st t1, seg, riprel, disp 109}; 110 111def macroop OR_LOCKED_M_R 112{ 113 ldstl t1, seg, sib, disp 114 or t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 115 stul t1, seg, sib, disp 116}; 117 118def macroop OR_LOCKED_P_R 119{ 120 rdip t7 121 ldstl t1, seg, riprel, disp 122 or t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 123 stul t1, seg, riprel, disp 124}; 125 126def macroop OR_R_M 127{ 128 ld t1, seg, sib, disp 129 or reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 130}; 131 132def macroop OR_R_P 133{ 134 rdip t7 135 ld t1, seg, riprel, disp 136 or reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 137}; 138 139def macroop OR_R_I 140{ 141 limm t1, imm 142 or reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 143}; 144 145def macroop XOR_R_R 146{ 147 xor reg, reg, regm, flags=(OF,SF,ZF,PF,CF) 148}; 149 150def macroop XOR_R_I 151{ 152 limm t1, imm 153 xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 154}; 155 156def macroop XOR_M_I 157{ 158 limm t2, imm 159 ldst t1, seg, sib, disp 160 xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF) 161 st t1, seg, sib, disp 162}; 163 164def macroop XOR_P_I 165{ 166 limm t2, imm 167 rdip t7 168 ldst t1, seg, riprel, disp 169 xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF) 170 st t1, seg, riprel, disp 171}; 172 173def macroop XOR_LOCKED_M_I 174{ 175 limm t2, imm 176 ldstl t1, seg, sib, disp 177 xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF) 178 stul t1, seg, sib, disp 179}; 180 181def macroop XOR_LOCKED_P_I 182{ 183 limm t2, imm 184 rdip t7 185 ldstl t1, seg, riprel, disp 186 xor t1, t1, t2, flags=(OF,SF,ZF,PF,CF) 187 stul t1, seg, riprel, disp 188}; 189 190def macroop XOR_M_R 191{ 192 ldst t1, seg, sib, disp 193 xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 194 st t1, seg, sib, disp 195}; 196 197def macroop XOR_P_R 198{ 199 rdip t7 200 ldst t1, seg, riprel, disp 201 xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 202 st t1, seg, riprel, disp 203}; 204 205def macroop XOR_LOCKED_M_R 206{ 207 ldstl t1, seg, sib, disp 208 xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 209 stul t1, seg, sib, disp 210}; 211 212def macroop XOR_LOCKED_P_R 213{ 214 rdip t7 215 ldstl t1, seg, riprel, disp 216 xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 217 stul t1, seg, riprel, disp 218}; 219 220def macroop XOR_R_M 221{ 222 ld t1, seg, sib, disp 223 xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 224}; 225 226def macroop XOR_R_P 227{ 228 rdip t7 229 ld t1, seg, riprel, disp 230 xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 231}; 232 233def macroop AND_R_R 234{ 235 and reg, reg, regm, flags=(OF,SF,ZF,PF,CF) 236}; 237 238def macroop AND_R_M 239{ 240 ld t1, seg, sib, disp 241 and reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 242}; 243 244def macroop AND_R_P 245{ 246 rdip t7 247 ld t1, seg, riprel, disp 248 and reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 249}; 250 251def macroop AND_R_I 252{ 253 limm t1, imm 254 and reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 255}; 256 257def macroop AND_M_I 258{ 259 ldst t2, seg, sib, disp 260 limm t1, imm 261 and t2, t2, t1, flags=(OF,SF,ZF,PF,CF) 262 st t2, seg, sib, disp 263}; 264 265def macroop AND_P_I 266{ 267 rdip t7 268 ldst t2, seg, riprel, disp 269 limm t1, imm 270 and t2, t2, t1, flags=(OF,SF,ZF,PF,CF) 271 st t2, seg, riprel, disp 272}; 273 274def macroop AND_LOCKED_M_I 275{ 276 ldstl t2, seg, sib, disp 277 limm t1, imm 278 and t2, t2, t1, flags=(OF,SF,ZF,PF,CF) 279 stul t2, seg, sib, disp 280}; 281 282def macroop AND_LOCKED_P_I 283{ 284 rdip t7 285 ldstl t2, seg, riprel, disp 286 limm t1, imm 287 and t2, t2, t1, flags=(OF,SF,ZF,PF,CF) 288 stul t2, seg, riprel, disp 289}; 290 291def macroop AND_M_R 292{ 293 ldst t1, seg, sib, disp 294 and t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 295 st t1, seg, sib, disp 296}; 297 298def macroop AND_P_R 299{ 300 rdip t7 301 ldst t1, seg, riprel, disp 302 and t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 303 st t1, seg, riprel, disp 304}; 305 306def macroop AND_LOCKED_M_R 307{ 308 ldstl t1, seg, sib, disp 309 and t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 310 stul t1, seg, sib, disp 311}; 312 313def macroop AND_LOCKED_P_R 314{ 315 rdip t7 316 ldstl t1, seg, riprel, disp 317 and t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 318 stul t1, seg, riprel, disp 319}; 320 321def macroop NOT_R 322{ 323 limm t1, -1 324 xor reg, reg, t1 325}; 326 327def macroop NOT_M 328{ 329 limm t1, -1 330 ldst t2, seg, sib, disp 331 xor t2, t2, t1 332 st t2, seg, sib, disp 333}; 334 335def macroop NOT_P 336{ 337 limm t1, -1 338 rdip t7 339 ldst t2, seg, riprel, disp 340 xor t2, t2, t1 341 st t2, seg, riprel, disp 342}; 343''' 344