Lines Matching refs:opt
2577 fn (opt,indx,unpriv,rt,rn) =>
2596 case opt of
2616 case opt
2648 case opt
2659 fn opt =>
2668 (fn _ => arm_parse_mode3_offset (opt,true,F,rt,rn))
2672 (fn _ => arm_parse_mode3_offset (opt,false,F,rt,rn))
2676 case opt of
2684 case opt
2696 assertT (isSome opt andalso q <> Narrow)
2698 (let val (signed,half) = case opt
2725 fn opt =>
2744 case opt
2780 case opt
3237 fn opt =>
3238 (case opt of SOME false => need_dsp | _ => need_v7) "arm_parse_pld_pli"
3261 case opt
3285 case opt
3296 case opt
3305 assertT (opt <> SOME true)
3309 case opt
3327 case opt