Lines Matching defs:sh
248 SHIFT_IMMEDIATE2 shift (sh:word2) rm c =
250 if sh = 0w then LSL rm 0w c else
251 if sh = 1w then LSR rm 32w c else
252 if sh = 2w then ASR rm 32w c else
253 (* sh = 3w *) word_rrx (c,rm)
255 if sh = 0w then LSL rm shift c else
256 if sh = 1w then LSR rm shift c else
257 if sh = 2w then ASR rm shift c else
258 (* sh = 3w *) ROR rm shift c`;
261 SHIFT_REGISTER2 shift (sh:word2) rm c =
262 if sh = 0w then LSL rm shift c else
263 if sh = 1w then LSR rm shift c else
264 if sh = 2w then ASR rm shift c else
265 (* sh = 3w *) ROR rm shift c`;
271 and sh = (6 >< 5) opnd2
274 SHIFT_IMMEDIATE2 shift sh rm C`;
280 let sh = (6 >< 5) opnd2
283 SHIFT_REGISTER2 shift sh rm C`;