Lines Matching full:t_fetched
6319 IRTemp t_fetched, t_bitno0, t_bitno1, t_bitno2, t_addr0,
6324 t_fetched = t_bitno0 = t_bitno1 = t_bitno2
6328 t_fetched = newTemp(Ity_I8);
6395 assign( t_fetched, loadLE(Ity_I8, mkexpr(t_addr1)) );
6401 binop(Iop_Or8, mkexpr(t_fetched), mkexpr(t_mask)) );
6405 binop(Iop_Xor8, mkexpr(t_fetched), mkexpr(t_mask)) );
6409 binop(Iop_And8, mkexpr(t_fetched),
6416 casLE( mkexpr(t_addr1), mkexpr(t_fetched)/*expd*/,
6432 unop(Iop_8Uto32, mkexpr(t_fetched)),
