Lines Matching defs:shift
266 datatype shift = ROR_shift | LSR_shift | ASR_shift | LSL_shift | RRX_shift;
1297 val arm_parse_shift : shift M =
1301 of NONE => syntax_errorT ("shift", "end-of-input")
1310 | _ => syntax_errorT ("shift",Substring.string s))));
1334 ("arm_parse_mode1_shift", "cannot shift by 32")
1642 "shift must be in range 1-31 (lsl and ror) or 1-32 (lsr and asr)")
2343 ("arm_parse_mode2_shift", "shift not available")
2355 ("arm_parse_mode2_shift", "shift out of range")
3369 ("arm_parse_ssat_usat", "invalid shift")
3410 "shift must be 0, 8, 16 or 24"))