Lines Matching defs:thumb
316 pass : bool, thumb : bool, thumbee : bool, itblock : int };
377 the_state arch itstate ext thumbee thumb endian flags regs memory =
396 mk_test (read_status_tm,[``arm_step$psrT``,the_state],thumb),
726 fun decode_opcode IT arch thumb thumbee opc =
727 if thumb then
744 raise ERR "decode_opcode" "not a valid thumb op-code"
761 val thumb = #thumb opt
764 val _ = not (arch = ARMv4 andalso thumb) orelse
766 val Thumb = mk_bool thumb
799 val (enc,dec) = decode_opcode IT arch thumb thumbee opc
805 val opc' = if not thumb orelse arch_version arch >= 5
1039 [["thumb","thumb2","16-bit","16"],
1078 pass = true, thumb = false, thumbee = false, itblock = 0}
1108 val (thumb,l) = process_opt thumb_options "Thumb"
1116 thumb = thumb, thumbee = thumb andalso thumbee, itblock = itblock}