Lines Matching refs:Ity_I32
225 Ity_I32,
521 Iop_32to1, /* :: Ity_I32 -> Ity_Bit, just select bit[0] */
524 Iop_1Uto32, /* :: Ity_Bit -> Ity_I32, unsigned widen */
528 Iop_1Sto32, /* :: Ity_Bit -> Ity_I32, signed widen */
576 /* For the most part, these take a first argument :: Ity_I32 (as
