logical.py revision 6082:5db340cc3c47
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_M_R 174{ 175 ldst t1, seg, sib, disp 176 xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 177 st t1, seg, sib, disp 178}; 179 180def macroop XOR_P_R 181{ 182 rdip t7 183 ldst t1, seg, riprel, disp 184 xor t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 185 st t1, seg, riprel, disp 186}; 187 188def macroop XOR_R_M 189{ 190 ld t1, seg, sib, disp 191 xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 192}; 193 194def macroop XOR_R_P 195{ 196 rdip t7 197 ld t1, seg, riprel, disp 198 xor reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 199}; 200 201def macroop AND_R_R 202{ 203 and reg, reg, regm, flags=(OF,SF,ZF,PF,CF) 204}; 205 206def macroop AND_R_M 207{ 208 ld t1, seg, sib, disp 209 and reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 210}; 211 212def macroop AND_R_P 213{ 214 rdip t7 215 ld t1, seg, riprel, disp 216 and reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 217}; 218 219def macroop AND_R_I 220{ 221 limm t1, imm 222 and reg, reg, t1, flags=(OF,SF,ZF,PF,CF) 223}; 224 225def macroop AND_M_I 226{ 227 ldst t2, seg, sib, disp 228 limm t1, imm 229 and t2, t2, t1, flags=(OF,SF,ZF,PF,CF) 230 st t2, seg, sib, disp 231}; 232 233def macroop AND_P_I 234{ 235 rdip t7 236 ldst t2, seg, riprel, disp 237 limm t1, imm 238 and t2, t2, t1, flags=(OF,SF,ZF,PF,CF) 239 st t2, seg, riprel, disp 240}; 241 242def macroop AND_M_R 243{ 244 ldst t1, seg, sib, disp 245 and t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 246 st t1, seg, sib, disp 247}; 248 249def macroop AND_P_R 250{ 251 rdip t7 252 ldst t1, seg, riprel, disp 253 and t1, t1, reg, flags=(OF,SF,ZF,PF,CF) 254 st t1, seg, riprel, disp 255}; 256 257def macroop NOT_R 258{ 259 limm t1, -1 260 xor reg, reg, t1 261}; 262 263def macroop NOT_M 264{ 265 limm t1, -1 266 ldst t2, seg, sib, disp 267 xor t2, t2, t1 268 st t2, seg, sib, disp 269}; 270 271def macroop NOT_P 272{ 273 limm t1, -1 274 rdip t7 275 ldst t2, seg, riprel, disp 276 xor t2, t2, t1 277 st t2, seg, riprel, disp 278}; 279''' 280