• Home
  • Raw
  • Download

Lines Matching refs:toBool

274       return toBool( isIRAtom(e->Iex.Binop.arg1)   in isFlat()
643 Bool typesOK = toBool( typeOfIRExpr(bb->tyenv,valE) in redundant_get_removal_BB()
1082 return toBool( e1->Iex.Binop.op == e2->Iex.Binop.op in sameIRExprs_aux2()
1089 return toBool( e1->Iex.Unop.op == e2->Iex.Unop.op in sameIRExprs_aux2()
1098 case Ico_U1: return toBool( c1->Ico.U1 == c2->Ico.U1 ); in sameIRExprs_aux2()
1099 case Ico_U8: return toBool( c1->Ico.U8 == c2->Ico.U8 ); in sameIRExprs_aux2()
1100 case Ico_U16: return toBool( c1->Ico.U16 == c2->Ico.U16 ); in sameIRExprs_aux2()
1101 case Ico_U32: return toBool( c1->Ico.U32 == c2->Ico.U32 ); in sameIRExprs_aux2()
1102 case Ico_U64: return toBool( c1->Ico.U64 == c2->Ico.U64 ); in sameIRExprs_aux2()
1111 return toBool( tri1->op == tri2->op in sameIRExprs_aux2()
1118 return toBool( sameIRExprs_aux( env, e1->Iex.ITE.cond, in sameIRExprs_aux2()
1184 return toBool( e->tag == Iex_Const in isZeroU32()
1194 return toBool( e->tag == Iex_Const
1203 return toBool( e->tag == Iex_Const in isZeroV128()
1211 return toBool( e->tag == Iex_Const in isZeroV256()
1221 case Ico_U1: return toBool( e->Iex.Const.con->Ico.U1 == 0); in isZeroU()
1222 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0); in isZeroU()
1223 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0); in isZeroU()
1224 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32 == 0); in isZeroU()
1225 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64 == 0); in isZeroU()
1226 case Ico_V256: return toBool( e->Iex.Const.con->Ico.V256 == 0x00000000); in isZeroU()
1236 case Ico_U8: return toBool( e->Iex.Const.con->Ico.U8 == 0xFF); in isOnesU()
1237 case Ico_U16: return toBool( e->Iex.Const.con->Ico.U16 == 0xFFFF); in isOnesU()
1238 case Ico_U32: return toBool( e->Iex.Const.con->Ico.U32 in isOnesU()
1240 case Ico_U64: return toBool( e->Iex.Const.con->Ico.U64 in isOnesU()
1258 case Iop_CmpNE32: return IRExpr_Const(IRConst_U1(toBool(0))); in mkZeroOfPrimopResultType()
1281 return IRExpr_Const(IRConst_U1(toBool(1))); in mkOnesOfPrimopResultType()
1468 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1473 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1563 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1569 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1575 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1926 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1931 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1940 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1947 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1954 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1961 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1966 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1973 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1978 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1985 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1990 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
1997 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
2002 e2 = IRExpr_Const(IRConst_U1(toBool( in fold_Expr()
3070 return toBool( e->tag == Iex_Const in isZeroU1()
3078 return toBool( e->tag == Iex_Const in isOneU1()
3509 return toBool( in eq_AvailExpr()
3513 return toBool( in eq_AvailExpr()
3518 return toBool( in eq_AvailExpr()
3523 return toBool( in eq_AvailExpr()
3528 return toBool(a1->u.Cf64i.f64i == a2->u.Cf64i.f64i); in eq_AvailExpr()
3530 return toBool(a1->u.Ittt.co == a2->u.Ittt.co in eq_AvailExpr()
3534 return toBool(a1->u.Ittc.co == a2->u.Ittc.co in eq_AvailExpr()
3538 return toBool(a1->u.Itct.co == a2->u.Itct.co in eq_AvailExpr()
3542 return toBool(a1->u.Itcc.co == a2->u.Itcc.co in eq_AvailExpr()
3546 return toBool(eqIRRegArray(a1->u.GetIt.descr, a2->u.GetIt.descr) in eq_AvailExpr()
3567 Bool eq = toBool(a1->u.Load.end == a2->u.Load.end in eq_AvailExpr()
4324 return toBool( in identicalPutIs()
5878 = toBool( st->tag == Ist_Store in ado_treebuild_BB()
5890 = toBool( in ado_treebuild_BB()