Lines Matching refs:Ity_I1
371 case Ity_I1:
394 case Ity_I1: return IRExpr_Const(IRConst_U1(False));
797 case Ity_I1:
801 tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ8, vbits));
804 tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ16, vbits));
807 tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ32, vbits));
810 tmp1 = assignNew('V', mce, Ity_I1, unop(Iop_CmpNEZ64, vbits));
818 tmp1 = assignNew('V', mce, Ity_I1,
829 case Ity_I1:
967 assignNew('V', mce,Ity_I1, binop(opCMP, vec, top)));
973 = mkPCastTo( mce, Ity_I1, improved );
1174 sz = ty==Ity_I1 ? 0 : sizeofIRType(ty);
1176 cond = mkPCastTo( mce, Ity_I1, vatom );
1284 di->guard = assignNew('V', mce, Ity_I1, unop(Iop_32to1, e));
1383 tl_assert(ty != Ity_I1);
1396 cond = assignNew('V', mce, Ity_I1, guard);
1432 tl_assert(ty != Ity_I1);
1457 tl_assert(ty != Ity_I1);
1481 tl_assert(ty != Ity_I1);
3797 return mkPCastTo(mce, Ity_I1, mkUifU64(mce, vatom1,vatom2));
3813 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2));
3816 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2));
3822 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2));
3830 return assignNew('V', mce, Ity_I1, definedOfType(Ity_I1));
4176 return assignNew('V', mce, Ity_I1, unop(Iop_32to1, vatom));
4179 return assignNew('V', mce, Ity_I1, unop(Iop_64to1, vatom));
4728 |guard| :: Ity_I1 controls whether the store really happens; NULL
4765 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
5070 cond = assignNew('V', mce, Ity_I1, d->guard);
5521 = assignNew('C', mce, Ity_I1,
5677 = assignNew('C', mce, Ity_I1,
5756 tl_assert(resTy == Ity_I1);
6572 /* Generate a shadow origins store. guard :: Ity_I1 controls whether
6586 tl_assert(typeOfIRExpr(mce->sb->tyenv, guard) == Ity_I1);
6842 cond = assignNew( 'B', mce, Ity_I1, d->guard);
6941 cond = assignNew('B', mce, Ity_I1,