Lines Matching defs:ev
3539 val ev =
3558 ev ``FPToFixed32 (operand,unsigned,round_towards_zero)``
3562 ev ``FPToFixed64 (operand,unsigned,round_towards_zero)``
4168 fun ev tm =
4181 (case List.mapPartial (ev tm) (utilsLib.find_rw net tm) of
4260 val ev = arm_eval config
4268 then [ev ([true], v)]
4269 else [ev ([false, true], v), ev ([true, false], v)]
4307 val ev = arm_eval config
4313 List.map (fn x => ldm_stm_rule s (ev (x, v))) (cases x)
4347 ev "MSR (cpsr, imm)";
4348 ev "MSR (cpsr, reg)";
4349 ev "MSR (cpsr, imm, control)";
4350 ev "MSR (cpsr, reg, control)";
4351 ev "MRS (cpsr)";
4352 ev "RFEIA";
4353 ev "RFEIB";
4354 ev "RFEDA";
4355 ev "RFEDB";
4356 ev "RFEIA (wb)";
4357 ev "RFEIB (wb)";
4358 ev "RFEDA (wb)";
4359 ev "RFEDB (wb)";