1361       stmt(IRStmt_Exit(mkexpr(t0), Ijk_Boring,  in dis_branch_likely()
1364       stmt(IRStmt_Exit(mkexpr(t0), Ijk_Boring,  in dis_branch_likely()
1401       *set = IRStmt_Exit(mkexpr(t0), link ? Ijk_Call : Ijk_Boring,  in dis_branch()
1405       *set = IRStmt_Exit(mkexpr(t0), link ? Ijk_Call : Ijk_Boring,  in dis_branch()
2172    *set = IRStmt_Exit(eCond, jmpKind, mkSzConst(ty, addrTgt), OFFB_PC);  in dis_instr_branch()
2183    stmt( IRStmt_Exit(condition,  in jump_back()
15683          stmt(IRStmt_Exit(binop(Iop_CmpEQ32,  in disInstr_MIPS_WRK()
15878          stmt(IRStmt_Exit(binop(Iop_CmpEQ32, binop(Iop_Or32, mkexpr(t2),  in disInstr_MIPS_WRK()
16124                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16132                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16140                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16149                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16157                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16165                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16179                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16187                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16195                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16204                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16212                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16220                stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16234                stmt(IRStmt_Exit(binop(Iop_CmpLT64S, getIReg(rs),  in disInstr_MIPS_WRK()
16239                stmt(IRStmt_Exit(binop(Iop_CmpLT64S, getIReg(rs),  in disInstr_MIPS_WRK()
16244                stmt(IRStmt_Exit(binop(Iop_CmpLT64S, getIReg(rs),  in disInstr_MIPS_WRK()
16250                stmt(IRStmt_Exit(binop(Iop_CmpLT32S, getIReg(rs),  in disInstr_MIPS_WRK()
16255                stmt(IRStmt_Exit(binop(Iop_CmpLT32S, getIReg(rs),  in disInstr_MIPS_WRK()
16260                stmt(IRStmt_Exit(binop(Iop_CmpLT32S, getIReg(rs),  in disInstr_MIPS_WRK()
16271                stmt(IRStmt_Exit(binop(Iop_CmpLT64U, getIReg(rs),  in disInstr_MIPS_WRK()
16276                stmt(IRStmt_Exit(binop(Iop_CmpLT64U, getIReg(rs),  in disInstr_MIPS_WRK()
16281                stmt(IRStmt_Exit(binop(Iop_CmpLT64U, getIReg(rs),  in disInstr_MIPS_WRK()
16287                stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),  in disInstr_MIPS_WRK()
16292                stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),  in disInstr_MIPS_WRK()
16297                stmt(IRStmt_Exit(binop(Iop_CmpLT32U, getIReg(rs),  in disInstr_MIPS_WRK()
16308                stmt(IRStmt_Exit(binop(Iop_CmpEQ64, getIReg(rs),  in disInstr_MIPS_WRK()
16313                stmt(IRStmt_Exit(binop(Iop_CmpEQ64, getIReg(rs),  in disInstr_MIPS_WRK()
16318                stmt(IRStmt_Exit(binop(Iop_CmpEQ64, getIReg(rs),  in disInstr_MIPS_WRK()
16324                stmt(IRStmt_Exit(binop(Iop_CmpEQ32, getIReg(rs),  in disInstr_MIPS_WRK()
16329                stmt(IRStmt_Exit(binop(Iop_CmpEQ32, getIReg(rs),  in disInstr_MIPS_WRK()
16334                stmt(IRStmt_Exit(binop(Iop_CmpEQ32, getIReg(rs),  in disInstr_MIPS_WRK()
16345                stmt(IRStmt_Exit(binop(Iop_CmpNE64, getIReg(rs),  in disInstr_MIPS_WRK()
16350                stmt(IRStmt_Exit(binop(Iop_CmpNE64, getIReg(rs),  in disInstr_MIPS_WRK()
16355                stmt(IRStmt_Exit(binop(Iop_CmpNE64, getIReg(rs),  in disInstr_MIPS_WRK()
16361                stmt(IRStmt_Exit(binop(Iop_CmpNE32, getIReg(rs),  in disInstr_MIPS_WRK()
16366                stmt(IRStmt_Exit(binop(Iop_CmpNE32, getIReg(rs),  in disInstr_MIPS_WRK()
16371                stmt(IRStmt_Exit(binop(Iop_CmpNE32, getIReg(rs),  in disInstr_MIPS_WRK()
16431          stmt(IRStmt_Exit(binop(Iop_CmpEQ64,  in disInstr_MIPS_WRK()
16487          stmt(IRStmt_Exit(binop(Iop_CmpEQ64, binop(Iop_Or64, mkexpr(t2),  in disInstr_MIPS_WRK()
16602             stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16610             stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16623             stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16631             stmt (IRStmt_Exit (unop (Iop_Not1,  in disInstr_MIPS_WRK()
16644             stmt (IRStmt_Exit (binop (Iop_CmpLT64S, getIReg (rs),  in disInstr_MIPS_WRK()
16650             stmt (IRStmt_Exit (binop (Iop_CmpLT32S, getIReg (rs),  in disInstr_MIPS_WRK()
16661             stmt (IRStmt_Exit (binop (Iop_CmpLT64U, getIReg (rs),  in disInstr_MIPS_WRK()
16667             stmt (IRStmt_Exit (binop (Iop_CmpLT32U, getIReg (rs),  in disInstr_MIPS_WRK()
16678             stmt (IRStmt_Exit (binop (Iop_CmpEQ64, getIReg (rs),  in disInstr_MIPS_WRK()
16684             stmt (IRStmt_Exit (binop (Iop_CmpEQ32, getIReg (rs),  in disInstr_MIPS_WRK()
16695             stmt (IRStmt_Exit (binop (Iop_CmpNE64, getIReg (rs),  in disInstr_MIPS_WRK()
16701             stmt (IRStmt_Exit (binop (Iop_CmpNE32, getIReg (rs),  in disInstr_MIPS_WRK()
16825       stmt(IRStmt_Exit(binop(Iop_CmpEQ32, binop(Iop_Or32, mkexpr(t2),  in disInstr_MIPS_WRK()
16921       stmt(IRStmt_Exit(binop(Iop_CmpEQ64, binop(Iop_Or64, mkexpr(t2),  in disInstr_MIPS_WRK()