Lines Matching refs:t_addr0
7948 IRTemp t_fetched, t_bitno0, t_bitno1, t_bitno2, t_addr0,
7954 = t_addr0 = t_addr1 = t_rsp
8002 t_addr0 = newTemp(Ity_I64);
8010 /* Make t_addr0 point at it. */
8011 assign( t_addr0, mkexpr(t_rsp) );
8020 t_addr0 = disAMode ( &len, vbi, pfx, delta, dis_buf, 0 );
8025 /* At this point: t_addr0 is the address being operated on. If it
8033 mkexpr(t_addr0),
