Lines Matching refs:shift
294 SHIFT_IMMEDIATE2 shift (sh:word2) rm c =
296 0w => LSL rm shift c
297 | 1w => LSR rm (if shift = 0w then 32w else shift) c
298 | 2w => ASR rm (if shift = 0w then 32w else shift) c
299 | _ => if shift = 0w then word_rrx (c,rm) else ROR rm shift c`;
302 SHIFT_REGISTER2 shift (sh:word2) rm c =
304 0w => LSL rm shift c
305 | 1w => LSR rm shift c
306 | 2w => ASR rm shift c
307 | _ => ROR rm shift c`;
314 and shift = (11 >< 7) opnd2
316 SHIFT_IMMEDIATE2 shift sh rm C`;
324 and shift = (7 >< 0) (REG_READ reg mode Rs) in
325 SHIFT_REGISTER2 shift sh rm C`;