Lines Matching refs:condition
239 mkite(IRExpr *condition, IRExpr *iftrue, IRExpr *iffalse)
241 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
243 return IRExpr_ITE(condition, iftrue, iffalse);
298 if (condition) goto computed_target;
302 if (! condition) goto next_instruction;
306 if_condition_goto_computed(IRExpr *condition, IRExpr *target)
308 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
310 condition = unop(Iop_Not1, condition);
312 stmt(IRStmt_Exit(condition, Ijk_Boring, IRConst_U64(guest_IA_next_instr),
323 if_condition_goto(IRExpr *condition, Addr64 target)
325 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
327 stmt(IRStmt_Exit(condition, Ijk_Boring, IRConst_U64(target),
384 /* A side exit that branches back to the current insn if CONDITION is
387 iterate_if(IRExpr *condition)
389 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
391 stmt(IRStmt_Exit(condition, Ijk_Boring, IRConst_U64(guest_IA_curr_instr),
404 current insn if CONDITION is true. Does not set DisResult. */
406 next_insn_if(IRExpr *condition)
408 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
410 stmt(IRStmt_Exit(condition, Ijk_Boring, IRConst_U64(guest_IA_next_instr),
416 restart_if(IRExpr *condition)
418 vassert(typeOfIRExpr(irsb->tyenv, condition) == Ity_I1);
420 stmt(IRStmt_Exit(condition, Ijk_InvalICache,
427 yield_if(IRExpr *condition)
429 stmt(IRStmt_Exit(condition, Ijk_Yield, IRConst_U64(guest_IA_next_instr),
752 /* Build IR to calculate the condition code from flags thunk.
775 /* Build IR to calculate the internal condition code for a "compare and branch"
804 /* Exclude the requested condition, OP and NDEP from definedness
811 /* Build IR to calculate the condition code from flags thunk.
828 /* Exclude the requested condition, OP and NDEP from definedness
1657 /*--- Condition code helpers ---*/
1660 /* The result of a Iop_CmpFxx operation is a condition code. It is
1662 Before we can store the condition code into the guest state (or do
1678 with cc being the s390 condition code.
1706 /* The result of a Iop_CmpDxx operation is a condition code. It is
1708 Before we can store the condition code into the guest state (or do
6356 /* condition is checked in format handler */
6365 /* condition is checked in format handler */
8071 /* condition is checked in format handler */
8080 /* condition is checked in format handler */
12919 /* Condition code is always zero. */
