Lines Matching defs:a64
14221 IRTemp a64 = newTemp(Ity_I64);14228 assign( a64, unop(word_op, mkexpr(vA)) );14229 assign( ahi32, unop(Iop_64HIto32, mkexpr(a64)) );14230 assign( alo32, unop(Iop_64to32, mkexpr(a64)) );