Home | History | Annotate | Download | only in priv

Lines Matching refs:val32

15690       IRTemp val32  = newTemp(Ity_I32);
15694       assign(val32, unop( Iop_ReinterpF32asI32,
15697       store( mkexpr( EA ), mkexpr( val32 ) );