Lines Matching refs:Ity_I1
695 case Ity_I1: in shadowType()
712 case Ity_I1: return IRExpr_Const(IRConst_U1(False)); in definedOfType()
988 case Ity_I1: in mkPCastTo()
992 tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE8, vbits, mkU8(0))); in mkPCastTo()
995 tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE16, vbits, mkU16(0))); in mkPCastTo()
998 tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE32, vbits, mkU32(0))); in mkPCastTo()
1001 tmp1 = assignNew(mce, Ity_I1, binop(Iop_CmpNE64, vbits, mkU64(0))); in mkPCastTo()
1009 case Ity_I1: in mkPCastTo()
1080 sz = ty==Ity_I1 ? 0 : sizeofIRType(ty); in complainIfUndefined()
1082 cond = mkPCastTo( mce, Ity_I1, vatom ); in complainIfUndefined()
1188 tl_assert(ty != Ity_I1); in do_shadow_PUT()
1217 tl_assert(ty != Ity_I1); in do_shadow_PUTI()
1242 tl_assert(ty != Ity_I1); in shadow_GET()
1263 tl_assert(ty != Ity_I1); in shadow_GETI()
1872 return mkPCastTo(mce, Ity_I1, mkUifU32(mce, vatom1,vatom2)); in expr2vbits_Binop()
1875 return mkPCastTo(mce, Ity_I1, mkUifU16(mce, vatom1,vatom2)); in expr2vbits_Binop()
1878 return mkPCastTo(mce, Ity_I1, mkUifU8(mce, vatom1,vatom2)); in expr2vbits_Binop()
2028 return assignNew(mce, Ity_I1, unop(Iop_32to1, vatom)); in expr2vbits_Unop()