Lines Matching refs:Ity_I8
223 Ity_I8,
542 Iop_1Uto8, /* :: Ity_Bit -> Ity_I8, unsigned widen */
545 Iop_1Sto8, /* :: Ity_Bit -> Ity_I8, signed widen */
927 /* VECTOR x SCALAR SHIFT (shift amt :: Ity_I8) */
1415 /* VECTOR SHIFT (shift amt :: Ity_I8) */
1555 /* VECTOR x SCALAR SHIFT (shift amt :: Ity_I8) */
