Home | History | Annotate | Download | only in priv

Lines Matching defs:val32

15214       IRTemp val32  = newTemp(Ity_I32);
15218       assign(val32, unop( Iop_ReinterpF32asI32,
15221       storeBE( mkexpr( EA ), mkexpr( val32 ) );