Lines Matching refs:opt
758 fun make_arm_state_and_pre the_state (opt:options) instr =
760 val arch = #arch opt
761 val thumb = #thumb opt
762 val thumbee = #thumbee opt
763 val endian = #endian opt
777 val IT = wordsSyntax.mk_wordii (if T2 then #itblock opt else 0,8)
779 val M = mode_to_term (#mode opt)
801 val (flags_fupd,flags_pre) = set_flags the_state cond (#pass opt)
807 val npass = if #pass opt then F else T
1073 fun process_opt opt = process_option (Lib.C Lib.mem (List.concat opt))
1074 (fn option => find_pos (Lib.mem option) opt)
1193 val opt = process_options options
1194 val (nreg, nmem, s, pre) = make_arm_state_and_pre the_state opt instr
1240 fun test opt s = arm_step opt (arm_encode_from_string s);